Trace number 2117128

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
Choco2.1.1b 2009-07-16SAT 170.295 171.162

DiagnosticValue
CHECKS0
NODES4451

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-7.xml
MD5SUM933af775481748d76719206dbc8b6623
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 benchmark18.7781
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1715
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Solver Data 

170.26/171.11	s SATISFIABLE
170.26/171.11	v 0 24 32 74 174 269 344 386 577 863 929 988 1008 1238 1298 1381 1407 1455 1506 1564 0 5 94 126 655 841 932 1005 1020 1045 1053 1090 1096 1137 1168 1271 1278 1351 1442 1531 13 80 148 241 370 460 489 510 547 629 656 689 692 765 800 939 1018 1097 1189 1265 0 13 98 341 425 502 660 723 724 780 785 876 1040 1048 1062 1178 1198 1378 1410 1593 108 216 259 338 417 443 616 688 771 822 831 876 908 954 1198 1249 1263 1354 1425 1635 0 83 273 356 378 386 416 509 514 633 698 785 841 907 1032 1114 1189 1462 1548 1631 24 62 250 341 362 574 688 703 713 831 1084 1139 1174 1185 1253 1351 1435 1497 1615 1630 0 3 101 148 215 248 484 543 545 577 684 835 965 1054 1307 1352 1385 1464 1561 1649 62 108 136 248 343 360 444 512 538 570 799 1008 1067 1134 1180 1260 1330 1484 1554 1563 98 125 142 161 223 383 400 522 616 656 728 824 906 968 1033 1086 1137 1442 1477 1569 211 646 723 824 897 954 1018 1026 1106 1154 1232 1282 1319 1411 1464 1477 1540 1561 1632 1634 0 70 136 149 199 342 417 453 522 594 1213 1354 1379 1411 1468 1516 1562 1632 1667 1709 0 101 199 273 344 352 460 547 633 670 1048 1130 1137 1249 1319 1422 1468 1518 1630 1693 0 39 181 412 504 514 574 634 721 847 908 939 1093 1164 1249 1343 1441 1476 1531 1615 148 216 229 259 345 391 399 441 524 557 724 1134 1232 1260 1289 1294 1356 1468 1475 1554 0 49 80 149 235 241 283 370 514 521 629 873 952 1062 1090 1178 1282 1379 1472 1492 49 223 356 403 458 460 486 574 598 660 728 787 840 847 932 1018 1032 1067 1082 1106 74 162 250 699 771 822 863 939 963 1040 1100 1193 1258 1351 1422 1441 1518 1562 1581 1600 391 484 574 610 705 733 785 807 861 938 965 1027 1086 1138 1139 1178 1289 1351 1385 1507 126 141 179 313 400 512 553 634 771 861 873 891 928 929 1020 1093 1098 1180 1253 1416 
170.26/171.11	d AC 32
170.26/171.11	d RUNTIME 170.957
170.26/171.11	d NODES 4451
170.26/171.11	d NODES/s 26
170.26/171.11	d BACKTRACKS 5068
170.26/171.11	d BACKTRACKS/s 30
170.26/171.11	d CHECKS 0
170.26/171.11	d CHECKS/s 0
170.26/171.11	c SAT 170.957 TIME      4451 NDS    754 PARSTIME      438 BUILDPB       1071 CONFIG        168694 RES       true RESTART       1 HEURISTIC       true RANDVAL

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-2117128-1248033209/watcher-2117128-1248033209 -o /tmp/evaluation-result-2117128-1248033209/solver-2117128-1248033209 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117128-1248033209.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

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.05 2.14 2.09 4/80 28930
/proc/meminfo: memFree=812336/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=1616 CPUtime=0
/proc/28930/stat : 28930 (java) R 28928 28930 27415 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 90387270 1654784 161 996147200 134512640 134550932 4294956064 18446744073709551615 4294960144 0 2147483391 4096 0 1101655674368 0 0 17 0 0 0
/proc/28930/statm: 404 161 124 9 0 46 0

[startup+0.082113 s]
/proc/loadavg: 2.05 2.14 2.09 4/80 28930
/proc/meminfo: memFree=812336/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=862264 CPUtime=0.07
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 3155 0 1 0 5 2 0 0 18 0 9 0 90387270 882958336 2623 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 215566 2623 1254 9 0 210436 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 862264

[startup+0.10112 s]
/proc/loadavg: 2.05 2.14 2.09 4/80 28930
/proc/meminfo: memFree=812336/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=864072 CPUtime=0.08
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 3799 0 1 0 6 2 0 0 18 0 9 0 90387270 884809728 3262 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216018 3262 1722 9 0 210487 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864072

[startup+0.301138 s]
/proc/loadavg: 2.05 2.14 2.09 4/80 28930
/proc/meminfo: memFree=812336/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=864984 CPUtime=0.28
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 4782 0 1 0 25 3 0 0 18 0 9 0 90387270 885743616 4207 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216246 4207 1858 9 0 210715 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864984

