0.05 c # Sugar v0-40 (/tmp/evaluation/218232-1170101961/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/218232-1170101961/unknown.xml [Mon Jan 29 21:19:22 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/218232-1170101961/unknown.xml /tmp/evaluation/218232-1170101961/sugar26754.csp [Mon Jan 29 21:19:22 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218232-1170101961/sugar-v0-40.jar -convert /tmp/evaluation/218232-1170101961/unknown.xml /tmp/evaluation/218232-1170101961/sugar26754.csp
0.17 c BEGIN convert /tmp/evaluation/218232-1170101961/unknown.xml
1.70 c END convert (1.532947 seconds)
1.74 c # CONVERT_XML END : /tmp/evaluation/218232-1170101961/sugar26754.csp 7561966 bytes (2 seconds) [Mon Jan 29 21:19:24 2007]
1.74 c # CONVERT_XML CPU : 1.64 = 0 + 0 + 1.55 + 0.09
1.74
1.74 c # GENERATE_SAT BEGIN : /tmp/evaluation/218232-1170101961/sugar26754.bcnf [Mon Jan 29 21:19:24 2007]
1.74 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218232-1170101961/sugar-v0-40.jar -bcnf -map /tmp/evaluation/218232-1170101961/sugar26754.map /tmp/evaluation/218232-1170101961/sugar26754.csp /tmp/evaluation/218232-1170101961/sugar26754.bcnf
1.86 c BEGIN parse /tmp/evaluation/218232-1170101961/sugar26754.csp
1810.09
1810.09 s UNKNOWN
1810.09 c # INTERRUPTED
1810.09 c # MAIN END : (1810 seconds) [Mon Jan 29 21:49:32 2007]
1810.09 c # MAIN CPU : 1.64 = 0 + 0 + 1.55 + 0.09
1810.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-218232-1170101961 -o ROOT/results/node14/solver-218232-1170101961 -C 1800 -M 900 /tmp/evaluation/218232-1170101961/solver /tmp/evaluation/218232-1170101961 /tmp/evaluation/218232-1170101961/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.47 2.34 2.42 5/94 26755
/proc/meminfo: memFree=1483256/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=18540 CPUtime=0
/proc/26754/stat : 26754 (runsolver) R 26752 26754 26689 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30150602 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26754/statm: 4635 279 244 17 0 2626 0
[startup+0.110489 s]
/proc/loadavg: 2.47 2.34 2.42 5/94 26755
/proc/meminfo: memFree=1483256/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=0.04
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30150602 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26754/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.518529 s]
/proc/loadavg: 2.47 2.34 2.42 5/94 26755
/proc/meminfo: memFree=1483256/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=0.04
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30150602 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26754/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34161 s]
/proc/loadavg: 2.47 2.34 2.42 3/102 26763
/proc/meminfo: memFree=1446072/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=0.04
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30150602 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26754/statm: 3431 805 368 3 0 531 0
[pid=26756] ppid=26754 vsize=807132 CPUtime=1.27
/proc/26756/stat : 26756 (java) R 26754 26754 26689 0 -1 0 9810 0 1 0 119 8 0 0 25 0 8 0 30150607 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073569152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26756/statm: 201783 9541 1694 14 0 189061 0
[pid=26756/tid=26757] ppid=26754 vsize=807132 CPUtime=0.07
/proc/26756/task/26757/stat : 26757 (java) S 26754 26754 26689 0 -1 64 3326 0 0 0 6 1 0 0 16 0 8 0 30150610 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26756/tid=26758] ppid=26754 vsize=807132 CPUtime=0
/proc/26756/task/26758/stat : 26758 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30150611 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26756/tid=26759] ppid=26754 vsize=807132 CPUtime=0
/proc/26756/task/26759/stat : 26759 (java) S 26754 26754 26689 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30150611 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26756/tid=26760] ppid=26754 vsize=807132 CPUtime=0
/proc/26756/task/26760/stat : 26760 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30150614 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26756/tid=26761] ppid=26754 vsize=807132 CPUtime=0.06
/proc/26756/task/26761/stat : 26761 (java) S 26754 26754 26689 0 -1 64 296 0 0 0 6 0 0 0 16 0 8 0 30150614 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26756/tid=26762] ppid=26754 vsize=807132 CPUtime=0
/proc/26756/task/26762/stat : 26762 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30150614 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26756/tid=26763] ppid=26754 vsize=807132 CPUtime=0
/proc/26756/task/26763/stat : 26763 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150614 826503168 9541 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 820856
[startup+2.98376 s]
/proc/loadavg: 2.51 2.35 2.42 5/102 26771
/proc/meminfo: memFree=1442368/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807064 CPUtime=1.22
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 11279 0 1 0 115 7 0 0 25 0 8 0 30150777 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073499240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 201766 11020 1494 14 0 189044 0
[pid=26764/tid=26765] ppid=26754 vsize=807064 CPUtime=0.3
/proc/26764/task/26765/stat : 26765 (java) S 26754 26754 26689 0 -1 64 5220 0 0 0 28 2 0 0 16 0 8 0 30150780 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30150780 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807064 CPUtime=0.05
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30150783 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826433536 11020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.21411 s]
/proc/loadavg: 2.51 2.35 2.42 4/102 26771
/proc/meminfo: memFree=1380864/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807064 CPUtime=4.41
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 26198 0 1 0 424 17 0 0 25 0 8 0 30150777 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 201766 25908 1494 14 0 189044 0
[pid=26764/tid=26765] ppid=26754 vsize=807064 CPUtime=1.3
/proc/26764/task/26765/stat : 26765 (java) S 26754 26754 26689 0 -1 64 20108 0 0 0 120 10 0 0 16 0 8 0 30150780 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30150780 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807064 CPUtime=0.05
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 30150783 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807064 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826433536 25908 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 820788
[startup+12.6365 s]
/proc/loadavg: 2.67 2.39 2.44 5/102 26771
/proc/meminfo: memFree=1248576/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=10.76
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 56050 0 1 0 1043 33 0 0 25 0 8 0 30150777 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 201839 55676 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=4.06
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 49091 0 0 0 382 24 0 0 16 0 8 0 30150780 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30150780 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.11
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 376 0 0 0 11 0 0 0 16 0 8 0 30150783 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 55676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 821080
[startup+25.4487 s]
/proc/loadavg: 2.79 2.42 2.45 5/102 26771
/proc/meminfo: memFree=1151872/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=23.45
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 80980 0 1 0 2296 49 0 0 25 0 8 0 30150777 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 201839 80381 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=10.58
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 73783 0 0 0 1019 39 0 0 16 0 8 0 30150780 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30150780 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 80381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 821080
[startup+51.1361 s]
/proc/loadavg: 2.86 2.47 2.46 4/102 26771
/proc/meminfo: memFree=1134848/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=48.91
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 88705 0 1 0 4833 58 0 0 25 0 8 0 30150777 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 201839 83715 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=26.29
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 81152 0 0 0 2584 45 0 0 16 0 8 0 30150780 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30150780 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 83715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 821080
[startup+102.353 s]
/proc/loadavg: 3.25 2.63 2.51 5/102 26771
/proc/meminfo: memFree=1072320/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=99.84
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 115612 0 1 0 9905 79 0 0 25 0 8 0 30150777 826732544 90743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26764/statm: 201839 90743 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=61.03
################
# More data... #
################
/proc/loadavg: 3.56 3.44 3.21 4/102 26773
/proc/meminfo: memFree=670976/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=1533.1
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 778089 0 1 0 152702 608 0 0 25 0 8 0 30150777 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 201839 151069 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=1055.74
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 760119 0 0 0 105036 538 0 0 16 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.78
Current children cumulated vsize (KiB) 821080
[startup+1603.61 s]
/proc/loadavg: 3.68 3.50 3.24 5/102 26773
/proc/meminfo: memFree=670912/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=1592.89
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 778406 0 1 0 158677 612 0 0 25 0 8 0 30150777 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 201839 151069 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=1098.65
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 760119 0 0 0 109324 541 0 0 16 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.57
Current children cumulated vsize (KiB) 821080
[startup+1663.66 s]
/proc/loadavg: 3.46 3.45 3.24 4/102 26872
/proc/meminfo: memFree=1063928/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=1652.67
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 778721 0 1 0 164648 619 0 0 25 0 8 0 30150777 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 201839 151069 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=1142.23
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 760119 0 0 0 113678 545 0 0 16 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827301 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.35
Current children cumulated vsize (KiB) 821080
[startup+1723.74 s]
/proc/loadavg: 3.57 3.49 3.26 4/102 26872
/proc/meminfo: memFree=1058552/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=1712.44
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 779030 0 1 0 170621 623 0 0 25 0 8 0 30150777 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 201839 151069 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=1185.12
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 760119 0 0 0 117964 548 0 0 16 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 151069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.12
Current children cumulated vsize (KiB) 821080
[startup+1783.84 s]
/proc/loadavg: 3.35 3.43 3.25 4/102 26872
/proc/meminfo: memFree=1047160/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=1772.24
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 779345 0 1 0 176597 627 0 0 25 0 8 0 30150777 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 201839 151074 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=1228.25
/proc/26764/task/26765/stat : 26765 (java) R 26754 26754 26689 0 -1 64 760124 0 0 0 122275 550 0 0 16 0 8 0 30150780 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30150780 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.92
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.08 s]
/proc/loadavg: 3.43 3.44 3.26 3/102 26872
/proc/meminfo: memFree=1038968/2055920 swapFree=4192812/4192956
[pid=26754] ppid=26752 vsize=13724 CPUtime=1.68
/proc/26754/stat : 26754 (sugar) S 26752 26754 26689 0 -1 4194304 1190 9829 0 1 3 1 155 9 15 0 1 0 30150602 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26754/statm: 3431 809 371 3 0 531 0
[pid=26764] ppid=26754 vsize=807356 CPUtime=1798.35
/proc/26764/stat : 26764 (java) R 26754 26754 26689 0 -1 0 779466 0 1 0 179206 629 0 0 25 0 8 0 30150777 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26764/statm: 201839 151074 1507 14 0 189117 0
[pid=26764/tid=26765] ppid=26754 vsize=807356 CPUtime=1247.8
/proc/26764/task/26765/stat : 26765 (java) S 26754 26754 26689 0 -1 64 760124 0 0 0 124228 552 0 0 17 0 8 0 30150780 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26764/tid=26766] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26766/stat : 26766 (java) S 26754 26754 26689 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30150780 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26767] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26767/stat : 26767 (java) S 26754 26754 26689 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30150780 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26768] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26768/stat : 26768 (java) S 26754 26754 26689 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26769] ppid=26754 vsize=807356 CPUtime=0.12
/proc/26764/task/26769/stat : 26769 (java) S 26754 26754 26689 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26770] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26770/stat : 26770 (java) S 26754 26754 26689 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26764/tid=26771] ppid=26754 vsize=807356 CPUtime=0
/proc/26764/task/26771/stat : 26771 (java) S 26754 26754 26689 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30150783 826732544 151074 18446744073709551615 134512640 134570532 4294956464 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) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26754 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=589758 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=114982
CPU time returned by wait4() is 1.70474
while last known CPU time is 1800.18
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.11
CPU time (s): 1800.18
CPU user time (s): 1793.69
CPU system time (s): 6.49
CPU usage (%): 99.3966
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.58976
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11100
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= 545
involuntary context switches= 517
runsolver used 2.14367 s user time and 6.17406 s system time
The end
Begin job on node14 on Mon Jan 29 20:19:22 UTC 2007
IDJOB= 218232
IDBENCH= 5214
IDSOLVER= 86
FILE ID= node14/218232-1170101961
PBS_JOBID= 3689534
Free space on /tmp= 66550 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-9_ext.xml
COMMAND LINE= /tmp/evaluation/218232-1170101961/solver /tmp/evaluation/218232-1170101961 /tmp/evaluation/218232-1170101961/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-218232-1170101961 -o ROOT/results/node14/solver-218232-1170101961 -C 1800 -M 900 /tmp/evaluation/218232-1170101961/solver /tmp/evaluation/218232-1170101961 /tmp/evaluation/218232-1170101961/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= c27e56abe268e3f242bac62371ab4a73
RANDOM SEED= 651034737
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.216
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.216
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: 1483672 kB
Buffers: 11612 kB
Cached: 53192 kB
SwapCached: 0 kB
Active: 508228 kB
Inactive: 16624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1483672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2220 kB
Writeback: 0 kB
Mapped: 485556 kB
Slab: 31472 kB
Committed_AS: 780840 kB
PageTables: 2984 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= 66554 MiB
End job on node14 on Mon Jan 29 20:49:33 UTC 2007