Trace number 2076437

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.1 2009-06-10SAT 59.186 59.5375

DiagnosticValue
CHECKS0
NODES5418

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-3.xml
MD5SUM6c79e9d2edcd5b15367f47ef6ebcf5f2
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 benchmark3.51147
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1375
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 

59.10/59.46	s SATISFIABLE
59.10/59.46	v 1036 461 535 330 188 141 1131 660 1013 916 609 1184 955 1273 862 832 1094 745 250 17 463 4 1250 314 90 1031 1132 454 1023 178 298 554 1162 173 796 282 691 926 116 864 0 536 158 437 27 557 669 1295 282 763 6 1054 1161 440 1139 377 912 955 822 964 810 222 1253 851 1337 1027 1029 95 674 4 1161 374 0 971 400 150 297 1148 614 107 1143 12 40 1249 162 192 590 1209 762 968 86 37 370 463 0 260 619 1093 862 1003 652 271 714 897 954 477 0 1184 873 1240 554 70 162 1347 1103 674 138 374 810 239 971 95 1302 880 643 564 238 1238 1279 0 466 330 1140 669 773 1019 247 400 1048 1253 1373 1279 163 452 387 218 145 958 310 825 1229 1056 531 536 689 910 83 1094 0 629 383 13 343 403 168 279 879 119 222 737 1078 838 1155 535 1356 442 533 1140 959 1223 306 56 1027 370 879 659 1120 1176 122 737 491 583 141 260 912 1158 795 1301 1208 547 99 714 37 247 1329 1140 818 629 1056 1295 673 195 1249 440 11 380 0 949 884 516 539 925 1107 99 0 627 1253 1166 864 452 612 2 1025 156 690 1238 1022 229 776 714 1273 1344 1176 725 1339 466 1365 873 776 1323 950 1036 420 222 1235 851 539 1059 627 90 433 660 113 346 1235 941 1302 2 827 187 1059 519 1143 83 758 1251 893 250 965 564 381 758 246 1332 624 11 174 466 662 1249 341 535 35 141 851 0 113 882 832 1223 259 141 673 70 187 107 827 297 602 546 991 377 1060 813 1194 454 897 733 0 1251 393 926 156 1055 568 999 306 1151 832 213 298 454 608 1050 477 1237 897 66 209 79 745 970 882 965 1230 454 1111 1060 1156 1162 79 1335 819 0 187 1256 146 468 690 1254 1328 167 557 662 922 1014 822 141 138 458 1103 104 178 316 403 737 1159 428 259 602 819 316 400 209 612 773 255 1151 690 1163 1224 614 133 1229 1194 35 1295 546 468 363 
59.10/59.46	d AC 32
59.10/59.46	d RUNTIME 59.35
59.10/59.46	d NODES 5418
59.10/59.46	d NODES/s 91
59.10/59.46	d BACKTRACKS 1246
59.10/59.46	d BACKTRACKS/s 21
59.10/59.46	d CHECKS 0
59.10/59.46	d CHECKS/s 0
59.10/59.46	c SAT 59.35 TIME      5418 NDS    1088 PARSTIME      2697 BUILDPB       55565 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-2076437-1247362819/watcher-2076437-1247362819 -o /tmp/evaluation-result-2076437-1247362819/solver-2076437-1247362819 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076437-1247362819.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -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.16 2.09 2.00 4/84 18248
/proc/meminfo: memFree=1761184/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=18576 CPUtime=0
/proc/18248/stat : 18248 (runsolver) R 18246 18248 15707 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 23347151 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 270187162919 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18248/statm: 4644 284 249 26 0 2626 0

[startup+0.016818 s]
/proc/loadavg: 2.16 2.09 2.00 4/84 18248
/proc/meminfo: memFree=1761184/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=10764 CPUtime=0
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 755 0 0 0 0 0 0 0 18 0 2 0 23347151 11022336 518 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 2691 518 229 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10764

[startup+0.101825 s]
/proc/loadavg: 2.16 2.09 2.00 4/84 18248
/proc/meminfo: memFree=1761184/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=864064 CPUtime=0.08
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 3852 0 1 0 7 1 0 0 18 0 9 0 23347151 884801536 3302 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216016 3302 1736 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864064

[startup+0.301846 s]
/proc/loadavg: 2.16 2.09 2.00 4/84 18248
/proc/meminfo: memFree=1761184/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=864196 CPUtime=0.28
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 4482 0 1 0 26 2 0 0 18 0 9 0 23347151 884936704 3907 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216049 3907 1852 9 0 210517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864196

[startup+0.701897 s]
/proc/loadavg: 2.16 2.09 2.00 4/84 18248
/proc/meminfo: memFree=1761184/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865048 CPUtime=0.68
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 8032 0 1 0 65 3 0 0 18 0 9 0 23347151 885809152 7448 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216262 7448 1886 9 0 210730 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865048

