Trace number 2076515

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sugar v1.14.6+picosatSAT 226.646 229.542

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-8.xml
MD5SUM86b24a9ba558d9e8e32f84b5d3fc0678
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.42902
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1388
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	c 0	Sugar v1-14-6 + HOME/picosat
0.00/0.08	c 0	BEGIN Sun Jul 12 03:42:03 2009
0.00/0.08	c 0	PID 19283
0.00/0.08	c 0	HOST node32.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-2076515-1247362923.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2076515-1247362923.xml' 'HOME/temp.csp'
1.06/1.11	c 1	400 domains, 400 variables, 1 predicates, 0 relations, 7600 constraints
1.06/1.14	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
1.06/1.14	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.08/1.22	c 1	Parsing HOME/temp.csp
1.08/1.39	c 1	parsed 8401 expressions
1.08/1.40	c 1	Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.08/1.40	c 1	Converting to clausal form CSP
1.08/1.46	c 1	converted 841 (10%) expressions
1.08/1.70	c 1	converted 1681 (20%) expressions
1.08/1.73	c 2	converted 2521 (30%) expressions
1.08/1.77	c 2	converted 3361 (40%) expressions
1.08/1.79	c 2	converted 4201 (50%) expressions
1.08/1.82	c 2	converted 5041 (60%) expressions
1.08/1.92	c 2	converted 5881 (70%) expressions
1.08/1.95	c 2	converted 6721 (80%) expressions
1.08/1.98	c 2	converted 7561 (90%) expressions
1.08/2.01	c 2	converted 8401 (100%) expressions
1.08/2.01	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1388
1.08/2.01	c 2	Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.08/2.01	c 2	Propagation in CSP
1.08/2.05	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.08/2.05	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1388
1.08/2.06	c 2	Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.08/2.06	c 2	Simplifing CSP by introducing new Boolean variables
2.12/2.21	c 2	CSP : 400 integers, 15200 booleans, 22800 clauses, largest domain size 1388
2.12/2.21	c 2	Heap : 14 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.12/2.30	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.31/2.40	c 2	40 (10%) CSP integer variables are encoded (53420 clauses, 779170 bytes)
2.31/2.47	c 2	80 (20%) CSP integer variables are encoded (107042 clauses, 1597735 bytes)
2.41/2.54	c 2	120 (30%) CSP integer variables are encoded (160565 clauses, 2507626 bytes)
2.50/2.61	c 2	160 (40%) CSP integer variables are encoded (214420 clauses, 3423161 bytes)
2.50/2.68	c 2	200 (50%) CSP integer variables are encoded (267818 clauses, 4330927 bytes)
2.61/2.75	c 3	240 (60%) CSP integer variables are encoded (321134 clauses, 5237299 bytes)
2.71/2.83	c 3	280 (70%) CSP integer variables are encoded (374370 clauses, 6142311 bytes)
2.81/2.90	c 3	320 (80%) CSP integer variables are encoded (427682 clauses, 7048615 bytes)
2.81/2.97	c 3	360 (90%) CSP integer variables are encoded (481036 clauses, 7955633 bytes)
2.91/3.04	c 3	400 (100%) CSP integer variables are encoded (534185 clauses, 8859166 bytes)
6.64/6.89	c 7	2280 (10%) CSP clauses are encoded (2493597 clauses, 54134031 bytes)
10.40/10.65	c 10	4560 (20%) CSP clauses are encoded (4464945 clauses, 100635640 bytes)
14.13/14.44	c 14	6840 (30%) CSP clauses are encoded (6423351 clauses, 147865837 bytes)
17.87/18.23	c 18	9120 (40%) CSP clauses are encoded (8382313 clauses, 196810247 bytes)
21.69/22.10	c 22	11400 (50%) CSP clauses are encoded (10360839 clauses, 246243757 bytes)
25.41/26.01	c 26	13680 (60%) CSP clauses are encoded (12321705 clauses, 295235767 bytes)
29.09/29.81	c 30	15960 (70%) CSP clauses are encoded (14258829 clauses, 343634227 bytes)
32.82/33.70	c 33	18240 (80%) CSP clauses are encoded (16212803 clauses, 392453937 bytes)
36.51/37.52	c 37	20520 (90%) CSP clauses are encoded (18159983 clauses, 441103797 bytes)
40.24/41.31	c 41	22800 (100%) CSP clauses are encoded (20103045 clauses, 489650707 bytes)
40.24/41.31	c 41	22800 CSP clauses encoded
40.24/41.31	c 41	Writing map file : HOME/temp.map
40.24/41.32	c 41	Heap : 7 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
40.24/41.32	c 41	SAT : 549785 SAT variables, 20103045 SAT clauses, 489650707 bytes
40.24/41.32	c 41	Heap : 7 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
40.24/41.36	c 41	SOLVING HOME/temp.cnf
40.24/41.36	c 41	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
225.53/228.48	c 228	DECODING HOME/temp.out WITH HOME/temp.map
225.53/228.48	c 228	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
225.63/228.57	c 228	Decoding HOME/temp.out
226.31/229.21	s SATISFIABLE
226.31/229.22	v 1315 628 1018 238 87 1083 878 37 693 538 434 1226 1040 797 737 71 1095 1153 245 147 443 273 1332 601 153 816 58 1075 124 0 960 1235 1149 731 646 389 876 8 166 131 1154 0 771 1039 843 654 261 52 4 293 87 228 716 964 113 552 162 1306 854 1200 0 1345 844 1148 101 212 255 1207 305 1284 1062 6 220 942 172 584 12 681 470 354 1345 1 684 622 949 1075 1146 573 1247 1013 284 203 7 449 245 64 179 904 381 493 1198 468 408 115 569 967 112 201 1312 1255 249 1062 287 229 777 17 357 0 520 652 0 33 815 1314 274 1224 5 7 343 291 701 470 104 1158 733 428 312 148 949 45 1039 675 0 1095 721 21 1255 253 241 418 1165 151 282 521 80 213 48 385 104 303 1329 71 849 1075 891 430 303 522 101 198 112 169 0 11 779 382 681 146 5 619 929 1190 766 1001 636 183 810 852 374 201 368 241 270 540 444 62 0 80 673 115 840 275 600 771 1234 315 925 628 279 729 288 355 1031 431 160 95 520 0 179 126 1198 970 607 766 1110 1331 181 11 690 437 200 52 256 123 300 15 38 540 68 104 1118 961 1176 1327 765 854 900 544 587 7 399 667 212 37 61 135 169 319 286 455 907 969 745 843 635 1011 1085 688 0 1262 599 209 286 7 141 352 39 91 441 537 1221 42 725 815 904 988 524 1290 0 430 473 334 201 272 13 64 23 624 162 419 1197 311 807 904 520 0 622 538 557 677 725 322 376 151 62 225 162 87 147 434 1163 835 902 665 722 730 952 389 0 359 568 154 482 28 6 262 199 45 136 406 970 1052 1097 825 845 352 901 745 370 0 28 461 560 38 660 42 66 157 213 261 984 668 1075 0 717 760 810 1158 1239 1339 8 71 87 160 253 261 355 430 519 584 290 363 418 497 581 600 606 643 716 768 773 794 864 963 966 1044 1143 1220 1293 1313
226.31/229.23	c 229	Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
226.31/229.29	c 229	CPU 226.37 (0.07 0.02 124.41 101.87)
226.31/229.29	c 229	END Sun Jul 12 03:45:52 2009

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076515-1247362923/watcher-2076515-1247362923 -o /tmp/evaluation-result-2076515-1247362923/solver-2076515-1247362923 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2076515-1247362923.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 4/84 19283
/proc/meminfo: memFree=1715520/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=18576 CPUtime=0
/proc/19283/stat : 19283 (runsolver) R 19281 19283 15911 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 23358768 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 268213742887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19283/statm: 4644 284 249 26 0 2626 0

