Trace number 1074806

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.13+picosatSAT 265.495 231.625

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 benchmark2.41663
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 (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/picosat
0.00/0.04	c 0	BEGIN Tue Jul  8 02:33:55 2008
0.00/0.04	c 0	PID 3228
0.04/0.05	c 0	HOST node59.alineos.net
0.04/0.05	c 0	CONVERTING HOME/instance-1074806-1215477235.xml TO HOME/temp.csp
0.04/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1074806-1215477235.xml' 'HOME/temp.csp'
0.96/1.08	c 1	400 domains, 400 variables, 1 predicates, 0 relations, 7600 constraints
0.96/1.10	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.96/1.10	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.05/1.18	c 1	Parsing HOME/temp.csp
1.05/1.54	c 1	parsed 8401 expressions
1.05/1.55	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.05/1.55	c 1	Converting to clausal form CSP
1.05/1.60	c 1	converted 841 (10%) expressions
1.05/1.77	c 2	converted 1681 (20%) expressions
1.05/1.84	c 2	converted 2521 (30%) expressions
1.05/1.87	c 2	converted 3361 (40%) expressions
1.05/1.90	c 2	converted 4201 (50%) expressions
1.05/1.92	c 2	converted 5041 (60%) expressions
1.05/1.95	c 2	converted 5881 (70%) expressions
1.05/2.02	c 2	converted 6721 (80%) expressions
1.05/2.05	c 2	converted 7561 (90%) expressions
1.05/2.07	c 2	converted 8401 (100%) expressions
1.05/2.07	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1388
1.05/2.07	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.05/2.07	c 2	Propagation in CSP
2.02/2.16	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.02/2.16	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1388
2.02/2.16	c 2	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.02/2.16	c 2	Simplifing CSP by introducing new Boolean variables
2.21/2.32	c 2	CSP : 400 integers, 15200 booleans, 22800 clauses, largest domain size 1388
2.21/2.32	c 2	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.21/2.39	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.31/2.49	c 2	40 (10%) CSP integer variables are encoded (53420 clauses, 779170 bytes)
2.40/2.56	c 2	80 (20%) CSP integer variables are encoded (107042 clauses, 1597735 bytes)
2.51/2.63	c 2	120 (30%) CSP integer variables are encoded (160565 clauses, 2507626 bytes)
2.61/2.70	c 3	160 (40%) CSP integer variables are encoded (214420 clauses, 3423161 bytes)
2.61/2.77	c 3	200 (50%) CSP integer variables are encoded (267818 clauses, 4330927 bytes)
2.71/2.84	c 3	240 (60%) CSP integer variables are encoded (321134 clauses, 5237299 bytes)
2.80/2.92	c 3	280 (70%) CSP integer variables are encoded (374370 clauses, 6142311 bytes)
2.80/2.99	c 3	320 (80%) CSP integer variables are encoded (427682 clauses, 7048615 bytes)
2.90/3.06	c 3	360 (90%) CSP integer variables are encoded (481036 clauses, 7955633 bytes)
3.01/3.13	c 3	400 (100%) CSP integer variables are encoded (534185 clauses, 8859166 bytes)
6.74/7.57	c 7	2280 (10%) CSP clauses are encoded (2493597 clauses, 54134031 bytes)
10.58/11.45	c 11	4560 (20%) CSP clauses are encoded (4464945 clauses, 100635640 bytes)
14.43/15.35	c 15	6840 (30%) CSP clauses are encoded (6423351 clauses, 147865837 bytes)
18.26/19.97	c 20	9120 (40%) CSP clauses are encoded (8382313 clauses, 196810247 bytes)
21.89/23.64	c 23	11400 (50%) CSP clauses are encoded (10360839 clauses, 246243757 bytes)
25.43/27.25	c 27	13680 (60%) CSP clauses are encoded (12321705 clauses, 295235767 bytes)
29.22/32.01	c 32	15960 (70%) CSP clauses are encoded (14258829 clauses, 343634227 bytes)
32.75/35.69	c 36	18240 (80%) CSP clauses are encoded (16212803 clauses, 392453937 bytes)
36.28/39.39	c 39	20520 (90%) CSP clauses are encoded (18159983 clauses, 441103797 bytes)
39.82/42.96	c 43	22800 (100%) CSP clauses are encoded (20103045 clauses, 489650707 bytes)
39.82/42.96	c 43	22800 CSP clauses encoded
39.82/42.96	c 43	Writing map file : HOME/temp.map
39.82/42.98	c 43	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
39.82/42.98	c 43	SAT : 549785 SAT variables, 20103045 SAT clauses, 489650707 bytes
39.82/42.98	c 43	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.05/43.00	c 43	SOLVING HOME/temp.cnf
1.05/43.00	c 43	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
225.52/230.43	c 230	DECODING HOME/temp.out WITH HOME/temp.map
225.52/230.43	c 230	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
225.56/230.52	c 230	Decoding HOME/temp.out
226.39/231.33	s SATISFIABLE
226.39/231.34	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.39/231.35	c 231	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
226.39/231.38	c 231	CPU 124.6 (0.04 0.01 124.56 101.85)
226.39/231.38	c 231	END Tue Jul  8 02:37:46 2008

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074806-1215477235/watcher-1074806-1215477235 -o /tmp/evaluation-result-1074806-1215477235/solver-1074806-1215477235 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1074806-1215477235.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.56 1.74 1.25 4/82 3228
/proc/meminfo: memFree=1603912/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=18572 CPUtime=0
/proc/3228/stat : 3228 (runsolver) R 3226 3228 2904 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 4421902 19017728 292 996147200 4194304 4296836 548682068272 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3228/statm: 4643 292 257 25 0 2626 0

[startup+0.0501999 s]
/proc/loadavg: 3.56 1.74 1.25 4/82 3228
/proc/meminfo: memFree=1603912/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=0.04
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 837 0 0 0 3 1 0 0 18 0 1 0 4421902 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.101314 s]
/proc/loadavg: 3.56 1.74 1.25 4/82 3228
/proc/meminfo: memFree=1603912/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=0.04
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 4421902 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.301343 s]
/proc/loadavg: 3.56 1.74 1.25 4/82 3228
/proc/meminfo: memFree=1603912/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=0.04
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 4421902 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.702427 s]
/proc/loadavg: 3.56 1.74 1.25 4/82 3228
/proc/meminfo: memFree=1603912/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=0.04
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 4421902 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+1.50158 s]
/proc/loadavg: 3.52 1.76 1.26 3/93 3240
/proc/meminfo: memFree=1582640/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=1.05
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 973 8351 0 1 3 1 95 6 16 0 1 0 4421902 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13600

