Trace number 1074764

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 197.09 199.752

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-7.xml
MD5SUM27f4cc462e98447410df1b328f62effd
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 benchmark17.5233
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1206
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.07	c 0	Sugar v1-13 + HOME/picosat
0.00/0.07	c 0	BEGIN Fri Jul  4 15:54:13 2008
0.00/0.07	c 0	PID 9414
0.03/0.07	c 0	HOST node68.alineos.net
0.03/0.07	c 0	CONVERTING HOME/instance-1074764-1215179653.xml TO HOME/temp.csp
0.03/0.07	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1074764-1215179653.xml' 'HOME/temp.csp'
0.03/0.89	c 1	400 domains, 400 variables, 1 predicates, 0 relations, 7600 constraints
0.03/0.91	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.91	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'
0.03/1.00	c 1	Parsing HOME/temp.csp
1.21/1.37	c 1	parsed 8401 expressions
1.21/1.38	c 1	Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.21/1.38	c 1	Converting to clausal form CSP
1.31/1.43	c 1	converted 841 (10%) expressions
1.50/1.61	c 1	converted 1681 (20%) expressions
1.50/1.68	c 1	converted 2521 (30%) expressions
1.60/1.71	c 1	converted 3361 (40%) expressions
1.60/1.74	c 2	converted 4201 (50%) expressions
1.60/1.76	c 2	converted 5041 (60%) expressions
1.60/1.79	c 2	converted 5881 (70%) expressions
1.70/1.86	c 2	converted 6721 (80%) expressions
1.70/1.89	c 2	converted 7561 (90%) expressions
1.80/1.91	c 2	converted 8401 (100%) expressions
1.80/1.91	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1206
1.80/1.91	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.80/1.91	c 2	Propagation in CSP
1.80/2.00	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.80/2.00	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1206
1.80/2.00	c 2	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.89/2.00	c 2	Simplifing CSP by introducing new Boolean variables
2.00/2.18	c 2	CSP : 400 integers, 15200 booleans, 22800 clauses, largest domain size 1206
2.00/2.18	c 2	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.09/2.26	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.18/2.35	c 2	40 (10%) CSP integer variables are encoded (46198 clauses, 670842 bytes)
2.28/2.41	c 2	80 (20%) CSP integer variables are encoded (92320 clauses, 1362672 bytes)
2.28/2.47	c 2	120 (30%) CSP integer variables are encoded (138569 clauses, 2133720 bytes)
2.38/2.53	c 2	160 (40%) CSP integer variables are encoded (184582 clauses, 2915941 bytes)
2.38/2.60	c 2	200 (50%) CSP integer variables are encoded (230800 clauses, 3701647 bytes)
2.48/2.66	c 2	240 (60%) CSP integer variables are encoded (276814 clauses, 4483885 bytes)
2.58/2.72	c 2	280 (70%) CSP integer variables are encoded (323007 clauses, 5269166 bytes)
2.58/2.78	c 3	320 (80%) CSP integer variables are encoded (369536 clauses, 6060159 bytes)
2.68/2.85	c 3	360 (90%) CSP integer variables are encoded (415644 clauses, 6843995 bytes)
2.78/2.91	c 3	400 (100%) CSP integer variables are encoded (462039 clauses, 7632710 bytes)
5.95/6.20	c 6	2280 (10%) CSP clauses are encoded (2148447 clauses, 46456220 bytes)
9.28/9.56	c 9	4560 (20%) CSP clauses are encoded (3839417 clauses, 86304078 bytes)
12.54/12.88	c 13	6840 (30%) CSP clauses are encoded (5514009 clauses, 125950365 bytes)
15.88/16.25	c 16	9120 (40%) CSP clauses are encoded (7206579 clauses, 168043052 bytes)
19.23/19.61	c 19	11400 (50%) CSP clauses are encoded (8879191 clauses, 209828712 bytes)
22.53/23.03	c 23	13680 (60%) CSP clauses are encoded (10561675 clauses, 251861172 bytes)
25.77/26.40	c 26	15960 (70%) CSP clauses are encoded (12245503 clauses, 293927232 bytes)
29.16/29.80	c 30	18240 (80%) CSP clauses are encoded (13924343 clauses, 335868592 bytes)
32.46/33.22	c 33	20520 (90%) CSP clauses are encoded (15622407 clauses, 378290552 bytes)
35.80/36.61	c 36	22800 (100%) CSP clauses are encoded (17314203 clauses, 420555812 bytes)
35.80/36.61	c 36	22800 CSP clauses encoded
35.80/36.61	c 36	Writing map file : HOME/temp.map
35.80/36.63	c 36	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
35.80/36.63	c 36	SAT : 477639 SAT variables, 17314203 SAT clauses, 420555812 bytes
35.80/36.63	c 36	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
35.80/36.67	c 36	SOLVING HOME/temp.cnf
35.80/36.67	c 36	CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
195.98/198.61	c 198	DECODING HOME/temp.out WITH HOME/temp.map
195.98/198.61	c 198	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
196.01/198.73	c 199	Decoding HOME/temp.out
196.74/199.47	s SATISFIABLE
196.74/199.49	v 597 723 1072 93 1043 661 112 81 427 765 320 875 976 392 439 0 520 238 226 163 809 962 1 7 729 1042 888 659 595 132 1129 636 238 790 1030 320 205 475 60 378 812 251 475 923 80 289 0 664 600 42 340 1008 221 191 429 843 755 1106 379 515 2 727 579 290 842 217 871 659 57 493 358 124 796 1111 1063 465 969 518 348 166 1099 456 327 419 888 315 936 362 250 673 233 281 599 0 50 729 147 1128 165 1024 1119 3 156 664 717 1001 66 1060 998 952 291 345 35 1042 392 812 84 573 465 189 192 220 369 748 1130 323 496 573 48 677 1044 959 945 270 178 888 400 159 830 69 316 399 1003 230 1043 898 769 533 828 147 436 1110 864 679 82 353 597 415 159 923 99 820 522 233 479 81 757 376 972 62 666 329 910 0 1118 110 445 175 49 23 321 184 66 217 820 575 905 1042 945 1094 671 17 254 976 773 1150 445 482 81 22 527 553 405 48 314 40 972 1056 796 883 717 639 1176 470 457 264 111 158 11 198 280 1 522 922 226 247 603 1118 747 1055 661 833 941 57 72 167 385 345 6 456 3 979 1017 1187 707 1133 726 93 805 1055 877 118 463 49 370 11 240 187 542 0 1106 1061 726 492 642 842 907 390 1078 788 323 25 228 0 257 571 158 28 962 116 826 113 228 1109 0 1179 289 744 417 782 579 84 372 136 4 334 269 313 38 508 967 939 834 797 1059 558 1119 251 50 757 202 390 3 308 457 103 11 62 372 84 962 110 1105 257 875 672 436 1038 769 580 554 313 125 819 155 208 224 1 344 18 759 116 978 1055 1002 417 1110 140 861 573 245 316 671 21 50 0 32 193 17 923 1128 772 902 1061 439 642 759 417 251 163 176 116 329 3 12 21 72 101 110 148 604 634 724 750 796 826 978 0 37 124 160 215 288 311 324 327 425 463 483 506
196.74/199.49	c 199	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
196.83/199.53	c 199	CPU 109.04 (0.04 0.01 109 87.81)
196.83/199.53	c 199	END Fri Jul  4 15:57:32 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-1074764-1215179653/watcher-1074764-1215179653 -o /tmp/evaluation-result-1074764-1215179653/solver-1074764-1215179653 -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-1074764-1215179653.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: 2.04 1.74 1.38 4/74 9414
/proc/meminfo: memFree=709224/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=18572 CPUtime=0
/proc/9414/stat : 9414 (runsolver) R 9412 9414 9167 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1996934840 19017728 292 996147200 4194304 4296836 548682068272 18446744073709551615 213112122663 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9414/statm: 4643 292 257 25 0 2626 0

