0.05 c # Sugar v0-40 (/tmp/evaluation/196217-1170092531/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/196217-1170092531/unknown.xml [Mon Jan 29 18:42:12 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/196217-1170092531/unknown.xml /tmp/evaluation/196217-1170092531/sugar25657.csp [Mon Jan 29 18:42:12 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/196217-1170092531/sugar-v0-40.jar -convert /tmp/evaluation/196217-1170092531/unknown.xml /tmp/evaluation/196217-1170092531/sugar25657.csp
0.16 c BEGIN convert /tmp/evaluation/196217-1170092531/unknown.xml
2.93 c END convert (2.773954 seconds)
2.99 c # CONVERT_XML END : /tmp/evaluation/196217-1170092531/sugar25657.csp 16821961 bytes (3 seconds) [Mon Jan 29 18:42:15 2007]
2.99 c # CONVERT_XML CPU : 2.87 = 0 + 0 + 2.73 + 0.14
2.99
2.99 c # GENERATE_SAT BEGIN : /tmp/evaluation/196217-1170092531/sugar25657.bcnf [Mon Jan 29 18:42:15 2007]
2.99 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/196217-1170092531/sugar-v0-40.jar -bcnf -map /tmp/evaluation/196217-1170092531/sugar25657.map /tmp/evaluation/196217-1170092531/sugar25657.csp /tmp/evaluation/196217-1170092531/sugar25657.bcnf
3.12 c BEGIN parse /tmp/evaluation/196217-1170092531/sugar25657.csp
1809.22
1809.22 s UNKNOWN
1809.22 c # INTERRUPTED
1809.22 c # MAIN END : (1809 seconds) [Mon Jan 29 19:12:21 2007]
1809.22 c # MAIN CPU : 2.87 = 0 + 0 + 2.73 + 0.14
1809.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-196217-1170092531 -o ROOT/results/node35/solver-196217-1170092531 -C 1800 -M 900 /tmp/evaluation/196217-1170092531/solver /tmp/evaluation/196217-1170092531 /tmp/evaluation/196217-1170092531/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: 0.93 1.37 1.69 5/81 25658
/proc/meminfo: memFree=1463112/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=18540 CPUtime=0
/proc/25657/stat : 25657 (runsolver) R 25655 25657 25544 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 3016884 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 266134416679 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25657/statm: 4635 279 244 17 0 2626 0
[startup+0.103576 s]
/proc/loadavg: 0.93 1.37 1.69 5/81 25658
/proc/meminfo: memFree=1463112/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=0.03
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 3016884 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25657/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.511656 s]
/proc/loadavg: 0.93 1.37 1.69 5/81 25658
/proc/meminfo: memFree=1463112/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=0.03
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 3016884 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25657/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33583 s]
/proc/loadavg: 0.93 1.37 1.69 3/89 25666
/proc/meminfo: memFree=1406216/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=0.03
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 3016884 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25657/statm: 3431 805 368 3 0 531 0
[pid=25659] ppid=25657 vsize=807136 CPUtime=1.26
/proc/25659/stat : 25659 (java) R 25657 25657 25544 0 -1 0 12902 0 1 0 118 8 0 0 25 0 8 0 3016889 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073578494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25659/statm: 201784 12637 1693 14 0 189062 0
[pid=25659/tid=25660] ppid=25657 vsize=807136 CPUtime=0.11
/proc/25659/task/25660/stat : 25660 (java) S 25657 25657 25544 0 -1 64 6413 0 0 0 9 2 0 0 16 0 8 0 3016892 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25661] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25661/stat : 25661 (java) S 25657 25657 25544 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 3016893 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25662] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25662/stat : 25662 (java) S 25657 25657 25544 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 3016893 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25663] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25663/stat : 25663 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 3016896 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25664] ppid=25657 vsize=807136 CPUtime=0.07
/proc/25659/task/25664/stat : 25664 (java) S 25657 25657 25544 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 3016896 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25665] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25665/stat : 25665 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 3016896 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25666] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25666/stat : 25666 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3016896 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820860
[startup+2.98714 s]
/proc/loadavg: 1.01 1.38 1.69 2/89 25674
/proc/meminfo: memFree=1428104/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=0.03
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 3016884 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25657/statm: 3431 805 368 3 0 531 0
[pid=25659] ppid=25657 vsize=807136 CPUtime=2.85
/proc/25659/stat : 25659 (java) S 25657 25657 25544 0 -1 0 12954 0 1 0 272 13 0 0 25 0 8 0 3016889 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25659/statm: 201784 12648 1693 14 0 189062 0
[pid=25659/tid=25660] ppid=25657 vsize=807136 CPUtime=0.2
/proc/25659/task/25660/stat : 25660 (java) S 25657 25657 25544 0 -1 64 6413 0 0 0 18 2 0 0 16 0 8 0 3016892 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25661] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25661/stat : 25661 (java) S 25657 25657 25544 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 3016893 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25662] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25662/stat : 25662 (java) S 25657 25657 25544 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 3016893 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25663] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25663/stat : 25663 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 3016896 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25664] ppid=25657 vsize=807136 CPUtime=0.08
/proc/25659/task/25664/stat : 25664 (java) S 25657 25657 25544 0 -1 64 313 0 0 0 8 0 0 0 16 0 8 0 3016896 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25665] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25665/stat : 25665 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 3016896 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25659/tid=25666] ppid=25657 vsize=807136 CPUtime=0
/proc/25659/task/25666/stat : 25666 (java) R 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3016896 826507264 12648 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 820860
[startup+6.28481 s]
/proc/loadavg: 1.01 1.38 1.69 5/89 25682
/proc/meminfo: memFree=1328520/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807064 CPUtime=3.25
/proc/25675/stat : 25675 (java) R 25657 25657 25544 0 -1 0 19940 0 1 0 317 8 0 0 25 0 8 0 3017184 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25675/statm: 201766 19662 1494 14 0 189044 0
[pid=25675/tid=25676] ppid=25657 vsize=807064 CPUtime=0.86
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 13861 0 0 0 81 5 0 0 16 0 8 0 3017187 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3017188 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807064 CPUtime=0.05
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 3017191 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826433536 19662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 820788
[startup+12.6931 s]
/proc/loadavg: 1.40 1.45 1.71 4/89 25682
/proc/meminfo: memFree=1073608/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807064 CPUtime=9.63
/proc/25675/stat : 25675 (java) R 25657 25657 25544 0 -1 0 49274 0 1 0 942 21 0 0 25 0 8 0 3017184 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25675/statm: 201766 48936 1494 14 0 189044 0
[pid=25675/tid=25676] ppid=25657 vsize=807064 CPUtime=2.77
/proc/25675/task/25676/stat : 25676 (java) S 25657 25657 25544 0 -1 64 43135 0 0 0 260 17 0 0 16 0 8 0 3017187 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3017188 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807064 CPUtime=0.05
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 3017191 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807064 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826433536 48936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 820788
[startup+25.5156 s]
/proc/loadavg: 1.72 1.52 1.73 3/89 25682
/proc/meminfo: memFree=665672/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=22.4
/proc/25675/stat : 25675 (java) R 25657 25657 25544 0 -1 0 97479 0 1 0 2193 47 0 0 21 0 8 0 3017184 826757120 97083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25675/statm: 201845 97085 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=9.06
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 87214 0 0 0 868 38 0 0 16 0 8 0 3017187 826757120 97087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 97089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3017188 826757120 97091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 97093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.11
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 387 0 0 0 11 0 0 0 16 0 8 0 3017191 826757120 97095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 97097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 97100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 821104
[startup+51.2008 s]
/proc/loadavg: 2.12 1.63 1.76 4/89 25682
/proc/meminfo: memFree=299272/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=47.92
/proc/25675/stat : 25675 (java) R 25657 25657 25544 0 -1 0 148555 0 1 0 4719 73 0 0 25 0 8 0 3017184 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25675/statm: 201845 147936 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=22.17
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 138051 0 0 0 2153 64 0 0 16 0 8 0 3017187 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134577 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.14
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 400 0 0 0 14 0 0 0 17 0 8 0 3017191 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 147936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 821104
[startup+102.415 s]
/proc/loadavg: 2.66 1.85 1.83 5/89 25682
/proc/meminfo: memFree=274056/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=98.9
/proc/25675/stat : 25675 (java) R 25657 25657 25544 0 -1 0 151992 0 1 0 9811 79 0 0 25 0 8 0 3017184 826757120 151035 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25675/statm: 201845 151035 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=54.5
################
# More data... #
################
/proc/loadavg: 2.38 2.67 2.79 3/89 25880
/proc/meminfo: memFree=270088/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=1534.11
/proc/25675/stat : 25675 (java) S 25657 25657 25544 0 -1 0 156810 0 1 0 153250 161 0 0 16 0 8 0 3017184 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25675/statm: 201845 151250 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=1251.38
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 141364 0 0 0 125015 123 0 0 25 0 8 0 3017187 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035721 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.14
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.01
Current children cumulated vsize (KiB) 821104
[startup+1603.94 s]
/proc/loadavg: 2.18 2.56 2.74 3/89 25880
/proc/meminfo: memFree=270088/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=1593.62
/proc/25675/stat : 25675 (java) S 25657 25657 25544 0 -1 0 156951 0 1 0 159200 162 0 0 16 0 8 0 3017184 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25675/statm: 201845 151250 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=1303.36
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 141364 0 0 0 130212 124 0 0 25 0 8 0 3017187 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523587 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.14
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.52
Current children cumulated vsize (KiB) 821104
[startup+1663.99 s]
/proc/loadavg: 2.21 2.50 2.71 3/89 25880
/proc/meminfo: memFree=270088/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=1653.07
/proc/25675/stat : 25675 (java) S 25657 25657 25544 0 -1 0 157092 0 1 0 165142 165 0 0 16 0 8 0 3017184 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25675/statm: 201845 151250 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=1355.59
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 141364 0 0 0 135433 126 0 0 25 0 8 0 3017187 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.14
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.97
Current children cumulated vsize (KiB) 821104
[startup+1724 s]
/proc/loadavg: 2.23 2.45 2.68 4/89 25880
/proc/meminfo: memFree=269832/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=1712.48
/proc/25675/stat : 25675 (java) S 25657 25657 25544 0 -1 0 157222 0 1 0 171082 166 0 0 16 0 8 0 3017184 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25675/statm: 201845 151250 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=1408.25
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 141364 0 0 0 140698 127 0 0 25 0 8 0 3017187 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134557 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.14
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.38
Current children cumulated vsize (KiB) 821104
[startup+1784.04 s]
/proc/loadavg: 2.48 2.47 2.67 3/89 25880
/proc/meminfo: memFree=269768/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=1772.11
/proc/25675/stat : 25675 (java) R 25657 25657 25544 0 -1 0 157354 0 1 0 177043 168 0 0 16 0 8 0 3017184 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25675/statm: 201845 151250 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=1461.17
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 141364 0 0 0 145989 128 0 0 25 0 8 0 3017187 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.14
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.01
Current children cumulated vsize (KiB) 821104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.2 s]
/proc/loadavg: 2.38 2.45 2.65 4/89 25880
/proc/meminfo: memFree=269832/2055920 swapFree=4192956/4192956
[pid=25657] ppid=25655 vsize=13724 CPUtime=2.9
/proc/25657/stat : 25657 (sugar) S 25655 25657 25544 0 -1 4194304 1190 12961 0 1 3 0 273 14 15 0 1 0 3016884 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25657/statm: 3431 809 371 3 0 531 0
[pid=25675] ppid=25657 vsize=807380 CPUtime=1797.14
/proc/25675/stat : 25675 (java) R 25657 25657 25544 0 -1 0 157407 0 1 0 179545 169 0 0 17 0 8 0 3017184 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25675/statm: 201845 151250 1507 14 0 189123 0
[pid=25675/tid=25676] ppid=25657 vsize=807380 CPUtime=1483.32
/proc/25675/task/25676/stat : 25676 (java) R 25657 25657 25544 0 -1 64 141364 0 0 0 148203 129 0 0 25 0 8 0 3017187 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25677] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25677/stat : 25677 (java) S 25657 25657 25544 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25678] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25678/stat : 25678 (java) S 25657 25657 25544 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3017188 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25679] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25679/stat : 25679 (java) S 25657 25657 25544 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25680] ppid=25657 vsize=807380 CPUtime=0.14
/proc/25675/task/25680/stat : 25680 (java) S 25657 25657 25544 0 -1 64 401 0 0 0 14 0 0 0 17 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25675/tid=25681] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25681/stat : 25681 (java) S 25657 25657 25544 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25675/tid=25682] ppid=25657 vsize=807380 CPUtime=0
/proc/25675/task/25682/stat : 25682 (java) S 25657 25657 25544 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3017191 826757120 151250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 821104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25657 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=766579 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=162975
CPU time returned by wait4() is 2.92955
while last known CPU time is 1800.41
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.24
CPU time (s): 1800.41
CPU user time (s): 1798.49
CPU system time (s): 1.92
CPU usage (%): 99.4572
Max. virtual memory (cumulated for all children) (KiB): 822136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.76658
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14231
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= 870
involuntary context switches= 905
runsolver used 2.31365 s user time and 6.41902 s system time
The end
Begin job on node35 on Mon Jan 29 17:42:12 UTC 2007
IDJOB= 196217
IDBENCH= 3334
IDSOLVER= 86
FILE ID= node35/196217-1170092531
PBS_JOBID= 3689617
Free space on /tmp= 66557 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-39_ext.xml
COMMAND LINE= /tmp/evaluation/196217-1170092531/solver /tmp/evaluation/196217-1170092531 /tmp/evaluation/196217-1170092531/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-196217-1170092531 -o ROOT/results/node35/solver-196217-1170092531 -C 1800 -M 900 /tmp/evaluation/196217-1170092531/solver /tmp/evaluation/196217-1170092531 /tmp/evaluation/196217-1170092531/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 42af1ef904ee8c0046f5cc5a17801e12
RANDOM SEED= 58014215
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.263
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.263
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: 1470888 kB
Buffers: 33288 kB
Cached: 421156 kB
SwapCached: 0 kB
Active: 182280 kB
Inactive: 332156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1470888 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 7608 kB
Writeback: 0 kB
Mapped: 77512 kB
Slab: 55888 kB
Committed_AS: 310372 kB
PageTables: 1952 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= 66541 MiB
End job on node35 on Mon Jan 29 18:12:22 UTC 2007