109.34/109.77 s UNSATISFIABLE
109.34/109.77 d AC 32
109.34/109.77 d RUNTIME 109.663
109.34/109.77 d NODES 122184
109.34/109.77 d NODES/s 1114
109.34/109.77 d BACKTRACKS 297830
109.34/109.77 d BACKTRACKS/s 2716
109.34/109.77 d CHECKS 0
109.34/109.77 d CHECKS/s 0
109.34/109.77 c UNSAT 109.663 TIME 122184 NDS 580 PARSTIME 569 BUILDPB 108514 RES true RESTART 1 HEURISTIC true RANDVAL
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086865-1247384532/watcher-2086865-1247384532 -o /tmp/evaluation-result-2086865-1247384532/solver-2086865-1247384532 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2086865-1247384532.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.20 2.04 2.01 4/72 24678
/proc/meminfo: memFree=1901536/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=860732 CPUtime=0.03
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 2413 0 1 0 2 1 0 0 18 0 7 0 25517122 881389568 1968 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 215183 1968 912 9 0 210098 0
[pid=24678/tid=24679] ppid=24676 vsize=860732 CPUtime=0.02
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 1670 0 1 0 2 0 0 0 18 0 7 0 25517123 881389568 1968 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=860732 CPUtime=0
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2 0 0 0 0 0 0 0 19 0 7 0 25517125 881389568 1968 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=860732 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 11 0 0 0 0 0 0 0 19 0 7 0 25517125 881389568 1968 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=860732 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 25517125 881389568 1968 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=860732 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 7 0 25517127 881389568 1968 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=860732 CPUtime=0
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 19 0 7 0 25517127 881389568 1968 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[startup+0.0915549 s]
/proc/loadavg: 2.20 2.04 2.01 4/72 24678
/proc/meminfo: memFree=1901536/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=862256 CPUtime=0.07
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 3321 0 1 0 6 1 0 0 18 0 9 0 25517122 882950144 2786 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 215564 2786 1312 9 0 210433 0
[pid=24678/tid=24679] ppid=24676 vsize=862256 CPUtime=0.06
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 2370 0 1 0 5 1 0 0 20 0 9 0 25517123 882950144 2786 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=862256 CPUtime=0
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 25517125 882950144 2786 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=862256 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 25517125 882950144 2786 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=862256 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25517125 882950144 2786 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=862256 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 882950144 2786 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=862256 CPUtime=0
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 223 0 0 0 0 0 0 0 18 0 9 0 25517127 882950144 2786 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 862256
[startup+0.123919 s]
/proc/loadavg: 2.20 2.04 2.01 4/72 24678
/proc/meminfo: memFree=1901536/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=864064 CPUtime=0.11
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 4054 0 1 0 9 2 0 0 18 0 9 0 25517122 884801536 3488 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216016 3488 1792 9 0 210484 0
[pid=24678/tid=24679] ppid=24676 vsize=864064 CPUtime=0.09
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 3102 0 1 0 8 1 0 0 20 0 9 0 25517123 884801536 3488 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=864064 CPUtime=0
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 25517125 884801536 3488 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=864064 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 25517125 884801536 3488 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=864064 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25517125 884801536 3488 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=864064 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 884801536 3488 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=864064 CPUtime=0
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 224 0 0 0 0 0 0 0 17 0 9 0 25517127 884801536 3488 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 864064
[startup+0.302414 s]
/proc/loadavg: 2.20 2.04 2.01 4/72 24678
/proc/meminfo: memFree=1901536/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=864928 CPUtime=0.29
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 4801 0 1 0 26 3 0 0 18 0 9 0 25517122 885686272 4226 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216232 4226 1855 9 0 210700 0
[pid=24678/tid=24679] ppid=24676 vsize=864928 CPUtime=0.19
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 3579 0 1 0 17 2 0 0 20 0 9 0 25517123 885686272 4226 996147200 134512640 134550932 4294955840 18446744073709551615 4125928547 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=864928 CPUtime=0
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 25517125 885686272 4226 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=864928 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 25517125 885686272 4226 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=864928 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25517125 885686272 4226 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=864928 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 885686272 4226 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=864928 CPUtime=0.08
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 494 0 0 0 8 0 0 0 17 0 9 0 25517127 885686272 4226 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864928
[startup+0.702463 s]
/proc/loadavg: 2.20 2.04 2.01 4/72 24678
/proc/meminfo: memFree=1901536/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865060 CPUtime=0.68
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 6972 0 1 0 64 4 0 0 18 0 9 0 25517122 885821440 6380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216265 6380 1917 9 0 210733 0
[pid=24678/tid=24679] ppid=24676 vsize=865060 CPUtime=0.47
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 5664 0 1 0 44 3 0 0 23 0 9 0 25517123 885821440 6380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865060 CPUtime=0
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 25517125 885821440 6380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865060 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 25517125 885821440 6380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865060 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25517125 885821440 6380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865060 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 885821440 6380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865060 CPUtime=0.19
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 25517127 885821440 6380 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865060
[startup+1.50155 s]
/proc/loadavg: 2.20 2.04 2.01 3/81 24687
/proc/meminfo: memFree=1875352/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=1.48
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 11053 0 1 0 140 8 0 0 18 0 9 0 25517122 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 10432 1973 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=1.09
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 9629 0 1 0 103 6 0 0 25 0 9 0 25517123 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4125876871 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 25517125 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25517125 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.36
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 694 0 0 0 35 1 0 0 15 0 9 0 25517127 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 10432 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 10432 996147200 134512640 134550932 4294955840 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) 865272
[startup+3.10173 s]
/proc/loadavg: 2.20 2.04 2.01 3/81 24687
/proc/meminfo: memFree=1856088/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=3.06
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 17598 0 1 0 294 12 0 0 18 0 9 0 25517122 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 16973 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=2.6
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14811 0 1 0 250 10 0 0 25 0 9 0 25517123 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4127284792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.03
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 1337 0 0 0 3 0 0 0 16 0 9 0 25517125 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.4
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 719 0 0 0 39 1 0 0 15 0 9 0 25517127 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 16973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865272
[startup+6.3021 s]
/proc/loadavg: 2.18 2.03 2.01 3/81 24687
/proc/meminfo: memFree=1840920/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=6.24
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18930 0 1 0 609 15 0 0 18 0 9 0 25517122 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 18301 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=5.73
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14815 0 1 0 562 11 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4127282400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.06
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 5 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 865272
[startup+12.7018 s]
/proc/loadavg: 2.17 2.03 2.01 3/81 24687
/proc/meminfo: memFree=1835480/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=12.58
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18932 0 1 0 1240 18 0 0 18 0 9 0 25517122 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 18301 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=12.07
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14817 0 1 0 1193 14 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4127305776 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.06
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 5 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=101.43
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14851 0 1 0 10079 64 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.07
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 6 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 865272
Solver just ended. Dumping a history of the last processes samples
[startup+105.502 s]
/proc/loadavg: 2.06 2.03 2.01 3/82 24758
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=105.14
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18967 0 1 0 10445 69 0 0 18 0 9 0 25517122 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 18301 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=104.62
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14852 0 1 0 10397 65 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.07
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 6 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 105.14
Current children cumulated vsize (KiB) 865272
[startup+107.102 s]
/proc/loadavg: 2.06 2.03 2.01 3/82 24758
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=106.74
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18968 0 1 0 10604 70 0 0 18 0 9 0 25517122 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 18301 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=106.22
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14853 0 1 0 10556 66 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.07
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 6 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 106.74
Current children cumulated vsize (KiB) 865272
[startup+108.703 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 24758
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=108.34
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18969 0 1 0 10763 71 0 0 18 0 9 0 25517122 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 18301 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=107.82
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14854 0 1 0 10715 67 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.07
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 6 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 108.34
Current children cumulated vsize (KiB) 865272
[startup+109.503 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 24758
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=109.14
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18969 0 1 0 10843 71 0 0 18 0 9 0 25517122 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 18301 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=108.62
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14854 0 1 0 10795 67 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.07
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 6 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) R 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (KiB) 865272
[startup+109.703 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 24758
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865272 CPUtime=109.34
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18969 0 1 0 10863 71 0 0 18 0 9 0 25517122 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216318 18301 1987 9 0 210786 0
[pid=24678/tid=24679] ppid=24676 vsize=865272 CPUtime=108.82
/proc/24678/task/24679/stat : 24679 (java) R 24676 24678 24160 0 -1 64 14854 0 1 0 10815 67 0 0 25 0 9 0 25517123 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4127305789 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865272 CPUtime=0.07
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 6 1 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865272 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865272 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886038528 18301 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 109.34
Current children cumulated vsize (KiB) 865272
[startup+109.803 s]
/proc/loadavg: 2.05 2.03 2.00 3/82 24758
/proc/meminfo: memFree=1828120/2055920 swapFree=4192812/4192956
[pid=24678] ppid=24676 vsize=865596 CPUtime=109.4
/proc/24678/stat : 24678 (java) S 24676 24678 24160 0 -1 0 18986 0 1 0 10869 71 0 0 18 0 9 0 25517122 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24678/statm: 216399 18315 1991 9 0 210867 0
[pid=24678/tid=24679] ppid=24676 vsize=865596 CPUtime=108.89
/proc/24678/task/24679/stat : 24679 (java) S 24676 24678 24160 0 -1 64 14866 0 1 0 10822 67 0 0 25 0 9 0 25517123 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24680] ppid=24676 vsize=865596 CPUtime=0.07
/proc/24678/task/24680/stat : 24680 (java) S 24676 24678 24160 0 -1 64 2662 0 0 0 6 1 0 0 16 0 9 0 25517125 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24678/tid=24681] ppid=24676 vsize=865596 CPUtime=0
/proc/24678/task/24681/stat : 24681 (java) S 24676 24678 24160 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25517125 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24682] ppid=24676 vsize=865596 CPUtime=0
/proc/24678/task/24682/stat : 24682 (java) S 24676 24678 24160 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25517125 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24683] ppid=24676 vsize=865596 CPUtime=0
/proc/24678/task/24683/stat : 24683 (java) S 24676 24678 24160 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25517127 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24684] ppid=24676 vsize=865596 CPUtime=0.41
/proc/24678/task/24684/stat : 24684 (java) S 24676 24678 24160 0 -1 64 722 0 0 0 40 1 0 0 16 0 9 0 25517127 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24686] ppid=24676 vsize=865596 CPUtime=0
/proc/24678/task/24686/stat : 24686 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25517127 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24678/tid=24687] ppid=24676 vsize=865596 CPUtime=0
/proc/24678/task/24687/stat : 24687 (java) S 24676 24678 24160 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25517127 886370304 18315 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 109.4
Current children cumulated vsize (KiB) 865596
Child status: 0
Real time (s): 109.828
CPU time (s): 109.428
CPU user time (s): 108.698
CPU system time (s): 0.729889
CPU usage (%): 99.6363
Max. virtual memory (cumulated for all children) (KiB): 865596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.698
system time used= 0.729889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18989
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= 4773
involuntary context switches= 4370
runsolver used 0.173973 second user time and 0.337948 second system time
The end
Begin job on node62 at 2009-07-12 09:42:12
IDJOB=2086865
IDBENCH=58652
IDSOLVER=737
FILE ID=node62/2086865-1247384532
PBS_JOBID= 9507309
Free space on /tmp= 66348 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/langford4/normalized-langford-4-15.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-2086865-1247384532/watcher-2086865-1247384532 -o /tmp/evaluation-result-2086865-1247384532/solver-2086865-1247384532 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2086865-1247384532.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= 4d1aaa592db27ccaece4a9a11c6999b4
RANDOM SEED=1416142714
node62.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.220
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.220
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: 1902016 kB
Buffers: 13568 kB
Cached: 69528 kB
SwapCached: 0 kB
Active: 73856 kB
Inactive: 28120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1902016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3620 kB
Writeback: 0 kB
Mapped: 30392 kB
Slab: 37008 kB
Committed_AS: 182208 kB
PageTables: 1824 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66344 MiB
End job on node62 at 2009-07-12 09:44:02