[startup+3.10288 s]
/proc/loadavg: 3.52 1.76 1.26 4/93 3250
/proc/meminfo: memFree=1580848/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=1.05
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 974 8351 0 1 3 1 95 6 15 0 1 0 4421902 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 797 370 3 0 500 0
[pid=3241] ppid=3228 vsize=5356 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3228 3228 2904 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4422013 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3241/statm: 1339 233 193 169 0 50 0
[pid=3242] ppid=3241 vsize=868464 CPUtime=1.96
/proc/3242/stat : 3242 (java) S 3241 3228 2904 0 -1 0 9962 0 1 0 184 12 0 0 18 0 9 0 4422013 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 217116 8937 2565 9 0 211663 0
[pid=3242/tid=3243] ppid=3241 vsize=868464 CPUtime=1.26
/proc/3242/task/3243/stat : 3243 (java) R 3241 3228 2904 0 -1 64 2995 0 1 0 120 6 0 0 23 0 9 0 4422014 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 102064721 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3244] ppid=3241 vsize=868464 CPUtime=0.43
/proc/3242/task/3244/stat : 3244 (java) S 3241 3228 2904 0 -1 64 4796 0 0 0 40 3 0 0 16 0 9 0 4422015 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3245/stat : 3245 (java) S 3241 3228 2904 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4422015 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3246] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3246/stat : 3246 (java) S 3241 3228 2904 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4422015 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3247] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3247/stat : 3247 (java) S 3241 3228 2904 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4422017 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3248] ppid=3241 vsize=868464 CPUtime=0.23
/proc/3242/task/3248/stat : 3248 (java) S 3241 3228 2904 0 -1 64 1478 0 0 0 22 1 0 0 16 0 9 0 4422017 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3249] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3249/stat : 3249 (java) S 3241 3228 2904 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4422017 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3250] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3250/stat : 3250 (java) S 3241 3228 2904 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4422017 889307136 8937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 887420

