Trace number 2080244

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 277.083 277.426

General information on the benchmark

Namecsp/js-taillard-20-15/
normalized-js-taillard-20-15-100-9.xml
MD5SUMf1b65786d4cc212820340d13acbe5b6b
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 benchmark277.083
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1383
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
Global constraints used (with number of constraints)

Solver Data 

0.00/0.07	c 0	Sugar v1-14-6 + HOME/picosat
0.00/0.07	c 0	BEGIN Sun Jul 12 05:30:08 2009
0.00/0.07	c 0	PID 23047
0.00/0.07	c 0	HOST node8.alineos.net
0.00/0.07	c 0	CONVERTING HOME/instance-2080244-1247369408.xml TO HOME/temp.csp
0.00/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2080244-1247369408.xml' 'HOME/temp.csp'
0.06/0.83	c 1	300 domains, 300 variables, 2 predicates, 0 relations, 3130 constraints
0.06/0.85	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.85	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'
0.80/0.92	c 1	Parsing HOME/temp.csp
0.93/1.08	c 1	parsed 3732 expressions
0.93/1.09	c 1	Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.93/1.09	c 1	Converting to clausal form CSP
1.04/1.11	c 1	converted 374 (10%) expressions
1.04/1.17	c 1	converted 747 (20%) expressions
1.13/1.30	c 1	converted 1120 (30%) expressions
1.23/1.33	c 1	converted 1493 (40%) expressions
1.23/1.35	c 1	converted 1866 (50%) expressions
1.23/1.36	c 1	converted 2240 (60%) expressions
1.23/1.37	c 1	converted 2613 (70%) expressions
1.23/1.38	c 1	converted 2986 (80%) expressions
1.23/1.39	c 2	converted 3359 (90%) expressions
1.34/1.41	c 2	converted 3732 (100%) expressions
1.34/1.41	c 2	CSP : 300 integers, 0 booleans, 3130 clauses, largest domain size 1356
1.34/1.41	c 2	Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.34/1.41	c 2	Propagation in CSP
1.44/1.53	c 2	90990 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.44/1.53	c 2	CSP : 300 integers, 0 booleans, 3130 clauses, largest domain size 780
1.44/1.53	c 2	Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.44/1.54	c 2	Simplifing CSP by introducing new Boolean variables
1.53/1.62	c 2	CSP : 300 integers, 5700 booleans, 8830 clauses, largest domain size 780
1.53/1.62	c 2	Heap : 5 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.53/1.67	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.64/1.70	c 2	30 (10%) CSP integer variables are encoded (18555 clauses, 256219 bytes)
1.64/1.73	c 2	60 (20%) CSP integer variables are encoded (37395 clauses, 538819 bytes)
1.64/1.75	c 2	90 (30%) CSP integer variables are encoded (56010 clauses, 818044 bytes)
1.64/1.78	c 2	120 (40%) CSP integer variables are encoded (76530 clauses, 1125844 bytes)
1.73/1.80	c 2	150 (50%) CSP integer variables are encoded (94545 clauses, 1396069 bytes)
1.73/1.82	c 2	180 (60%) CSP integer variables are encoded (113400 clauses, 1706011 bytes)
1.73/1.85	c 2	210 (70%) CSP integer variables are encoded (129915 clauses, 1986766 bytes)
1.73/1.87	c 2	240 (80%) CSP integer variables are encoded (150930 clauses, 2344021 bytes)
1.73/1.90	c 2	270 (90%) CSP integer variables are encoded (171345 clauses, 2691076 bytes)
1.83/1.92	c 2	300 (100%) CSP integer variables are encoded (187605 clauses, 2967496 bytes)
2.22/2.32	c 2	883 (10%) CSP clauses are encoded (378317 clauses, 7149728 bytes)
2.62/2.77	c 3	1766 (20%) CSP clauses are encoded (620499 clauses, 12713130 bytes)
3.02/3.15	c 3	2649 (30%) CSP clauses are encoded (820231 clauses, 17329321 bytes)
3.52/3.62	c 4	3532 (40%) CSP clauses are encoded (1075294 clauses, 23233353 bytes)
3.91/4.04	c 4	4415 (50%) CSP clauses are encoded (1294051 clauses, 28311593 bytes)
4.30/4.45	c 5	5298 (60%) CSP clauses are encoded (1504956 clauses, 33195831 bytes)
4.79/4.90	c 5	6181 (70%) CSP clauses are encoded (1745215 clauses, 38779746 bytes)
5.19/5.30	c 5	7064 (80%) CSP clauses are encoded (1963360 clauses, 43898871 bytes)
5.58/5.72	c 6	7947 (90%) CSP clauses are encoded (2180183 clauses, 49141322 bytes)
5.98/6.18	c 6	8830 (100%) CSP clauses are encoded (2437807 clauses, 55125446 bytes)
5.98/6.18	c 6	8830 CSP clauses encoded
5.98/6.18	c 6	Writing map file : HOME/temp.map
5.98/6.19	c 6	Heap : 3 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
5.98/6.19	c 6	SAT : 193605 SAT variables, 2437807 SAT clauses, 55125446 bytes
5.98/6.19	c 6	Heap : 3 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
6.08/6.22	c 6	SOLVING HOME/temp.cnf
6.08/6.22	c 6	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
276.57/276.97	c 277	DECODING HOME/temp.out WITH HOME/temp.map
276.57/276.97	c 277	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'
276.66/277.05	c 277	Decoding HOME/temp.out
276.96/277.33	s SATISFIABLE
276.96/277.34	v 126 255 454 525 575 703 744 793 825 912 1008 1121 1156 1265 1338 28 57 79 126 389 483 527 545 683 728 763 904 951 1130 1266 24 197 233 298 390 498 612 627 693 783 822 830 1093 1156 1269 0 175 225 276 441 842 938 978 1045 1086 1095 1153 1225 1301 1376 10 23 92 109 125 275 369 387 481 534 571 667 838 1209 1274 0 121 201 306 407 467 551 568 613 673 761 845 1041 1150 1232 0 4 119 152 214 300 330 409 627 783 830 939 979 1067 1322 3 32 210 697 723 778 833 886 1040 1137 1161 1230 1265 1286 1325 66 102 192 228 378 390 476 650 752 936 984 1058 1086 1202 1339 0 61 110 218 324 384 483 670 824 935 1039 1235 1313 1346 1350 108 288 379 653 685 823 935 1007 1053 1152 1229 1284 1346 1366 1382 0 74 123 248 329 392 441 602 648 720 806 839 949 1025 1055 63 109 313 550 616 739 950 1020 1046 1141 1156 1179 1252 1307 1313 380 472 518 616 617 693 752 838 944 1029 1041 1132 1230 1328 1339 461 534 604 618 650 669 727 747 843 911 991 1033 1045 1124 1134 0 78 263 274 385 395 474 498 555 913 955 1040 1183 1241 1260 71 152 265 355 369 395 425 531 838 976 979 1039 1109 1149 1298 170 531 609 614 697 722 726 746 825 885 893 990 1023 1282 1353 0 93 118 179 265 308 387 410 507 548 642 774 791 1022 1136 0 184 261 335 394 410 486 581 693 758 896 986 1021 1156 1203
276.96/277.35	c 277	Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
277.03/277.40	c 278	CPU 277.03 (0.06 0.02 265.6 11.35)
277.03/277.40	c 278	END Sun Jul 12 05:34:46 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-2080244-1247369408/watcher-2080244-1247369408 -o /tmp/evaluation-result-2080244-1247369408/solver-2080244-1247369408 -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-2080244-1247369408.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.12 2.18 2.10 4/75 23047
/proc/meminfo: memFree=1669784/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=12272 CPUtime=0
/proc/23047/stat : 23047 (sugar) R 23045 23047 18774 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 24008060 12566528 327 996147200 4194304 4206940 548682068608 18446744073709551615 228706712165 0 0 4224 0 0 0 0 17 0 0 0
/proc/23047/statm: 3068 327 246 3 0 168 0