[startup+0.097027 s]
/proc/loadavg: 2.00 2.00 1.96 4/84 19283
/proc/meminfo: memFree=1715520/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=0.07
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.101029 s]
/proc/loadavg: 2.00 2.00 1.96 4/84 19283
/proc/meminfo: memFree=1715520/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=0.07
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.301045 s]
/proc/loadavg: 2.00 2.00 1.96 4/84 19283
/proc/meminfo: memFree=1715520/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=0.07
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+0.701098 s]
/proc/loadavg: 2.00 2.00 1.96 4/84 19283
/proc/meminfo: memFree=1715520/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=0.07
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868

[startup+1.50118 s]
/proc/loadavg: 2.00 2.00 1.96 3/95 19295
/proc/meminfo: memFree=1694056/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=1.08
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1309 8430 0 1 6 1 96 5 15 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 16868

[startup+3.10241 s]
/proc/loadavg: 2.00 2.00 1.96 3/95 19305
/proc/meminfo: memFree=1690216/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=1.08
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1310 8430 0 1 6 1 96 5 15 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
[pid=19296] ppid=19283 vsize=5356 CPUtime=0
/proc/19296/stat : 19296 (sh) S 19283 19283 15911 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23358882 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19296/statm: 1339 233 193 169 0 50 0
[pid=19297] ppid=19296 vsize=868676 CPUtime=1.92
/proc/19297/stat : 19297 (java) S 19296 19283 15911 0 -1 0 9811 0 1 0 181 11 0 0 18 0 9 0 23358883 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19297/statm: 217169 8799 2590 9 0 211646 0
[pid=19297/tid=19298] ppid=19296 vsize=868676 CPUtime=1.28
/proc/19297/task/19298/stat : 19298 (java) R 19296 19283 15911 0 -1 64 3005 0 1 0 122 6 0 0 25 0 9 0 23358884 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 102094108 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19299] ppid=19296 vsize=868676 CPUtime=0.4
/proc/19297/task/19299/stat : 19299 (java) S 19296 19283 15911 0 -1 64 4592 0 0 0 38 2 0 0 16 0 9 0 23358885 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19300] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19300/stat : 19300 (java) S 19296 19283 15911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23358885 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19301] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19301/stat : 19301 (java) S 19296 19283 15911 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23358885 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19302] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19302/stat : 19302 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23358887 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19303] ppid=19296 vsize=868676 CPUtime=0.21
/proc/19297/task/19303/stat : 19303 (java) S 19296 19283 15911 0 -1 64 1515 0 0 0 20 1 0 0 16 0 9 0 23358887 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19304] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19304/stat : 19304 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23358887 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19305] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19305/stat : 19305 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23358887 889524224 8799 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890900

