0.04 c # Sugar v0-40 (/tmp/evaluation/212515-1170099009/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/212515-1170099009/unknown.xml [Mon Jan 29 20:30:09 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/212515-1170099009/unknown.xml /tmp/evaluation/212515-1170099009/sugar23522.csp [Mon Jan 29 20:30:09 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212515-1170099009/sugar-v0-40.jar -convert /tmp/evaluation/212515-1170099009/unknown.xml /tmp/evaluation/212515-1170099009/sugar23522.csp
0.19 c BEGIN convert /tmp/evaluation/212515-1170099009/unknown.xml
2.50 c END convert (2.307662 seconds)
2.55 c # CONVERT_XML END : /tmp/evaluation/212515-1170099009/sugar23522.csp 2652394 bytes (3 seconds) [Mon Jan 29 20:30:12 2007]
2.55 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
2.55
2.55 c # GENERATE_SAT BEGIN : /tmp/evaluation/212515-1170099009/sugar23522.bcnf [Mon Jan 29 20:30:12 2007]
2.55 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212515-1170099009/sugar-v0-40.jar -bcnf -map /tmp/evaluation/212515-1170099009/sugar23522.map /tmp/evaluation/212515-1170099009/sugar23522.csp /tmp/evaluation/212515-1170099009/sugar23522.bcnf
2.66 c BEGIN parse /tmp/evaluation/212515-1170099009/sugar23522.csp
52.70 c END parse (50.033523 seconds)
52.70 c BEGIN simplify
52.75 c END simplify (0.052164 seconds)
52.75 c BEGIN encode /tmp/evaluation/212515-1170099009/sugar23522.bcnf
1835.56
1835.56 s UNKNOWN
1835.56 c # INTERRUPTED
1835.56 c # MAIN END : (1836 seconds) [Mon Jan 29 21:00:45 2007]
1835.56 c # MAIN CPU : 0 = 0 + 0 + 0 + 0
1835.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-212515-1170099009 -o ROOT/results/node44/solver-212515-1170099009 -C 1800 -M 900 /tmp/evaluation/212515-1170099009/solver /tmp/evaluation/212515-1170099009 /tmp/evaluation/212515-1170099009/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: 1.00 1.00 1.06 4/65 23523
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=12132 CPUtime=0
/proc/23522/stat : 23522 (sugar) R 23520 23522 22745 0 -1 4194304 533 0 0 0 0 0 0 0 18 0 1 0 29857050 12423168 252 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264840647673 0 0 4224 0 0 0 0 17 1 0 0
/proc/23522/statm: 3033 254 189 3 0 133 0
[startup+0.106977 s]
/proc/loadavg: 1.00 1.00 1.06 4/65 23523
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.518046 s]
/proc/loadavg: 1.00 1.00 1.06 4/65 23523
/proc/meminfo: memFree=1487352/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34321 s]
/proc/loadavg: 1.00 1.00 1.06 2/73 23531
/proc/meminfo: memFree=1444664/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 805 368 3 0 531 0
[pid=23524] ppid=23522 vsize=808168 CPUtime=1.24
/proc/23524/stat : 23524 (java) S 23522 23522 22745 0 -1 0 14148 0 1 0 116 8 0 0 16 0 8 0 29857054 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23524/statm: 202042 13894 1694 14 0 189320 0
[pid=23524/tid=23525] ppid=23522 vsize=808168 CPUtime=0.18
/proc/23524/task/23525/stat : 23525 (java) R 23522 23522 22745 0 -1 64 7538 0 0 0 16 2 0 0 16 0 8 0 29857061 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153822960 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23524/tid=23526] ppid=23522 vsize=808168 CPUtime=0
/proc/23524/task/23526/stat : 23526 (java) S 23522 23522 22745 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29857062 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23524/tid=23527] ppid=23522 vsize=808168 CPUtime=0
/proc/23524/task/23527/stat : 23527 (java) S 23522 23522 22745 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29857062 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23524/tid=23528] ppid=23522 vsize=808168 CPUtime=0
/proc/23524/task/23528/stat : 23528 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29857065 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23524/tid=23529] ppid=23522 vsize=808168 CPUtime=0.15
/proc/23524/task/23529/stat : 23529 (java) S 23522 23522 22745 0 -1 64 445 0 0 0 14 1 0 0 16 0 8 0 29857065 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23524/tid=23530] ppid=23522 vsize=808168 CPUtime=0
/proc/23524/task/23530/stat : 23530 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 29857065 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23524/tid=23531] ppid=23522 vsize=808168 CPUtime=0
/proc/23524/task/23531/stat : 23531 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857065 827564032 13894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821892
[startup+2.9795 s]
/proc/loadavg: 1.00 1.00 1.06 2/73 23531
/proc/meminfo: memFree=1431032/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 13724
[startup+6.28111 s]
/proc/loadavg: 1.00 1.00 1.06 2/74 23539
/proc/meminfo: memFree=1416376/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=3.71
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 19131 0 1 0 361 10 0 0 16 0 8 0 29857305 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 18852 1506 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=0.83
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 12891 0 0 0 78 5 0 0 16 0 8 0 29857308 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.13
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 419 0 0 0 13 0 0 0 16 0 8 0 29857312 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 18852 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 821080
[startup+12.7653 s]
/proc/loadavg: 1.00 1.00 1.06 2/74 23539
/proc/meminfo: memFree=1386104/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=10.17
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 26126 0 1 0 1004 13 0 0 17 0 8 0 29857305 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073657735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 25794 1506 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=1.35
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 19832 0 0 0 128 7 0 0 16 0 8 0 29857308 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.13
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 420 0 0 0 13 0 0 0 17 0 8 0 29857312 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 25794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 821080
[startup+25.6456 s]
/proc/loadavg: 1.00 1.00 1.06 2/74 23539
/proc/meminfo: memFree=1342072/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=23.02
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 37577 0 1 0 2284 18 0 0 17 0 8 0 29857305 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647576 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 37139 1506 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=2.35
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 31177 0 0 0 222 13 0 0 16 0 8 0 29857308 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.13
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 420 0 0 0 13 0 0 0 17 0 8 0 29857312 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 37139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 821080
[startup+51.2923 s]
/proc/loadavg: 1.00 1.00 1.06 2/74 23539
/proc/meminfo: memFree=1270968/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=808360 CPUtime=48.59
/proc/23532/stat : 23532 (java) S 23522 23522 22745 0 -1 0 55162 0 1 0 4832 27 0 0 17 0 8 0 29857305 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 202090 54330 1507 14 0 189368 0
[pid=23532/tid=23533] ppid=23522 vsize=808360 CPUtime=4.76
/proc/23532/task/23533/stat : 23533 (java) R 23522 23522 22745 0 -1 64 48557 0 0 0 456 20 0 0 17 0 8 0 29857308 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215808 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=808360 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=808360 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=808360 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=808360 CPUtime=0.14
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 420 0 0 0 14 0 0 0 16 0 8 0 29857312 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=808360 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=808360 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 827760640 54330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 822084
[startup+102.543 s]
/proc/loadavg: 1.87 1.23 1.13 2/74 23553
/proc/meminfo: memFree=14968/2055920 swapFree=4192956/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=98.55
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 57825 0 1 0 9305 550 0 0 20 0 8 0 29857305 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23532/statm: 201839 56763 1509 14 0 189117 0
################
# More data... #
################
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=1565.64
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 57825 0 1 0 63301 93263 0 0 25 0 8 0 29857305 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 56763 1509 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=5.49
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 49872 0 0 0 528 21 0 0 16 0 8 0 29857308 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.14
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 426 0 0 0 14 0 0 0 16 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1568.08
Current children cumulated vsize (KiB) 821080
[startup+1663.41 s]
/proc/loadavg: 1.00 1.11 1.58 2/74 23672
/proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=1625.62
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 57825 0 1 0 64172 98390 0 0 25 0 8 0 29857305 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 56763 1509 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=5.49
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 49872 0 0 0 528 21 0 0 16 0 8 0 29857308 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.14
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 426 0 0 0 14 0 0 0 16 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1628.06
Current children cumulated vsize (KiB) 821080
[startup+1723.43 s]
/proc/loadavg: 1.00 1.09 1.54 2/74 23672
/proc/meminfo: memFree=15416/2055920 swapFree=4192812/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=1685.62
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 57825 0 1 0 65089 103473 0 0 25 0 8 0 29857305 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 56763 1509 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=5.49
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 49872 0 0 0 528 21 0 0 16 0 8 0 29857308 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.14
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 426 0 0 0 14 0 0 0 16 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1688.06
Current children cumulated vsize (KiB) 821080
[startup+1783.45 s]
/proc/loadavg: 1.00 1.07 1.50 3/74 23672
/proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=1745.62
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 57825 0 1 0 65986 108576 0 0 25 0 8 0 29857305 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 56763 1509 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=5.49
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 49872 0 0 0 528 21 0 0 16 0 8 0 29857308 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.14
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 426 0 0 0 14 0 0 0 16 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1748.06
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1835.54 s]
/proc/loadavg: 1.00 1.06 1.47 2/74 23672
/proc/meminfo: memFree=15736/2055920 swapFree=4192812/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=0.03
/proc/23522/stat : 23522 (sugar) S 23520 23522 22745 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29857050 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23522/statm: 3431 808 370 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=807356 CPUtime=1797.64
/proc/23532/stat : 23532 (java) R 23522 23522 22745 0 -1 0 57825 0 1 0 66766 112998 0 0 25 0 8 0 29857305 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23532/statm: 201839 56763 1509 14 0 189117 0
[pid=23532/tid=23533] ppid=23522 vsize=807356 CPUtime=5.49
/proc/23532/task/23533/stat : 23533 (java) S 23522 23522 22745 0 -1 64 49872 0 0 0 528 21 0 0 16 0 8 0 29857308 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23534] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23534/stat : 23534 (java) S 23522 23522 22745 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23535] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23535/stat : 23535 (java) S 23522 23522 22745 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29857309 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23532/tid=23536] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23536/stat : 23536 (java) S 23522 23522 22745 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23537] ppid=23522 vsize=807356 CPUtime=0.14
/proc/23532/task/23537/stat : 23537 (java) S 23522 23522 22745 0 -1 64 426 0 0 0 14 0 0 0 16 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23538] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23538/stat : 23538 (java) S 23522 23522 22745 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23532/tid=23539] ppid=23522 vsize=807356 CPUtime=0
/proc/23532/task/23539/stat : 23539 (java) S 23522 23522 22745 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29857312 826732544 56763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1843.46 s]
/proc/loadavg: 1.00 1.06 1.47 1/67 23675
/proc/meminfo: memFree=1959096/2055920 swapFree=4192812/4192956
[pid=23522] ppid=23520 vsize=13724 CPUtime=1.16
/proc/23522/stat : 23522 (sugar) D 23520 23522 22745 0 -1 4194304 1212 0 1 0 3 113 0 0 18 0 1 0 29857050 14053376 810 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264840647721 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/23522/statm: 3431 810 372 3 0 531 0
[pid=23524] ppid=23522 vsize=0 CPUtime=2.41
/proc/23524/stat : 23524 (java) Z 23522 23522 22745 0 -1 1036 14994 0 1 0 229 12 0 0 16 0 1 0 29857054 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23524/statm: 0 0 0 0 0 0 0
[pid=23532] ppid=23522 vsize=0 CPUtime=1797.74
/proc/23532/stat : 23532 (java) Z 23522 23522 22745 0 -1 1036 57842 0 4 0 66767 113007 0 0 16 0 1 0 29857305 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/23532/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.31
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23522 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=37994 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=238659
CPU time returned by wait4() is 2.27665
while last known CPU time is 1802.41
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1865.04
CPU time (s): 1802.41
CPU user time (s): 669.99
CPU system time (s): 1132.42
CPU usage (%): 96.6421
Max. virtual memory (cumulated for all children) (KiB): 822084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.037994
system time used= 2.23866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212
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= 4250
involuntary context switches= 16
runsolver used 1.77273 s user time and 5.18321 s system time
The end
Begin job on node44 on Mon Jan 29 19:30:09 UTC 2007
IDJOB= 212515
IDBENCH= 4776
IDSOLVER= 86
FILE ID= node44/212515-1170099009
PBS_JOBID= 3689669
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml
COMMAND LINE= /tmp/evaluation/212515-1170099009/solver /tmp/evaluation/212515-1170099009 /tmp/evaluation/212515-1170099009/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-212515-1170099009 -o ROOT/results/node44/solver-212515-1170099009 -C 1800 -M 900 /tmp/evaluation/212515-1170099009/solver /tmp/evaluation/212515-1170099009 /tmp/evaluation/212515-1170099009/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 39aed946aab286237d8fbd53bbde695e
RANDOM SEED= 127053591
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.261
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.261
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: 1487832 kB
Buffers: 49796 kB
Cached: 431576 kB
SwapCached: 0 kB
Active: 152824 kB
Inactive: 344460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1487832 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4040 kB
Writeback: 0 kB
Mapped: 26104 kB
Slab: 56856 kB
Committed_AS: 150708 kB
PageTables: 1400 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= 66561 MiB
End job on node44 on Mon Jan 29 20:01:14 UTC 2007