[startup+6.30249 s]
/proc/loadavg: 3.52 1.76 1.26 3/93 3250
/proc/meminfo: memFree=1538800/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=1.05
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 974 8351 0 1 3 1 95 6 15 0 1 0 4421902 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 797 370 3 0 500 0
[pid=3241] ppid=3228 vsize=5356 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3228 3228 2904 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4422013 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3241/statm: 1339 233 193 169 0 50 0
[pid=3242] ppid=3241 vsize=868464 CPUtime=4.75
/proc/3242/stat : 3242 (java) S 3241 3228 2904 0 -1 0 10533 0 1 0 437 38 0 0 18 0 9 0 4422013 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 217116 8946 2565 9 0 211663 0
[pid=3242/tid=3243] ppid=3241 vsize=868464 CPUtime=3.88
/proc/3242/task/3243/stat : 3243 (java) D 3241 3228 2904 0 -1 64 3558 0 1 0 359 29 0 0 25 0 9 0 4422014 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 18446744071563608240 0 0 -1 1 0 0
[pid=3242/tid=3244] ppid=3241 vsize=868464 CPUtime=0.6
/proc/3242/task/3244/stat : 3244 (java) S 3241 3228 2904 0 -1 64 4796 0 0 0 54 6 0 0 16 0 9 0 4422015 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3245/stat : 3245 (java) S 3241 3228 2904 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4422015 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3246] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3246/stat : 3246 (java) S 3241 3228 2904 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4422015 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3247] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3247/stat : 3247 (java) S 3241 3228 2904 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4422017 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3248] ppid=3241 vsize=868464 CPUtime=0.24
/proc/3242/task/3248/stat : 3248 (java) S 3241 3228 2904 0 -1 64 1486 0 0 0 23 1 0 0 15 0 9 0 4422017 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3249] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3249/stat : 3249 (java) S 3241 3228 2904 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4422017 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3250] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3250/stat : 3250 (java) S 3241 3228 2904 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4422017 889307136 8946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 887420

[startup+12.7017 s]
/proc/loadavg: 3.44 1.80 1.28 3/93 3250
/proc/meminfo: memFree=1465904/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=1.05
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 974 8351 0 1 3 1 95 6 16 0 1 0 4421902 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 797 370 3 0 500 0
[pid=3241] ppid=3228 vsize=5356 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3228 3228 2904 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4422013 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3241/statm: 1339 233 193 169 0 50 0
[pid=3242] ppid=3241 vsize=868464 CPUtime=10.83
/proc/3242/stat : 3242 (java) S 3241 3228 2904 0 -1 0 11749 0 1 0 991 92 0 0 18 0 9 0 4422013 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 217116 8948 2565 9 0 211663 0
[pid=3242/tid=3243] ppid=3241 vsize=868464 CPUtime=9.59
/proc/3242/task/3243/stat : 3243 (java) R 3241 3228 2904 0 -1 64 4772 0 1 0 885 74 0 0 25 0 9 0 4422014 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4126584849 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3244] ppid=3241 vsize=868464 CPUtime=0.96
/proc/3242/task/3244/stat : 3244 (java) S 3241 3228 2904 0 -1 64 4796 0 0 0 81 15 0 0 16 0 9 0 4422015 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3245] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3245/stat : 3245 (java) S 3241 3228 2904 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4422015 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3246] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3246/stat : 3246 (java) S 3241 3228 2904 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4422015 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3247] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3247/stat : 3247 (java) S 3241 3228 2904 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3248] ppid=3241 vsize=868464 CPUtime=0.25
/proc/3242/task/3248/stat : 3248 (java) S 3241 3228 2904 0 -1 64 1488 0 0 0 24 1 0 0 16 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3249] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3249/stat : 3249 (java) S 3241 3228 2904 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3250] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3250/stat : 3250 (java) S 3241 3228 2904 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 887420