[startup+6.30277 s]
/proc/loadavg: 2.00 2.00 1.96 3/95 19305
/proc/meminfo: memFree=1649968/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=1.08
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1310 8430 0 1 6 1 96 5 15 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
[pid=19296] ppid=19283 vsize=5356 CPUtime=0
/proc/19296/stat : 19296 (sh) S 19283 19283 15911 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23358882 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19296/statm: 1339 233 193 169 0 50 0
[pid=19297] ppid=19296 vsize=868676 CPUtime=5.1
/proc/19297/stat : 19297 (java) S 19296 19283 15911 0 -1 0 10426 0 1 0 473 37 0 0 18 0 9 0 23358883 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19297/statm: 217169 8804 2590 9 0 211646 0
[pid=19297/tid=19298] ppid=19296 vsize=868676 CPUtime=4.24
/proc/19297/task/19298/stat : 19298 (java) R 19296 19283 15911 0 -1 64 3615 0 1 0 395 29 0 0 25 0 9 0 23358884 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4126940190 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19299] ppid=19296 vsize=868676 CPUtime=0.61
/proc/19297/task/19299/stat : 19299 (java) S 19296 19283 15911 0 -1 64 4592 0 0 0 56 5 0 0 16 0 9 0 23358885 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19300] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19300/stat : 19300 (java) S 19296 19283 15911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23358885 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19301] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19301/stat : 19301 (java) S 19296 19283 15911 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23358885 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19302] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19302/stat : 19302 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23358887 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19303] ppid=19296 vsize=868676 CPUtime=0.22
/proc/19297/task/19303/stat : 19303 (java) S 19296 19283 15911 0 -1 64 1520 0 0 0 21 1 0 0 15 0 9 0 23358887 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19304] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19304/stat : 19304 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23358887 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19305] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19305/stat : 19305 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23358887 889524224 8804 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 890900

