0.69 c # Sugar v0-40 (/tmp/evaluation/238920-1170108844/sugar-v0-40.jar)
0.69
0.72 c # MAIN BEGIN : /tmp/evaluation/238920-1170108844/unknown.xml [Mon Jan 29 23:14:05 2007]
0.72 c # CONVERT_XML BEGIN : /tmp/evaluation/238920-1170108844/unknown.xml /tmp/evaluation/238920-1170108844/sugar22580.csp [Mon Jan 29 23:14:05 2007]
0.72 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238920-1170108844/sugar-v0-40.jar -convert /tmp/evaluation/238920-1170108844/unknown.xml /tmp/evaluation/238920-1170108844/sugar22580.csp
1.41 c BEGIN convert /tmp/evaluation/238920-1170108844/unknown.xml
3.33 c END convert (1.918259 seconds)
3.35 c # CONVERT_XML END : /tmp/evaluation/238920-1170108844/sugar22580.csp 12781280 bytes (3 seconds) [Mon Jan 29 23:14:08 2007]
3.35 c # CONVERT_XML CPU : 1.99 = 0 + 0 + 1.86 + 0.13
3.35
3.35 c # GENERATE_SAT BEGIN : /tmp/evaluation/238920-1170108844/sugar22580.bcnf [Mon Jan 29 23:14:08 2007]
3.35 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238920-1170108844/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238920-1170108844/sugar22580.map /tmp/evaluation/238920-1170108844/sugar22580.csp /tmp/evaluation/238920-1170108844/sugar22580.bcnf
3.46 c BEGIN parse /tmp/evaluation/238920-1170108844/sugar22580.csp
1813.62
1813.62 s UNKNOWN
1813.62 c # INTERRUPTED
1813.62 c # MAIN END : (1813 seconds) [Mon Jan 29 23:44:18 2007]
1813.62 c # MAIN CPU : 1.99 = 0 + 0 + 1.86 + 0.13
1813.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-238920-1170108844 -o ROOT/results/node68/solver-238920-1170108844 -C 1800 -M 900 /tmp/evaluation/238920-1170108844/solver /tmp/evaluation/238920-1170108844 /tmp/evaluation/238920-1170108844/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: 4.80 4.25 3.17 4/83 22581
/proc/meminfo: memFree=64808/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=5352 CPUtime=0
/proc/22580/stat : 22580 (solver) D 22578 22580 22037 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30842052 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 257414458663 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/22580/statm: 1338 231 193 169 0 49 0
[startup+0.105083 s]
/proc/loadavg: 4.80 4.25 3.17 4/83 22581
/proc/meminfo: memFree=64808/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=124 CPUtime=0
/proc/22580/stat : 22580 (sugar) D 22578 22580 22037 0 -1 4194304 286 0 1 0 0 0 0 0 18 0 1 0 30842052 126976 23 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257411839465 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/22580/statm: 31 23 17 3 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 124
[startup+0.51312 s]
/proc/loadavg: 4.80 4.25 3.17 4/83 22581
/proc/meminfo: memFree=64808/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=12404 CPUtime=0
/proc/22580/stat : 22580 (sugar) D 22578 22580 22037 0 -1 4194304 657 0 4 0 0 0 0 0 18 0 1 0 30842052 12701696 380 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/22580/statm: 3101 380 275 3 0 201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12404
[startup+1.33424 s]
/proc/loadavg: 4.80 4.25 3.17 1/84 22582
/proc/meminfo: memFree=61664/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=0.04
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1108 0 4 0 3 1 0 0 17 0 1 0 30842052 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22580/statm: 3431 805 368 3 0 531 0
[pid=22582] ppid=22580 vsize=802844 CPUtime=0.02
/proc/22582/stat : 22582 (java) R 22580 22580 22037 0 -1 0 1919 0 14 0 1 1 0 0 19 0 4 0 30842124 822112256 1682 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/22582/statm: 200711 1682 1114 14 0 188294 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 816568
[startup+2.97835 s]
/proc/loadavg: 4.74 4.25 3.18 2/91 22589
/proc/meminfo: memFree=27496/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=0.04
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1117 0 4 0 3 1 0 0 15 0 1 0 30842052 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22580/statm: 3431 805 368 3 0 531 0
[pid=22582] ppid=22580 vsize=807136 CPUtime=1.62
/proc/22582/stat : 22582 (java) R 22580 22580 22037 0 -1 0 8104 0 32 0 151 11 0 0 17 0 8 0 30842124 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380177 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22582/statm: 201784 7855 1694 14 0 189062 0
[pid=22582/tid=22583] ppid=22580 vsize=807136 CPUtime=0.04
/proc/22582/task/22583/stat : 22583 (java) S 22580 22580 22037 0 -1 64 1565 0 0 0 4 0 0 0 16 0 8 0 30842185 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22582/tid=22584] ppid=22580 vsize=807136 CPUtime=0
/proc/22582/task/22584/stat : 22584 (java) S 22580 22580 22037 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30842185 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22582/tid=22585] ppid=22580 vsize=807136 CPUtime=0
/proc/22582/task/22585/stat : 22585 (java) S 22580 22580 22037 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30842185 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22582/tid=22586] ppid=22580 vsize=807136 CPUtime=0
/proc/22582/task/22586/stat : 22586 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 30842188 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22582/tid=22587] ppid=22580 vsize=807136 CPUtime=0.15
/proc/22582/task/22587/stat : 22587 (java) S 22580 22580 22037 0 -1 64 363 0 0 0 14 1 0 0 16 0 8 0 30842188 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22582/tid=22588] ppid=22580 vsize=807136 CPUtime=0
/proc/22582/task/22588/stat : 22588 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30842188 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22582/tid=22589] ppid=22580 vsize=807136 CPUtime=0
/proc/22582/task/22589/stat : 22589 (java) S 22580 22580 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30842188 826507264 7855 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 820860
[startup+6.17864 s]
/proc/loadavg: 4.74 4.25 3.18 2/90 22597
/proc/meminfo: memFree=465776/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=807064 CPUtime=2.8
/proc/22590/stat : 22590 (java) R 22580 22580 22037 0 -1 0 16815 0 1 0 269 11 0 0 17 0 8 0 30842387 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073512615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22590/statm: 201766 16542 1494 14 0 189044 0
[pid=22590/tid=22591] ppid=22580 vsize=807064 CPUtime=0.75
/proc/22590/task/22591/stat : 22591 (java) S 22580 22580 22037 0 -1 64 10741 0 0 0 70 5 0 0 16 0 8 0 30842390 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22592] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30842391 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22593] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=807064 CPUtime=0.05
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30842394 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22596] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30842394 826433536 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 820788
[startup+12.6712 s]
/proc/loadavg: 4.55 4.22 3.18 2/90 22597
/proc/meminfo: memFree=366264/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=807064 CPUtime=9.27
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 42505 0 1 0 899 28 0 0 17 0 8 0 30842387 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22590/statm: 201766 42173 1494 14 0 189044 0
[pid=22590/tid=22591] ppid=22580 vsize=807064 CPUtime=2.59
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 36372 0 0 0 242 17 0 0 15 0 8 0 30842390 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22592] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30842391 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22593] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=807064 CPUtime=0.05
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30842394 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22596] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=807064 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30842394 826433536 42173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.3
Current children cumulated vsize (KiB) 820788
[startup+25.4972 s]
/proc/loadavg: 4.16 4.15 3.17 4/92 22599
/proc/meminfo: memFree=214056/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=809356 CPUtime=21.93
/proc/22590/stat : 22590 (java) R 22580 22580 22037 0 -1 0 90725 0 2 0 2137 56 0 0 18 0 8 0 30842387 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22590/statm: 202339 89131 1507 14 0 189617 0
[pid=22590/tid=22591] ppid=22580 vsize=809356 CPUtime=7.11
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 82929 0 1 0 670 41 0 0 16 0 8 0 30842390 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523739 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22592] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30842391 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22593] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=809356 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30842394 828780544 89131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.96
Current children cumulated vsize (KiB) 823080
[startup+51.1135 s]
/proc/loadavg: 4.10 4.13 3.19 3/92 22608
/proc/meminfo: memFree=15208/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=807352 CPUtime=47.26
/proc/22590/stat : 22590 (java) R 22580 22580 22037 0 -1 0 139853 0 2 0 4631 95 0 0 16 0 8 0 30842387 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22590/statm: 201838 133994 1507 14 0 189116 0
[pid=22590/tid=22591] ppid=22580 vsize=807352 CPUtime=20.13
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 130717 0 1 0 1945 68 0 0 15 0 8 0 30842390 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155528723 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22592] ppid=22580 vsize=807352 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22593] ppid=22580 vsize=807352 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=807352 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=807352 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=807352 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=807352 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30842394 826728448 133994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.29
Current children cumulated vsize (KiB) 821076
[startup+102.401 s]
/proc/loadavg: 3.99 4.10 3.22 4/90 22617
/proc/meminfo: memFree=15096/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=809356 CPUtime=98.09
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 174852 0 2 0 9665 144 0 0 16 0 8 0 30842387 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22590/statm: 202339 144129 1507 14 0 189617 0
[pid=22590/tid=22591] ppid=22580 vsize=809356 CPUtime=52.12
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 165173 0 1 0 5104 108 0 0 18 0 8 0 30842390 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022785 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22592] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22593] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=809356 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=809356 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30842394 828780544 144129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.12
################
# More data... #
################
/proc/loadavg: 2.66 2.94 3.07 3/89 22683
/proc/meminfo: memFree=15488/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=810380 CPUtime=1529.44
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 730525 0 2 0 151951 993 0 0 16 0 8 0 30842387 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22590/statm: 202595 151334 1507 14 0 189873 0
[pid=22590/tid=22591] ppid=22580 vsize=810380 CPUtime=1185.15
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 713088 0 1 0 117692 823 0 0 25 0 8 0 30842390 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523688 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22592] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22593] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=810380 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.47
Current children cumulated vsize (KiB) 824104
[startup+1603.47 s]
/proc/loadavg: 2.58 2.86 3.03 3/89 22683
/proc/meminfo: memFree=15168/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=810380 CPUtime=1588.75
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 755138 0 2 0 157846 1029 0 0 16 0 8 0 30842387 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22590/statm: 202595 151334 1507 14 0 189873 0
[pid=22590/tid=22591] ppid=22580 vsize=810380 CPUtime=1239.29
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 737568 0 1 0 123072 857 0 0 25 0 8 0 30842390 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134390 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22592] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22593] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=810380 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30842394 829829120 151334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.78
Current children cumulated vsize (KiB) 824104
[startup+1663.49 s]
/proc/loadavg: 3.09 2.96 3.05 3/89 22683
/proc/meminfo: memFree=15808/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=810380 CPUtime=1648.32
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 780539 0 2 0 163769 1063 0 0 16 0 8 0 30842387 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22590/statm: 202595 151339 1507 14 0 189873 0
[pid=22590/tid=22591] ppid=22580 vsize=810380 CPUtime=1293.06
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 762818 0 1 0 128417 889 0 0 25 0 8 0 30842390 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134191 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22592] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22593] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=810380 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.35
Current children cumulated vsize (KiB) 824104
[startup+1723.49 s]
/proc/loadavg: 3.78 3.15 3.11 3/89 22683
/proc/meminfo: memFree=16128/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=810380 CPUtime=1708.14
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 806685 0 2 0 169718 1096 0 0 16 0 8 0 30842387 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22590/statm: 202595 151339 1507 14 0 189873 0
[pid=22590/tid=22591] ppid=22580 vsize=810380 CPUtime=1347.71
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 788828 0 1 0 133851 920 0 0 25 0 8 0 30842390 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222447 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22592] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22593] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=810380 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.17
Current children cumulated vsize (KiB) 824104
[startup+1783.5 s]
/proc/loadavg: 3.30 3.16 3.12 3/89 22683
/proc/meminfo: memFree=15552/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=810380 CPUtime=1767.94
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 833585 0 2 0 175667 1127 0 0 16 0 8 0 30842387 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22590/statm: 202595 151339 1507 14 0 189873 0
[pid=22590/tid=22591] ppid=22580 vsize=810380 CPUtime=1402.76
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 815603 0 1 0 139326 950 0 0 25 0 8 0 30842390 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525226 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22592] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22593] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=810380 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.97
Current children cumulated vsize (KiB) 824104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.6 s]
/proc/loadavg: 2.85 3.06 3.08 3/89 22683
/proc/meminfo: memFree=16000/2055920 swapFree=4191892/4192956
[pid=22580] ppid=22578 vsize=13724 CPUtime=2.03
/proc/22580/stat : 22580 (sugar) S 22578 22580 22037 0 -1 4194304 1186 8164 4 32 3 1 186 13 16 0 1 0 30842052 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22580/statm: 3431 809 371 3 0 531 0
[pid=22590] ppid=22580 vsize=810380 CPUtime=1798
/proc/22590/stat : 22590 (java) S 22580 22580 22037 0 -1 0 847411 0 2 0 178659 1141 0 0 16 0 8 0 30842387 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22590/statm: 202595 151339 1507 14 0 189873 0
[pid=22590/tid=22591] ppid=22580 vsize=810380 CPUtime=1430.68
/proc/22590/task/22591/stat : 22591 (java) R 22580 22580 22037 0 -1 64 829373 0 1 0 142105 963 0 0 25 0 8 0 30842390 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134164 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22592] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22592/stat : 22592 (java) S 22580 22580 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22593] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22593/stat : 22593 (java) S 22580 22580 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30842391 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22594] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22594/stat : 22594 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22595] ppid=22580 vsize=810380 CPUtime=0.13
/proc/22590/task/22595/stat : 22595 (java) S 22580 22580 22037 0 -1 64 404 0 0 0 13 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22590/tid=22596] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22596/stat : 22596 (java) S 22580 22580 22037 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22590/tid=22597] ppid=22580 vsize=810380 CPUtime=0
/proc/22590/task/22597/stat : 22597 (java) S 22580 22580 22037 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30842394 829829120 151339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 824104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22580 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=896711 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=151976
CPU time returned by wait4() is 2.04869
while last known CPU time is 1801.68
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1815.28
CPU time (s): 1801.68
CPU user time (s): 1790.1
CPU system time (s): 11.58
CPU usage (%): 99.2506
Max. virtual memory (cumulated for all children) (KiB): 825136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.89671
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9429
page faults= 37
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 743
involuntary context switches= 153
runsolver used 2.44463 s user time and 6.72398 s system time
The end
Begin job on node68 on Mon Jan 29 22:14:04 UTC 2007
IDJOB= 238920
IDBENCH= 7027
IDSOLVER= 86
FILE ID= node68/238920-1170108844
PBS_JOBID= 3689890
Free space on /tmp= 54365 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-2_ext.xml
COMMAND LINE= /tmp/evaluation/238920-1170108844/solver /tmp/evaluation/238920-1170108844 /tmp/evaluation/238920-1170108844/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-238920-1170108844 -o ROOT/results/node68/solver-238920-1170108844 -C 1800 -M 900 /tmp/evaluation/238920-1170108844/solver /tmp/evaluation/238920-1170108844 /tmp/evaluation/238920-1170108844/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 4fd3da60666aa17646751e550d3ce3db
RANDOM SEED= 544663838
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.234
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.234
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: 65480 kB
Buffers: 5264 kB
Cached: 1733768 kB
SwapCached: 0 kB
Active: 166156 kB
Inactive: 1718608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 65480 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 827944 kB
Writeback: 1632 kB
Mapped: 161532 kB
Slab: 90772 kB
Committed_AS: 694224 kB
PageTables: 2048 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= 57322 MiB
End job on node68 on Mon Jan 29 22:44:20 UTC 2007