0.05 c # Sugar v0-40 (/tmp/evaluation/198873-1170093914/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/198873-1170093914/unknown.xml [Mon Jan 29 19:05:14 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/198873-1170093914/unknown.xml /tmp/evaluation/198873-1170093914/sugar23858.csp [Mon Jan 29 19:05:14 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/198873-1170093914/sugar-v0-40.jar -convert /tmp/evaluation/198873-1170093914/unknown.xml /tmp/evaluation/198873-1170093914/sugar23858.csp
0.16 c BEGIN convert /tmp/evaluation/198873-1170093914/unknown.xml
0.87 c END convert (0.703462 seconds)
0.91 c # CONVERT_XML END : /tmp/evaluation/198873-1170093914/sugar23858.csp 850330 bytes (1 seconds) [Mon Jan 29 19:05:15 2007]
0.91 c # CONVERT_XML CPU : 0.82 = 0 + 0 + 0.76 + 0.06
0.91
0.91 c # GENERATE_SAT BEGIN : /tmp/evaluation/198873-1170093914/sugar23858.bcnf [Mon Jan 29 19:05:15 2007]
0.91 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/198873-1170093914/sugar-v0-40.jar -bcnf -map /tmp/evaluation/198873-1170093914/sugar23858.map /tmp/evaluation/198873-1170093914/sugar23858.csp /tmp/evaluation/198873-1170093914/sugar23858.bcnf
1.03 c BEGIN parse /tmp/evaluation/198873-1170093914/sugar23858.csp
3.85 c END parse (2.819487 seconds)
3.85 c BEGIN simplify
3.88 c END simplify (0.035868 seconds)
3.88 c BEGIN encode /tmp/evaluation/198873-1170093914/sugar23858.bcnf
1882.95
1882.95 s UNKNOWN
1882.95 c # INTERRUPTED
1882.95 c # MAIN END : (1883 seconds) [Mon Jan 29 19:36:37 2007]
1882.95 c # MAIN CPU : 0.83 = 0 + 0.01 + 0.76 + 0.06
1882.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-198873-1170093914 -o ROOT/results/node13/solver-198873-1170093914 -C 1800 -M 900 /tmp/evaluation/198873-1170093914/solver /tmp/evaluation/198873-1170093914 /tmp/evaluation/198873-1170093914/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.98 2.01 1.93 5/95 23859
/proc/meminfo: memFree=1541336/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=18540 CPUtime=0
/proc/23858/stat : 23858 (runsolver) R 23856 23858 23277 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 29345846 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 269757246759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23858/statm: 4635 279 244 17 0 2626 0
[startup+0.109938 s]
/proc/loadavg: 1.98 2.01 1.93 5/95 23859
/proc/meminfo: memFree=1541336/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.03
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1112 0 0 0 3 0 0 0 21 0 1 0 29345846 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.517998 s]
/proc/loadavg: 1.98 2.01 1.93 5/95 23859
/proc/meminfo: memFree=1541336/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.03
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29345846 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.3401 s]
/proc/loadavg: 1.98 2.01 1.93 3/103 23875
/proc/meminfo: memFree=1513880/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.85
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 0 76 6 15 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807064 CPUtime=0.4
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 6547 0 1 0 37 3 0 0 17 0 8 0 29345937 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23868/statm: 201766 6297 1494 14 0 189044 0
[pid=23868/tid=23869] ppid=23858 vsize=807064 CPUtime=0.02
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 496 0 0 0 2 0 0 0 16 0 8 0 29345940 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807064 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807064 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807064 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807064 CPUtime=0.05
/proc/23868/task/23873/stat : 23873 (java) R 23858 23858 23277 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 29345944 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807064 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807064 CPUtime=0
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29345944 826433536 6297 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.99232 s]
/proc/loadavg: 2.14 2.04 1.94 3/103 23875
/proc/meminfo: memFree=1463064/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.85
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 0 76 6 15 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=2.05
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 12518 0 1 0 199 6 0 0 21 0 8 0 29345937 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073672391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23868/statm: 201836 12256 1506 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.39
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 6324 0 0 0 37 2 0 0 16 0 8 0 29345940 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.13
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 398 0 0 0 13 0 0 0 19 0 8 0 29345944 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29345944 826720256 12256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821068
[startup+6.20075 s]
/proc/loadavg: 2.14 2.04 1.94 1/103 23875
/proc/meminfo: memFree=1336984/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=5.05
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 15674 0 1 0 474 31 0 0 25 0 8 0 29345937 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23868/statm: 201836 15404 1508 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.55
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 9425 0 0 0 51 4 0 0 16 0 8 0 29345940 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.17
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 29345944 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29345944 826720256 15404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 821068
[startup+12.6734 s]
/proc/loadavg: 2.42 2.10 1.96 3/103 23877
/proc/meminfo: memFree=1074072/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=11.16
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17526 0 1 0 1035 81 0 0 25 0 8 0 29345937 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23868/statm: 201836 17254 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 431 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 821068
[startup+25.5611 s]
/proc/loadavg: 2.74 2.18 1.98 3/104 23878
/proc/meminfo: memFree=622032/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=23.38
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17526 0 1 0 2160 178 0 0 25 0 8 0 29345937 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23868/statm: 201836 17254 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 431 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.24
Current children cumulated vsize (KiB) 821068
[startup+51.2016 s]
/proc/loadavg: 3.91 2.50 2.10 3/106 23882
/proc/meminfo: memFree=16128/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=41.84
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17526 0 1 0 3855 329 0 0 25 0 8 0 29345937 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23868/statm: 201836 17254 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 431 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29345944 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.7
Current children cumulated vsize (KiB) 821068
[startup+102.467 s]
/proc/loadavg: 5.01 3.07 2.31 1/105 23886
/proc/meminfo: memFree=15752/2055920 swapFree=4192956/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=72.92
/proc/23868/stat : 23868 (java) D 23858 23858 23277 0 -1 0 17526 0 1 0 6726 566 0 0 18 0 8 0 29345937 826720256 17254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23868/statm: 201836 17254 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
################
# More data... #
################
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0.1
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 5 5 0 0 15 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1525.27
Current children cumulated vsize (KiB) 821068
[startup+1663.71 s]
/proc/loadavg: 2.24 2.20 2.21 3/103 23887
/proc/meminfo: memFree=15768/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=1583.48
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17527 0 1 0 33980 124368 0 0 25 0 8 0 29345937 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826438 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23868/statm: 201836 17255 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0.11
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 5 6 0 0 15 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1584.34
Current children cumulated vsize (KiB) 821068
[startup+1723.72 s]
/proc/loadavg: 2.17 2.18 2.20 3/103 23887
/proc/meminfo: memFree=15896/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=1642.49
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17527 0 1 0 35095 129154 0 0 25 0 8 0 29345937 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23868/statm: 201836 17255 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0.11
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 5 6 0 0 15 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1643.35
Current children cumulated vsize (KiB) 821068
[startup+1783.75 s]
/proc/loadavg: 2.33 2.22 2.21 3/103 23887
/proc/meminfo: memFree=15512/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=1701.28
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17527 0 1 0 36226 133902 0 0 25 0 8 0 29345937 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23868/statm: 201836 17255 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0.11
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 5 6 0 0 15 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1702.14
Current children cumulated vsize (KiB) 821068
[startup+1843.78 s]
/proc/loadavg: 2.27 2.21 2.20 3/103 23887
/proc/meminfo: memFree=15832/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=1760.8
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17527 0 1 0 37372 138708 0 0 25 0 8 0 29345937 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23868/statm: 201836 17255 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0.11
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 5 6 0 0 15 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1761.66
Current children cumulated vsize (KiB) 821068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1882.94 s]
/proc/loadavg: 2.32 2.23 2.21 2/96 23892
/proc/meminfo: memFree=901272/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=0.86
/proc/23858/stat : 23858 (sugar) S 23856 23858 23277 0 -1 4194304 1190 8735 0 1 3 1 76 6 16 0 1 0 29345846 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269766144098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23858/statm: 3431 809 371 3 0 531 0
[pid=23868] ppid=23858 vsize=807344 CPUtime=1799.17
/proc/23868/stat : 23868 (java) R 23858 23858 23277 0 -1 0 17527 0 1 0 38132 141785 0 0 25 0 8 0 29345937 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23868/statm: 201836 17255 1510 14 0 189114 0
[pid=23868/tid=23869] ppid=23858 vsize=807344 CPUtime=0.6
/proc/23868/task/23869/stat : 23869 (java) S 23858 23858 23277 0 -1 64 11266 0 0 0 54 6 0 0 16 0 8 0 29345940 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23868/tid=23870] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23870/stat : 23870 (java) S 23858 23858 23277 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23871] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23871/stat : 23871 (java) S 23858 23858 23277 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29345941 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23872] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23872/stat : 23872 (java) S 23858 23858 23277 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23873] ppid=23858 vsize=807344 CPUtime=0.18
/proc/23868/task/23873/stat : 23873 (java) S 23858 23858 23277 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23874] ppid=23858 vsize=807344 CPUtime=0
/proc/23868/task/23874/stat : 23874 (java) S 23858 23858 23277 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23868/tid=23875] ppid=23858 vsize=807344 CPUtime=0.11
/proc/23868/task/23875/stat : 23875 (java) S 23858 23858 23277 0 -1 64 0 0 0 0 5 6 0 0 15 0 8 0 29345944 826720256 17255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 821068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1903.79 s]
/proc/loadavg: 2.30 2.23 2.21 1/89 23894
/proc/meminfo: memFree=1902424/2055920 swapFree=4192812/4192956
[pid=23858] ppid=23856 vsize=13724 CPUtime=3.39
/proc/23858/stat : 23858 (sugar) D 23856 23858 23277 0 -1 4194304 1215 8735 0 1 3 254 76 6 18 0 1 0 29345846 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 269757420585 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/23858/statm: 3431 811 373 3 0 531 0
[pid=23868] ppid=23858 vsize=0 CPUtime=1799.19
/proc/23868/stat : 23868 (java) Z 23858 23858 23277 0 -1 1036 17542 0 1 0 38132 141787 0 0 24 0 1 0 29345937 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/23868/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.58
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23858 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=797878 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=943248
CPU time returned by wait4() is 5.74113
while last known CPU time is 1804.92
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1922.59
CPU time (s): 1804.92
CPU user time (s): 382.11
CPU system time (s): 1422.81
CPU usage (%): 93.8795
Max. virtual memory (cumulated for all children) (KiB): 821068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.797878
system time used= 4.94325
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9950
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= 2488
involuntary context switches= 700
runsolver used 4.27635 s user time and 10.2634 s system time
The end
Begin job on node13 on Mon Jan 29 18:05:14 UTC 2007
IDJOB= 198873
IDBENCH= 3579
IDSOLVER= 86
FILE ID= node13/198873-1170093914
PBS_JOBID= 3689408
Free space on /tmp= 66415 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f7.xml
COMMAND LINE= /tmp/evaluation/198873-1170093914/solver /tmp/evaluation/198873-1170093914 /tmp/evaluation/198873-1170093914/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-198873-1170093914 -o ROOT/results/node13/solver-198873-1170093914 -C 1800 -M 900 /tmp/evaluation/198873-1170093914/solver /tmp/evaluation/198873-1170093914 /tmp/evaluation/198873-1170093914/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= e4658453aeec06ccf8a04dbfac7676d7
RANDOM SEED= 439911408
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.236
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.236
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: 1541752 kB
Buffers: 41224 kB
Cached: 288848 kB
SwapCached: 0 kB
Active: 257240 kB
Inactive: 201552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1541752 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 151196 kB
Writeback: 0 kB
Mapped: 154192 kB
Slab: 40072 kB
Committed_AS: 455448 kB
PageTables: 2344 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= 66559 MiB
End job on node13 on Mon Jan 29 18:37:17 UTC 2007