336.42/336.79 s UNSATISFIABLE
336.42/336.79 d AC 32
336.42/336.79 d RUNTIME 336.683
336.42/336.79 d NODES 32245
336.42/336.79 d NODES/s 96
336.42/336.79 d BACKTRACKS 47940
336.42/336.79 d BACKTRACKS/s 142
336.42/336.79 d CHECKS 0
336.42/336.79 d CHECKS/s 0
336.42/336.79 c UNSAT 336.683 TIME 32245 NDS 603 PARSTIME 260 BUILDPB 335820 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-2073357-1247358369/watcher-2073357-1247358369 -o /tmp/evaluation-result-2073357-1247358369/solver-2073357-1247358369 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2073357-1247358369.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -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.06 2.13 2.06 4/80 19773
/proc/meminfo: memFree=1751656/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=1616 CPUtime=0
/proc/19773/stat : 19773 (java) R 19771 19773 18196 0 -1 0 197 0 0 0 0 0 0 0 18 0 1 0 22900351 1654784 164 996147200 134512640 134550932 4294956000 18446744073709551615 10748858 0 0 4096 0 0 0 0 17 0 0 0
/proc/19773/statm: 404 164 127 9 0 46 0
[startup+0.0141839 s]
/proc/loadavg: 2.06 2.13 2.06 4/80 19773
/proc/meminfo: memFree=1751656/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=10928 CPUtime=0
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 814 0 0 0 0 0 0 0 18 0 2 0 22900351 11190272 559 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 2731 559 264 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10928
[startup+0.101192 s]
/proc/loadavg: 2.06 2.13 2.06 4/80 19773
/proc/meminfo: memFree=1751656/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864108 CPUtime=0.09
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 3838 0 1 0 7 2 0 0 18 0 9 0 22900351 884846592 3292 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216027 3292 1729 9 0 210495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864108
[startup+0.301213 s]
/proc/loadavg: 2.06 2.13 2.06 4/80 19773
/proc/meminfo: memFree=1751656/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864420 CPUtime=0.29
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 5515 0 1 0 26 3 0 0 18 0 9 0 22900351 885166080 4940 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216105 4940 1852 9 0 210573 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864420
[startup+0.70125 s]
/proc/loadavg: 2.06 2.13 2.06 4/80 19773
/proc/meminfo: memFree=1751656/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864420 CPUtime=0.69
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 20719 0 1 0 60 9 0 0 18 0 9 0 22900351 885166080 20132 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216105 20132 1891 9 0 210573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864420
[startup+1.50133 s]
/proc/loadavg: 2.06 2.13 2.06 3/89 19782
/proc/meminfo: memFree=1676704/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=1.49
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 23268 0 1 0 139 10 0 0 18 0 9 0 22900351 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 22642 1972 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=1.28
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 14712 0 1 0 122 6 0 0 25 0 9 0 22900352 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4126681480 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.06
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 7441 0 0 0 4 2 0 0 16 0 9 0 22900354 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.12
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 382 0 0 0 12 0 0 0 15 0 9 0 22900356 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 22642 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 22642 996147200 134512640 134550932 4294955840 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) 864556
[startup+3.10148 s]
/proc/loadavg: 2.06 2.13 2.06 3/89 19782
/proc/meminfo: memFree=1668448/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=3.08
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 23287 0 1 0 298 10 0 0 18 0 9 0 22900351 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 22658 1977 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=2.84
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 14725 0 1 0 278 6 0 0 25 0 9 0 22900352 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4126682512 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.09
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 7441 0 0 0 7 2 0 0 16 0 9 0 22900354 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.12
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 388 0 0 0 12 0 0 0 15 0 9 0 22900356 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 22658 996147200 134512640 134550932 4294955840 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) 864556
[startup+6.30278 s]
/proc/loadavg: 2.06 2.13 2.06 3/89 19782
/proc/meminfo: memFree=1668256/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=6.28
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 23301 0 1 0 618 10 0 0 18 0 9 0 22900351 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 22664 1977 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=5.96
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 14733 0 1 0 590 6 0 0 25 0 9 0 22900352 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4126678988 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.15
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 7441 0 0 0 13 2 0 0 16 0 9 0 22900354 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.14
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 394 0 0 0 14 0 0 0 16 0 9 0 22900356 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 22664 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 22664 996147200 134512640 134550932 4294955840 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) 864556
[startup+12.7024 s]
/proc/loadavg: 2.05 2.12 2.06 3/89 19782
/proc/meminfo: memFree=1665440/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=12.68
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 23991 0 1 0 1257 11 0 0 18 0 9 0 22900351 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23340 1977 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=12.3
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 14747 0 1 0 1223 7 0 0 25 0 9 0 22900352 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4126678948 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.21
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8111 0 0 0 18 3 0 0 16 0 9 0 22900354 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.15
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 400 0 0 0 15 0 0 0 16 0 9 0 22900356 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23340 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23340 996147200 134512640 134550932 4294955840 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) 864556
[startup+25.5016 s]
/proc/loadavg: 2.04 2.12 2.06 3/89 19782
/proc/meminfo: memFree=1665376/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=25.47
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24030 0 1 0 2535 12 0 0 18 0 9 0 22900351 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23350 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=25.04
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 14776 0 1 0 2497 7 0 0 25 0 9 0 22900352 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4126681425 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.24
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8111 0 0 0 21 3 0 0 16 0 9 0 22900354 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 410 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23350 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 864556
[startup+51.101 s]
/proc/loadavg: 2.03 2.11 2.06 3/89 19782
/proc/meminfo: memFree=1665248/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=51.07
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24089 0 1 0 5093 14 0 0 18 0 9 0 22900351 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23352 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=50.56
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 14833 0 1 0 5048 8 0 0 25 0 9 0 22900352 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4126678985 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.29
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8111 0 0 0 26 3 0 0 16 0 9 0 22900354 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23352 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24702 0 1 0 32585 30 0 0 18 0 9 0 22900351 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23353 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=325.07
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 15445 0 1 0 32485 22 0 0 25 0 9 0 22900352 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.88
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8112 0 0 0 81 7 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 326.15
Current children cumulated vsize (KiB) 864556
[startup+332.704 s]
/proc/loadavg: 2.08 2.06 2.04 4/92 19821
/proc/meminfo: memFree=1688904/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=332.53
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24716 0 1 0 33222 31 0 0 18 0 9 0 22900351 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23353 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=331.42
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 15459 0 1 0 33120 22 0 0 25 0 9 0 22900352 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4126683405 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.9
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8112 0 0 0 83 7 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 332.53
Current children cumulated vsize (KiB) 864556
[startup+334.302 s]
/proc/loadavg: 2.08 2.06 2.04 3/92 19821
/proc/meminfo: memFree=1608264/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=334.1
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24719 0 1 0 33379 31 0 0 18 0 9 0 22900351 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23353 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=333
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 15462 0 1 0 33278 22 0 0 25 0 9 0 22900352 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4126683361 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.9
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8112 0 0 0 83 7 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 334.1
Current children cumulated vsize (KiB) 864556
[startup+335.903 s]
/proc/loadavg: 2.08 2.06 2.04 5/92 19821
/proc/meminfo: memFree=1577160/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=335.62
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24723 0 1 0 33530 32 0 0 18 0 9 0 22900351 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23353 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=334.51
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 15466 0 1 0 33428 23 0 0 25 0 9 0 22900352 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4125903024 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.9
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8112 0 0 0 83 7 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 335.62
Current children cumulated vsize (KiB) 864556
[startup+336.301 s]
/proc/loadavg: 2.08 2.06 2.04 5/92 19821
/proc/meminfo: memFree=1577160/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=336.02
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24723 0 1 0 33570 32 0 0 18 0 9 0 22900351 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23353 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=334.91
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 15466 0 1 0 33468 23 0 0 25 0 9 0 22900352 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4126686048 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.9
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8112 0 0 0 83 7 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.02
Current children cumulated vsize (KiB) 864556
[startup+336.702 s]
/proc/loadavg: 2.23 2.09 2.05 4/92 19821
/proc/meminfo: memFree=1536840/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864556 CPUtime=336.42
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24724 0 1 0 33610 32 0 0 18 0 9 0 22900351 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216139 23353 1980 9 0 210607 0
[pid=19773/tid=19775] ppid=19771 vsize=864556 CPUtime=335.31
/proc/19773/task/19775/stat : 19775 (java) R 19771 19773 18196 0 -1 64 15467 0 1 0 33508 23 0 0 25 0 9 0 22900352 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4126683332 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864556 CPUtime=0.9
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8112 0 0 0 83 7 0 0 15 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864556 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864556 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885305344 23353 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.42
Current children cumulated vsize (KiB) 864556
[startup+336.801 s]
/proc/loadavg: 2.23 2.09 2.05 4/92 19821
/proc/meminfo: memFree=1536840/2055920 swapFree=4192812/4192956
[pid=19773] ppid=19771 vsize=864880 CPUtime=336.51
/proc/19773/stat : 19773 (java) S 19771 19773 18196 0 -1 0 24740 0 1 0 33619 32 0 0 18 0 9 0 22900351 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19773/statm: 216220 23367 1984 9 0 210688 0
[pid=19773/tid=19775] ppid=19771 vsize=864880 CPUtime=335.4
/proc/19773/task/19775/stat : 19775 (java) S 19771 19773 18196 0 -1 64 15478 0 1 0 33517 23 0 0 25 0 9 0 22900352 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19776] ppid=19771 vsize=864880 CPUtime=0.9
/proc/19773/task/19776/stat : 19776 (java) S 19771 19773 18196 0 -1 64 8112 0 0 0 83 7 0 0 15 0 9 0 22900354 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19773/tid=19777] ppid=19771 vsize=864880 CPUtime=0
/proc/19773/task/19777/stat : 19777 (java) S 19771 19773 18196 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22900354 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19778] ppid=19771 vsize=864880 CPUtime=0
/proc/19773/task/19778/stat : 19778 (java) S 19771 19773 18196 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22900354 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19779] ppid=19771 vsize=864880 CPUtime=0
/proc/19773/task/19779/stat : 19779 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 22900356 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19780] ppid=19771 vsize=864880 CPUtime=0.17
/proc/19773/task/19780/stat : 19780 (java) S 19771 19773 18196 0 -1 64 412 0 0 0 17 0 0 0 16 0 9 0 22900356 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19781] ppid=19771 vsize=864880 CPUtime=0
/proc/19773/task/19781/stat : 19781 (java) S 19771 19773 18196 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 22900356 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19773/tid=19782] ppid=19771 vsize=864880 CPUtime=0
/proc/19773/task/19782/stat : 19782 (java) S 19771 19773 18196 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22900356 885637120 23367 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.51
Current children cumulated vsize (KiB) 864880
Child status: 0
Real time (s): 336.874
CPU time (s): 336.527
CPU user time (s): 336.191
CPU system time (s): 0.335948
CPU usage (%): 99.8969
Max. virtual memory (cumulated for all children) (KiB): 864880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 336.191
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24743
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= 14243
involuntary context switches= 15402
runsolver used 0.501923 second user time and 1.04884 second system time
The end
Begin job on node61 at 2009-07-12 02:26:09
IDJOB=2073357
IDBENCH=55971
IDSOLVER=737
FILE ID=node61/2073357-1247358369
PBS_JOBID= 9506867
Free space on /tmp= 66404 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/bddSmall/normalized-bdd-21-133-18-78-28_ext.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2073357-1247358369/watcher-2073357-1247358369 -o /tmp/evaluation-result-2073357-1247358369/solver-2073357-1247358369 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2073357-1247358369.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0f494e9044ccf75c6f1c2068c887183b
RANDOM SEED=1083996808
node61.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.229
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.229
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: 1752136 kB
Buffers: 48208 kB
Cached: 104588 kB
SwapCached: 0 kB
Active: 198008 kB
Inactive: 56664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1752136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4648 kB
Writeback: 0 kB
Mapped: 119712 kB
Slab: 34248 kB
Committed_AS: 944912 kB
PageTables: 1928 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66404 MiB
End job on node61 at 2009-07-12 02:31:46