[startup+0.0757299 s]
/proc/loadavg: 2.04 1.74 1.38 4/74 9414
/proc/meminfo: memFree=709224/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.03
/proc/9414/stat : 9414 (sugar) R 9412 9414 9167 0 -1 4194304 845 0 0 0 3 0 0 0 18 0 1 0 1996934840 13926400 793 996147200 4194304 4206940 548682068608 18446744073709551615 213121023892 0 0 4231 16384 0 0 0 17 1 0 0
/proc/9414/statm: 3400 793 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.101735 s]
/proc/loadavg: 2.04 1.74 1.38 4/74 9414
/proc/meminfo: memFree=709224/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.03
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1996934840 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.301769 s]
/proc/loadavg: 2.04 1.74 1.38 4/74 9414
/proc/meminfo: memFree=709224/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.03
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1996934840 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701835 s]
/proc/loadavg: 2.04 1.74 1.38 4/74 9414
/proc/meminfo: memFree=709224/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.03
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1996934840 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50297 s]
/proc/loadavg: 2.12 1.76 1.39 4/85 9436
/proc/meminfo: memFree=702416/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.85
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 974 8344 0 1 3 0 75 7 15 0 1 0 1996934840 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 797 370 3 0 500 0
[pid=9427] ppid=9414 vsize=5356 CPUtime=0
/proc/9427/stat : 9427 (sh) S 9414 9414 9167 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1996934932 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9427/statm: 1339 233 193 169 0 50 0
[pid=9428] ppid=9427 vsize=864320 CPUtime=0.55
/proc/9428/stat : 9428 (java) S 9427 9414 9167 0 -1 0 4722 0 1 0 52 3 0 0 19 0 9 0 1996934932 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9428/statm: 216080 4143 1733 9 0 210655 0
[pid=9428/tid=9429] ppid=9427 vsize=864320 CPUtime=0.37
/proc/9428/task/9429/stat : 9429 (java) R 9427 9414 9167 0 -1 64 2675 0 1 0 36 1 0 0 18 0 9 0 1996934933 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4125924730 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9430] ppid=9427 vsize=864320 CPUtime=0.05
/proc/9428/task/9430/stat : 9430 (java) S 9427 9414 9167 0 -1 64 1000 0 0 0 5 0 0 0 16 0 9 0 1996934934 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9431] ppid=9427 vsize=864320 CPUtime=0
/proc/9428/task/9431/stat : 9431 (java) S 9427 9414 9167 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996934934 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9432] ppid=9427 vsize=864320 CPUtime=0
/proc/9428/task/9432/stat : 9432 (java) S 9427 9414 9167 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996934934 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9433] ppid=9427 vsize=864320 CPUtime=0
/proc/9428/task/9433/stat : 9433 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996934936 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9434] ppid=9427 vsize=864320 CPUtime=0.11
/proc/9428/task/9434/stat : 9434 (java) S 9427 9414 9167 0 -1 64 356 0 0 0 11 0 0 0 16 0 9 0 1996934936 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9435] ppid=9427 vsize=864320 CPUtime=0
/proc/9428/task/9435/stat : 9435 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996934936 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9436] ppid=9427 vsize=864320 CPUtime=0
/proc/9428/task/9436/stat : 9436 (java) S 9427 9414 9167 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996934936 885063680 4143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 883276