[startup+12.7026 s]
/proc/loadavg: 2.00 2.00 1.96 3/95 19305
/proc/meminfo: memFree=1568496/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=1.08
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1310 8430 0 1 6 1 96 5 16 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
[pid=19296] ppid=19283 vsize=5356 CPUtime=0
/proc/19296/stat : 19296 (sh) S 19283 19283 15911 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23358882 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19296/statm: 1339 233 193 169 0 50 0
[pid=19297] ppid=19296 vsize=868676 CPUtime=11.37
/proc/19297/stat : 19297 (java) S 19296 19283 15911 0 -1 0 11660 0 1 0 1038 99 0 0 18 0 9 0 23358883 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19297/statm: 217169 8807 2590 9 0 211646 0
[pid=19297/tid=19298] ppid=19296 vsize=868676 CPUtime=10.07
/proc/19297/task/19298/stat : 19298 (java) R 19296 19283 15911 0 -1 64 4847 0 1 0 925 82 0 0 25 0 9 0 23358884 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 102094001 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19299] ppid=19296 vsize=868676 CPUtime=1.05
/proc/19297/task/19299/stat : 19299 (java) S 19296 19283 15911 0 -1 64 4592 0 0 0 90 15 0 0 16 0 9 0 23358885 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19300] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19300/stat : 19300 (java) S 19296 19283 15911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23358885 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19301] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19301/stat : 19301 (java) S 19296 19283 15911 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23358885 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19302] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19302/stat : 19302 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19303] ppid=19296 vsize=868676 CPUtime=0.22
/proc/19297/task/19303/stat : 19303 (java) S 19296 19283 15911 0 -1 64 1522 0 0 0 21 1 0 0 17 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19304] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19304/stat : 19304 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19305] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19305/stat : 19305 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 890900

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 1.96 3/95 19305
/proc/meminfo: memFree=1402736/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=1.08
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1310 8430 0 1 6 1 96 5 16 0 1 0 23358768 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1111 409 3 0 796 0
[pid=19296] ppid=19283 vsize=5356 CPUtime=0
/proc/19296/stat : 19296 (sh) S 19283 19283 15911 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23358882 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19296/statm: 1339 233 193 169 0 50 0
[pid=19297] ppid=19296 vsize=868676 CPUtime=23.83
/proc/19297/stat : 19297 (java) S 19296 19283 15911 0 -1 0 14151 0 1 0 2166 217 0 0 18 0 9 0 23358883 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19297/statm: 217169 8807 2590 9 0 211646 0
[pid=19297/tid=19298] ppid=19296 vsize=868676 CPUtime=21.73
/proc/19297/task/19298/stat : 19298 (java) R 19296 19283 15911 0 -1 64 7338 0 1 0 1990 183 0 0 25 0 9 0 23358884 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4126521134 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19299] ppid=19296 vsize=868676 CPUtime=1.86
/proc/19297/task/19299/stat : 19299 (java) S 19296 19283 15911 0 -1 64 4592 0 0 0 154 32 0 0 16 0 9 0 23358885 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19300] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19300/stat : 19300 (java) S 19296 19283 15911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 23358885 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19301] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19301/stat : 19301 (java) S 19296 19283 15911 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23358885 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19302] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19302/stat : 19302 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19303] ppid=19296 vsize=868676 CPUtime=0.22
/proc/19297/task/19303/stat : 19303 (java) S 19296 19283 15911 0 -1 64 1522 0 0 0 21 1 0 0 17 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19304] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19304/stat : 19304 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19297/tid=19305] ppid=19296 vsize=868676 CPUtime=0
/proc/19297/task/19305/stat : 19305 (java) S 19296 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23358887 889524224 8807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 890900

