172.96/172.97 s SATISFIABLE
172.96/172.97 v 4 22 4 20 9 5 18 2 11 12 16 10 0 4 3 12 10 1 14 0 5 13 11 21 13 13 12
172.96/172.97 d AC 32
172.96/172.97 d RUNTIME 172.822
172.96/172.97 d NODES 224401
172.96/172.97 d NODES/s 1298
172.96/172.97 d BACKTRACKS 443133
172.96/172.97 d BACKTRACKS/s 2564
172.96/172.97 d CHECKS 0
172.96/172.97 d CHECKS/s 0
172.96/172.97 c SAT 172.822 TIME 224401 NDS 274 PARSTIME 110 BUILDPB 122 CONFIG 172316 RES false 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-2114463-1248026608/watcher-2114463-1248026608 -o /tmp/evaluation-result-2114463-1248026608/solver-2114463-1248026608 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114463-1248026608.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 29690
/proc/meminfo: memFree=1044824/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=152 CPUtime=0
/proc/29690/stat : 29690 (java) R 29688 29690 29624 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 89728444 155648 26 996147200 134512640 134550932 4294956064 18446744073709551615 10924331 0 0 4096 0 0 0 0 17 1 0 0
/proc/29690/statm: 38 26 19 9 0 4 0
[startup+0.0419389 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 29690
/proc/meminfo: memFree=1044824/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=859568 CPUtime=0.01
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 1857 0 1 0 0 1 0 0 18 0 4 0 89728444 880197632 1524 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 214892 1524 684 9 0 209807 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 859568
[startup+0.104649 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 29690
/proc/meminfo: memFree=1044824/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=863208 CPUtime=0.07
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 3114 0 1 0 5 2 0 0 18 0 9 0 89728444 883924992 2582 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 215802 2589 1254 9 0 210672 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 863208
[startup+0.301173 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 29690
/proc/meminfo: memFree=1044824/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865768 CPUtime=0.3
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 4941 0 6 0 26 4 0 0 18 0 9 0 89728444 886546432 4367 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216442 4367 1866 9 0 210911 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 865768
[startup+0.702235 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 29690
/proc/meminfo: memFree=1044824/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=0.8
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 8675 0 9 0 73 7 0 0 18 0 9 0 89728444 886681600 8062 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 8062 1964 9 0 210944 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 865900
[startup+1.50136 s]
/proc/loadavg: 0.00 0.00 0.00 2/76 29699
/proc/meminfo: memFree=1005200/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=1.63
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 14274 0 9 0 153 10 0 0 18 0 9 0 89728444 886681600 13660 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 13661 1967 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=1.41
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 12947 0 9 0 132 9 0 0 22 0 9 0 89728447 886681600 13661 996147200 134512640 134550932 4294955888 18446744073709551615 4126881411 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 89728448 886681600 13661 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 11 0 0 0 0 0 0 0 21 0 9 0 89728449 886681600 13661 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 89728449 886681600 13662 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 13662 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.2
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 599 0 0 0 20 0 0 0 16 0 9 0 89728453 886681600 13662 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 13663 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 13663 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 865900
[startup+3.10162 s]
/proc/loadavg: 0.00 0.00 0.00 2/76 29699
/proc/meminfo: memFree=983696/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=3.23
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 16980 0 9 0 312 11 0 0 18 0 9 0 89728444 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 16362 1980 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=2.98
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14719 0 9 0 288 10 0 0 25 0 9 0 89728447 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.01
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 916 0 0 0 1 0 0 0 17 0 9 0 89728448 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 612 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) R 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 16362 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 865900
[startup+6.30113 s]
/proc/loadavg: 0.08 0.02 0.01 2/76 29699
/proc/meminfo: memFree=979664/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=6.43
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17888 0 9 0 630 13 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=6.16
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14722 0 9 0 605 11 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4126883211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.02
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 2 0 0 0 16 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 865900
[startup+12.7012 s]
/proc/loadavg: 0.15 0.03 0.01 3/76 29699
/proc/meminfo: memFree=979600/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=12.83
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17891 0 9 0 1266 17 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=12.56
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14725 0 9 0 1241 15 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.02
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 2 0 0 0 16 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 865900
[startup+25.5022 s]
/proc/loadavg: 0.49 0.11 0.04 3/89 29717
/proc/meminfo: memFree=890152/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=25.63
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17898 0 9 0 2540 23 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=25.36
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14732 0 9 0 2515 21 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4126842889 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.03
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 3 0 0 0 17 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.63
Current children cumulated vsize (KiB) 865900
[startup+51.1024 s]
/proc/loadavg: 1.01 0.26 0.09 3/89 29717
/proc/meminfo: memFree=889768/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=51.22
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17911 0 9 0 5087 35 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=50.93
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14745 0 9 0 5061 32 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4126882599 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.03
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 3 0 0 0 16 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17970 0 9 0 16547 90 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=166.06
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14804 0 9 0 16518 88 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.06
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 6 0 0 0 16 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 166.37
Current children cumulated vsize (KiB) 865900
[startup+169.501 s]
/proc/loadavg: 1.90 0.85 0.32 3/89 29717
/proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=169.56
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17972 0 9 0 16864 92 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=169.26
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14806 0 9 0 16836 90 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.06
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 6 0 0 0 16 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (KiB) 865900
[startup+171.103 s]
/proc/loadavg: 1.90 0.85 0.32 3/89 29717
/proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=171.17
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17973 0 9 0 17024 93 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=170.85
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14807 0 9 0 16995 90 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.06
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 6 0 0 0 17 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.17
Current children cumulated vsize (KiB) 865900
[startup+171.903 s]
/proc/loadavg: 1.90 0.85 0.32 3/89 29717
/proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=171.97
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17973 0 9 0 17103 94 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=171.65
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14807 0 9 0 17074 91 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.06
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 6 0 0 0 16 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.97
Current children cumulated vsize (KiB) 865900
[startup+172.708 s]
/proc/loadavg: 1.90 0.85 0.32 3/89 29717
/proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=172.77
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17974 0 9 0 17183 94 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=172.46
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14808 0 9 0 17154 92 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.06
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 6 0 0 0 17 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.77
Current children cumulated vsize (KiB) 865900
[startup+172.903 s]
/proc/loadavg: 1.90 0.85 0.32 3/89 29717
/proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=865900 CPUtime=172.96
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 17974 0 9 0 17202 94 0 0 18 0 9 0 89728444 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216475 17267 1981 9 0 210944 0
[pid=29690/tid=29692] ppid=29688 vsize=865900 CPUtime=172.66
/proc/29690/task/29692/stat : 29692 (java) R 29688 29690 29624 0 -1 64 14808 0 9 0 17174 92 0 0 25 0 9 0 89728447 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=865900 CPUtime=0.06
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 6 0 0 0 17 0 9 0 89728448 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=865900 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 613 0 0 0 21 0 0 0 16 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29690/tid=29698] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=865900 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 886681600 17267 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.96
Current children cumulated vsize (KiB) 865900
[startup+173.003 s]
/proc/loadavg: 1.90 0.85 0.32 3/89 29717
/proc/meminfo: memFree=889512/2055920 swapFree=4192812/4192956
[pid=29690] ppid=29688 vsize=866224 CPUtime=173.04
/proc/29690/stat : 29690 (java) S 29688 29690 29624 0 -1 0 18003 0 9 0 17210 94 0 0 18 0 9 0 89728444 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29690/statm: 216556 17293 1990 9 0 211025 0
[pid=29690/tid=29692] ppid=29688 vsize=866224 CPUtime=172.73
/proc/29690/task/29692/stat : 29692 (java) S 29688 29690 29624 0 -1 64 14830 0 9 0 17181 92 0 0 25 0 9 0 89728447 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29693] ppid=29688 vsize=866224 CPUtime=0.06
/proc/29690/task/29693/stat : 29693 (java) S 29688 29690 29624 0 -1 64 1820 0 0 0 6 0 0 0 17 0 9 0 89728448 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29694] ppid=29688 vsize=866224 CPUtime=0
/proc/29690/task/29694/stat : 29694 (java) S 29688 29690 29624 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89728449 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29695] ppid=29688 vsize=866224 CPUtime=0
/proc/29690/task/29695/stat : 29695 (java) S 29688 29690 29624 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89728449 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29696] ppid=29688 vsize=866224 CPUtime=0
/proc/29690/task/29696/stat : 29696 (java) S 29688 29690 29624 0 -1 64 0 0 0 0 0 0 0 0 21 0 9 0 89728453 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29697] ppid=29688 vsize=866224 CPUtime=0.21
/proc/29690/task/29697/stat : 29697 (java) S 29688 29690 29624 0 -1 64 614 0 0 0 21 0 0 0 16 0 9 0 89728453 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29698] ppid=29688 vsize=866224 CPUtime=0
/proc/29690/task/29698/stat : 29698 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 89728453 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29690/tid=29699] ppid=29688 vsize=866224 CPUtime=0
/proc/29690/task/29699/stat : 29699 (java) S 29688 29690 29624 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89728453 887013376 17293 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 173.04
Current children cumulated vsize (KiB) 866224
Child status: 0
Real time (s): 173.038
CPU time (s): 173.061
CPU user time (s): 172.102
CPU system time (s): 0.958854
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 866224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.102
system time used= 0.958854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18007
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4691
involuntary context switches= 1530
runsolver used 0.252961 second user time and 0.535918 second system time
The end
Begin job on node3 at 2009-07-19 20:03:29
IDJOB=2114463
IDBENCH=53375
IDSOLVER=780
FILE ID=node3/2114463-1248026608
PBS_JOBID= 9529039
Free space on /tmp= 66404 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/rand-2-27/normalized-rand-27-27-351-163-56021_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-2114463-1248026608/watcher-2114463-1248026608 -o /tmp/evaluation-result-2114463-1248026608/solver-2114463-1248026608 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114463-1248026608.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= f7f74e7fb129e165bbd6cd57d9121fe6
RANDOM SEED=102789614
node3.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.259
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.259
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: 1045368 kB
Buffers: 60176 kB
Cached: 841504 kB
SwapCached: 0 kB
Active: 107108 kB
Inactive: 809832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1045368 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5308 kB
Writeback: 0 kB
Mapped: 25032 kB
Slab: 79400 kB
Committed_AS: 607212 kB
PageTables: 1580 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66392 MiB
End job on node3 at 2009-07-19 20:06:22