[startup+0.01482 s]
/proc/loadavg: 2.12 2.18 2.10 4/75 23047
/proc/meminfo: memFree=1669784/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=12544 CPUtime=0
/proc/23047/stat : 23047 (sugar) R 23045 23047 18774 0 -1 4194304 491 0 0 0 0 0 0 0 18 0 1 0 24008060 12845056 459 996147200 4194304 4206940 548682068608 18446744073709551615 228706390753 0 0 4224 0 0 0 0 17 0 0 0
/proc/23047/statm: 3136 460 291 3 0 236 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12544

[startup+0.101831 s]
/proc/loadavg: 2.12 2.18 2.10 4/75 23047
/proc/meminfo: memFree=1669784/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=0.06
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1227 128 0 0 5 1 0 0 17 0 1 0 24008060 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23047/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.301839 s]
/proc/loadavg: 2.12 2.18 2.10 4/75 23047
/proc/meminfo: memFree=1669784/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=0.06
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1227 128 0 0 5 1 0 0 17 0 1 0 24008060 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23047/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+0.701883 s]
/proc/loadavg: 2.12 2.18 2.10 4/75 23047
/proc/meminfo: memFree=1669784/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=0.06
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1227 128 0 0 5 1 0 0 17 0 1 0 24008060 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23047/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868

