126.44/126.59 s UNSATISFIABLE
126.44/126.59 d AC 32
126.44/126.59 d RUNTIME 126.484
126.44/126.59 d NODES 128484
126.44/126.59 d NODES/s 1016
126.44/126.59 d BACKTRACKS 317463
126.44/126.59 d BACKTRACKS/s 2510
126.44/126.59 d CHECKS 0
126.44/126.59 d CHECKS/s 0
126.44/126.59 c UNSAT 126.484 TIME 128484 NDS 222 PARSTIME 100 BUILDPB 152 CONFIG 126010 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-2115171-1248028462/watcher-2115171-1248028462 -o /tmp/evaluation-result-2115171-1248028462/solver-2115171-1248028462 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115171-1248028462.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.02 2.04 1.73 4/80 30164
/proc/meminfo: memFree=944152/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=1616 CPUtime=0
/proc/30164/stat : 30164 (java) R 30162 30164 29781 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 89909715 1654784 161 996147200 134512640 134550932 4294956064 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/30164/statm: 404 161 124 9 0 46 0
[startup+0.0942669 s]
/proc/loadavg: 2.02 2.04 1.73 4/80 30164
/proc/meminfo: memFree=944152/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=862252 CPUtime=0.08
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 3326 0 1 0 6 2 0 0 18 0 9 0 89909715 882946048 2791 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 215563 2791 1310 9 0 210433 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 862252
[startup+0.101348 s]
/proc/loadavg: 2.02 2.04 1.73 4/80 30164
/proc/meminfo: memFree=944152/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=864060 CPUtime=0.09
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 3817 0 1 0 7 2 0 0 18 0 9 0 89909715 884797440 3278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216015 3278 1727 9 0 210484 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864060
[startup+0.301376 s]
/proc/loadavg: 2.02 2.04 1.73 4/80 30164
/proc/meminfo: memFree=944152/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=864456 CPUtime=0.28
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 5056 0 1 0 25 3 0 0 18 0 9 0 89909715 885202944 4471 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216114 4471 1890 9 0 210583 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864456
[startup+0.701407 s]
/proc/loadavg: 2.02 2.04 1.73 4/80 30164
/proc/meminfo: memFree=944152/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=0.68
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 8087 0 1 0 63 5 0 0 18 0 9 0 89909715 886349824 7468 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 7469 1970 9 0 210863 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865576
[startup+1.50248 s]
/proc/loadavg: 2.02 2.04 1.73 3/89 30173
/proc/meminfo: memFree=904080/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=1.49
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 16276 0 1 0 140 9 0 0 18 0 9 0 89909715 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 15652 1985 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=1.33
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 14805 0 1 0 126 7 0 0 21 0 9 0 89909716 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 342 0 0 0 0 0 0 0 17 0 9 0 89909717 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.12
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 397 0 0 0 12 0 0 0 15 0 9 0 89909720 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 15652 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 865576
[startup+3.10263 s]
/proc/loadavg: 2.02 2.04 1.73 3/89 30173
/proc/meminfo: memFree=887760/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=3.08
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 16621 0 1 0 298 10 0 0 18 0 9 0 89909715 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 15994 1988 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=2.89
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 14808 0 1 0 281 8 0 0 25 0 9 0 89909716 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.02
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 669 0 0 0 2 0 0 0 16 0 9 0 89909717 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 412 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 15994 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 865576
[startup+6.30191 s]
/proc/loadavg: 2.02 2.04 1.73 3/89 30173
/proc/meminfo: memFree=887440/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=6.29
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 16628 0 1 0 617 12 0 0 18 0 9 0 89909715 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 15995 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=6.06
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 14814 0 1 0 596 10 0 0 25 0 9 0 89909716 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.05
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 669 0 0 0 5 0 0 0 16 0 9 0 89909717 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 15995 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 865576
[startup+12.7015 s]
/proc/loadavg: 2.02 2.04 1.73 3/89 30173
/proc/meminfo: memFree=886224/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=12.68
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 16965 0 1 0 1253 15 0 0 18 0 9 0 89909715 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16321 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=12.42
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 14825 0 1 0 1229 13 0 0 25 0 9 0 89909716 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.09
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 995 0 0 0 9 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 865576
[startup+25.5026 s]
/proc/loadavg: 2.08 2.05 1.74 3/89 30173
/proc/meminfo: memFree=886160/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=25.48
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 16988 0 1 0 2526 22 0 0 18 0 9 0 89909715 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16321 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=25.2
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 14848 0 1 0 2501 19 0 0 25 0 9 0 89909716 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.1
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 995 0 0 0 10 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 865576
[startup+51.1029 s]
/proc/loadavg: 2.05 2.05 1.74 3/89 30173
/proc/meminfo: memFree=886096/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=51.07
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 17033 0 1 0 5072 35 0 0 18 0 9 0 89909715 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16321 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=50.77
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 14893 0 1 0 5044 33 0 0 25 0 9 0 89909716 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.12
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 995 0 0 0 12 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16321 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 865576
Solver just ended. Dumping a history of the last processes samples
[startup+115.102 s]
/proc/loadavg: 2.02 2.04 1.76 3/89 30211
/proc/meminfo: memFree=958224/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=115.04
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 17147 0 1 0 11437 67 0 0 18 0 9 0 89909715 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16322 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=114.65
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 15006 0 1 0 11402 63 0 0 25 0 9 0 89909716 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.2
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 996 0 0 0 19 1 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 115.04
Current children cumulated vsize (KiB) 865576
[startup+121.502 s]
/proc/loadavg: 2.01 2.04 1.76 3/89 30211
/proc/meminfo: memFree=949968/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=121.43
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 17158 0 1 0 12074 69 0 0 18 0 9 0 89909715 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16322 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=121.06
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 15017 0 1 0 12040 66 0 0 25 0 9 0 89909716 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4126661304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.2
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 996 0 0 0 19 1 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 121.43
Current children cumulated vsize (KiB) 865576
[startup+124.702 s]
/proc/loadavg: 2.01 2.03 1.76 4/89 30211
/proc/meminfo: memFree=946192/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=124.63
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 17163 0 1 0 12392 71 0 0 18 0 9 0 89909715 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16322 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=124.25
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 15022 0 1 0 12357 68 0 0 25 0 9 0 89909716 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.2
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 996 0 0 0 19 1 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.63
Current children cumulated vsize (KiB) 865576
[startup+125.502 s]
/proc/loadavg: 2.01 2.03 1.76 3/89 30211
/proc/meminfo: memFree=944912/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=125.43
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 17165 0 1 0 12472 71 0 0 18 0 9 0 89909715 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16322 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=125.05
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 15024 0 1 0 12437 68 0 0 25 0 9 0 89909716 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4126696314 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.21
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 996 0 0 0 20 1 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 125.43
Current children cumulated vsize (KiB) 865576
[startup+126.302 s]
/proc/loadavg: 2.01 2.03 1.76 3/89 30211
/proc/meminfo: memFree=944912/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=126.23
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 17166 0 1 0 12551 72 0 0 18 0 9 0 89909715 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16322 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=125.85
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 15025 0 1 0 12516 69 0 0 25 0 9 0 89909716 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.21
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 996 0 0 0 20 1 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 126.23
Current children cumulated vsize (KiB) 865576
[startup+126.507 s]
/proc/loadavg: 2.01 2.03 1.76 3/89 30211
/proc/meminfo: memFree=943632/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=865576 CPUtime=126.44
/proc/30164/stat : 30164 (java) S 30162 30164 29781 0 -1 0 17167 0 1 0 12572 72 0 0 18 0 9 0 89909715 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30164/statm: 216394 16322 1989 9 0 210863 0
[pid=30164/tid=30166] ppid=30162 vsize=865576 CPUtime=126.05
/proc/30164/task/30166/stat : 30166 (java) R 30162 30164 29781 0 -1 64 15026 0 1 0 12536 69 0 0 25 0 9 0 89909716 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4125903077 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30167] ppid=30162 vsize=865576 CPUtime=0.21
/proc/30164/task/30167/stat : 30167 (java) S 30162 30164 29781 0 -1 64 996 0 0 0 20 1 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30168] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30168/stat : 30168 (java) S 30162 30164 29781 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30169] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30169/stat : 30169 (java) S 30162 30164 29781 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89909717 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30170] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30170/stat : 30170 (java) S 30162 30164 29781 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30171] ppid=30162 vsize=865576 CPUtime=0.14
/proc/30164/task/30171/stat : 30171 (java) S 30162 30164 29781 0 -1 64 413 0 0 0 14 0 0 0 16 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30164/tid=30172] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30172/stat : 30172 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30164/tid=30173] ppid=30162 vsize=865576 CPUtime=0
/proc/30164/task/30173/stat : 30173 (java) S 30162 30164 29781 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89909720 886349824 16322 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 126.44
Current children cumulated vsize (KiB) 865576
[startup+126.602 s]
/proc/loadavg: 2.01 2.03 1.76 3/89 30211
/proc/meminfo: memFree=943632/2055920 swapFree=4192812/4192956
[pid=30164] ppid=30162 vsize=0 CPUtime=126.52
/proc/30164/stat : 30164 (java) Z 30162 30164 29781 0 -1 12 17190 0 1 0 12580 72 0 0 16 0 2 0 89909715 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30164/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 126.52
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 126.609
CPU time (s): 126.545
CPU user time (s): 125.81
CPU system time (s): 0.734888
CPU usage (%): 99.9495
Max. virtual memory (cumulated for all children) (KiB): 865576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.81
system time used= 0.734888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17190
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= 5511
involuntary context switches= 5514
runsolver used 0.172973 second user time and 0.413937 second system time
The end
Begin job on node51 at 2009-07-19 20:34:22
IDJOB=2115171
IDBENCH=54346
IDSOLVER=780
FILE ID=node51/2115171-1248028462
PBS_JOBID= 9528948
Free space on /tmp= 66392 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/schurrLemma/normalized-lemma-20-9-mod.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-2115171-1248028462/watcher-2115171-1248028462 -o /tmp/evaluation-result-2115171-1248028462/solver-2115171-1248028462 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115171-1248028462.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= 0351c2d306af39428e7ac456e3563b8d
RANDOM SEED=621536521
node51.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.225
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.225
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: 944632 kB
Buffers: 85312 kB
Cached: 839080 kB
SwapCached: 0 kB
Active: 315824 kB
Inactive: 721776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 944632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5024 kB
Writeback: 0 kB
Mapped: 131012 kB
Slab: 58736 kB
Committed_AS: 1256920 kB
PageTables: 1984 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= 66388 MiB
End job on node51 at 2009-07-19 20:36:29