[startup+25.5022 s]
/proc/loadavg: 3.37 1.84 1.30 3/92 3251
/proc/meminfo: memFree=1300080/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=1.05
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 974 8351 0 1 3 1 95 6 16 0 1 0 4421902 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 797 370 3 0 500 0
[pid=3241] ppid=3228 vsize=5356 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3228 3228 2904 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4422013 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3241/statm: 1339 233 193 169 0 50 0
[pid=3242] ppid=3241 vsize=868464 CPUtime=22.69
/proc/3242/stat : 3242 (java) S 3241 3228 2904 0 -1 0 14241 0 1 0 2069 200 0 0 18 0 9 0 4422013 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3242/statm: 217116 8948 2565 9 0 211663 0
[pid=3242/tid=3243] ppid=3241 vsize=868464 CPUtime=20.72
/proc/3242/task/3243/stat : 3243 (java) R 3241 3228 2904 0 -1 64 7264 0 1 0 1904 168 0 0 25 0 9 0 4422014 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4126965457 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3242/tid=3244] ppid=3241 vsize=868464 CPUtime=1.7
/proc/3242/task/3244/stat : 3244 (java) S 3241 3228 2904 0 -1 64 4796 0 0 0 140 30 0 0 16 0 9 0 4422015 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3242/tid=3245] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3245/stat : 3245 (java) S 3241 3228 2904 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4422015 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3246] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3246/stat : 3246 (java) S 3241 3228 2904 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4422015 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3247] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3247/stat : 3247 (java) S 3241 3228 2904 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3248] ppid=3241 vsize=868464 CPUtime=0.25
/proc/3242/task/3248/stat : 3248 (java) S 3241 3228 2904 0 -1 64 1488 0 0 0 24 1 0 0 16 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3249] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3249/stat : 3249 (java) S 3241 3228 2904 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3242/tid=3250] ppid=3241 vsize=868464 CPUtime=0
/proc/3242/task/3250/stat : 3250 (java) S 3241 3228 2904 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4422017 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.74
Current children cumulated vsize (KiB) 887420

[startup+42.9065 s]
/proc/loadavg: 3.49 1.96 1.35 3/94 3257
/proc/meminfo: memFree=1077984/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=1.05
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 974 8351 0 1 3 1 95 6 16 0 1 0 4421902 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 797 370 3 0 500 0
[pid=3241] ppid=3228 vsize=5356 CPUtime=0
/proc/3241/stat : 3241 (sh) S 3228 3228 2904 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4422013 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3241/statm: 1339 233 193 169 0 50 0
[pid=3242] ppid=3241 vsize=868464 CPUtime=38.77
/proc/3242/stat : 3242 (java) S 3241 3228 2904 0 -1 0 17723 0 1 0 3529 348 0 0 18 0 9 0 4422013 889307136 8948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

[pid=3259] ppid=3258 vsize=97436 CPUtime=7.98
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 16476 0 0 0 364 434 0 0 25 0 1 0 4426203 99774464 16462 996147200 134512640 134931368 4294956256 18446744073709551615 134514696 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 24359 16462 40 102 0 24254 0
Current children cumulated CPU time (s) 47.9
Current children cumulated vsize (KiB) 116392

[startup+102.307 s]
/proc/loadavg: 2.61 2.00 1.39 3/84 3259
/proc/meminfo: memFree=843952/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=39.92
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1022 26395 0 2 4 1 3631 356 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3258] ppid=3228 vsize=5356 CPUtime=0
/proc/3258/stat : 3258 (sh) S 3228 3228 2904 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4426202 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3258/statm: 1339 232 193 169 0 50 0
[pid=3259] ppid=3258 vsize=302528 CPUtime=58.7
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 65570 0 0 0 2700 3170 0 0 25 0 1 0 4426203 309788672 65556 996147200 134512640 134931368 4294956256 18446744073709551615 134597664 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 75632 65556 40 102 0 75527 0
Current children cumulated CPU time (s) 98.62
Current children cumulated vsize (KiB) 321484

[startup+162.301 s]
/proc/loadavg: 2.22 2.00 1.43 3/84 3259
/proc/meminfo: memFree=612016/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=39.92
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1022 26395 0 2 4 1 3631 356 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3258] ppid=3228 vsize=5356 CPUtime=0
/proc/3258/stat : 3258 (sh) S 3228 3228 2904 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4426202 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3258/statm: 1339 232 193 169 0 50 0
[pid=3259] ppid=3258 vsize=538576 CPUtime=118.14
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 122813 0 0 0 5444 6370 0 0 25 0 1 0 4426203 551501824 122799 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 134644 122799 40 102 0 134539 0
Current children cumulated CPU time (s) 158.06
Current children cumulated vsize (KiB) 557532