[startup+1.50297 s]
/proc/loadavg: 2.12 2.18 2.10 4/86 23069
/proc/meminfo: memFree=1661568/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=0.81
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1310 6840 0 1 6 1 70 4 15 0 1 0 24008060 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23047/statm: 4217 1111 409 3 0 796 0
[pid=23060] ppid=23047 vsize=5356 CPUtime=0
/proc/23060/stat : 23060 (sh) S 23047 23047 18774 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24008145 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23060/statm: 1339 233 193 169 0 50 0
[pid=23061] ppid=23060 vsize=868516 CPUtime=0.63
/proc/23061/stat : 23061 (java) S 23060 23047 18774 0 -1 0 5856 0 1 0 60 3 0 0 20 0 9 0 24008146 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23061/statm: 217129 5265 1743 9 0 211634 0
[pid=23061/tid=23062] ppid=23060 vsize=868516 CPUtime=0.41
/proc/23061/task/23062/stat : 23062 (java) R 23060 23047 18774 0 -1 64 2684 0 1 0 40 1 0 0 25 0 9 0 24008146 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4126845462 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23063] ppid=23060 vsize=868516 CPUtime=0.03
/proc/23061/task/23063/stat : 23063 (java) S 23060 23047 18774 0 -1 64 1001 0 0 0 3 0 0 0 16 0 9 0 24008148 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23064] ppid=23060 vsize=868516 CPUtime=0
/proc/23061/task/23064/stat : 23064 (java) S 23060 23047 18774 0 -1 64 11 0 0 0 0 0 0 0 24 0 9 0 24008148 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23065] ppid=23060 vsize=868516 CPUtime=0
/proc/23061/task/23065/stat : 23065 (java) S 23060 23047 18774 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 24008148 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23066] ppid=23060 vsize=868516 CPUtime=0
/proc/23061/task/23066/stat : 23066 (java) S 23060 23047 18774 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24008150 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23067] ppid=23060 vsize=868516 CPUtime=0.15
/proc/23061/task/23067/stat : 23067 (java) S 23060 23047 18774 0 -1 64 1477 0 0 0 15 0 0 0 16 0 9 0 24008150 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23068] ppid=23060 vsize=868516 CPUtime=0
/proc/23061/task/23068/stat : 23068 (java) S 23060 23047 18774 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24008150 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23069] ppid=23060 vsize=868516 CPUtime=0
/proc/23061/task/23069/stat : 23069 (java) S 23060 23047 18774 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24008150 889360384 5265 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 890740

[startup+3.10111 s]
/proc/loadavg: 2.12 2.18 2.10 3/86 23069
/proc/meminfo: memFree=1644416/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=0.81
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1310 6840 0 1 6 1 70 4 15 0 1 0 24008060 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23047/statm: 4217 1111 409 3 0 796 0
[pid=23060] ppid=23047 vsize=5356 CPUtime=0
/proc/23060/stat : 23060 (sh) S 23047 23047 18774 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24008145 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23060/statm: 1339 233 193 169 0 50 0
[pid=23061] ppid=23060 vsize=868712 CPUtime=2.21
/proc/23061/stat : 23061 (java) S 23060 23047 18774 0 -1 0 8004 0 1 0 203 18 0 0 20 0 9 0 24008146 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23061/statm: 217178 6778 2590 9 0 211655 0
[pid=23061/tid=23062] ppid=23060 vsize=868712 CPUtime=1.72
/proc/23061/task/23062/stat : 23062 (java) R 23060 23047 18774 0 -1 64 3191 0 1 0 160 12 0 0 25 0 9 0 24008146 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23063] ppid=23060 vsize=868712 CPUtime=0.25
/proc/23061/task/23063/stat : 23063 (java) S 23060 23047 18774 0 -1 64 2606 0 0 0 21 4 0 0 16 0 9 0 24008148 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23064] ppid=23060 vsize=868712 CPUtime=0
/proc/23061/task/23064/stat : 23064 (java) S 23060 23047 18774 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24008148 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23065] ppid=23060 vsize=868712 CPUtime=0
/proc/23061/task/23065/stat : 23065 (java) S 23060 23047 18774 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24008148 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23066] ppid=23060 vsize=868712 CPUtime=0
/proc/23061/task/23066/stat : 23066 (java) S 23060 23047 18774 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24008150 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23067] ppid=23060 vsize=868712 CPUtime=0.2
/proc/23061/task/23067/stat : 23067 (java) S 23060 23047 18774 0 -1 64 1508 0 0 0 20 0 0 0 16 0 9 0 24008150 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23068] ppid=23060 vsize=868712 CPUtime=0
/proc/23061/task/23068/stat : 23068 (java) S 23060 23047 18774 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24008150 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23061/tid=23069] ppid=23060 vsize=868712 CPUtime=0
/proc/23061/task/23069/stat : 23069 (java) S 23060 23047 18774 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24008150 889561088 6778 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 890936

