341.66/341.88 s UNSATISFIABLE
341.66/341.88 d AC 32
341.66/341.88 d RUNTIME 341.785
341.66/341.88 d NODES 14539
341.66/341.88 d NODES/s 43
341.66/341.88 d BACKTRACKS 35468
341.66/341.88 d BACKTRACKS/s 104
341.66/341.88 d CHECKS -1972846273
341.66/341.88 d CHECKS/s -5772185
341.66/341.88 c UNSAT 341.785 TIME 14539 NDS 233 PARSTIME 105 BUILDPB 160 CONFIG 341287 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-2115625-1248029178/watcher-2115625-1248029178 -o /tmp/evaluation-result-2115625-1248029178/solver-2115625-1248029178 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115625-1248029178.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.92 1.97 1.83 4/81 30383
/proc/meminfo: memFree=717552/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=152 CPUtime=0
/proc/30383/stat : 30383 (java) R 30381 30383 29870 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 89983630 155648 26 996147200 134512640 134550932 4294955888 18446744073709551615 9756971 0 0 4096 0 0 0 0 17 0 0 0
/proc/30383/statm: 38 26 19 9 0 4 0
[startup+0.0120951 s]
/proc/loadavg: 1.92 1.97 1.83 4/81 30383
/proc/meminfo: memFree=717552/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=11012 CPUtime=0
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 827 0 0 0 0 0 0 0 18 0 2 0 89983630 11276288 570 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 2741 567 270 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11012
[startup+0.102098 s]
/proc/loadavg: 1.92 1.97 1.83 4/81 30383
/proc/meminfo: memFree=717552/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864092 CPUtime=0.09
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 3905 0 1 0 7 2 0 0 18 0 9 0 89983630 884830208 3352 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216023 3352 1752 9 0 210492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864092
[startup+0.301128 s]
/proc/loadavg: 1.92 1.97 1.83 4/81 30383
/proc/meminfo: memFree=717552/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864384 CPUtime=0.28
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 5142 0 1 0 26 2 0 0 18 0 9 0 89983630 885129216 4564 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216096 4565 1866 9 0 210565 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864384
[startup+0.701173 s]
/proc/loadavg: 1.92 1.97 1.83 4/81 30383
/proc/meminfo: memFree=717552/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=0.68
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 7650 0 1 0 64 4 0 0 18 0 9 0 89983630 885321728 7029 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 7029 1962 9 0 210612 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864572
[startup+1.50127 s]
/proc/loadavg: 1.92 1.97 1.83 3/90 30392
/proc/meminfo: memFree=695976/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=1.49
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 8332 0 1 0 144 5 0 0 18 0 9 0 89983630 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 7710 1965 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=1.38
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 7241 0 1 0 134 4 0 0 25 0 9 0 89983631 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4126577632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 89983633 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 89983633 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 89983633 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.09
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 362 0 0 0 9 0 0 0 16 0 9 0 89983635 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 7710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 864572
[startup+3.10145 s]
/proc/loadavg: 1.93 1.97 1.83 3/90 30392
/proc/meminfo: memFree=691880/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=3.08
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 9885 0 1 0 303 5 0 0 18 0 9 0 89983630 885321728 9261 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 9261 1965 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=2.97
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 8790 0 1 0 293 4 0 0 25 0 9 0 89983631 885321728 9261 996147200 134512640 134550932 4294955888 18446744073709551615 4126578652 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 89983633 885321728 9261 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 89983633 885321728 9261 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 89983633 885321728 9262 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 9262 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.09
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 366 0 0 0 9 0 0 0 16 0 9 0 89983635 885321728 9262 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 9262 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 9262 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 864572
[startup+6.30281 s]
/proc/loadavg: 1.93 1.97 1.83 3/90 30392
/proc/meminfo: memFree=678568/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=6.28
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 12901 0 1 0 621 7 0 0 18 0 9 0 89983630 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 12274 1969 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=6.16
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 11795 0 1 0 610 6 0 0 25 0 9 0 89983631 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4126577735 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 89983633 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 89983633 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 89983633 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.11
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 377 0 0 0 11 0 0 0 15 0 9 0 89983635 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 12274 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 864572
[startup+12.7026 s]
/proc/loadavg: 1.93 1.97 1.83 3/90 30392
/proc/meminfo: memFree=659944/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=12.68
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 16829 0 1 0 1260 8 0 0 18 0 9 0 89983630 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 16197 1980 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=12.53
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14741 0 1 0 1246 7 0 0 25 0 9 0 89983631 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4126576760 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.01
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 977 0 0 0 1 0 0 0 17 0 9 0 89983633 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.11
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 379 0 0 0 11 0 0 0 15 0 9 0 89983635 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 16197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 864572
[startup+25.503 s]
/proc/loadavg: 1.95 1.97 1.83 3/90 30392
/proc/meminfo: memFree=659880/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=25.48
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 16842 0 1 0 2539 9 0 0 18 0 9 0 89983630 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 16206 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=25.32
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14746 0 1 0 2525 7 0 0 25 0 9 0 89983631 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4126589316 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.01
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 977 0 0 0 1 0 0 0 16 0 9 0 89983633 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.12
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 387 0 0 0 12 0 0 0 15 0 9 0 89983635 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 16206 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 864572
[startup+51.103 s]
/proc/loadavg: 1.96 1.97 1.83 3/90 30392
/proc/meminfo: memFree=656168/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=51.06
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17814 0 1 0 5097 9 0 0 18 0 9 0 89983630 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 17173 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=50.89
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14751 0 1 0 5081 8 0 0 25 0 9 0 89983631 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4126603406 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.02
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1941 0 0 0 2 0 0 0 16 0 9 0 89983633 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.12
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 12 0 0 0 16 0 9 0 89983635 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 17173 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17832 0 1 0 31960 16 0 0 18 0 9 0 89983630 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 17174 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=319.59
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14768 0 1 0 31944 15 0 0 25 0 9 0 89983631 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4126576713 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.03
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1942 0 0 0 3 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.13
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 319.76
Current children cumulated vsize (KiB) 864572
[startup+332.702 s]
/proc/loadavg: 1.99 1.97 1.86 3/90 30392
/proc/meminfo: memFree=655784/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=332.56
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17833 0 1 0 33239 17 0 0 18 0 9 0 89983630 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 17174 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=332.37
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14769 0 1 0 33222 15 0 0 25 0 9 0 89983631 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4126577694 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.03
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1942 0 0 0 3 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.13
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 332.56
Current children cumulated vsize (KiB) 864572
[startup+335.902 s]
/proc/loadavg: 1.99 1.97 1.86 3/90 30392
/proc/meminfo: memFree=655784/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=335.76
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17833 0 1 0 33559 17 0 0 18 0 9 0 89983630 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 17174 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=335.57
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14769 0 1 0 33542 15 0 0 25 0 9 0 89983631 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4126576702 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.03
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1942 0 0 0 3 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.13
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 335.76
Current children cumulated vsize (KiB) 864572
[startup+339.102 s]
/proc/loadavg: 1.99 1.97 1.86 3/90 30392
/proc/meminfo: memFree=655784/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=338.96
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17833 0 1 0 33879 17 0 0 18 0 9 0 89983630 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 17174 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=338.77
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14769 0 1 0 33862 15 0 0 25 0 9 0 89983631 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4126576723 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.03
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1942 0 0 0 3 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.13
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 338.96
Current children cumulated vsize (KiB) 864572
[startup+340.702 s]
/proc/loadavg: 1.99 1.97 1.86 3/90 30392
/proc/meminfo: memFree=655784/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=340.56
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17833 0 1 0 34039 17 0 0 18 0 9 0 89983630 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 17174 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=340.37
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14769 0 1 0 34022 15 0 0 25 0 9 0 89983631 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4126589296 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.03
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1942 0 0 0 3 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.13
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.56
Current children cumulated vsize (KiB) 864572
[startup+341.502 s]
/proc/loadavg: 1.99 1.97 1.86 3/90 30392
/proc/meminfo: memFree=655784/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864572 CPUtime=341.36
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17834 0 1 0 34119 17 0 0 18 0 9 0 89983630 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216143 17174 1983 9 0 210612 0
[pid=30383/tid=30385] ppid=30381 vsize=864572 CPUtime=341.17
/proc/30383/task/30385/stat : 30385 (java) R 30381 30383 29870 0 -1 64 14770 0 1 0 34102 15 0 0 25 0 9 0 89983631 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4126576713 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864572 CPUtime=0.03
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1942 0 0 0 3 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864572 CPUtime=0.13
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864572 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885321728 17174 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.36
Current children cumulated vsize (KiB) 864572
[startup+341.902 s]
/proc/loadavg: 1.99 1.97 1.86 3/90 30392
/proc/meminfo: memFree=655784/2055920 swapFree=4192812/4192956
[pid=30383] ppid=30381 vsize=864896 CPUtime=341.75
/proc/30383/stat : 30383 (java) S 30381 30383 29870 0 -1 0 17854 0 1 0 34158 17 0 0 18 0 9 0 89983630 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30383/statm: 216224 17191 1988 9 0 210693 0
[pid=30383/tid=30385] ppid=30381 vsize=864896 CPUtime=341.56
/proc/30383/task/30385/stat : 30385 (java) S 30381 30383 29870 0 -1 64 14785 0 1 0 34141 15 0 0 25 0 9 0 89983631 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30386] ppid=30381 vsize=864896 CPUtime=0.03
/proc/30383/task/30386/stat : 30386 (java) S 30381 30383 29870 0 -1 64 1942 0 0 0 3 0 0 0 16 0 9 0 89983633 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30387] ppid=30381 vsize=864896 CPUtime=0
/proc/30383/task/30387/stat : 30387 (java) S 30381 30383 29870 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89983633 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30388] ppid=30381 vsize=864896 CPUtime=0
/proc/30383/task/30388/stat : 30388 (java) S 30381 30383 29870 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89983633 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30389] ppid=30381 vsize=864896 CPUtime=0
/proc/30383/task/30389/stat : 30389 (java) S 30381 30383 29870 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89983635 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30390] ppid=30381 vsize=864896 CPUtime=0.13
/proc/30383/task/30390/stat : 30390 (java) S 30381 30383 29870 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 89983635 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30391] ppid=30381 vsize=864896 CPUtime=0
/proc/30383/task/30391/stat : 30391 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 89983635 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30383/tid=30392] ppid=30381 vsize=864896 CPUtime=0
/proc/30383/task/30392/stat : 30392 (java) S 30381 30383 29870 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89983635 885653504 17191 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.75
Current children cumulated vsize (KiB) 864896
Child status: 0
Real time (s): 341.937
CPU time (s): 341.767
CPU user time (s): 341.583
CPU system time (s): 0.183972
CPU usage (%): 99.9502
Max. virtual memory (cumulated for all children) (KiB): 864896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 341.583
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17857
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= 7949
involuntary context switches= 11178
runsolver used 0.625904 second user time and 0.937857 second system time
The end
Begin job on node74 at 2009-07-19 20:46:18
IDJOB=2115625
IDBENCH=55163
IDSOLVER=780
FILE ID=node74/2115625-1248029178
PBS_JOBID= 9528906
Free space on /tmp= 103016 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg7-10_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-2115625-1248029178/watcher-2115625-1248029178 -o /tmp/evaluation-result-2115625-1248029178/solver-2115625-1248029178 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115625-1248029178.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= bf17ad4fcb93ffa307503ae9f9f9c729
RANDOM SEED=428801626
node74.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: 718032 kB
Buffers: 91132 kB
Cached: 943284 kB
SwapCached: 0 kB
Active: 490080 kB
Inactive: 765092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 718032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5348 kB
Writeback: 0 kB
Mapped: 238540 kB
Slab: 67504 kB
Committed_AS: 1276040 kB
PageTables: 2252 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103008 MiB
End job on node74 at 2009-07-19 20:52:00