[startup+222.302 s]
/proc/loadavg: 2.08 2.00 1.46 3/84 3259
/proc/meminfo: memFree=384752/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=39.92
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1022 26395 0 2 4 1 3631 356 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3258] ppid=3228 vsize=5356 CPUtime=0
/proc/3258/stat : 3258 (sh) S 3228 3228 2904 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4426202 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3258/statm: 1339 232 193 169 0 50 0
[pid=3259] ppid=3258 vsize=807656 CPUtime=177.57
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 180134 0 0 0 8184 9573 0 0 25 0 1 0 4426203 827039744 180120 996147200 134512640 134931368 4294956256 18446744073709551615 134560080 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 201914 180120 40 102 0 201809 0
Current children cumulated CPU time (s) 217.49
Current children cumulated vsize (KiB) 826612

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

[startup+223.901 s]
/proc/loadavg: 2.08 2.00 1.46 3/84 3259
/proc/meminfo: memFree=380528/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=39.92
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1022 26395 0 2 4 1 3631 356 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3258] ppid=3228 vsize=5356 CPUtime=0
/proc/3258/stat : 3258 (sh) S 3228 3228 2904 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4426202 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3258/statm: 1339 232 193 169 0 50 0
[pid=3259] ppid=3258 vsize=813200 CPUtime=179.16
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 181671 0 0 0 8257 9659 0 0 25 0 1 0 4426203 832716800 181657 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 203300 181657 40 102 0 203195 0
Current children cumulated CPU time (s) 219.08
Current children cumulated vsize (KiB) 832156

[startup+227.102 s]
/proc/loadavg: 2.07 2.00 1.47 3/84 3259
/proc/meminfo: memFree=367856/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=39.92
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1022 26395 0 2 4 1 3631 356 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3258] ppid=3228 vsize=5356 CPUtime=0
/proc/3258/stat : 3258 (sh) S 3228 3228 2904 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4426202 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3258/statm: 1339 232 193 169 0 50 0
[pid=3259] ppid=3258 vsize=823728 CPUtime=182.34
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 184509 0 0 0 8423 9811 0 0 25 0 1 0 4426203 843497472 184495 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 205932 184495 42 102 0 205827 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 842684

[startup+228.703 s]
/proc/loadavg: 2.07 2.00 1.47 3/84 3259
/proc/meminfo: memFree=364656/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=39.92
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1022 26395 0 2 4 1 3631 356 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3258] ppid=3228 vsize=5356 CPUtime=0
/proc/3258/stat : 3258 (sh) S 3228 3228 2904 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4426202 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3258/statm: 1339 232 193 169 0 50 0
[pid=3259] ppid=3258 vsize=830908 CPUtime=183.92
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 184973 0 0 0 8581 9811 0 0 25 0 1 0 4426203 850849792 184959 996147200 134512640 134931368 4294956256 18446744073709551615 134525929 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 207727 184959 42 102 0 207622 0
Current children cumulated CPU time (s) 223.84
Current children cumulated vsize (KiB) 849864

[startup+230.301 s]
/proc/loadavg: 2.07 2.00 1.47 3/84 3259
/proc/meminfo: memFree=360176/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=39.92
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1022 26395 0 2 4 1 3631 356 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3258] ppid=3228 vsize=5356 CPUtime=0
/proc/3258/stat : 3258 (sh) S 3228 3228 2904 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4426202 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3258/statm: 1339 232 193 169 0 50 0
[pid=3259] ppid=3258 vsize=701884 CPUtime=185.5
/proc/3259/stat : 3259 (picosat) R 3258 3228 2904 0 -1 4194304 185020 0 0 0 8736 9814 0 0 25 0 1 0 4426203 718729216 165932 996147200 134512640 134931368 4294956256 18446744073709551615 134533841 0 0 4096 0 0 0 0 17 1 0 0
/proc/3259/statm: 175471 165932 47 102 0 175366 0
Current children cumulated CPU time (s) 225.42
Current children cumulated vsize (KiB) 720840