[startup+3.10224 s]
/proc/loadavg: 2.12 1.76 1.39 4/85 9436
/proc/meminfo: memFree=683280/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.85
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 974 8344 0 1 3 0 75 7 15 0 1 0 1996934840 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 797 370 3 0 500 0
[pid=9427] ppid=9414 vsize=5356 CPUtime=0
/proc/9427/stat : 9427 (sh) S 9414 9414 9167 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1996934932 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9427/statm: 1339 233 193 169 0 50 0
[pid=9428] ppid=9427 vsize=868464 CPUtime=2.13
/proc/9428/stat : 9428 (java) S 9427 9414 9167 0 -1 0 9976 0 1 0 199 14 0 0 19 0 9 0 1996934932 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9428/statm: 217116 8929 2565 9 0 211663 0
[pid=9428/tid=9429] ppid=9427 vsize=868464 CPUtime=1.39
/proc/9428/task/9429/stat : 9429 (java) R 9427 9414 9167 0 -1 64 3017 0 1 0 130 9 0 0 24 0 9 0 1996934933 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4127006657 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9430] ppid=9427 vsize=868464 CPUtime=0.45
/proc/9428/task/9430/stat : 9430 (java) S 9427 9414 9167 0 -1 64 4785 0 0 0 42 3 0 0 16 0 9 0 1996934934 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9431] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9431/stat : 9431 (java) S 9427 9414 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996934934 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9432] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9432/stat : 9432 (java) S 9427 9414 9167 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996934934 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9433] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9433/stat : 9433 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996934936 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9434] ppid=9427 vsize=868464 CPUtime=0.25
/proc/9428/task/9434/stat : 9434 (java) S 9427 9414 9167 0 -1 64 1482 0 0 0 25 0 0 0 16 0 9 0 1996934936 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9435] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9435/stat : 9435 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996934936 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9436] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9436/stat : 9436 (java) S 9427 9414 9167 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996934936 889307136 8929 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 887420