[startup+1.50299 s]
/proc/loadavg: 2.16 2.09 2.00 3/93 18257
/proc/meminfo: memFree=1724504/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865152 CPUtime=1.47
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 19495 0 1 0 139 8 0 0 18 0 9 0 23347151 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216288 18887 1959 9 0 210756 0
[pid=18248/tid=18250] ppid=18246 vsize=865152 CPUtime=1.15
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14531 0 1 0 109 6 0 0 25 0 9 0 23347152 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4125914093 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865152 CPUtime=0.08
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 3629 0 0 0 7 1 0 0 16 0 9 0 23347154 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865152 CPUtime=0.21
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 602 0 0 0 21 0 0 0 16 0 9 0 23347156 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 885915648 18887 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865152

[startup+3.10217 s]
/proc/loadavg: 2.16 2.09 2.00 3/93 18257
/proc/meminfo: memFree=1666008/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865152 CPUtime=3.07
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 28452 0 1 0 294 13 0 0 18 0 9 0 23347151 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216288 27828 1981 9 0 210756 0
[pid=18248/tid=18250] ppid=18246 vsize=865152 CPUtime=2.39
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14784 0 1 0 232 7 0 0 25 0 9 0 23347152 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4127009406 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865152 CPUtime=0.35
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 12267 0 0 0 30 5 0 0 17 0 9 0 23347154 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865152 CPUtime=0.3
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 668 0 0 0 30 0 0 0 15 0 9 0 23347156 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 885915648 27828 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865152 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 885915648 27828 996147200 134512640 134550932 4294955840 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) 865152

[startup+6.30154 s]
/proc/loadavg: 2.14 2.08 2.00 3/93 18257
/proc/meminfo: memFree=1633944/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=6.26
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 34196 0 1 0 609 17 0 0 18 0 9 0 23347151 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 33564 1998 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=5.25
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14899 0 1 0 517 8 0 0 25 0 9 0 23347152 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4127435178 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.51
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 17793 0 0 0 44 7 0 0 17 0 9 0 23347154 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.46
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 771 0 0 0 46 0 0 0 16 0 9 0 23347156 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 33564 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 33564 996147200 134512640 134550932 4294955840 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) 865276

[startup+12.7023 s]
/proc/loadavg: 2.13 2.08 2.00 3/93 18257
/proc/meminfo: memFree=1628312/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=12.62
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 35545 0 1 0 1243 19 0 0 18 0 9 0 23347151 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 34910 1998 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=11.54
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14902 0 1 0 1144 10 0 0 25 0 9 0 23347152 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4126728664 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.59
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19137 0 0 0 52 7 0 0 16 0 9 0 23347154 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.46
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 773 0 0 0 46 0 0 0 16 0 9 0 23347156 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 34910 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 34910 996147200 134512640 134550932 4294955840 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) 865276

[startup+25.5017 s]
/proc/loadavg: 2.10 2.08 2.00 3/93 18257
/proc/meminfo: memFree=1628312/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=25.36
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 35565 0 1 0 2516 20 0 0 18 0 9 0 23347151 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 34923 2000 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=24.19
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14918 0 1 0 2408 11 0 0 25 0 9 0 23347152 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4127597824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.66
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19137 0 0 0 59 7 0 0 16 0 9 0 23347154 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.47
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 777 0 0 0 47 0 0 0 16 0 9 0 23347156 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 34923 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 34923 996147200 134512640 134550932 4294955840 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) 865276

[startup+51.1017 s]
/proc/loadavg: 2.13 2.09 2.00 3/93 18257
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=50.83
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 36111 0 1 0 5062 21 0 0 18 0 9 0 23347151 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 35450 2003 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=49.51
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14938 0 1 0 4939 12 0 0 25 0 9 0 23347152 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4127690645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.82
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19654 0 0 0 74 8 0 0 17 0 9 0 23347154 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.48
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 786 0 0 0 48 0 0 0 16 0 9 0 23347156 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 35450 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 865276

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

[startup+54.302 s]
/proc/loadavg: 2.12 2.09 2.00 3/93 18257
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=54.02
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 36114 0 1 0 5381 21 0 0 18 0 9 0 23347151 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 35451 2003 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=52.68
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14940 0 1 0 5256 12 0 0 25 0 9 0 23347152 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4127692957 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.83
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19655 0 0 0 75 8 0 0 17 0 9 0 23347154 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.48
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 786 0 0 0 48 0 0 0 16 0 9 0 23347156 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 35451 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 54.02
Current children cumulated vsize (KiB) 865276

[startup+57.5014 s]
/proc/loadavg: 2.12 2.09 2.00 3/93 18257
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=57.21
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 36116 0 1 0 5699 22 0 0 18 0 9 0 23347151 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 35452 2003 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=55.86
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14941 0 1 0 5574 12 0 0 25 0 9 0 23347152 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4127442618 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.84
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19656 0 0 0 76 8 0 0 16 0 9 0 23347154 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.48
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 786 0 0 0 48 0 0 0 16 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.21
Current children cumulated vsize (KiB) 865276