[startup+231.101 s]
/proc/loadavg: 2.07 2.00 1.47 3/92 3269
/proc/meminfo: memFree=1096176/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=225.56
/proc/3228/stat : 3228 (sugar) S 3226 3228 2904 0 -1 4194304 1091 211701 0 2 4 1 12370 10181 16 0 1 0 4421902 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 217060520034 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3228/statm: 3400 799 370 3 0 500 0
[pid=3260] ppid=3228 vsize=5356 CPUtime=0
/proc/3260/stat : 3260 (sh) S 3228 3228 2904 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4444946 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3260/statm: 1339 233 193 169 0 50 0
[pid=3261] ppid=3260 vsize=864040 CPUtime=0.63
/proc/3261/stat : 3261 (java) S 3260 3228 2904 0 -1 0 3547 0 1 0 61 2 0 0 18 0 9 0 4444946 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3261/statm: 216010 3020 1665 9 0 210592 0
[pid=3261/tid=3262] ppid=3260 vsize=864040 CPUtime=0.58
/proc/3261/task/3262/stat : 3262 (java) R 3260 3228 2904 0 -1 64 2455 0 1 0 57 1 0 0 22 0 9 0 4444947 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4126461795 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3261/tid=3263] ppid=3260 vsize=864040 CPUtime=0
/proc/3261/task/3263/stat : 3263 (java) S 3260 3228 2904 0 -1 64 103 0 0 0 0 0 0 0 16 0 9 0 4444948 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3261/tid=3264] ppid=3260 vsize=864040 CPUtime=0
/proc/3261/task/3264/stat : 3264 (java) S 3260 3228 2904 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 4444949 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3261/tid=3265] ppid=3260 vsize=864040 CPUtime=0
/proc/3261/task/3265/stat : 3265 (java) S 3260 3228 2904 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 4444949 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3261/tid=3266] ppid=3260 vsize=864040 CPUtime=0
/proc/3261/task/3266/stat : 3266 (java) S 3260 3228 2904 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4444951 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3261/tid=3267] ppid=3260 vsize=864040 CPUtime=0.03
/proc/3261/task/3267/stat : 3267 (java) S 3260 3228 2904 0 -1 64 297 0 0 0 3 0 0 0 16 0 9 0 4444951 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3261/tid=3268] ppid=3260 vsize=864040 CPUtime=0
/proc/3261/task/3268/stat : 3268 (java) S 3260 3228 2904 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4444951 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3261/tid=3269] ppid=3260 vsize=864040 CPUtime=0
/proc/3261/task/3269/stat : 3269 (java) S 3260 3228 2904 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4444951 884776960 3020 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 226.19
Current children cumulated vsize (KiB) 882996

[startup+231.502 s]
/proc/loadavg: 2.07 2.00 1.47 3/92 3269
/proc/meminfo: memFree=1096176/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=226.59
/proc/3228/stat : 3228 (sugar) R 3226 3228 2904 0 -1 4194304 1119 215611 0 3 4 14 12456 10185 16 0 1 0 4421902 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 217051796521 0 0 4224 16386 0 0 0 17 1 0 0
/proc/3228/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 226.59
Current children cumulated vsize (KiB) 13600

[startup+231.621 s]
/proc/loadavg: 2.07 2.00 1.47 3/92 3269
/proc/meminfo: memFree=1096176/2055920 swapFree=4192956/4192956
[pid=3228] ppid=3226 vsize=13600 CPUtime=226.71
/proc/3228/stat : 3228 (sugar) R 3226 3228 2904 0 -1 4194304 1119 215611 0 3 4 26 12456 10185 16 0 1 0 4421902 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 217051796521 0 0 4224 16386 0 0 0 17 1 0 0
/proc/3228/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 226.71
Current children cumulated vsize (KiB) 13600

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 38.77
#  lost CPU user time (s): 35.29
#  lost CPU system time (s): 3.48

Real time (s): 231.625
CPU time (s): 265.495
CPU user time (s): 159.896
CPU system time (s): 105.598
CPU usage (%): 114.623
Max. virtual memory (cumulated for all children) (KiB): 887420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.606
system time used= 102.118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216760
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= 59272
involuntary context switches= 63576

runsolver used 0.342947 second user time and 0.712891 second system time

The end

Launcher Data (download as text)

Begin job on node59 at 2008-07-08 02:33:55
IDJOB=1074806
IDBENCH=56445
IDSOLVER=345
FILE ID=node59/1074806-1215477235
PBS_JOBID= 7888679
Free space on /tmp= 66500 MiB

SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-8.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074806-1215477235/watcher-1074806-1215477235 -o /tmp/evaluation-result-1074806-1215477235/solver-1074806-1215477235 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1074806-1215477235.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=101768189

node59.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.268
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.268
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:       1604584 kB
Buffers:         25276 kB
Cached:          55780 kB
SwapCached:          0 kB
Active:         367620 kB
Inactive:        49700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1604584 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3312 kB
Writeback:           0 kB
Mapped:         356484 kB
Slab:            18540 kB
Committed_AS:   676044 kB
PageTables:       2552 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66500 MiB
End job on node59 at 2008-07-08 02:37:47