18.55/18.37 s SATISFIABLE
18.55/18.37 v 7 3 4 6 11 19 12 0 15 16 5 17 1 9 18 2 13 8 14 10 5 16 0 8 9 4 2 12 13 1 3 15 10 11 19 18 7 6 17 14 10 2 15 17 1 7 19 9 18 8 12 11 3 13 16 5 14 4 0 6 2 1 17 13 10 9 18 5 16 11 6 14 12 4 8 3 0 19 15 7 0 6 5 16 13 8 10 2 12 9 11 1 14 15 4 17 19 7 3 18 3 9 7 15 17 18 8 19 5 6 14 12 11 1 10 4 2 16 13 0 11 18 16 5 6 0 15 10 8 4 9 13 19 17 7 14 3 12 1 2 9 8 12 1 2 16 13 11 10 3 7 6 4 19 14 0 15 17 18 5 4 14 1 19 7 6 11 3 17 12 13 10 0 18 2 8 16 5 9 15 6 10 11 18 3 13 4 15 14 2 0 16 9 5 12 7 8 1 19 17 18 17 13 14 19 2 6 1 9 7 10 4 16 8 3 15 11 0 5 12 19 5 2 10 0 17 1 7 4 14 16 18 13 12 15 9 6 3 11 8 1 7 6 4 12 10 5 8 11 13 17 3 15 14 0 19 9 18 2 16 14 4 19 2 16 15 7 18 6 10 1 9 17 0 5 11 12 13 8 3 8 12 9 7 14 3 0 13 19 15 18 2 5 16 17 1 4 10 6 11 15 11 14 0 5 1 16 4 3 17 19 8 18 7 9 6 10 2 12 13 16 0 3 12 8 11 14 17 2 18 4 19 7 6 1 13 5 15 10 9 17 15 10 9 4 5 3 14 0 19 8 7 6 2 13 12 18 11 16 1 13 19 8 11 18 12 9 16 1 0 15 5 2 3 6 10 17 14 7 4 12 13 18 3 15 14 17 6 7 5 2 0 8 10 11 16 1 9 4 19
18.55/18.37 d AC 32
18.55/18.37 d RUNTIME 18.239
18.55/18.37 d NODES 476
18.55/18.37 d NODES/s 26
18.55/18.37 d BACKTRACKS 409
18.55/18.37 d BACKTRACKS/s 22
18.55/18.37 d CHECKS 0
18.55/18.37 d CHECKS/s 0
18.55/18.37 c SAT 18.239 TIME 476 NDS 356 PARSTIME 204 BUILDPB 705 CONFIG 16974 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-2114585-1248026622/watcher-2114585-1248026622 -o /tmp/evaluation-result-2114585-1248026622/solver-2114585-1248026622 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114585-1248026622.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: 0.00 0.00 0.00 2/67 27489
/proc/meminfo: memFree=905872/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=1616 CPUtime=0
/proc/27489/stat : 27489 (java) R 27487 27489 27351 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 89725346 1654784 161 996147200 134512640 134550932 4294956064 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/27489/statm: 404 164 127 9 0 46 0
[startup+0.0249151 s]
/proc/loadavg: 0.00 0.00 0.00 2/67 27489
/proc/meminfo: memFree=905872/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=858728 CPUtime=0
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 1510 0 1 0 0 0 0 0 18 0 2 0 89725346 879337472 1235 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 214682 1241 501 9 0 209597 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 858728
[startup+0.101929 s]
/proc/loadavg: 0.00 0.00 0.00 2/67 27489
/proc/meminfo: memFree=905872/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=864732 CPUtime=0.1
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 3958 0 1 0 8 2 0 0 18 0 9 0 89725346 885485568 3405 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216183 3405 1774 9 0 210652 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 864732
[startup+0.301946 s]
/proc/loadavg: 0.00 0.00 0.00 2/67 27489
/proc/meminfo: memFree=905872/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865884 CPUtime=0.38
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 5360 0 1 0 35 3 0 0 18 0 9 0 89725346 886665216 4782 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216471 4782 1867 9 0 210940 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 865884
[startup+0.701983 s]
/proc/loadavg: 0.00 0.00 0.00 2/67 27489
/proc/meminfo: memFree=905872/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=0.88
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 8698 0 1 0 83 5 0 0 18 0 9 0 89725346 886743040 8088 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 8088 1954 9 0 210959 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 865960
[startup+1.50206 s]
/proc/loadavg: 0.08 0.02 0.01 3/76 27498
/proc/meminfo: memFree=868552/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=1.78
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 18417 0 1 0 167 11 0 0 18 0 9 0 89725346 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 17793 1981 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=1.4
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14750 0 1 0 132 8 0 0 17 0 9 0 89725348 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4125910046 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.05
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 2225 0 0 0 4 1 0 0 16 0 9 0 89725349 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.3
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 710 0 0 0 29 1 0 0 16 0 9 0 89725351 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 17793 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 865960
[startup+3.10219 s]
/proc/loadavg: 0.08 0.02 0.01 2/76 27498
/proc/meminfo: memFree=835592/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=3.39
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 20053 0 1 0 328 11 0 0 18 0 9 0 89725346 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 19427 1981 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=2.95
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14762 0 1 0 287 8 0 0 21 0 9 0 89725348 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4126623287 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.09
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 3837 0 0 0 8 1 0 0 16 0 9 0 89725349 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.32
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 722 0 0 0 31 1 0 0 15 0 9 0 89725351 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 19427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 865960
[startup+6.30147 s]
/proc/loadavg: 0.15 0.03 0.01 2/76 27534
/proc/meminfo: memFree=834888/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=6.58
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 20069 0 1 0 646 12 0 0 18 0 9 0 89725346 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 19436 1981 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=6.1
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14770 0 1 0 602 8 0 0 22 0 9 0 89725348 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4127233579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.11
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 3840 0 0 0 10 1 0 0 15 0 9 0 89725349 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.33
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 727 0 0 0 32 1 0 0 15 0 9 0 89725351 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 19436 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 865960
[startup+12.703 s]
/proc/loadavg: 0.22 0.05 0.02 2/76 27534
/proc/meminfo: memFree=833864/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=12.97
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 20373 0 1 0 1284 13 0 0 18 0 9 0 89725346 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 19731 1983 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=12.45
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14786 0 1 0 1236 9 0 0 25 0 9 0 89725348 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4126623999 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.15
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 4124 0 0 0 13 2 0 0 16 0 9 0 89725349 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.34
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 731 0 0 0 33 1 0 0 15 0 9 0 89725351 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 19731 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (KiB) 865960
Solver just ended. Dumping a history of the last processes samples
[startup+15.9013 s]
/proc/loadavg: 0.28 0.06 0.02 2/76 27570
/proc/meminfo: memFree=833224/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=16.15
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 20379 0 1 0 1602 13 0 0 18 0 9 0 89725346 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 19732 1983 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=15.64
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14791 0 1 0 1554 10 0 0 17 0 9 0 89725348 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4127222256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.16
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 4125 0 0 0 14 2 0 0 15 0 9 0 89725349 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.34
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 731 0 0 0 33 1 0 0 16 0 9 0 89725351 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 19732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.15
Current children cumulated vsize (KiB) 865960
[startup+17.5024 s]
/proc/loadavg: 0.28 0.06 0.02 2/76 27606
/proc/meminfo: memFree=832896/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=17.75
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 20382 0 1 0 1762 13 0 0 18 0 9 0 89725346 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 19733 1983 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=17.23
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14794 0 1 0 1713 10 0 0 25 0 9 0 89725348 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4127195952 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.16
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 4125 0 0 0 14 2 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.34
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 731 0 0 0 33 1 0 0 16 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.75
Current children cumulated vsize (KiB) 865960
[startup+17.9025 s]
/proc/loadavg: 0.28 0.06 0.02 2/76 27606
/proc/meminfo: memFree=832896/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=18.14
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 20382 0 1 0 1801 13 0 0 18 0 9 0 89725346 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 19733 1983 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=17.63
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14794 0 1 0 1753 10 0 0 25 0 9 0 89725348 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4127241473 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.16
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 4125 0 0 0 14 2 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.34
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 731 0 0 0 33 1 0 0 16 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.14
Current children cumulated vsize (KiB) 865960
[startup+18.3025 s]
/proc/loadavg: 0.28 0.06 0.02 2/76 27606
/proc/meminfo: memFree=832896/2055920 swapFree=4192812/4192956
[pid=27489] ppid=27487 vsize=865960 CPUtime=18.55
/proc/27489/stat : 27489 (java) S 27487 27489 27351 0 -1 0 20383 0 1 0 1841 14 0 0 18 0 9 0 89725346 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27489/statm: 216490 19733 1983 9 0 210959 0
[pid=27489/tid=27491] ppid=27487 vsize=865960 CPUtime=18.02
/proc/27489/task/27491/stat : 27491 (java) R 27487 27489 27351 0 -1 64 14795 0 1 0 1792 10 0 0 18 0 9 0 89725348 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4127229552 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27492] ppid=27487 vsize=865960 CPUtime=0.16
/proc/27489/task/27492/stat : 27492 (java) S 27487 27489 27351 0 -1 64 4125 0 0 0 14 2 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27493] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27493/stat : 27493 (java) S 27487 27489 27351 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27494] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27494/stat : 27494 (java) S 27487 27489 27351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725349 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27495] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27495/stat : 27495 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27496] ppid=27487 vsize=865960 CPUtime=0.34
/proc/27489/task/27496/stat : 27496 (java) S 27487 27489 27351 0 -1 64 731 0 0 0 33 1 0 0 15 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27489/tid=27497] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27497/stat : 27497 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27489/tid=27498] ppid=27487 vsize=865960 CPUtime=0
/proc/27489/task/27498/stat : 27498 (java) S 27487 27489 27351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725351 886743040 19733 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.55
Current children cumulated vsize (KiB) 865960
Child status: 0
Real time (s): 18.388
CPU time (s): 18.6372
CPU user time (s): 18.4842
CPU system time (s): 0.152976
CPU usage (%): 101.355
Max. virtual memory (cumulated for all children) (KiB): 865960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4842
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20420
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= 974
involuntary context switches= 679
runsolver used 0.020996 second user time and 0.069989 second system time
The end
Begin job on node58 at 2009-07-19 20:03:42
IDJOB=2114585
IDBENCH=53527
IDSOLVER=780
FILE ID=node58/2114585-1248026622
PBS_JOBID= 9528933
Free space on /tmp= 66264 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-9_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-2114585-1248026622/watcher-2114585-1248026622 -o /tmp/evaluation-result-2114585-1248026622/solver-2114585-1248026622 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114585-1248026622.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= e4f8b42ca6d148c9b16fcc1baf7ad15d
RANDOM SEED=1212510993
node58.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.234
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.234
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: 906352 kB
Buffers: 99020 kB
Cached: 932132 kB
SwapCached: 0 kB
Active: 166220 kB
Inactive: 880272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 906352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5556 kB
Writeback: 0 kB
Mapped: 25088 kB
Slab: 88876 kB
Committed_AS: 508784 kB
PageTables: 1552 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= 66256 MiB
End job on node58 at 2009-07-19 20:04:01