[startup+0.701183 s]
/proc/loadavg: 2.05 2.14 2.09 4/80 28930
/proc/meminfo: memFree=812336/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=864984 CPUtime=0.69
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 8518 0 1 0 63 6 0 0 18 0 9 0 90387270 885743616 7932 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216246 7932 1901 9 0 210715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864984

[startup+1.50127 s]
/proc/loadavg: 2.05 2.14 2.09 3/89 28939
/proc/meminfo: memFree=774760/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865136 CPUtime=1.48
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 19733 0 1 0 136 12 0 0 18 0 9 0 90387270 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216284 19120 1971 9 0 210753 0
[pid=28930/tid=28932] ppid=28928 vsize=865136 CPUtime=1.1
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14694 0 1 0 101 9 0 0 25 0 9 0 90387272 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 104264338 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865136 CPUtime=0.1
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 3679 0 0 0 9 1 0 0 16 0 9 0 90387273 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865136 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865136 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865136 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865136 CPUtime=0.25
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 628 0 0 0 25 0 0 0 15 0 9 0 90387275 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865136 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865136 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 885899264 19120 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865136

[startup+3.10245 s]
/proc/loadavg: 2.05 2.14 2.09 3/89 28939
/proc/meminfo: memFree=742888/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=3.07
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 20061 0 1 0 293 14 0 0 18 0 9 0 90387270 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 19433 1999 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=2.49
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14881 0 1 0 239 10 0 0 25 0 9 0 90387272 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4126723116 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.1
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 3681 0 0 0 9 1 0 0 16 0 9 0 90387273 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.47
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 767 0 0 0 45 2 0 0 16 0 9 0 90387275 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 19433 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865256

[startup+6.3028 s]
/proc/loadavg: 2.05 2.14 2.09 3/89 28939
/proc/meminfo: memFree=724136/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=6.26
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 24510 0 1 0 609 17 0 0 18 0 9 0 90387270 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 23879 1999 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=5.54
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14904 0 1 0 544 10 0 0 25 0 9 0 90387272 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4127473975 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.2
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 8095 0 0 0 17 3 0 0 16 0 9 0 90387273 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.49
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 779 0 0 0 47 2 0 0 15 0 9 0 90387275 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 23879 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865256

[startup+12.7025 s]
/proc/loadavg: 2.04 2.13 2.09 3/89 28939
/proc/meminfo: memFree=718440/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=12.62
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 25893 0 1 0 1244 18 0 0 18 0 9 0 90387270 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25259 1999 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=11.85
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14907 0 1 0 1175 10 0 0 25 0 9 0 90387272 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4127441223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.26
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9474 0 0 0 21 5 0 0 16 0 9 0 90387273 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.49
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 780 0 0 0 47 2 0 0 17 0 9 0 90387275 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 865256

[startup+25.5019 s]
/proc/loadavg: 2.03 2.13 2.09 3/89 28939
/proc/meminfo: memFree=718504/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=25.36
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 25902 0 1 0 2517 19 0 0 18 0 9 0 90387270 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25264 1999 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=24.55
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14911 0 1 0 2444 11 0 0 25 0 9 0 90387272 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4127652532 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.29
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9474 0 0 0 24 5 0 0 16 0 9 0 90387273 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.5
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 785 0 0 0 48 2 0 0 17 0 9 0 90387275 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) R 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25264 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 865256

[startup+51.1018 s]
/proc/loadavg: 2.02 2.12 2.08 3/89 28939
/proc/meminfo: memFree=718504/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=50.84
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 25917 0 1 0 5064 20 0 0 18 0 9 0 90387270 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25271 2001 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=49.98
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14926 0 1 0 4987 11 0 0 25 0 9 0 90387272 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4127382220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.33
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9474 0 0 0 28 5 0 0 16 0 9 0 90387273 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.5
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 785 0 0 0 48 2 0 0 16 0 9 0 90387275 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25271 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=100.87
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14945 0 1 0 10074 13 0 0 25 0 9 0 90387272 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4127441207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.38
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9531 0 0 0 33 5 0 0 16 0 9 0 90387273 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.52
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 795 0 0 0 50 2 0 0 16 0 9 0 90387275 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25338 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 865256

[startup+162.301 s]
/proc/loadavg: 2.00 2.07 2.07 3/89 28939
/proc/meminfo: memFree=717992/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=161.5
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 26058 0 1 0 16128 22 0 0 18 0 9 0 90387270 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25382 2004 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=160.54
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14956 0 1 0 16040 14 0 0 25 0 9 0 90387272 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4127382208 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.41
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9574 0 0 0 36 5 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.52
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 796 0 0 0 50 2 0 0 16 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 865256

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

[startup+166.302 s]
/proc/loadavg: 2.00 2.07 2.07 3/89 28939
/proc/meminfo: memFree=717992/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=165.48
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 26058 0 1 0 16526 22 0 0 18 0 9 0 90387270 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25382 2004 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=164.52
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14956 0 1 0 16438 14 0 0 25 0 9 0 90387272 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4127440839 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.41
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9574 0 0 0 36 5 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.52
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 796 0 0 0 50 2 0 0 16 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) R 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.48
Current children cumulated vsize (KiB) 865256

