36.29/36.65 s SATISFIABLE
36.29/36.65 v 3 1 3 2 4 7 4 6 2 6 5 7 7 2 0 5460 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3850 0 0 0 0 523 0 0 0 0 1125 2990 0 2380 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1700 0 3360 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5500 0 0 0 0 0 0 0 0 0 0 3900 0 1680 0 0 0 0 0 0 0 0 0 2240 0 0 0 0 0 1800 1500 0 5460 5498 5370 5060 5500 5580 5540 5580
36.29/36.65 d AC 32
36.29/36.65 d RUNTIME 36.533
36.29/36.65 d NODES 40
36.29/36.65 d NODES/s 1
36.29/36.65 d BACKTRACKS 23
36.29/36.65 d BACKTRACKS/s 1
36.29/36.65 d CHECKS 0
36.29/36.65 d CHECKS/s 0
36.29/36.65 c SAT 36.533 TIME 40 NDS 333 PARSTIME 107 BUILDPB 217 CONFIG 35876 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-2117689-1248034854/watcher-2117689-1248034854 -o /tmp/evaluation-result-2117689-1248034854/solver-2117689-1248034854 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117689-1248034854.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 1.93 4/81 31685
/proc/meminfo: memFree=1002512/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=18576 CPUtime=0
/proc/31685/stat : 31685 (runsolver) R 31683 31685 30176 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 90550736 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 210723466535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31685/statm: 4644 284 249 26 0 2626 0
[startup+0.0739031 s]
/proc/loadavg: 2.03 2.01 1.93 4/81 31685
/proc/meminfo: memFree=1002512/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=862204 CPUtime=0.06
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 2960 0 1 0 4 2 0 0 18 0 9 0 90550736 882896896 2454 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 215551 2454 1184 9 0 210421 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 862204
[startup+0.10291 s]
/proc/loadavg: 2.03 2.01 1.93 4/81 31685
/proc/meminfo: memFree=1002512/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=864072 CPUtime=0.09
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 3795 0 1 0 7 2 0 0 18 0 9 0 90550736 884809728 3259 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216018 3259 1720 9 0 210487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864072
[startup+0.302931 s]
/proc/loadavg: 2.03 2.01 1.93 4/81 31685
/proc/meminfo: memFree=1002512/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=864856 CPUtime=0.28
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 5068 0 1 0 25 3 0 0 18 0 9 0 90550736 885612544 4490 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216214 4490 1866 9 0 210683 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864856
[startup+0.702979 s]
/proc/loadavg: 2.03 2.01 1.93 4/81 31685
/proc/meminfo: memFree=1002512/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=0.68
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 7700 0 1 0 63 5 0 0 18 0 9 0 90550736 885833728 7081 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 7081 1965 9 0 210737 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865072
[startup+1.50107 s]
/proc/loadavg: 2.03 2.01 1.93 3/90 31694
/proc/meminfo: memFree=978376/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=1.47
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 8641 0 1 0 141 6 0 0 18 0 9 0 90550736 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 8020 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=1.27
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 7356 0 1 0 123 4 0 0 25 0 9 0 90550737 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4126779879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 90550739 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.18
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 555 0 0 0 18 0 0 0 15 0 9 0 90550741 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 8020 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 8020 996147200 134512640 134550932 4294955888 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) 865072
[startup+3.10125 s]
/proc/loadavg: 2.03 2.01 1.93 3/90 31694
/proc/meminfo: memFree=976584/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=3.05
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 9002 0 1 0 299 6 0 0 18 0 9 0 90550736 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 8379 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=2.84
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 7709 0 1 0 280 4 0 0 25 0 9 0 90550737 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4126876080 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 90550739 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.19
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 563 0 0 0 19 0 0 0 15 0 9 0 90550741 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 8379 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 865072
[startup+6.30263 s]
/proc/loadavg: 2.11 2.03 1.93 3/90 31694
/proc/meminfo: memFree=968648/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=6.22
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 9280 0 1 0 616 6 0 0 18 0 9 0 90550736 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 8656 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=6.01
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 7987 0 1 0 596 5 0 0 25 0 9 0 90550737 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4126790901 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.19
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 563 0 0 0 19 0 0 0 16 0 9 0 90550741 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 8656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 865072
[startup+12.7014 s]
/proc/loadavg: 2.10 2.03 1.93 3/90 31694
/proc/meminfo: memFree=944840/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=12.56
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 9506 0 1 0 1249 7 0 0 18 0 9 0 90550736 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 8882 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=12.34
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 8213 0 1 0 1229 5 0 0 25 0 9 0 90550737 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4126781750 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.19
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 563 0 0 0 19 0 0 0 16 0 9 0 90550741 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 8882 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 865072
[startup+25.5029 s]
/proc/loadavg: 2.08 2.03 1.93 3/90 31694
/proc/meminfo: memFree=935944/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=25.24
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 10397 0 1 0 2516 8 0 0 18 0 9 0 90550736 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 9772 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=25.02
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 9103 0 1 0 2496 6 0 0 25 0 9 0 90550737 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4126520411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.19
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 564 0 0 0 19 0 0 0 16 0 9 0 90550741 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 9772 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 865072
Solver just ended. Dumping a history of the last processes samples
[startup+31.9066 s]
/proc/loadavg: 2.07 2.03 1.93 2/77 31712
/proc/meminfo: memFree=1003504/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=31.6
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 11674 0 1 0 3151 9 0 0 18 0 9 0 90550736 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 11048 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=31.39
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 10379 0 1 0 3132 7 0 0 25 0 9 0 90550737 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.19
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 565 0 0 0 19 0 0 0 16 0 9 0 90550741 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 11048 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.6
Current children cumulated vsize (KiB) 865072
[startup+35.103 s]
/proc/loadavg: 1.98 2.01 1.93 2/77 31745
/proc/meminfo: memFree=997544/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=34.8
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 13117 0 1 0 3470 10 0 0 18 0 9 0 90550736 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 12491 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=34.58
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 11821 0 1 0 3450 8 0 0 25 0 9 0 90550737 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4126790828 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.2
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 566 0 0 0 20 0 0 0 16 0 9 0 90550741 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 12491 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.8
Current children cumulated vsize (KiB) 865072
[startup+35.9011 s]
/proc/loadavg: 1.98 2.01 1.93 2/77 31745
/proc/meminfo: memFree=997544/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=35.59
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 13364 0 1 0 3549 10 0 0 18 0 9 0 90550736 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 12738 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=35.37
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 12068 0 1 0 3529 8 0 0 25 0 9 0 90550737 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.2
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 566 0 0 0 20 0 0 0 16 0 9 0 90550741 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 12738 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.59
Current children cumulated vsize (KiB) 865072
[startup+36.3062 s]
/proc/loadavg: 1.98 2.01 1.93 2/77 31745
/proc/meminfo: memFree=996264/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=36
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 13456 0 1 0 3590 10 0 0 18 0 9 0 90550736 885833728 12829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 12829 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=35.78
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 12160 0 1 0 3570 8 0 0 16 0 9 0 90550737 885833728 12829 996147200 134512640 134550932 4294955888 18446744073709551615 4126768180 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 12829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 12830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 12830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 12830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.2
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 566 0 0 0 20 0 0 0 16 0 9 0 90550741 885833728 12830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 12830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 12830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36
Current children cumulated vsize (KiB) 865072
[startup+36.5012 s]
/proc/loadavg: 1.98 2.01 1.93 2/77 31745
/proc/meminfo: memFree=996264/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=36.19
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 13523 0 1 0 3609 10 0 0 18 0 9 0 90550736 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 12896 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=35.97
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 12227 0 1 0 3589 8 0 0 18 0 9 0 90550737 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.2
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 566 0 0 0 20 0 0 0 16 0 9 0 90550741 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 12896 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.19
Current children cumulated vsize (KiB) 865072
[startup+36.6012 s]
/proc/loadavg: 1.98 2.01 1.93 2/77 31745
/proc/meminfo: memFree=996264/2055920 swapFree=4192812/4192956
[pid=31685] ppid=31683 vsize=865072 CPUtime=36.29
/proc/31685/stat : 31685 (java) S 31683 31685 30176 0 -1 0 13586 0 1 0 3619 10 0 0 18 0 9 0 90550736 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31685/statm: 216268 12959 1970 9 0 210737 0
[pid=31685/tid=31687] ppid=31683 vsize=865072 CPUtime=36.07
/proc/31685/task/31687/stat : 31687 (java) R 31683 31685 30176 0 -1 64 12290 0 1 0 3599 8 0 0 19 0 9 0 90550737 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31685/tid=31688] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31688/stat : 31688 (java) S 31683 31685 30176 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90550739 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31689] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31689/stat : 31689 (java) S 31683 31685 30176 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90550739 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31690] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31690/stat : 31690 (java) S 31683 31685 30176 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90550739 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31691] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31691/stat : 31691 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90550741 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31692] ppid=31683 vsize=865072 CPUtime=0.2
/proc/31685/task/31692/stat : 31692 (java) S 31683 31685 30176 0 -1 64 566 0 0 0 20 0 0 0 16 0 9 0 90550741 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31693] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31693/stat : 31693 (java) S 31683 31685 30176 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90550741 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31685/tid=31694] ppid=31683 vsize=865072 CPUtime=0
/proc/31685/task/31694/stat : 31694 (java) S 31683 31685 30176 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90550741 885833728 12959 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.29
Current children cumulated vsize (KiB) 865072
Child status: 0
Real time (s): 36.674
CPU time (s): 36.3715
CPU user time (s): 36.2545
CPU system time (s): 0.116982
CPU usage (%): 99.175
Max. virtual memory (cumulated for all children) (KiB): 865072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.2545
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13823
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= 2048
involuntary context switches= 2509
runsolver used 0.038994 second user time and 0.137979 second system time
The end
Begin job on node73 at 2009-07-19 22:20:54
IDJOB=2117689
IDBENCH=66185
IDSOLVER=780
FILE ID=node73/2117689-1248034854
PBS_JOBID= 9528908
Free space on /tmp= 66436 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/CabinetStart1/normalized-cabinet-5588.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2117689-1248034854/watcher-2117689-1248034854 -o /tmp/evaluation-result-2117689-1248034854/solver-2117689-1248034854 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117689-1248034854.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e67b82d84aa610c64f2ef081c182ce3
RANDOM SEED=413182261
node73.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1002992 kB
Buffers: 103900 kB
Cached: 801588 kB
SwapCached: 0 kB
Active: 443588 kB
Inactive: 509868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1002992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10108 kB
Writeback: 0 kB
Mapped: 65808 kB
Slab: 84812 kB
Committed_AS: 1273844 kB
PageTables: 1852 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= 66436 MiB
End job on node73 at 2009-07-19 22:21:31