[startup+51.1018 s]
/proc/loadavg: 2.12 2.03 1.97 3/87 19307
/proc/meminfo: memFree=1154416/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=40.3
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1365 25966 0 2 6 1 3653 370 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19306] ppid=19283 vsize=5356 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19283 19283 15911 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23362905 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19306/statm: 1339 232 193 169 0 50 0
[pid=19307] ppid=19306 vsize=105292 CPUtime=9.59
/proc/19307/stat : 19307 (picosat) R 19306 19283 15911 0 -1 4194304 18083 0 0 0 443 516 0 0 25 0 1 0 23362905 107819008 18069 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/19307/statm: 26323 18069 40 102 0 26218 0
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (KiB) 127516

[startup+102.307 s]
/proc/loadavg: 2.05 2.02 1.97 3/87 19307
/proc/meminfo: memFree=955824/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=40.3
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1365 25966 0 2 6 1 3653 370 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19306] ppid=19283 vsize=5356 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19283 19283 15911 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23362905 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19306/statm: 1339 232 193 169 0 50 0
[pid=19307] ppid=19306 vsize=308336 CPUtime=60.32
/proc/19307/stat : 19307 (picosat) R 19306 19283 15911 0 -1 4194304 67192 0 0 0 2786 3246 0 0 25 0 1 0 23362905 315736064 67178 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/19307/statm: 77084 67178 40 102 0 76979 0
Current children cumulated CPU time (s) 100.62
Current children cumulated vsize (KiB) 330560

[startup+162.301 s]
/proc/loadavg: 2.02 2.02 1.97 3/87 19307
/proc/meminfo: memFree=727280/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=40.3
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1365 25966 0 2 6 1 3653 370 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19306] ppid=19283 vsize=5356 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19283 19283 15911 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23362905 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19306/statm: 1339 232 193 169 0 50 0
[pid=19307] ppid=19306 vsize=545044 CPUtime=119.75
/proc/19307/stat : 19307 (picosat) R 19306 19283 15911 0 -1 4194304 124623 0 0 0 5533 6442 0 0 25 0 1 0 23362905 558125056 124609 996147200 134512640 134931368 4294956256 18446744073709551615 134520649 0 0 4096 0 0 0 0 17 1 0 0
/proc/19307/statm: 136261 124609 40 102 0 136156 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (KiB) 567268

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/87 19307
/proc/meminfo: memFree=494512/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=40.3
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1365 25966 0 2 6 1 3653 370 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19306] ppid=19283 vsize=5356 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19283 19283 15911 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23362905 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19306/statm: 1339 232 193 169 0 50 0
[pid=19307] ppid=19306 vsize=814520 CPUtime=179.19
/proc/19307/stat : 19307 (picosat) R 19306 19283 15911 0 -1 4194304 182065 0 0 0 8247 9672 0 0 25 0 1 0 23362905 834068480 182051 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/19307/statm: 203630 182051 40 102 0 203525 0
Current children cumulated CPU time (s) 219.49
Current children cumulated vsize (KiB) 836744

Solver just ended. Dumping a history of the last processes samples