[startup+6.30279 s]
/proc/loadavg: 2.12 1.76 1.39 4/85 9436
/proc/meminfo: memFree=643472/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.85
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 974 8344 0 1 3 0 75 7 16 0 1 0 1996934840 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 797 370 3 0 500 0
[pid=9427] ppid=9414 vsize=5356 CPUtime=0
/proc/9427/stat : 9427 (sh) S 9414 9414 9167 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1996934932 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9427/statm: 1339 233 193 169 0 50 0
[pid=9428] ppid=9427 vsize=868464 CPUtime=5.3
/proc/9428/stat : 9428 (java) S 9427 9414 9167 0 -1 0 10620 0 1 0 490 40 0 0 19 0 9 0 1996934932 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9428/statm: 217116 8936 2565 9 0 211663 0
[pid=9428/tid=9429] ppid=9427 vsize=868464 CPUtime=4.35
/proc/9428/task/9429/stat : 9429 (java) R 9427 9414 9167 0 -1 64 3654 0 1 0 405 30 0 0 25 0 9 0 1996934933 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4127006772 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9430] ppid=9427 vsize=868464 CPUtime=0.65
/proc/9428/task/9430/stat : 9430 (java) S 9427 9414 9167 0 -1 64 4785 0 0 0 57 8 0 0 16 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9431] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9431/stat : 9431 (java) S 9427 9414 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9432] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9432/stat : 9432 (java) S 9427 9414 9167 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9433] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9433/stat : 9433 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9434] ppid=9427 vsize=868464 CPUtime=0.26
/proc/9428/task/9434/stat : 9434 (java) S 9427 9414 9167 0 -1 64 1489 0 0 0 26 0 0 0 17 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9435] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9435/stat : 9435 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9436] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9436/stat : 9436 (java) S 9427 9414 9167 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 887420