[startup+6.30241 s]
/proc/loadavg: 2.11 2.18 2.09 3/86 23069
/proc/meminfo: memFree=1604360/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 16868

[startup+12.702 s]
/proc/loadavg: 2.10 2.17 2.09 3/77 23109
/proc/meminfo: memFree=1630920/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=45264 CPUtime=6.41
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 9718 0 0 0 291 350 0 0 25 0 1 0 24008682 46350336 9704 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 11316 9704 40 102 0 11211 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 67488

[startup+25.5012 s]
/proc/loadavg: 2.08 2.17 2.09 3/77 23109
/proc/meminfo: memFree=1578576/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=94108 CPUtime=19.21
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 22363 0 0 0 874 1047 0 0 25 0 1 0 24008682 96366592 22349 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 23527 22349 40 102 0 23422 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 116332

[startup+51.1016 s]
/proc/loadavg: 2.05 2.15 2.09 3/77 23109
/proc/meminfo: memFree=1574096/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=99672 CPUtime=44.77
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23030 0 0 0 3404 1073 0 0 25 0 1 0 24008682 102064128 23016 996147200 134512640 134931368 4294956256 18446744073709551615 134524112 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 24918 23016 42 102 0 24813 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 121896

[startup+102.306 s]
/proc/loadavg: 2.02 2.13 2.08 3/77 23109
/proc/meminfo: memFree=1573840/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=100464 CPUtime=95.95
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23246 0 0 0 8522 1073 0 0 25 0 1 0 24008682 102875136 23232 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 25116 23232 42 102 0 25011 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 122688

[startup+162.301 s]
/proc/loadavg: 2.01 2.10 2.08 3/77 23109
/proc/meminfo: memFree=1572688/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=101520 CPUtime=155.92
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23506 0 0 0 14518 1074 0 0 25 0 1 0 24008682 103956480 23492 996147200 134512640 134931368 4294956256 18446744073709551615 134529859 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 25380 23493 42 102 0 25275 0
Current children cumulated CPU time (s) 162.02
Current children cumulated vsize (KiB) 123744

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

/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=102584 CPUtime=215.9
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23789 0 0 0 20515 1075 0 0 25 0 1 0 24008682 105046016 23773 996147200 134512640 134931368 4294956256 18446744073709551615 134522836 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 25646 23773 48 102 0 25541 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 124808

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

[startup+230.302 s]
/proc/loadavg: 2.00 2.08 2.07 3/77 23109
/proc/meminfo: memFree=1571408/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=102716 CPUtime=223.9
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23824 0 0 0 21315 1075 0 0 25 0 1 0 24008682 105181184 23808 996147200 134512640 134931368 4294956256 18446744073709551615 134524017 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 25679 23808 48 102 0 25574 0
Current children cumulated CPU time (s) 230
Current children cumulated vsize (KiB) 124940

[startup+255.902 s]
/proc/loadavg: 2.00 2.07 2.07 3/77 23109
/proc/meminfo: memFree=1571024/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=103112 CPUtime=249.48
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23927 0 0 0 23873 1075 0 0 25 0 1 0 24008682 105586688 23911 996147200 134512640 134931368 4294956256 18446744073709551615 134525763 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 25778 23911 48 102 0 25673 0
Current children cumulated CPU time (s) 255.58
Current children cumulated vsize (KiB) 125336

[startup+268.701 s]
/proc/loadavg: 2.00 2.07 2.07 3/77 23109
/proc/meminfo: memFree=1570832/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=111436 CPUtime=262.28
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23971 0 0 0 25153 1075 0 0 25 0 1 0 24008682 114110464 23955 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 27859 23955 48 102 0 27754 0
Current children cumulated CPU time (s) 268.38
Current children cumulated vsize (KiB) 133660