[startup+223.901 s]
/proc/loadavg: 2.00 2.01 1.97 3/87 19307
/proc/meminfo: memFree=490288/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=40.3
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1365 25966 0 2 6 1 3653 370 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19306] ppid=19283 vsize=5356 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19283 19283 15911 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23362905 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19306/statm: 1339 232 193 169 0 50 0
[pid=19307] ppid=19306 vsize=819932 CPUtime=180.78
/proc/19307/stat : 19307 (picosat) R 19306 19283 15911 0 -1 4194304 183593 0 0 0 8320 9758 0 0 25 0 1 0 23362905 839610368 183579 996147200 134512640 134931368 4294956256 18446744073709551615 134560125 0 0 4096 0 0 0 0 17 1 0 0
/proc/19307/statm: 204983 183579 40 102 0 204878 0
Current children cumulated CPU time (s) 221.08
Current children cumulated vsize (KiB) 842156

[startup+227.102 s]
/proc/loadavg: 2.00 2.01 1.97 3/87 19307
/proc/meminfo: memFree=482096/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=40.3
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1365 25966 0 2 6 1 3653 370 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19306] ppid=19283 vsize=5356 CPUtime=0
/proc/19306/stat : 19306 (sh) S 19283 19283 15911 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23362905 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19306/statm: 1339 232 193 169 0 50 0
[pid=19307] ppid=19306 vsize=832960 CPUtime=183.95
/proc/19307/stat : 19307 (picosat) R 19306 19283 15911 0 -1 4194304 185020 0 0 0 8593 9802 0 0 25 0 1 0 23362905 852951040 185006 996147200 134512640 134931368 4294956256 18446744073709551615 134575070 0 0 4096 0 0 0 0 17 1 0 0
/proc/19307/statm: 208240 185006 47 102 0 208135 0
Current children cumulated CPU time (s) 224.25
Current children cumulated vsize (KiB) 855184

[startup+228.702 s]
/proc/loadavg: 2.00 2.01 1.97 3/95 19317
/proc/meminfo: memFree=1213808/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=225.63
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1446 211272 0 2 6 2 12371 10184 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19308] ppid=19283 vsize=5356 CPUtime=0
/proc/19308/stat : 19308 (sh) S 19283 19283 15911 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23381617 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19308/statm: 1339 233 193 169 0 50 0
[pid=19309] ppid=19308 vsize=862316 CPUtime=0.19
/proc/19309/stat : 19309 (java) S 19308 19283 15911 0 -1 0 3106 0 1 0 17 2 0 0 18 0 9 0 23381618 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19309/statm: 215579 2576 1278 9 0 210492 0
[pid=19309/tid=19310] ppid=19308 vsize=862316 CPUtime=0.14
/proc/19309/task/19310/stat : 19310 (java) R 19308 19283 15911 0 -1 64 2032 0 1 0 13 1 0 0 20 0 9 0 23381619 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4126483097 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19311] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19311/stat : 19311 (java) S 19308 19283 15911 0 -1 64 75 0 0 0 0 0 0 0 16 0 9 0 23381620 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19312] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19312/stat : 19312 (java) S 19308 19283 15911 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 23381620 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19313] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19313/stat : 19313 (java) S 19308 19283 15911 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 23381620 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19314] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19314/stat : 19314 (java) S 19308 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23381622 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19315] ppid=19308 vsize=862316 CPUtime=0.04
/proc/19309/task/19315/stat : 19315 (java) S 19308 19283 15911 0 -1 64 305 0 0 0 4 0 0 0 18 0 9 0 23381622 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19316] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19316/stat : 19316 (java) S 19308 19283 15911 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23381622 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19317] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19317/stat : 19317 (java) R 19308 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 23381622 883011584 2576 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 225.82
Current children cumulated vsize (KiB) 884540