[startup+169.503 s]
/proc/loadavg: 2.00 2.07 2.07 3/89 28939
/proc/meminfo: memFree=717992/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=168.66
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 26059 0 1 0 16844 22 0 0 18 0 9 0 90387270 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25382 2004 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=167.7
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14957 0 1 0 16756 14 0 0 25 0 9 0 90387272 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4127446920 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.41
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9574 0 0 0 36 5 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.52
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 796 0 0 0 50 2 0 0 16 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 168.66
Current children cumulated vsize (KiB) 865256

[startup+170.302 s]
/proc/loadavg: 2.00 2.07 2.07 3/89 28939
/proc/meminfo: memFree=717992/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=169.47
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 26059 0 1 0 16924 23 0 0 18 0 9 0 90387270 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25382 2004 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=168.5
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14957 0 1 0 16836 14 0 0 25 0 9 0 90387272 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4127617115 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.41
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9574 0 0 0 36 5 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.52
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 796 0 0 0 50 2 0 0 16 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 169.47
Current children cumulated vsize (KiB) 865256

[startup+170.702 s]
/proc/loadavg: 2.00 2.07 2.07 3/89 28939
/proc/meminfo: memFree=717992/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=169.86
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 26059 0 1 0 16963 23 0 0 18 0 9 0 90387270 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25382 2004 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=168.9
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14957 0 1 0 16876 14 0 0 25 0 9 0 90387272 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4125903074 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.41
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9574 0 0 0 36 5 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.53
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 796 0 0 0 51 2 0 0 16 0 9 0 90387275 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25382 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 169.86
Current children cumulated vsize (KiB) 865256

[startup+171.102 s]
/proc/loadavg: 2.00 2.07 2.07 3/89 28939
/proc/meminfo: memFree=717992/2055920 swapFree=4192812/4192956
[pid=28930] ppid=28928 vsize=865256 CPUtime=170.26
/proc/28930/stat : 28930 (java) S 28928 28930 27415 0 -1 0 26079 0 1 0 17003 23 0 0 18 0 9 0 90387270 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28930/statm: 216314 25401 2010 9 0 210783 0
[pid=28930/tid=28932] ppid=28928 vsize=865256 CPUtime=169.29
/proc/28930/task/28932/stat : 28932 (java) R 28928 28930 27415 0 -1 64 14974 0 1 0 16915 14 0 0 25 0 9 0 90387272 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4126355560 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28933] ppid=28928 vsize=865256 CPUtime=0.41
/proc/28930/task/28933/stat : 28933 (java) S 28928 28930 27415 0 -1 64 9574 0 0 0 36 5 0 0 16 0 9 0 90387273 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28934] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28934/stat : 28934 (java) S 28928 28930 27415 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28935] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28935/stat : 28935 (java) S 28928 28930 27415 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90387273 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28936] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28936/stat : 28936 (java) S 28928 28930 27415 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90387275 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28937] ppid=28928 vsize=865256 CPUtime=0.53
/proc/28930/task/28937/stat : 28937 (java) S 28928 28930 27415 0 -1 64 799 0 0 0 51 2 0 0 15 0 9 0 90387275 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28938] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28938/stat : 28938 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90387276 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28930/tid=28939] ppid=28928 vsize=865256 CPUtime=0
/proc/28930/task/28939/stat : 28939 (java) S 28928 28930 27415 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90387276 886022144 25401 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.26
Current children cumulated vsize (KiB) 865256

Child status: 0
Real time (s): 171.162
CPU time (s): 170.295
CPU user time (s): 170.046
CPU system time (s): 0.248962
CPU usage (%): 99.4936
Max. virtual memory (cumulated for all children) (KiB): 865256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.046
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26100
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6889
involuntary context switches= 8800

runsolver used 0.238963 second user time and 0.546916 second system time

The end

Launcher Data 

Begin job on node35 at 2009-07-19 21:53:29
IDJOB=2117128
IDBENCH=58637
IDSOLVER=780
FILE ID=node35/2117128-1248033209
PBS_JOBID= 9528978
Free space on /tmp= 66084 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-7.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2117128-1248033209/watcher-2117128-1248033209 -o /tmp/evaluation-result-2117128-1248033209/solver-2117128-1248033209 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117128-1248033209.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979

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

MD5SUM BENCH= 933af775481748d76719206dbc8b6623
RANDOM SEED=1407633005

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        812816 kB
Buffers:         47220 kB
Cached:        1032348 kB
SwapCached:          0 kB
Active:         266928 kB
Inactive:       892620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        812816 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5680 kB
Writeback:           0 kB
Mapped:          97840 kB
Slab:            68648 kB
Committed_AS:  1331900 kB
PageTables:       1940 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= 66080 MiB
End job on node35 at 2009-07-19 21:56:20