[startup+12.7029 s]
/proc/loadavg: 2.10 1.77 1.39 3/85 9436
/proc/meminfo: memFree=564112/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.85
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 974 8344 0 1 3 0 75 7 16 0 1 0 1996934840 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 797 370 3 0 500 0
[pid=9427] ppid=9414 vsize=5356 CPUtime=0
/proc/9427/stat : 9427 (sh) S 9414 9414 9167 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1996934932 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9427/statm: 1339 233 193 169 0 50 0
[pid=9428] ppid=9427 vsize=868464 CPUtime=11.59
/proc/9428/stat : 9428 (java) S 9427 9414 9167 0 -1 0 11875 0 1 0 1058 101 0 0 19 0 9 0 1996934932 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9428/statm: 217116 8936 2565 9 0 211663 0
[pid=9428/tid=9429] ppid=9427 vsize=868464 CPUtime=10.26
/proc/9428/task/9429/stat : 9429 (java) R 9427 9414 9167 0 -1 64 4909 0 1 0 942 84 0 0 25 0 9 0 1996934933 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4126586901 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9430] ppid=9427 vsize=868464 CPUtime=1.03
/proc/9428/task/9430/stat : 9430 (java) S 9427 9414 9167 0 -1 64 4785 0 0 0 88 15 0 0 16 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9431] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9431/stat : 9431 (java) S 9427 9414 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9432] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9432/stat : 9432 (java) S 9427 9414 9167 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9433] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9433/stat : 9433 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9434] ppid=9427 vsize=868464 CPUtime=0.26
/proc/9428/task/9434/stat : 9434 (java) S 9427 9414 9167 0 -1 64 1489 0 0 0 26 0 0 0 17 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9435] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9435/stat : 9435 (java) S 9427 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9436] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9436/stat : 9436 (java) S 9427 9414 9167 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996934936 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 887420

[startup+25.502 s]
/proc/loadavg: 2.16 1.80 1.40 3/85 9436
/proc/meminfo: memFree=400784/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=0.86
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 974 8344 0 1 4 0 75 7 16 0 1 0 1996934840 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 797 370 3 0 500 0
[pid=9427] ppid=9414 vsize=5356 CPUtime=0
/proc/9427/stat : 9427 (sh) S 9414 9414 9167 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1996934932 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9427/statm: 1339 233 193 169 0 50 0
[pid=9428] ppid=9427 vsize=868464 CPUtime=24.12
/proc/9428/stat : 9428 (java) S 9427 9414 9167 0 -1 0 14412 0 1 0 2204 208 0 0 19 0 9 0 1996934932 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9428/statm: 217116 8936 2565 9 0 211663 0
[pid=9428/tid=9429] ppid=9427 vsize=868464 CPUtime=21.97
/proc/9428/task/9429/stat : 9429 (java) R 9427 9414 9167 0 -1 64 7446 0 1 0 2021 176 0 0 25 0 9 0 1996934933 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4126965206 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9430] ppid=9427 vsize=868464 CPUtime=1.86
/proc/9428/task/9430/stat : 9430 (java) S 9427 9414 9167 0 -1 64 4785 0 0 0 156 30 0 0 16 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9431] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9431/stat : 9431 (java) S 9427 9414 9167 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9428/tid=9432] ppid=9427 vsize=868464 CPUtime=0
/proc/9428/task/9432/stat : 9432 (java) S 9427 9414 9167 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1996934934 889307136 8936 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/9437/stat : 9437 (sh) S 9414 9414 9167 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1996938507 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9437/statm: 1339 232 193 169 0 50 0
[pid=9438] ppid=9437 vsize=93080 CPUtime=14.26
/proc/9438/stat : 9438 (picosat) R 9437 9414 9167 0 -1 4194304 21430 0 0 0 656 770 0 0 25 0 1 0 1996938507 95313920 21416 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/9438/statm: 23270 21416 40 102 0 23165 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 112036

[startup+102.306 s]
/proc/loadavg: 2.09 1.87 1.46 3/77 9438
/proc/meminfo: memFree=15824/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=35.84
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1022 25271 0 2 4 0 3267 313 16 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9437] ppid=9414 vsize=5356 CPUtime=0
/proc/9437/stat : 9437 (sh) S 9414 9414 9167 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1996938507 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9437/statm: 1339 232 193 169 0 50 0
[pid=9438] ppid=9437 vsize=291896 CPUtime=64.97
/proc/9438/stat : 9438 (picosat) R 9437 9414 9167 0 -1 4194304 70520 0 0 0 2985 3512 0 0 25 0 1 0 1996938507 298901504 70506 996147200 134512640 134931368 4294956256 18446744073709551615 134532196 0 0 4096 0 0 0 0 17 1 0 0
/proc/9438/statm: 72974 70506 40 102 0 72869 0
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (KiB) 310852

