33.06/33.48 s SATISFIABLE
33.06/33.48 v 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
33.06/33.48 d AC 32
33.06/33.48 d RUNTIME 33.343
33.06/33.48 d NODES 2481
33.06/33.48 d NODES/s 74
33.06/33.48 d BACKTRACKS 3447
33.06/33.48 d BACKTRACKS/s 103
33.06/33.48 d CHECKS 0
33.06/33.48 d CHECKS/s 0
33.06/33.48 c SAT 33.343 TIME 2481 NDS 535 PARSTIME 133 BUILDPB 147 CONFIG 32528 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-2115911-1248030525/watcher-2115911-1248030525 -o /tmp/evaluation-result-2115911-1248030525/solver-2115911-1248030525 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115911-1248030525.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: 1.99 1.98 1.91 4/80 26494
/proc/meminfo: memFree=1183664/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=152 CPUtime=0
/proc/26494/stat : 26494 (java) D 26492 26494 26173 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 90119015 155648 26 996147200 134512640 134550932 4294956064 18446744073709551615 8438564 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26494/statm: 38 26 19 9 0 4 0
[startup+0.0373999 s]
/proc/loadavg: 1.99 1.98 1.91 4/80 26494
/proc/meminfo: memFree=1183664/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=859568 CPUtime=0.01
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 1858 0 1 0 0 1 0 0 18 0 4 0 90119015 880197632 1525 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 214892 1525 684 9 0 209807 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 859568
[startup+0.101658 s]
/proc/loadavg: 1.99 1.98 1.91 4/80 26494
/proc/meminfo: memFree=1183664/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=862264 CPUtime=0.08
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 3302 0 1 0 6 2 0 0 18 0 9 0 90119015 882958336 2770 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 215566 2770 1309 9 0 210436 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 862264
[startup+0.301685 s]
/proc/loadavg: 1.99 1.98 1.91 4/80 26494
/proc/meminfo: memFree=1183664/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864384 CPUtime=0.27
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 10558 0 1 0 22 5 0 0 18 0 9 0 90119015 885129216 9980 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216096 9980 1863 9 0 210565 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 864384
[startup+0.701722 s]
/proc/loadavg: 1.99 1.98 1.91 4/80 26494
/proc/meminfo: memFree=1183664/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=0.67
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 20888 0 1 0 57 10 0 0 18 0 9 0 90119015 885305344 20289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 20289 1929 9 0 210608 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 864556
[startup+1.50281 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1108712/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=1.46
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 23249 0 1 0 134 12 0 0 18 0 9 0 90119015 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 22624 1976 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=1.25
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14720 0 1 0 117 8 0 0 25 0 9 0 90119018 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4126696123 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.06
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 7410 0 0 0 3 3 0 0 16 0 9 0 90119019 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.13
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 387 0 0 0 13 0 0 0 15 0 9 0 90119021 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 22624 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 864556
[startup+3.10298 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1100456/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=3.05
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 23264 0 1 0 293 12 0 0 18 0 9 0 90119015 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 22637 1979 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=2.81
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14730 0 1 0 273 8 0 0 25 0 9 0 90119018 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4126679543 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.09
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 7410 0 0 0 6 3 0 0 16 0 9 0 90119019 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.13
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 392 0 0 0 13 0 0 0 15 0 9 0 90119021 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 22637 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 22637 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) 864556
[startup+6.30133 s]
/proc/loadavg: 1.99 1.98 1.91 4/89 26503
/proc/meminfo: memFree=1100264/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=6.22
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 23276 0 1 0 610 12 0 0 18 0 9 0 90119015 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 22642 1979 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=5.91
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14737 0 1 0 583 8 0 0 25 0 9 0 90119018 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4126675148 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.14
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 7410 0 0 0 11 3 0 0 16 0 9 0 90119019 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.14
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 397 0 0 0 14 0 0 0 15 0 9 0 90119021 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 22642 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 22642 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) 864556
[startup+12.703 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1097576/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=12.56
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 23948 0 1 0 1243 13 0 0 18 0 9 0 90119015 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 23301 1979 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=12.17
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14750 0 1 0 1209 8 0 0 25 0 9 0 90119018 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4126726181 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.22
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 8068 0 0 0 19 3 0 0 16 0 9 0 90119019 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.15
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 398 0 0 0 15 0 0 0 16 0 9 0 90119021 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 23301 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 23301 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) 864556
[startup+25.5014 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1097576/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=25.23
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 23987 0 1 0 2509 14 0 0 18 0 9 0 90119015 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 23315 1982 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=24.79
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14775 0 1 0 2470 9 0 0 25 0 9 0 90119018 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4126675123 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.24
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 8068 0 0 0 21 3 0 0 16 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.17
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 864556
Solver just ended. Dumping a history of the last processes samples
[startup+28.7028 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1097576/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=28.41
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 23994 0 1 0 2826 15 0 0 18 0 9 0 90119015 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 23315 1982 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=27.95
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14782 0 1 0 2786 9 0 0 25 0 9 0 90119018 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4126679521 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.25
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 8068 0 0 0 21 4 0 0 16 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.17
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.41
Current children cumulated vsize (KiB) 864556
[startup+31.9061 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1097640/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=31.59
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 24000 0 1 0 3144 15 0 0 18 0 9 0 90119015 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 23315 1982 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=31.12
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14788 0 1 0 3103 9 0 0 25 0 9 0 90119018 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4126676278 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.26
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 8068 0 0 0 22 4 0 0 16 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.17
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.59
Current children cumulated vsize (KiB) 864556
[startup+32.7012 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1097640/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=32.38
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 24002 0 1 0 3223 15 0 0 18 0 9 0 90119015 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 23315 1982 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=31.91
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14790 0 1 0 3182 9 0 0 25 0 9 0 90119018 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4126681806 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.26
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 8068 0 0 0 22 4 0 0 16 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.17
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.38
Current children cumulated vsize (KiB) 864556
[startup+33.1012 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1097640/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864556 CPUtime=32.77
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 24003 0 1 0 3262 15 0 0 18 0 9 0 90119015 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216139 23315 1982 9 0 210608 0
[pid=26494/tid=26496] ppid=26492 vsize=864556 CPUtime=32.3
/proc/26494/task/26496/stat : 26496 (java) R 26492 26494 26173 0 -1 64 14791 0 1 0 3221 9 0 0 25 0 9 0 90119018 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4126675110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864556 CPUtime=0.26
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 8068 0 0 0 22 4 0 0 16 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864556 CPUtime=0.17
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864556 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885305344 23315 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.77
Current children cumulated vsize (KiB) 864556
[startup+33.5013 s]
/proc/loadavg: 1.99 1.98 1.91 3/89 26503
/proc/meminfo: memFree=1097640/2055920 swapFree=4192812/4192956
[pid=26494] ppid=26492 vsize=864880 CPUtime=33.15
/proc/26494/stat : 26494 (java) S 26492 26494 26173 0 -1 0 24033 0 1 0 3300 15 0 0 18 0 9 0 90119015 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26494/statm: 216220 23341 1987 9 0 210689 0
[pid=26494/tid=26496] ppid=26492 vsize=864880 CPUtime=32.68
/proc/26494/task/26496/stat : 26496 (java) S 26492 26494 26173 0 -1 64 14810 0 1 0 3259 9 0 0 25 0 9 0 90119018 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26497] ppid=26492 vsize=864880 CPUtime=0.26
/proc/26494/task/26497/stat : 26497 (java) S 26492 26494 26173 0 -1 64 8068 0 0 0 22 4 0 0 16 0 9 0 90119019 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26498] ppid=26492 vsize=864880 CPUtime=0
/proc/26494/task/26498/stat : 26498 (java) S 26492 26494 26173 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 90119019 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26499] ppid=26492 vsize=864880 CPUtime=0
/proc/26494/task/26499/stat : 26499 (java) S 26492 26494 26173 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90119019 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26500] ppid=26492 vsize=864880 CPUtime=0
/proc/26494/task/26500/stat : 26500 (java) S 26492 26494 26173 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90119021 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26501] ppid=26492 vsize=864880 CPUtime=0.18
/proc/26494/task/26501/stat : 26501 (java) S 26492 26494 26173 0 -1 64 418 0 0 0 18 0 0 0 16 0 9 0 90119021 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26502] ppid=26492 vsize=864880 CPUtime=0
/proc/26494/task/26502/stat : 26502 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90119021 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26494/tid=26503] ppid=26492 vsize=864880 CPUtime=0
/proc/26494/task/26503/stat : 26503 (java) S 26492 26494 26173 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90119021 885637120 23341 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 33.15
Current children cumulated vsize (KiB) 864880
Child status: 0
Real time (s): 33.5438
CPU time (s): 33.176
CPU user time (s): 33.007
CPU system time (s): 0.168974
CPU usage (%): 98.9033
Max. virtual memory (cumulated for all children) (KiB): 864880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.007
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24036
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= 2309
involuntary context switches= 3547
runsolver used 0.039993 second user time and 0.119981 second system time
The end
Begin job on node21 at 2009-07-19 21:08:45
IDJOB=2115911
IDBENCH=55977
IDSOLVER=780
FILE ID=node21/2115911-1248030525
PBS_JOBID= 9529004
Free space on /tmp= 66332 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/bddSmall/normalized-bdd-21-133-18-78-26_ext.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-2115911-1248030525/watcher-2115911-1248030525 -o /tmp/evaluation-result-2115911-1248030525/solver-2115911-1248030525 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115911-1248030525.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= 54e05da99f1839cbd09262340896c39d
RANDOM SEED=1773067351
node21.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.240
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.240
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: 1184144 kB
Buffers: 94716 kB
Cached: 609152 kB
SwapCached: 0 kB
Active: 307576 kB
Inactive: 476616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1184144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7020 kB
Writeback: 0 kB
Mapped: 98148 kB
Slab: 72724 kB
Committed_AS: 1226408 kB
PageTables: 1904 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= 66328 MiB
End job on node21 at 2009-07-19 21:09:19