81.23/82.04 s SATISFIABLE
81.23/82.04 v 15 0 18 19 18 15 0 20 11 0 0 18 7 4 18 20 15 15 4 17 5 4 17 17 8 19 4 12 0 20 3 4 17 4 8 13 8 19 8 0 11 8 25 4 3 0 3 12 8 23 4 3 13 0 8 3 11 4 18 20 19 8 11 8 19 24 13 14 17 4 4 13 2 7 0 8 13 4 3 2 7 0 19 19 4 11 19 7 4 17 4 17 8 2 7 7 14 11 18 19 19 14 22 0 17 3 18 5 14 4 8 12 15 11 4 14 13 0 17 3 14 18 10 8 11 11 2 14 7 13 0 17 8 4 18 22 8 13 2 4 3 0 4 17 8 0 11 18 6 0 11 0 19 4 0 5 0 1 8 0 13 1 0 17 4 17 4 19 2 7 0 3 4 11 4 0 15 7 4 11 8 14 13 8 17 4 2 0 19 0 21 0 8 11 4 3 0 12 14 20 17 4 12 8 19 12 4 17 17 24 8 18 11 0 13 3 18 2 0 3 4 13 2 4 12 8 18 11 4 3 0 1 0 18 8 13 6 3 4 11 8 0 14 0 19 18 1 0 11 18 0 4 13 21 8 17 14 13 12 4 13 19 0 11 14 8 11 4 17 18 0 8 11 8 13 6 6 13 14 12 4 18 11 24 11 24 24 0 11 19 0 6 0 12 4 3
81.23/82.04 d AC 32
81.23/82.04 d RUNTIME 81.841
81.23/82.04 d NODES 1840
81.23/82.04 d NODES/s 22
81.23/82.04 d BACKTRACKS 2277
81.23/82.04 d BACKTRACKS/s 28
81.23/82.04 d CHECKS 253764477
81.23/82.04 d CHECKS/s 3100701
81.23/82.04 c SAT 81.841 TIME 1840 NDS 781 PARSTIME 386 BUILDPB 967 CONFIG 79707 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-2116287-1248030896/watcher-2116287-1248030896 -o /tmp/evaluation-result-2116287-1248030896/solver-2116287-1248030896 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116287-1248030896.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.01 2.00 1.92 4/81 27111
/proc/meminfo: memFree=916376/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=18576 CPUtime=0
/proc/27111/stat : 27111 (runsolver) R 27109 27111 25357 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 90156853 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 228706544935 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/27111/statm: 4644 284 249 26 0 2626 0
[startup+0.050868 s]
/proc/loadavg: 2.01 2.00 1.92 4/81 27111
/proc/meminfo: memFree=916376/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=859892 CPUtime=0.03
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 2374 0 1 0 2 1 0 0 20 0 5 0 90156853 880529408 1937 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 214973 1937 902 9 0 209888 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 859892
[startup+0.102875 s]
/proc/loadavg: 2.01 2.00 1.92 4/81 27111
/proc/meminfo: memFree=916376/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=864092 CPUtime=0.08
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 3786 0 1 0 6 2 0 0 20 0 9 0 90156853 884830208 3251 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216023 3251 1711 9 0 210492 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864092
[startup+0.301893 s]
/proc/loadavg: 2.01 2.00 1.92 4/81 27111
/proc/meminfo: memFree=916376/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=864360 CPUtime=0.28
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 4729 0 1 0 25 3 0 0 20 0 9 0 90156853 885104640 4154 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216090 4154 1855 9 0 210559 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864360
[startup+0.702929 s]
/proc/loadavg: 2.01 2.00 1.92 4/81 27111
/proc/meminfo: memFree=916376/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=864964 CPUtime=0.68
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 8492 0 1 0 63 5 0 0 20 0 9 0 90156853 885723136 7906 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216241 7906 1899 9 0 210710 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864964
[startup+1.503 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=877712/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865140 CPUtime=1.47
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 19230 0 1 0 137 10 0 0 20 0 9 0 90156853 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216285 18606 1985 9 0 210754 0
[pid=27111/tid=27113] ppid=27109 vsize=865140 CPUtime=1.12
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14791 0 1 0 105 7 0 0 25 0 9 0 90156855 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4125929127 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865140 CPUtime=0.06
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 3082 0 0 0 6 0 0 0 16 0 9 0 90156856 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865140 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865140 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865140 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865140 CPUtime=0.26
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 626 0 0 0 25 1 0 0 15 0 9 0 90156859 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865140 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865140 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 885903360 18606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865140
[startup+3.10115 s]
/proc/loadavg: 2.00 2.00 1.92 4/90 27120
/proc/meminfo: memFree=838608/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=3.06
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 26051 0 1 0 292 14 0 0 20 0 9 0 90156853 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 25424 1990 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=2.39
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14847 0 1 0 231 8 0 0 25 0 9 0 90156855 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4127505267 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.24
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 9738 0 0 0 21 3 0 0 17 0 9 0 90156856 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.4
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 735 0 0 0 39 1 0 0 15 0 9 0 90156859 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 25424 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865272
[startup+6.30246 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=821648/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=6.23
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 26061 0 1 0 608 15 0 0 20 0 9 0 90156853 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 25430 1990 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=5.54
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14851 0 1 0 546 8 0 0 25 0 9 0 90156855 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4127509591 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.24
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 9738 0 0 0 21 3 0 0 16 0 9 0 90156856 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.41
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 741 0 0 0 40 1 0 0 16 0 9 0 90156859 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 25430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 865272
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=821456/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=12.57
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 27441 0 1 0 1241 16 0 0 20 0 9 0 90156853 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 26806 1990 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=11.81
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14855 0 1 0 1172 9 0 0 25 0 9 0 90156855 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4127463474 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.31
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 11108 0 0 0 27 4 0 0 16 0 9 0 90156856 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.42
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 747 0 0 0 41 1 0 0 16 0 9 0 90156859 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 26806 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 865272
[startup+25.5023 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812240/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=25.26
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28394 0 1 0 2507 19 0 0 20 0 9 0 90156853 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27756 1990 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=24.46
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14858 0 1 0 2435 11 0 0 25 0 9 0 90156855 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4126046733 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.34
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 29 5 0 0 17 0 9 0 90156856 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.43
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 754 0 0 0 42 1 0 0 15 0 9 0 90156859 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27756 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 865272
[startup+51.1027 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812112/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=50.62
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28414 0 1 0 5041 21 0 0 20 0 9 0 90156853 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27767 1992 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=49.79
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14874 0 1 0 4966 13 0 0 25 0 9 0 90156855 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4127336140 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.36
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 31 5 0 0 16 0 9 0 90156856 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.44
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 758 0 0 0 43 1 0 0 15 0 9 0 90156859 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28426 0 1 0 6944 21 0 0 20 0 9 0 90156853 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27775 1995 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=68.8
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14878 0 1 0 6867 13 0 0 25 0 9 0 90156855 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4127437248 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.37
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 32 5 0 0 16 0 9 0 90156856 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.45
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 766 0 0 0 44 1 0 0 17 0 9 0 90156859 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27775 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 69.65
Current children cumulated vsize (KiB) 865272
[startup+76.7021 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812176/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=75.98
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28428 0 1 0 7577 21 0 0 20 0 9 0 90156853 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27776 1995 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=75.13
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14879 0 1 0 7500 13 0 0 25 0 9 0 90156855 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4126046711 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.37
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 32 5 0 0 16 0 9 0 90156856 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.45
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 767 0 0 0 44 1 0 0 16 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 75.98
Current children cumulated vsize (KiB) 865272
[startup+79.9014 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812112/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=79.15
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28428 0 1 0 7894 21 0 0 20 0 9 0 90156853 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27776 1995 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=78.3
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14879 0 1 0 7817 13 0 0 25 0 9 0 90156855 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4127528117 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.37
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 32 5 0 0 16 0 9 0 90156856 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.45
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 767 0 0 0 44 1 0 0 16 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 79.15
Current children cumulated vsize (KiB) 865272
[startup+80.7014 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812048/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=79.94
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28428 0 1 0 7973 21 0 0 20 0 9 0 90156853 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27776 1995 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=79.09
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14879 0 1 0 7896 13 0 0 25 0 9 0 90156855 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4127433491 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.37
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 32 5 0 0 16 0 9 0 90156856 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.45
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 767 0 0 0 44 1 0 0 16 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (KiB) 865272
[startup+81.5015 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812048/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=80.73
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28428 0 1 0 8052 21 0 0 20 0 9 0 90156853 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27776 1995 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=79.88
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14879 0 1 0 7975 13 0 0 25 0 9 0 90156855 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4127437251 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.37
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 32 5 0 0 16 0 9 0 90156856 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.45
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 767 0 0 0 44 1 0 0 16 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 80.73
Current children cumulated vsize (KiB) 865272
[startup+81.9015 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812048/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=81.13
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28428 0 1 0 8092 21 0 0 20 0 9 0 90156853 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27776 1995 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=80.28
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14879 0 1 0 8015 13 0 0 25 0 9 0 90156855 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4127212680 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.37
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 32 5 0 0 16 0 9 0 90156856 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.45
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 767 0 0 0 44 1 0 0 16 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27776 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 81.13
Current children cumulated vsize (KiB) 865272
[startup+82.0015 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 27120
/proc/meminfo: memFree=812048/2055920 swapFree=4192812/4192956
[pid=27111] ppid=27109 vsize=865272 CPUtime=81.23
/proc/27111/stat : 27111 (java) S 27109 27111 25357 0 -1 0 28451 0 1 0 8102 21 0 0 20 0 9 0 90156853 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27111/statm: 216318 27798 2000 9 0 210787 0
[pid=27111/tid=27113] ppid=27109 vsize=865272 CPUtime=80.37
/proc/27111/task/27113/stat : 27113 (java) R 27109 27111 25357 0 -1 64 14889 0 1 0 8024 13 0 0 25 0 9 0 90156855 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4126442785 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27114] ppid=27109 vsize=865272 CPUtime=0.37
/proc/27111/task/27114/stat : 27114 (java) S 27109 27111 25357 0 -1 64 12051 0 0 0 32 5 0 0 16 0 9 0 90156856 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27115] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27115/stat : 27115 (java) S 27109 27111 25357 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27116] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27116/stat : 27116 (java) S 27109 27111 25357 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90156857 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27117] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27117/stat : 27117 (java) S 27109 27111 25357 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27118] ppid=27109 vsize=865272 CPUtime=0.47
/proc/27111/task/27118/stat : 27118 (java) S 27109 27111 25357 0 -1 64 780 0 0 0 46 1 0 0 16 0 9 0 90156859 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27119] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27119/stat : 27119 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 90156859 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27111/tid=27120] ppid=27109 vsize=865272 CPUtime=0
/proc/27111/task/27120/stat : 27120 (java) S 27109 27111 25357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90156859 886038528 27798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 81.23
Current children cumulated vsize (KiB) 865272
Child status: 0
Real time (s): 82.0779
CPU time (s): 81.3116
CPU user time (s): 81.0737
CPU system time (s): 0.237963
CPU usage (%): 99.0665
Max. virtual memory (cumulated for all children) (KiB): 865272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.0737
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28471
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= 4413
involuntary context switches= 6765
runsolver used 0.095985 second user time and 0.285956 second system time
The end
Begin job on node8 at 2009-07-19 21:14:56
IDJOB=2116287
IDBENCH=56617
IDSOLVER=780
FILE ID=node8/2116287-1248030896
PBS_JOBID= 9529029
Free space on /tmp= 66068 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-19-02.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-2116287-1248030896/watcher-2116287-1248030896 -o /tmp/evaluation-result-2116287-1248030896/solver-2116287-1248030896 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116287-1248030896.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= 4a2819ff550e7cc1f6156e6c5b327d2b
RANDOM SEED=1188464152
node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 916792 kB
Buffers: 85568 kB
Cached: 888396 kB
SwapCached: 0 kB
Active: 207100 kB
Inactive: 846864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 916792 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5892 kB
Writeback: 0 kB
Mapped: 97820 kB
Slab: 70180 kB
Committed_AS: 1221844 kB
PageTables: 1892 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= 66064 MiB
End job on node8 at 2009-07-19 21:16:18