[startup+162.301 s]
/proc/loadavg: 2.03 1.89 1.49 3/77 9438
/proc/meminfo: memFree=15952/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=35.84
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1022 25271 0 2 4 0 3267 313 16 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9437] ppid=9414 vsize=5356 CPUtime=0
/proc/9437/stat : 9437 (sh) S 9414 9414 9167 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1996938507 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9437/statm: 1339 232 193 169 0 50 0
[pid=9438] ppid=9437 vsize=527548 CPUtime=124.24
/proc/9438/stat : 9438 (picosat) R 9437 9414 9167 0 -1 4194304 127654 0 0 0 5713 6711 0 0 25 0 1 0 1996938507 540209152 127640 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/9438/statm: 131887 127640 40 102 0 131782 0
Current children cumulated CPU time (s) 160.08
Current children cumulated vsize (KiB) 546504

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

[startup+179.101 s]
/proc/loadavg: 2.02 1.89 1.50 3/77 9438
/proc/meminfo: memFree=15696/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=35.84
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1022 25271 0 2 4 0 3267 313 16 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9437] ppid=9414 vsize=5356 CPUtime=0
/proc/9437/stat : 9437 (sh) S 9414 9414 9167 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1996938507 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9437/statm: 1339 232 193 169 0 50 0
[pid=9438] ppid=9437 vsize=584440 CPUtime=140.86
/proc/9438/stat : 9438 (picosat) R 9437 9414 9167 0 -1 4194304 143677 0 0 0 6481 7605 0 0 25 0 1 0 1996938507 598466560 143663 996147200 134512640 134931368 4294956256 18446744073709551615 134605920 0 0 4096 0 0 0 0 17 1 0 0
/proc/9438/statm: 146110 143663 40 102 0 146005 0
Current children cumulated CPU time (s) 176.7
Current children cumulated vsize (KiB) 603396

[startup+191.901 s]
/proc/loadavg: 2.02 1.90 1.50 3/77 9438
/proc/meminfo: memFree=15504/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=35.84
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1022 25271 0 2 4 0 3267 313 16 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9437] ppid=9414 vsize=5356 CPUtime=0
/proc/9437/stat : 9437 (sh) S 9414 9414 9167 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1996938507 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9437/statm: 1339 232 193 169 0 50 0
[pid=9438] ppid=9437 vsize=627868 CPUtime=153.51
/proc/9438/stat : 9438 (picosat) R 9437 9414 9167 0 -1 4194304 155907 0 0 0 7062 8289 0 0 25 0 1 0 1996938507 642936832 155893 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/9438/statm: 156967 155893 40 102 0 156862 0
Current children cumulated CPU time (s) 189.35
Current children cumulated vsize (KiB) 646824

[startup+195.103 s]
/proc/loadavg: 2.02 1.90 1.50 3/77 9438
/proc/meminfo: memFree=15504/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=35.84
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1022 25271 0 2 4 0 3267 313 16 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9437] ppid=9414 vsize=5356 CPUtime=0
/proc/9437/stat : 9437 (sh) S 9414 9414 9167 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1996938507 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9437/statm: 1339 232 193 169 0 50 0
[pid=9438] ppid=9437 vsize=704068 CPUtime=156.68
/proc/9438/stat : 9438 (picosat) R 9437 9414 9167 0 -1 4194304 158887 0 0 0 7217 8451 0 0 25 0 1 0 1996938507 720965632 158873 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/9438/statm: 176017 158873 42 102 0 175912 0
Current children cumulated CPU time (s) 192.52
Current children cumulated vsize (KiB) 723024

