0.15 c # Sugar v0-40 (/tmp/evaluation/218175-1170101906/sugar-v0-40.jar)
0.15
0.15 c # MAIN BEGIN : /tmp/evaluation/218175-1170101906/unknown.xml [Mon Jan 29 21:18:27 2007]
0.15 c # CONVERT_XML BEGIN : /tmp/evaluation/218175-1170101906/unknown.xml /tmp/evaluation/218175-1170101906/sugar27447.csp [Mon Jan 29 21:18:27 2007]
0.15 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218175-1170101906/sugar-v0-40.jar -convert /tmp/evaluation/218175-1170101906/unknown.xml /tmp/evaluation/218175-1170101906/sugar27447.csp
0.53 c BEGIN convert /tmp/evaluation/218175-1170101906/unknown.xml
1.94 c END convert (1.410312 seconds)
1.95 c # CONVERT_XML END : /tmp/evaluation/218175-1170101906/sugar27447.csp 7117475 bytes (2 seconds) [Mon Jan 29 21:18:29 2007]
1.95 c # CONVERT_XML CPU : 1.47 = 0 + 0 + 1.37 + 0.1
1.95
1.95 c # GENERATE_SAT BEGIN : /tmp/evaluation/218175-1170101906/sugar27447.bcnf [Mon Jan 29 21:18:29 2007]
1.95 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218175-1170101906/sugar-v0-40.jar -bcnf -map /tmp/evaluation/218175-1170101906/sugar27447.map /tmp/evaluation/218175-1170101906/sugar27447.csp /tmp/evaluation/218175-1170101906/sugar27447.bcnf
2.07 c BEGIN parse /tmp/evaluation/218175-1170101906/sugar27447.csp
1808.67
1808.67 s UNKNOWN
1808.67 c # INTERRUPTED
1808.67 c # MAIN END : (1809 seconds) [Mon Jan 29 21:48:36 2007]
1808.67 c # MAIN CPU : 1.47 = 0 + 0 + 1.37 + 0.1
1808.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-218175-1170101906 -o ROOT/results/node5/solver-218175-1170101906 -C 1800 -M 900 /tmp/evaluation/218175-1170101906/solver /tmp/evaluation/218175-1170101906 /tmp/evaluation/218175-1170101906/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.24 3.01 2.90 5/94 27448
/proc/meminfo: memFree=355864/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=18540 CPUtime=0
/proc/27447/stat : 27447 (runsolver) R 27445 27447 26613 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30145541 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 226913479975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27447/statm: 4635 279 244 17 0 2626 0
[startup+0.110043 s]
/proc/loadavg: 2.24 3.01 2.90 5/94 27448
/proc/meminfo: memFree=355864/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=12404 CPUtime=0
/proc/27447/stat : 27447 (sugar) D 27445 27447 26613 0 -1 4194304 669 0 4 0 0 0 0 0 18 0 1 0 30145541 12701696 392 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/27447/statm: 3101 392 275 3 0 201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12404
[startup+0.518093 s]
/proc/loadavg: 2.24 3.01 2.90 5/94 27448
/proc/meminfo: memFree=355864/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=0.04
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1108 0 4 0 3 1 0 0 18 0 1 0 30145541 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34119 s]
/proc/loadavg: 2.24 3.01 2.90 4/102 27456
/proc/meminfo: memFree=309848/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=0.04
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1117 0 4 0 3 1 0 0 15 0 1 0 30145541 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 805 368 3 0 531 0
[pid=27449] ppid=27447 vsize=807128 CPUtime=0.86
/proc/27449/stat : 27449 (java) R 27447 27447 26613 0 -1 0 9630 0 33 0 80 6 0 0 22 0 8 0 30145557 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073484416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27449/statm: 201782 9402 1695 14 0 189060 0
[pid=27449/tid=27450] ppid=27447 vsize=807128 CPUtime=0.05
/proc/27449/task/27450/stat : 27450 (java) S 27447 27447 26613 0 -1 64 3188 0 0 0 4 1 0 0 16 0 8 0 30145577 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27449/tid=27451] ppid=27447 vsize=807128 CPUtime=0
/proc/27449/task/27451/stat : 27451 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145578 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27449/tid=27452] ppid=27447 vsize=807128 CPUtime=0
/proc/27449/task/27452/stat : 27452 (java) S 27447 27447 26613 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30145578 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27449/tid=27453] ppid=27447 vsize=807128 CPUtime=0
/proc/27449/task/27453/stat : 27453 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145589 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27449/tid=27454] ppid=27447 vsize=807128 CPUtime=0.06
/proc/27449/task/27454/stat : 27454 (java) S 27447 27447 26613 0 -1 64 295 0 0 0 6 0 0 0 16 0 8 0 30145589 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27449/tid=27455] ppid=27447 vsize=807128 CPUtime=0
/proc/27449/task/27455/stat : 27455 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145589 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27449/tid=27456] ppid=27447 vsize=807128 CPUtime=0
/proc/27449/task/27456/stat : 27456 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145589 826499072 9402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 820852
[startup+2.99138 s]
/proc/loadavg: 2.24 3.01 2.90 4/102 27464
/proc/meminfo: memFree=310808/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807064 CPUtime=1.01
/proc/27457/stat : 27457 (java) R 27447 27447 26613 0 -1 0 9839 0 1 0 97 4 0 0 25 0 8 0 30145737 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073482407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201766 9583 1494 14 0 189044 0
[pid=27457/tid=27458] ppid=27447 vsize=807064 CPUtime=0.2
/proc/27457/task/27458/stat : 27458 (java) S 27447 27447 26613 0 -1 64 3783 0 0 0 19 1 0 0 16 0 8 0 30145740 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807064 CPUtime=0.05
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 30145744 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826433536 9583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 820788
[startup+6.28375 s]
/proc/loadavg: 2.22 2.99 2.90 3/102 27464
/proc/meminfo: memFree=233368/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807064 CPUtime=4.27
/proc/27457/stat : 27457 (java) R 27447 27447 26613 0 -1 0 25180 0 1 0 416 11 0 0 25 0 8 0 30145737 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201766 24892 1494 14 0 189044 0
[pid=27457/tid=27458] ppid=27447 vsize=807064 CPUtime=1.17
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 19092 0 0 0 110 7 0 0 16 0 8 0 30145740 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153823195 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807064 CPUtime=0.05
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 30145744 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807064 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826433536 24892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 820788
[startup+12.7395 s]
/proc/loadavg: 2.20 2.97 2.89 3/102 27464
/proc/meminfo: memFree=75160/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=10.66
/proc/27457/stat : 27457 (java) R 27447 27447 26613 0 -1 0 55908 0 2 0 1041 25 0 0 25 0 8 0 30145737 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 55526 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=3.94
/proc/27457/task/27458/stat : 27458 (java) S 27447 27447 26613 0 -1 64 49154 0 1 0 374 20 0 0 16 0 8 0 30145740 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.12
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 380 0 0 0 12 0 0 0 16 0 8 0 30145744 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 55526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 821080
[startup+25.6239 s]
/proc/loadavg: 2.39 2.97 2.89 3/102 27464
/proc/meminfo: memFree=16152/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=23.4
/proc/27457/stat : 27457 (java) R 27447 27447 26613 0 -1 0 77112 0 2 0 2302 38 0 0 25 0 8 0 30145737 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 75599 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=11.53
/proc/27457/task/27458/stat : 27458 (java) S 27447 27447 26613 0 -1 64 70078 0 1 0 1121 32 0 0 16 0 8 0 30145740 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 17 0 8 0 30145744 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 75599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 821080
[startup+51.2848 s]
/proc/loadavg: 2.39 2.93 2.88 4/102 27464
/proc/meminfo: memFree=15832/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=48.8
/proc/27457/stat : 27457 (java) R 27447 27447 26613 0 -1 0 88285 0 2 0 4831 49 0 0 23 0 8 0 30145737 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27457/statm: 201839 80445 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=29.27
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 80855 0 1 0 2886 41 0 0 15 0 8 0 30145740 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155216478 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 17 0 8 0 30145744 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 80445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 821080
[startup+102.569 s]
/proc/loadavg: 2.61 2.90 2.88 5/102 27464
/proc/meminfo: memFree=15384/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=99.98
/proc/27457/stat : 27457 (java) R 27447 27447 26613 0 -1 0 116853 0 2 0 9922 76 0 0 25 0 8 0 30145737 826732544 87405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27457/statm: 201839 87405 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=67.04
################
# More data... #
################
/proc/loadavg: 2.32 2.48 2.61 3/95 27846
/proc/meminfo: memFree=1044368/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=1535.08
/proc/27457/stat : 27457 (java) R 27447 27447 26613 0 -1 0 830546 0 2 0 152886 622 0 0 16 0 8 0 30145737 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 151087 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=1104.18
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 811114 0 1 0 109874 544 0 0 25 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 16 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.59
Current children cumulated vsize (KiB) 821080
[startup+1604.03 s]
/proc/loadavg: 2.43 2.48 2.60 4/95 27846
/proc/meminfo: memFree=1037776/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=1594.88
/proc/27457/stat : 27457 (java) S 27447 27447 26613 0 -1 0 830880 0 2 0 158863 625 0 0 16 0 8 0 30145737 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 151087 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=1148.6
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 811114 0 1 0 114314 546 0 0 25 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134378 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 16 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.39
Current children cumulated vsize (KiB) 821080
[startup+1664.11 s]
/proc/loadavg: 2.36 2.45 2.58 3/95 27846
/proc/meminfo: memFree=1031824/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=1654.67
/proc/27457/stat : 27457 (java) S 27447 27447 26613 0 -1 0 831213 0 2 0 164839 628 0 0 16 0 8 0 30145737 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 151087 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=1193.22
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 811114 0 1 0 118774 548 0 0 25 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035600 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 16 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.18
Current children cumulated vsize (KiB) 821080
[startup+1724.21 s]
/proc/loadavg: 2.29 2.41 2.55 4/95 27846
/proc/meminfo: memFree=1025936/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=1714.48
/proc/27457/stat : 27457 (java) S 27447 27447 26613 0 -1 0 831545 0 2 0 170816 632 0 0 16 0 8 0 30145737 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 151087 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=1238.13
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 811114 0 1 0 123262 551 0 0 25 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155246848 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 16 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.99
Current children cumulated vsize (KiB) 821080
[startup+1784.26 s]
/proc/loadavg: 2.31 2.39 2.54 3/95 27846
/proc/meminfo: memFree=1019856/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=1774.27
/proc/27457/stat : 27457 (java) S 27447 27447 26613 0 -1 0 831856 0 2 0 176790 637 0 0 16 0 8 0 30145737 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 151087 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=1283.57
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 811114 0 1 0 127803 554 0 0 25 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155222434 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 16 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.78
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.66 s]
/proc/loadavg: 2.34 2.39 2.53 3/95 27846
/proc/meminfo: memFree=1017872/2055920 swapFree=4192812/4192956
[pid=27447] ppid=27445 vsize=13724 CPUtime=1.51
/proc/27447/stat : 27447 (sugar) S 27445 27447 26613 0 -1 4194304 1186 9657 4 35 3 1 137 10 15 0 1 0 30145541 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27447/statm: 3431 809 371 3 0 531 0
[pid=27457] ppid=27447 vsize=807356 CPUtime=1798.54
/proc/27457/stat : 27457 (java) S 27447 27447 26613 0 -1 0 831985 0 2 0 179216 638 0 0 16 0 8 0 30145737 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27457/statm: 201839 151087 1507 14 0 189117 0
[pid=27457/tid=27458] ppid=27447 vsize=807356 CPUtime=1301.88
/proc/27457/task/27458/stat : 27458 (java) R 27447 27447 26613 0 -1 64 811114 0 1 0 129633 555 0 0 25 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155215808 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27459] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27459/stat : 27459 (java) S 27447 27447 26613 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27460] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27460/stat : 27460 (java) S 27447 27447 26613 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30145740 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27461] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27461/stat : 27461 (java) S 27447 27447 26613 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27462] ppid=27447 vsize=807356 CPUtime=0.14
/proc/27457/task/27462/stat : 27462 (java) S 27447 27447 26613 0 -1 64 387 0 0 0 14 0 0 0 16 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27457/tid=27463] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27463/stat : 27463 (java) S 27447 27447 26613 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27457/tid=27464] ppid=27447 vsize=807356 CPUtime=0
/proc/27457/task/27464/stat : 27464 (java) S 27447 27447 26613 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30145744 826732544 151087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27447 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=410785 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=115982
CPU time returned by wait4() is 1.52677
while last known CPU time is 1800.99
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.71
CPU time (s): 1800.99
CPU user time (s): 1794.39
CPU system time (s): 6.6
CPU usage (%): 99.5182
Max. virtual memory (cumulated for all children) (KiB): 821596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41078
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10924
page faults= 39
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 672
involuntary context switches= 628
runsolver used 2.50462 s user time and 7.08892 s system time
The end
Begin job on node5 on Mon Jan 29 20:18:27 UTC 2007
IDJOB= 218175
IDBENCH= 5208
IDSOLVER= 86
FILE ID= node5/218175-1170101906
PBS_JOBID= 3689518
Free space on /tmp= 51231 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-43_ext.xml
COMMAND LINE= /tmp/evaluation/218175-1170101906/solver /tmp/evaluation/218175-1170101906 /tmp/evaluation/218175-1170101906/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-218175-1170101906 -o ROOT/results/node5/solver-218175-1170101906 -C 1800 -M 900 /tmp/evaluation/218175-1170101906/solver /tmp/evaluation/218175-1170101906 /tmp/evaluation/218175-1170101906/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= c1756e7d9dd3a7276825af965f046a6b
RANDOM SEED= 225525551
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.224
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.224
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: 356728 kB
Buffers: 5824 kB
Cached: 1513432 kB
SwapCached: 0 kB
Active: 129080 kB
Inactive: 1483428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 356728 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 772452 kB
Writeback: 0 kB
Mapped: 118732 kB
Slab: 71444 kB
Committed_AS: 672692 kB
PageTables: 2224 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= 66473 MiB
End job on node5 on Mon Jan 29 20:48:37 UTC 2007