[startup+229.102 s]
/proc/loadavg: 2.00 2.01 1.97 3/95 19317
/proc/meminfo: memFree=1213808/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=225.63
/proc/19283/stat : 19283 (sugar) S 19281 19283 15911 0 -1 4194304 1446 211272 0 2 6 2 12371 10184 16 0 1 0 23358768 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 268222640226 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19283/statm: 4217 1113 409 3 0 796 0
[pid=19308] ppid=19283 vsize=5356 CPUtime=0
/proc/19308/stat : 19308 (sh) S 19283 19283 15911 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23381617 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19308/statm: 1339 233 193 169 0 50 0
[pid=19309] ppid=19308 vsize=862316 CPUtime=0.58
/proc/19309/stat : 19309 (java) S 19308 19283 15911 0 -1 0 3146 0 1 0 56 2 0 0 18 0 9 0 23381618 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19309/statm: 215579 2614 1279 9 0 210492 0
[pid=19309/tid=19310] ppid=19308 vsize=862316 CPUtime=0.52
/proc/19309/task/19310/stat : 19310 (java) R 19308 19283 15911 0 -1 64 2034 0 1 0 51 1 0 0 23 0 9 0 23381619 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4126483071 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19311] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19311/stat : 19311 (java) S 19308 19283 15911 0 -1 64 109 0 0 0 0 0 0 0 16 0 9 0 23381620 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19312] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19312/stat : 19312 (java) S 19308 19283 15911 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 23381620 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19313] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19313/stat : 19313 (java) S 19308 19283 15911 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 23381620 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19314] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19314/stat : 19314 (java) S 19308 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23381622 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19315] ppid=19308 vsize=862316 CPUtime=0.04
/proc/19309/task/19315/stat : 19315 (java) S 19308 19283 15911 0 -1 64 309 0 0 0 4 0 0 0 16 0 9 0 23381622 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19316] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19316/stat : 19316 (java) S 19308 19283 15911 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23381622 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19309/tid=19317] ppid=19308 vsize=862316 CPUtime=0
/proc/19309/task/19317/stat : 19317 (java) S 19308 19283 15911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23381622 883011584 2614 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 226.21
Current children cumulated vsize (KiB) 884540

[startup+229.502 s]
/proc/loadavg: 2.00 2.01 1.97 3/95 19317
/proc/meminfo: memFree=1213808/2055920 swapFree=4192812/4192956
[pid=19283] ppid=19281 vsize=16868 CPUtime=226.59
/proc/19283/stat : 19283 (sugar) R 19281 19283 15911 0 -1 4194304 1476 215233 0 3 7 24 12441 10187 16 0 1 0 23358768 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 268213916713 0 0 4224 16386 0 0 0 17 1 0 0
/proc/19283/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 226.59
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 229.542
CPU time (s): 226.646
CPU user time (s): 124.487
CPU system time (s): 102.158
CPU usage (%): 98.7381
Max. virtual memory (cumulated for all children) (KiB): 890900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.487
system time used= 102.158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216770
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71524
involuntary context switches= 80288

runsolver used 0.354946 second user time and 0.710891 second system time

The end

Launcher Data 

Begin job on node32 at 2009-07-12 03:42:03
IDJOB=2076515
IDBENCH=56445
IDSOLVER=738
FILE ID=node32/2076515-1247362923
PBS_JOBID= 9506940
Free space on /tmp= 66356 MiB

SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-8.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076515-1247362923/watcher-2076515-1247362923 -o /tmp/evaluation-result-2076515-1247362923/solver-2076515-1247362923 -C 1800 -W 2000 -M 900  HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2076515-1247362923.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=1282831582

node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1716000 kB
Buffers:         28688 kB
Cached:         105000 kB
SwapCached:          0 kB
Active:         241392 kB
Inactive:        43824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1716000 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2360 kB
Writeback:           0 kB
Mapped:         167184 kB
Slab:            39484 kB
Committed_AS:   904756 kB
PageTables:       2172 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66356 MiB
End job on node32 at 2009-07-12 03:45:52