[startup+198.301 s]
/proc/loadavg: 2.02 1.90 1.51 3/77 9438
/proc/meminfo: memFree=15824/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=35.84
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1022 25271 0 2 4 0 3267 313 16 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9437] ppid=9414 vsize=5356 CPUtime=0
/proc/9437/stat : 9437 (sh) S 9414 9414 9167 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1996938507 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9437/statm: 1339 232 193 169 0 50 0
[pid=9438] ppid=9437 vsize=712028 CPUtime=159.84
/proc/9438/stat : 9438 (picosat) R 9437 9414 9167 0 -1 4194304 159426 0 0 0 7531 8453 0 0 25 0 1 0 1996938507 729116672 159410 996147200 134512640 134931368 4294956256 18446744073709551615 134580560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9438/statm: 178007 159410 52 102 0 177902 0
Current children cumulated CPU time (s) 195.68
Current children cumulated vsize (KiB) 730984

[startup+199.108 s]
/proc/loadavg: 2.02 1.90 1.51 4/85 9448
/proc/meminfo: memFree=649488/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=196.01
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1091 184983 0 2 4 0 10819 8778 15 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9439] ppid=9414 vsize=5356 CPUtime=0
/proc/9439/stat : 9439 (sh) S 9414 9414 9167 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1996954701 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9439/statm: 1339 233 193 169 0 50 0
[pid=9440] ppid=9439 vsize=864040 CPUtime=0.43
/proc/9440/stat : 9440 (java) S 9439 9414 9167 0 -1 0 3515 0 1 0 42 1 0 0 18 0 9 0 1996954702 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9440/statm: 216010 2989 1665 9 0 210592 0
[pid=9440/tid=9441] ppid=9439 vsize=864040 CPUtime=0.38
/proc/9440/task/9441/stat : 9441 (java) R 9439 9414 9167 0 -1 64 2454 0 1 0 37 1 0 0 20 0 9 0 1996954703 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4126461993 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9442] ppid=9439 vsize=864040 CPUtime=0
/proc/9440/task/9442/stat : 9442 (java) S 9439 9414 9167 0 -1 64 74 0 0 0 0 0 0 0 16 0 9 0 1996954707 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9443] ppid=9439 vsize=864040 CPUtime=0
/proc/9440/task/9443/stat : 9443 (java) S 9439 9414 9167 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1996954707 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9444] ppid=9439 vsize=864040 CPUtime=0
/proc/9440/task/9444/stat : 9444 (java) S 9439 9414 9167 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996954707 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9445] ppid=9439 vsize=864040 CPUtime=0
/proc/9440/task/9445/stat : 9445 (java) S 9439 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996954709 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9446] ppid=9439 vsize=864040 CPUtime=0.04
/proc/9440/task/9446/stat : 9446 (java) S 9439 9414 9167 0 -1 64 295 0 0 0 4 0 0 0 18 0 9 0 1996954709 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9447] ppid=9439 vsize=864040 CPUtime=0
/proc/9440/task/9447/stat : 9447 (java) S 9439 9414 9167 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996954709 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9448] ppid=9439 vsize=864040 CPUtime=0
/proc/9440/task/9448/stat : 9448 (java) S 9439 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996954709 884776960 2989 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.44
Current children cumulated vsize (KiB) 882996

