81.15/81.24 s SATISFIABLE
81.15/81.24 v 2 11 8 2 0 6 0 12 4 6 8 19 0 19 14 18 0 8 11 14 1 0 3 20 17 14 2 4 11 20 4 17 15 14 20 23 0 2 14 13 17 4 12 1 14 1 8 13 4 17 0 14 17 13 0 15 14 18 19 3 0 19 0 19 0 6 17 0 5 5 20 19 0 8 4 8 17 4 1 0 13 13 8 18 8 0 11 18 12 0 11 0 18 12 14 19 19 0 13 3 2 0 4 2 0 11 19 14 12 4 25 17 4 17 20 17 6 4 17 0 13 14 13 0 8 12 1 20 2 14 19 8 19 3 4 13 8 12 2 11 0 24 11 8 0 19 0 20 17 4 0 20 13 0 25 8 18 8 11 4 1 4 17 11 0 13 6 0 0 12 14 20 17 3 0 8 17 4 13 4 18 13 4 7 0 11 12 4 4 0 17 14 1 4 18 20 18 3 8 19 17 20 18 0 8 0 13 0 11 14 6 14 13 10 7 8 13 14 11 8 18 18 11 0 21 8 18 0 8 2 8 0 11 4 0 13 14 8 18 4 18 11 0 18 7 3 4 2 4 19 0 13 10 0 6 4 14 11 4 14 11 4 19 14 13 8 2 4 13 18 20 8 19 25 8 25 0 13 8 0 18 20 8 18 18 4 0 17 4 6 18 4 12 0 18 1 2 1 6 6 14 20 21 4 17 13 4 21 4 18 18 0 11 0 19 14 8 18 0 1 17 8 2 14 12 15 8 18 18 0 18 18 4 0 13 18 4 11 4 13 19 4 2 20 17 4 4 21 8 4 17 8 2 1 12 0 11 4 18 4 18 19 4 17 18 4 8 25 4 18 4 13 4
81.15/81.24 d AC 32
81.15/81.24 d RUNTIME 81.142
81.15/81.24 d NODES 649
81.15/81.24 d NODES/s 8
81.15/81.24 d BACKTRACKS 122
81.15/81.24 d BACKTRACKS/s 2
81.15/81.24 d CHECKS 590469317
81.15/81.24 d CHECKS/s 7276987
81.15/81.24 c SAT 81.142 TIME 649 NDS 1276 PARSTIME 2275 BUILDPB 77591 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-2076910-1247363185/watcher-2076910-1247363185 -o /tmp/evaluation-result-2076910-1247363185/solver-2076910-1247363185 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076910-1247363185.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: 1.92 1.98 2.03 4/73 16135
/proc/meminfo: memFree=1737720/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=1616 CPUtime=0
/proc/16135/stat : 16135 (java) R 16133 16135 16098 0 -1 0 196 0 0 0 0 0 0 0 18 0 1 0 23385011 1654784 163 996147200 134512640 134550932 4294956000 18446744073709551615 5279232 0 0 4096 0 0 0 0 17 0 0 0
/proc/16135/statm: 404 164 127 9 0 46 0
[startup+0.020278 s]
/proc/loadavg: 1.92 1.98 2.03 4/73 16135
/proc/meminfo: memFree=1737720/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=858596 CPUtime=0.01
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 1400 0 1 0 0 1 0 0 18 0 2 0 23385011 879202304 1133 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 214649 1136 435 9 0 209564 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 858596
[startup+0.10207 s]
/proc/loadavg: 1.92 1.98 2.03 4/73 16135
/proc/meminfo: memFree=1737720/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=864096 CPUtime=0.09
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 3890 0 1 0 7 2 0 0 18 0 9 0 23385011 884834304 3337 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216024 3338 1748 9 0 210492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864096
[startup+0.3011 s]
/proc/loadavg: 1.92 1.98 2.03 4/73 16135
/proc/meminfo: memFree=1737720/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=864960 CPUtime=0.29
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 6529 0 1 0 26 3 0 0 18 0 9 0 23385011 885719040 5954 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216240 5954 1855 9 0 210708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864960
[startup+0.701156 s]
/proc/loadavg: 1.92 1.98 2.03 4/73 16135
/proc/meminfo: memFree=1737720/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=864960 CPUtime=0.69
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 21551 0 1 0 59 10 0 0 18 0 9 0 23385011 885719040 20965 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216240 20965 1891 9 0 210708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864960
[startup+1.50127 s]
/proc/loadavg: 1.92 1.98 2.03 3/82 16144
/proc/meminfo: memFree=1660848/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865148 CPUtime=1.49
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 25909 0 1 0 136 13 0 0 18 0 9 0 23385011 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216287 25300 1959 9 0 210755 0
[pid=16135/tid=16137] ppid=16133 vsize=865148 CPUtime=1.18
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14522 0 1 0 111 7 0 0 25 0 9 0 23385012 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4126046675 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865148 CPUtime=0.09
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 10077 0 0 0 6 3 0 0 16 0 9 0 23385014 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865148 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865148 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865148 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865148 CPUtime=0.17
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 578 0 0 0 17 0 0 0 15 0 9 0 23385016 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865148 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865148 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 885911552 25300 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 865148
[startup+3.1015 s]
/proc/loadavg: 1.92 1.98 2.03 3/82 16144
/proc/meminfo: memFree=1623216/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=3.09
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 34494 0 1 0 292 17 0 0 18 0 9 0 23385011 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 33866 1986 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=2.39
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14806 0 1 0 231 8 0 0 25 0 9 0 23385012 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4127284738 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.33
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 18249 0 0 0 26 7 0 0 17 0 9 0 23385014 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.34
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 707 0 0 0 34 0 0 0 16 0 9 0 23385016 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 33866 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 865280
[startup+6.30297 s]
/proc/loadavg: 1.93 1.98 2.03 3/82 16144
/proc/meminfo: memFree=1582072/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=6.28
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 41261 0 1 0 607 21 0 0 18 0 9 0 23385011 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 40629 1986 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=5.34
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14824 0 1 0 525 9 0 0 25 0 9 0 23385012 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4126046815 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.53
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 24965 0 0 0 43 10 0 0 17 0 9 0 23385014 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.38
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 740 0 0 0 38 0 0 0 16 0 9 0 23385016 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 40629 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 865280
[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 2.03 3/82 16144
/proc/meminfo: memFree=1582096/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=12.69
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 41269 0 1 0 1247 22 0 0 18 0 9 0 23385011 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 40635 1986 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=11.72
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14826 0 1 0 1163 9 0 0 25 0 9 0 23385012 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4127462287 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.53
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 24965 0 0 0 43 10 0 0 17 0 9 0 23385014 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.39
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 746 0 0 0 39 0 0 0 16 0 9 0 23385016 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 40635 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 865280
[startup+25.5027 s]
/proc/loadavg: 1.95 1.98 2.03 3/82 16144
/proc/meminfo: memFree=1576784/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=25.48
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 42653 0 1 0 2525 23 0 0 18 0 9 0 23385011 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 42015 1986 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=24.46
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14830 0 1 0 2436 10 0 0 25 0 9 0 23385012 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4127445843 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.59
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 26343 0 0 0 48 11 0 0 16 0 9 0 23385014 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.39
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 748 0 0 0 39 0 0 0 16 0 9 0 23385016 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 42015 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 865280
[startup+51.1025 s]
/proc/loadavg: 1.96 1.98 2.03 3/83 16145
/proc/meminfo: memFree=1572552/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=51.07
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 43702 0 1 0 5082 25 0 0 18 0 9 0 23385011 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 43060 1986 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=50.02
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14834 0 1 0 4990 12 0 0 25 0 9 0 23385012 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4127229639 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.62
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 27386 0 0 0 51 11 0 0 16 0 9 0 23385014 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.4
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 750 0 0 0 40 0 0 0 16 0 9 0 23385016 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 43060 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 865280
Solver just ended. Dumping a history of the last processes samples
[startup+63.9013 s]
/proc/loadavg: 1.97 1.98 2.03 3/83 16145
/proc/meminfo: memFree=1572552/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=63.86
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 43725 0 1 0 6356 30 0 0 18 0 9 0 23385011 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 43078 1986 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=62.77
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14845 0 1 0 6261 16 0 0 25 0 9 0 23385012 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4127445843 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.63
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 27386 0 0 0 52 11 0 0 17 0 9 0 23385014 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.41
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 762 0 0 0 41 0 0 0 16 0 9 0 23385016 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 43078 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 865280
[startup+70.3022 s]
/proc/loadavg: 1.97 1.98 2.03 3/83 16145
/proc/meminfo: memFree=1572552/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=70.27
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 43733 0 1 0 6997 30 0 0 18 0 9 0 23385011 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 43080 1988 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=69.15
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14853 0 1 0 6899 16 0 0 25 0 9 0 23385012 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4127630935 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.66
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 27386 0 0 0 55 11 0 0 16 0 9 0 23385014 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.41
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 762 0 0 0 41 0 0 0 16 0 9 0 23385016 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 43080 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 865280
[startup+76.7022 s]
/proc/loadavg: 1.97 1.98 2.03 3/83 16145
/proc/meminfo: memFree=1572552/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=76.65
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 43737 0 1 0 7635 30 0 0 18 0 9 0 23385011 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 43081 1988 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=75.51
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14856 0 1 0 7535 16 0 0 25 0 9 0 23385012 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4125903083 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.68
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 27386 0 0 0 57 11 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.41
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 763 0 0 0 41 0 0 0 16 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.65
Current children cumulated vsize (KiB) 865280
[startup+79.9016 s]
/proc/loadavg: 1.98 1.98 2.03 3/83 16145
/proc/meminfo: memFree=1572552/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=79.85
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 43737 0 1 0 7955 30 0 0 18 0 9 0 23385011 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 43081 1988 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=78.72
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14856 0 1 0 7855 17 0 0 25 0 9 0 23385012 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4127634167 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.68
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 27386 0 0 0 57 11 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.41
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 763 0 0 0 41 0 0 0 16 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (KiB) 865280
[startup+80.7027 s]
/proc/loadavg: 1.98 1.98 2.03 3/83 16145
/proc/meminfo: memFree=1572552/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=80.65
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 43738 0 1 0 8035 30 0 0 18 0 9 0 23385011 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 43081 1988 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=79.51
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14857 0 1 0 7934 17 0 0 25 0 9 0 23385012 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4127522688 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.7
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 27386 0 0 0 59 11 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.41
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 763 0 0 0 41 0 0 0 16 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 80.65
Current children cumulated vsize (KiB) 865280
[startup+81.1028 s]
/proc/loadavg: 1.98 1.98 2.03 3/83 16145
/proc/meminfo: memFree=1572552/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=865280 CPUtime=81.05
/proc/16135/stat : 16135 (java) S 16133 16135 16098 0 -1 0 43738 0 1 0 8075 30 0 0 18 0 9 0 23385011 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 216320 43081 1988 9 0 210788 0
[pid=16135/tid=16137] ppid=16133 vsize=865280 CPUtime=79.91
/proc/16135/task/16137/stat : 16137 (java) R 16133 16135 16098 0 -1 64 14857 0 1 0 7974 17 0 0 25 0 9 0 23385012 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4126334807 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16138] ppid=16133 vsize=865280 CPUtime=0.7
/proc/16135/task/16138/stat : 16138 (java) S 16133 16135 16098 0 -1 64 27386 0 0 0 59 11 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16139] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16139/stat : 16139 (java) S 16133 16135 16098 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16140] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16140/stat : 16140 (java) S 16133 16135 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 23385014 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16141] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16141/stat : 16141 (java) S 16133 16135 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16142] ppid=16133 vsize=865280 CPUtime=0.41
/proc/16135/task/16142/stat : 16142 (java) S 16133 16135 16098 0 -1 64 763 0 0 0 41 0 0 0 16 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16143] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16143/stat : 16143 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16135/tid=16144] ppid=16133 vsize=865280 CPUtime=0
/proc/16135/task/16144/stat : 16144 (java) S 16133 16135 16098 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 23385016 886046720 43081 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 81.05
Current children cumulated vsize (KiB) 865280
[startup+81.3028 s]
/proc/loadavg: 1.98 1.98 2.03 3/75 16146
/proc/meminfo: memFree=1665424/2055920 swapFree=4192812/4192956
[pid=16135] ppid=16133 vsize=0 CPUtime=81.22
/proc/16135/stat : 16135 (java) Z 16133 16135 16098 0 -1 12 43762 0 1 0 8090 32 0 0 16 0 2 0 23385011 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 81.22
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 81.3147
CPU time (s): 81.2336
CPU user time (s): 80.9027
CPU system time (s): 0.330949
CPU usage (%): 99.9003
Max. virtual memory (cumulated for all children) (KiB): 865280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.9027
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43762
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= 4421
involuntary context switches= 4594
runsolver used 0.115982 second user time and 0.265959 second system time
The end
Begin job on node22 at 2009-07-12 03:46:25
IDJOB=2076910
IDBENCH=56526
IDSOLVER=737
FILE ID=node22/2076910-1247363185
PBS_JOBID= 9507017
Free space on /tmp= 66380 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/ogdHerald/normalized-crossword-m1-ogd-21-06.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-2076910-1247363185/watcher-2076910-1247363185 -o /tmp/evaluation-result-2076910-1247363185/solver-2076910-1247363185 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2076910-1247363185.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= 22088e8bf081157e9815da3e28728514
RANDOM SEED=4723874
node22.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.278
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.278
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 : 5636.09
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1738200 kB
Buffers: 34996 kB
Cached: 108552 kB
SwapCached: 0 kB
Active: 220024 kB
Inactive: 48956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1738200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6892 kB
Writeback: 0 kB
Mapped: 136128 kB
Slab: 33880 kB
Committed_AS: 392532 kB
PageTables: 2172 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= 66376 MiB
End job on node22 at 2009-07-12 03:47:47