[startup+58.3065 s]
/proc/loadavg: 2.11 2.08 2.00 3/93 18257
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=58.01
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 36116 0 1 0 5779 22 0 0 18 0 9 0 23347151 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 35452 2003 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=56.66
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14941 0 1 0 5654 12 0 0 25 0 9 0 23347152 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4127436071 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.84
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19656 0 0 0 76 8 0 0 16 0 9 0 23347154 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.48
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 786 0 0 0 48 0 0 0 16 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 35452 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.01
Current children cumulated vsize (KiB) 865276

[startup+59.1016 s]
/proc/loadavg: 2.11 2.08 2.00 3/93 18257
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865276 CPUtime=58.8
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 36119 0 1 0 5858 22 0 0 18 0 9 0 23347151 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216319 35454 2003 9 0 210787 0
[pid=18248/tid=18250] ppid=18246 vsize=865276 CPUtime=57.45
/proc/18248/task/18250/stat : 18250 (java) R 18246 18248 15707 0 -1 64 14942 0 1 0 5733 12 0 0 25 0 9 0 23347152 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4127436044 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865276 CPUtime=0.84
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19657 0 0 0 76 8 0 0 17 0 9 0 23347154 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865276 CPUtime=0.48
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 787 0 0 0 48 0 0 0 16 0 9 0 23347156 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865276 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886042624 35454 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.8
Current children cumulated vsize (KiB) 865276

[startup+59.5016 s]
/proc/loadavg: 2.11 2.08 2.00 3/93 18257
/proc/meminfo: memFree=1626136/2055920 swapFree=4192812/4192956
[pid=18248] ppid=18246 vsize=865600 CPUtime=59.16
/proc/18248/stat : 18248 (java) S 18246 18248 15707 0 -1 0 36138 0 1 0 5894 22 0 0 18 0 9 0 23347151 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18248/statm: 216400 35470 2007 9 0 210868 0
[pid=18248/tid=18250] ppid=18246 vsize=865600 CPUtime=57.8
/proc/18248/task/18250/stat : 18250 (java) S 18246 18248 15707 0 -1 64 14956 0 1 0 5768 12 0 0 25 0 9 0 23347152 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18251] ppid=18246 vsize=865600 CPUtime=0.84
/proc/18248/task/18251/stat : 18251 (java) S 18246 18248 15707 0 -1 64 19657 0 0 0 76 8 0 0 16 0 9 0 23347154 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18252] ppid=18246 vsize=865600 CPUtime=0
/proc/18248/task/18252/stat : 18252 (java) S 18246 18248 15707 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23347154 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18253] ppid=18246 vsize=865600 CPUtime=0
/proc/18248/task/18253/stat : 18253 (java) S 18246 18248 15707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23347154 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18254] ppid=18246 vsize=865600 CPUtime=0
/proc/18248/task/18254/stat : 18254 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23347156 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18255] ppid=18246 vsize=865600 CPUtime=0.48
/proc/18248/task/18255/stat : 18255 (java) S 18246 18248 15707 0 -1 64 787 0 0 0 48 0 0 0 15 0 9 0 23347156 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18256] ppid=18246 vsize=865600 CPUtime=0
/proc/18248/task/18256/stat : 18256 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23347156 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18248/tid=18257] ppid=18246 vsize=865600 CPUtime=0
/proc/18248/task/18257/stat : 18257 (java) S 18246 18248 15707 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23347156 886374400 35470 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 59.16
Current children cumulated vsize (KiB) 865600

Child status: 0
Real time (s): 59.5375
CPU time (s): 59.186
CPU user time (s): 58.943
CPU system time (s): 0.242963
CPU usage (%): 99.4096
Max. virtual memory (cumulated for all children) (KiB): 865600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.943
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36141
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= 4258
involuntary context switches= 4847

runsolver used 0.06099 second user time and 0.219966 second system time

The end

Launcher Data 

Begin job on node88 at 2009-07-12 03:40:20
IDJOB=2076437
IDBENCH=56422
IDSOLVER=737
FILE ID=node88/2076437-1247362819
PBS_JOBID= 9506876
Free space on /tmp= 66076 MiB

SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-3.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076437-1247362819/watcher-2076437-1247362819 -o /tmp/evaluation-result-2076437-1247362819/solver-2076437-1247362819 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076437-1247362819.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979

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

MD5SUM BENCH= 6c79e9d2edcd5b15367f47ef6ebcf5f2
RANDOM SEED=822226871

node88.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.222
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.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1761664 kB
Buffers:         17532 kB
Cached:          79504 kB
SwapCached:          0 kB
Active:         213316 kB
Inactive:        32416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1761664 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3592 kB
Writeback:           0 kB
Mapped:         162924 kB
Slab:            33500 kB
Committed_AS:   881872 kB
PageTables:       2104 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= 66072 MiB
End job on node88 at 2009-07-12 03:41:19