[startup+271.901 s]
/proc/loadavg: 2.00 2.06 2.07 3/77 23109
/proc/meminfo: memFree=1570768/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=111568 CPUtime=265.48
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 23990 0 0 0 25473 1075 0 0 25 0 1 0 24008682 114245632 23974 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 27892 23974 48 102 0 27787 0
Current children cumulated CPU time (s) 271.58
Current children cumulated vsize (KiB) 133792

[startup+275.103 s]
/proc/loadavg: 2.00 2.06 2.07 3/77 23109
/proc/meminfo: memFree=1570704/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=111568 CPUtime=268.68
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 24000 0 0 0 25793 1075 0 0 25 0 1 0 24008682 114245632 23984 996147200 134512640 134931368 4294956256 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 27892 23984 48 102 0 27787 0
Current children cumulated CPU time (s) 274.78
Current children cumulated vsize (KiB) 133792

[startup+276.702 s]
/proc/loadavg: 2.00 2.06 2.07 3/77 23109
/proc/meminfo: memFree=1570704/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=6.1
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1365 16159 0 2 6 1 549 54 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23070] ppid=23047 vsize=5356 CPUtime=0
/proc/23070/stat : 23070 (sh) S 23047 23047 18774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24008682 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23070/statm: 1339 232 193 169 0 50 0
[pid=23071] ppid=23070 vsize=111568 CPUtime=270.27
/proc/23071/stat : 23071 (picosat) R 23070 23047 18774 0 -1 4194304 24019 0 0 0 25952 1075 0 0 25 0 1 0 24008682 114245632 24003 996147200 134512640 134931368 4294956256 18446744073709551615 134544823 0 0 4096 0 0 0 0 17 0 0 0
/proc/23071/statm: 27892 24003 48 102 0 27787 0
Current children cumulated CPU time (s) 276.37
Current children cumulated vsize (KiB) 133792

[startup+277.102 s]
/proc/loadavg: 2.00 2.06 2.07 4/85 23119
/proc/meminfo: memFree=1660560/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=276.66
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1446 40474 0 2 6 1 26527 1132 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23110] ppid=23047 vsize=5356 CPUtime=0
/proc/23110/stat : 23110 (sh) S 23047 23047 18774 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24035757 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23110/statm: 1339 233 193 169 0 50 0
[pid=23111] ppid=23110 vsize=862008 CPUtime=0.11
/proc/23111/stat : 23111 (java) S 23110 23047 18774 0 -1 0 2923 0 1 0 9 2 0 0 19 0 9 0 24035758 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23111/statm: 215502 2394 1251 9 0 210415 0
[pid=23111/tid=23112] ppid=23110 vsize=862008 CPUtime=0.1
/proc/23111/task/23112/stat : 23112 (java) R 23110 23047 18774 0 -1 64 2016 0 1 0 9 1 0 0 25 0 9 0 24035759 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4125950752 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23113] ppid=23110 vsize=862008 CPUtime=0
/proc/23111/task/23113/stat : 23113 (java) S 23110 23047 18774 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 24035760 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23114] ppid=23110 vsize=862008 CPUtime=0
/proc/23111/task/23114/stat : 23114 (java) S 23110 23047 18774 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 24035760 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23115] ppid=23110 vsize=862008 CPUtime=0
/proc/23111/task/23115/stat : 23115 (java) S 23110 23047 18774 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 24035760 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23116] ppid=23110 vsize=862008 CPUtime=0
/proc/23111/task/23116/stat : 23116 (java) S 23110 23047 18774 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24035762 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23117] ppid=23110 vsize=862008 CPUtime=0
/proc/23111/task/23117/stat : 23117 (java) R 23110 23047 18774 0 -1 64 212 0 0 0 0 0 0 0 25 0 9 0 24035762 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23118] ppid=23110 vsize=862008 CPUtime=0
/proc/23111/task/23118/stat : 23118 (java) S 23110 23047 18774 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24035762 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23119] ppid=23110 vsize=862008 CPUtime=0
/proc/23111/task/23119/stat : 23119 (java) S 23110 23047 18774 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 24035762 882696192 2394 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 276.77
Current children cumulated vsize (KiB) 884232