[startup+199.503 s]
/proc/loadavg: 2.02 1.90 1.51 4/85 9448
/proc/meminfo: memFree=649488/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=196.02
/proc/9414/stat : 9414 (sugar) S 9412 9414 9167 0 -1 4194304 1092 184983 0 2 4 1 10819 8778 15 0 1 0 1996934840 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 213121020002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9414/statm: 3400 799 370 3 0 500 0
[pid=9439] ppid=9414 vsize=5356 CPUtime=0
/proc/9439/stat : 9439 (sh) S 9414 9414 9167 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1996954701 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9439/statm: 1339 233 193 169 0 50 0
[pid=9440] ppid=9439 vsize=864068 CPUtime=0.81
/proc/9440/stat : 9440 (java) S 9439 9414 9167 0 -1 0 3640 0 2 0 79 2 0 0 18 0 9 0 1996954702 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9440/statm: 216017 3108 1700 9 0 210592 0
[pid=9440/tid=9441] ppid=9439 vsize=864068 CPUtime=0.75
/proc/9440/task/9441/stat : 9441 (java) S 9439 9414 9167 0 -1 64 2520 0 2 0 74 1 0 0 24 0 9 0 1996954703 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9442] ppid=9439 vsize=864068 CPUtime=0
/proc/9440/task/9442/stat : 9442 (java) S 9439 9414 9167 0 -1 64 129 0 0 0 0 0 0 0 16 0 9 0 1996954707 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9443] ppid=9439 vsize=864068 CPUtime=0
/proc/9440/task/9443/stat : 9443 (java) S 9439 9414 9167 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1996954707 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9444] ppid=9439 vsize=864068 CPUtime=0
/proc/9440/task/9444/stat : 9444 (java) S 9439 9414 9167 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996954707 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9445] ppid=9439 vsize=864068 CPUtime=0
/proc/9440/task/9445/stat : 9445 (java) S 9439 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996954709 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9446] ppid=9439 vsize=864068 CPUtime=0.04
/proc/9440/task/9446/stat : 9446 (java) S 9439 9414 9167 0 -1 64 299 0 0 0 4 0 0 0 16 0 9 0 1996954709 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9447] ppid=9439 vsize=864068 CPUtime=0
/proc/9440/task/9447/stat : 9447 (java) S 9439 9414 9167 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1996954709 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9440/tid=9448] ppid=9439 vsize=864068 CPUtime=0
/proc/9440/task/9448/stat : 9448 (java) S 9439 9414 9167 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996954709 884805632 3108 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.83
Current children cumulated vsize (KiB) 883024

[startup+199.702 s]
/proc/loadavg: 2.02 1.90 1.51 4/85 9448
/proc/meminfo: memFree=649488/2055920 swapFree=4180444/4192956
[pid=9414] ppid=9412 vsize=13600 CPUtime=197.03
/proc/9414/stat : 9414 (sugar) R 9412 9414 9167 0 -1 4194304 1119 188913 0 4 4 18 10900 8781 16 0 1 0 1996934840 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 213112296489 0 0 4224 16386 0 0 0 17 1 0 0
/proc/9414/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 197.03
Current children cumulated vsize (KiB) 13600

Child status: 0
Real time (s): 199.752
CPU time (s): 197.09
CPU user time (s): 109.044
CPU system time (s): 88.0456
CPU usage (%): 98.6671
Max. virtual memory (cumulated for all children) (KiB): 887528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.044
system time used= 88.0456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190062
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51533
involuntary context switches= 55828

runsolver used 0.234964 second user time and 0.693894 second system time

The end

Launcher Data (download as text)

Begin job on node68 at 2008-07-04 15:54:13
IDJOB=1074764
IDBENCH=56439
IDSOLVER=345
FILE ID=node68/1074764-1215179653
PBS_JOBID= 7881588
Free space on /tmp= 66124 MiB

SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-95-7.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-1074764-1215179653/watcher-1074764-1215179653 -o /tmp/evaluation-result-1074764-1215179653/solver-1074764-1215179653 -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-1074764-1215179653.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 27f4cc462e98447410df1b328f62effd
RANDOM SEED=280108380

node68.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.261
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.261
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:        709704 kB
Buffers:         13092 kB
Cached:         572052 kB
SwapCached:       6728 kB
Active:         820612 kB
Inactive:       463200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        709704 kB
SwapTotal:     4192956 kB
SwapFree:      4180444 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:         705416 kB
Slab:            45996 kB
Committed_AS:  4983368 kB
PageTables:       3368 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= 66124 MiB
End job on node68 at 2008-07-04 15:57:33