[startup+277.302 s]
/proc/loadavg: 2.00 2.06 2.07 4/85 23119
/proc/meminfo: memFree=1660560/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=276.66
/proc/23047/stat : 23047 (sugar) S 23045 23047 18774 0 -1 4194304 1446 40474 0 2 6 1 26527 1132 16 0 1 0 24008060 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23047/statm: 4217 1113 409 3 0 796 0
[pid=23110] ppid=23047 vsize=5356 CPUtime=0
/proc/23110/stat : 23110 (sh) S 23047 23047 18774 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24035757 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23110/statm: 1339 233 193 169 0 50 0
[pid=23111] ppid=23110 vsize=862288 CPUtime=0.3
/proc/23111/stat : 23111 (java) S 23110 23047 18774 0 -1 0 3093 0 1 0 28 2 0 0 19 0 9 0 24035758 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23111/statm: 215572 2563 1279 9 0 210485 0
[pid=23111/tid=23112] ppid=23110 vsize=862288 CPUtime=0.25
/proc/23111/task/23112/stat : 23112 (java) R 23110 23047 18774 0 -1 64 2028 0 1 0 24 1 0 0 25 0 9 0 24035759 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23113] ppid=23110 vsize=862288 CPUtime=0
/proc/23111/task/23113/stat : 23113 (java) S 23110 23047 18774 0 -1 64 69 0 0 0 0 0 0 0 16 0 9 0 24035760 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23114] ppid=23110 vsize=862288 CPUtime=0
/proc/23111/task/23114/stat : 23114 (java) S 23110 23047 18774 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 24035760 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23115] ppid=23110 vsize=862288 CPUtime=0
/proc/23111/task/23115/stat : 23115 (java) S 23110 23047 18774 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 24035760 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23116] ppid=23110 vsize=862288 CPUtime=0
/proc/23111/task/23116/stat : 23116 (java) S 23110 23047 18774 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24035762 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23117] ppid=23110 vsize=862288 CPUtime=0.03
/proc/23111/task/23117/stat : 23117 (java) S 23110 23047 18774 0 -1 64 303 0 0 0 3 0 0 0 20 0 9 0 24035762 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23118] ppid=23110 vsize=862288 CPUtime=0
/proc/23111/task/23118/stat : 23118 (java) S 23110 23047 18774 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24035762 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23111/tid=23119] ppid=23110 vsize=862288 CPUtime=0
/proc/23111/task/23119/stat : 23119 (java) S 23110 23047 18774 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24035762 882982912 2563 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 276.96
Current children cumulated vsize (KiB) 884512

[startup+277.402 s]
/proc/loadavg: 2.00 2.06 2.07 4/85 23119
/proc/meminfo: memFree=1660560/2055920 swapFree=4192812/4192956
[pid=23047] ppid=23045 vsize=16868 CPUtime=277.03
/proc/23047/stat : 23047 (sugar) R 23045 23047 18774 0 -1 4194304 1477 44384 0 3 6 2 26560 1135 15 0 1 0 24008060 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 0 0 0
/proc/23047/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 277.03
Current children cumulated vsize (KiB) 16868

Child status: 0
Real time (s): 277.426
CPU time (s): 277.083
CPU user time (s): 265.676
CPU system time (s): 11.4073
CPU usage (%): 99.8765
Max. virtual memory (cumulated for all children) (KiB): 890936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.676
system time used= 11.4073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45921
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= 15430
involuntary context switches= 16332

runsolver used 0.316951 second user time and 0.714891 second system time

The end

Launcher Data 

Begin job on node8 at 2009-07-12 05:30:08
IDJOB=2080244
IDBENCH=57044
IDSOLVER=738
FILE ID=node8/2080244-1247369408
PBS_JOBID= 9507079
Free space on /tmp= 66268 MiB

SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-100-9.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-2080244-1247369408/watcher-2080244-1247369408 -o /tmp/evaluation-result-2080244-1247369408/solver-2080244-1247369408 -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-2080244-1247369408.xml

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

MD5SUM BENCH= f1b65786d4cc212820340d13acbe5b6b
RANDOM SEED=1278135414

node8.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.213
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.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1670200 kB
Buffers:         43408 kB
Cached:         208396 kB
SwapCached:          0 kB
Active:         213100 kB
Inactive:        97432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1670200 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1724 kB
Writeback:           0 kB
Mapped:          69836 kB
Slab:            60264 kB
Committed_AS:   199736 kB
PageTables:       1864 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= 66288 MiB
End job on node8 at 2009-07-12 05:34:46