0.05 c # Sugar v0-40 (/tmp/evaluation/224622-1170103571/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/224622-1170103571/unknown.xml [Mon Jan 29 21:46:12 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/224622-1170103571/unknown.xml /tmp/evaluation/224622-1170103571/sugar26855.csp [Mon Jan 29 21:46:12 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224622-1170103571/sugar-v0-40.jar -convert /tmp/evaluation/224622-1170103571/unknown.xml /tmp/evaluation/224622-1170103571/sugar26855.csp
0.17 c BEGIN convert /tmp/evaluation/224622-1170103571/unknown.xml
1.07 c END convert (0.902332 seconds)
1.11 c # CONVERT_XML END : /tmp/evaluation/224622-1170103571/sugar26855.csp 4114331 bytes (1 seconds) [Mon Jan 29 21:46:13 2007]
1.11 c # CONVERT_XML CPU : 1.01 = 0 + 0 + 0.94 + 0.07
1.11
1.11 c # GENERATE_SAT BEGIN : /tmp/evaluation/224622-1170103571/sugar26855.bcnf [Mon Jan 29 21:46:13 2007]
1.11 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224622-1170103571/sugar-v0-40.jar -bcnf -map /tmp/evaluation/224622-1170103571/sugar26855.map /tmp/evaluation/224622-1170103571/sugar26855.csp /tmp/evaluation/224622-1170103571/sugar26855.bcnf
1.23 c BEGIN parse /tmp/evaluation/224622-1170103571/sugar26855.csp
1811.91
1811.91 s UNKNOWN
1811.91 c # INTERRUPTED
1811.91 c # MAIN END : (1811 seconds) [Mon Jan 29 22:16:23 2007]
1811.91 c # MAIN CPU : 1.01 = 0 + 0 + 0.94 + 0.07
1811.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-224622-1170103571 -o ROOT/results/node14/solver-224622-1170103571 -C 1800 -M 900 /tmp/evaluation/224622-1170103571/solver /tmp/evaluation/224622-1170103571 /tmp/evaluation/224622-1170103571/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: 3.55 3.47 3.23 5/94 26856
/proc/meminfo: memFree=1281016/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=18540 CPUtime=0
/proc/26855/stat : 26855 (runsolver) R 26853 26855 26790 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30311564 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26855/statm: 4635 279 244 17 0 2626 0
[startup+0.10716 s]
/proc/loadavg: 3.55 3.47 3.23 5/94 26856
/proc/meminfo: memFree=1281016/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=0.04
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30311564 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515197 s]
/proc/loadavg: 3.55 3.47 3.23 5/94 26856
/proc/meminfo: memFree=1281016/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=0.04
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30311564 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33627 s]
/proc/loadavg: 3.55 3.47 3.23 3/95 26865
/proc/meminfo: memFree=1274544/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807064 CPUtime=0.2
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 3457 0 1 0 17 3 0 0 24 0 8 0 30311675 826433536 3208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073484304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201766 3208 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.97844 s]
/proc/loadavg: 3.55 3.47 3.23 3/102 26872
/proc/meminfo: memFree=1239032/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807064 CPUtime=1.84
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 13925 0 1 0 174 10 0 0 25 0 8 0 30311675 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201766 13660 1494 14 0 189044 0
[pid=26865/tid=26866] ppid=26855 vsize=807064 CPUtime=0.5
/proc/26865/task/26866/stat : 26866 (java) R 26855 26855 26790 0 -1 64 7861 0 0 0 45 5 0 0 16 0 8 0 30311679 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807064 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30311679 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807064 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807064 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807064 CPUtime=0.04
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 291 0 0 0 4 0 0 0 19 0 8 0 30311683 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807064 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807064 CPUtime=0
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30311683 826433536 13660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 820788
[startup+6.19274 s]
/proc/loadavg: 3.50 3.46 3.23 5/102 26872
/proc/meminfo: memFree=1177464/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=5.03
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 30027 0 1 0 484 19 0 0 25 0 8 0 30311675 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 29720 1506 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=1.5
/proc/26865/task/26866/stat : 26866 (java) S 26855 26855 26790 0 -1 64 23756 0 0 0 137 13 0 0 16 0 8 0 30311679 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30311679 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.1
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 376 0 0 0 10 0 0 0 16 0 8 0 30311683 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30311683 826724352 29720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821072
[startup+12.6544 s]
/proc/loadavg: 3.57 3.48 3.24 4/102 26872
/proc/meminfo: memFree=1063800/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=11.46
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 54723 0 1 0 1112 34 0 0 25 0 8 0 30311675 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 54130 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=4.24
/proc/26865/task/26866/stat : 26866 (java) S 26855 26855 26790 0 -1 64 48245 0 0 0 398 26 0 0 16 0 8 0 30311679 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30311679 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.11
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 384 0 0 0 11 0 0 0 16 0 8 0 30311683 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30311683 826724352 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 821072
[startup+25.5336 s]
/proc/loadavg: 3.33 3.43 3.22 4/102 26872
/proc/meminfo: memFree=1063928/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=24.24
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 56128 0 1 0 2386 38 0 0 25 0 8 0 30311675 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 54135 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=11.57
/proc/26865/task/26866/stat : 26866 (java) S 26855 26855 26790 0 -1 64 49333 0 0 0 1128 29 0 0 16 0 8 0 30311679 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30311679 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 389 0 0 0 12 0 0 0 17 0 8 0 30311683 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30311683 826724352 54135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 821072
[startup+51.145 s]
/proc/loadavg: 3.50 3.46 3.24 4/102 26872
/proc/meminfo: memFree=1063928/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=49.71
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 67101 0 1 0 4920 51 0 0 25 0 8 0 30311675 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 54721 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=28.3
/proc/26865/task/26866/stat : 26866 (java) R 26855 26855 26790 0 -1 64 59795 0 0 0 2791 39 0 0 16 0 8 0 30311679 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153445173 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30311679 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 30311683 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30311683 826724352 54721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 821072
[startup+102.379 s]
/proc/loadavg: 3.56 3.48 3.25 5/102 26872
/proc/meminfo: memFree=1063608/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=100.64
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 95971 0 1 0 9984 80 0 0 25 0 8 0 30311675 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 54137 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=63.5
/proc/26865/task/26866/stat : 26866 (java) S 26855 26855 26790 0 -1 64 87760 0 0 0 6287 63 0 0 15 0 8 0 30311679 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30311679 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 391 0 0 0 12 0 0 0 16 0 8 0 30311683 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26872/stat : 26872 (java) R 26855 26855 26790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30311683 826724352 54137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.69
################
# More data... #
################
/proc/loadavg: 3.12 3.24 3.25 3/102 27136
/proc/meminfo: memFree=682368/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=1533.2
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 914176 0 1 0 152553 767 0 0 25 0 8 0 30311675 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073588983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 150954 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=980.22
/proc/26865/task/26866/stat : 26866 (java) S 26855 26855 26790 0 -1 64 890663 0 0 0 97348 674 0 0 16 0 8 0 30311679 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30311679 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 30311683 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0.01
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 30311683 826724352 150954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.25
Current children cumulated vsize (KiB) 821072
[startup+1603.54 s]
/proc/loadavg: 3.17 3.22 3.25 5/102 27136
/proc/meminfo: memFree=677184/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=1592.9
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 914651 0 1 0 158516 774 0 0 25 0 8 0 30311675 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 150983 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=1015.27
/proc/26865/task/26866/stat : 26866 (java) R 26855 26855 26790 0 -1 64 890692 0 0 0 100849 678 0 0 15 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0.01
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.95
Current children cumulated vsize (KiB) 821072
[startup+1663.61 s]
/proc/loadavg: 2.96 3.17 3.23 5/102 27136
/proc/meminfo: memFree=676864/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=1652.26
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 915064 0 1 0 164446 780 0 0 25 0 8 0 30311675 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 150983 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=1052.83
/proc/26865/task/26866/stat : 26866 (java) R 26855 26855 26790 0 -1 64 890692 0 0 0 104602 681 0 0 16 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0.02
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.31
Current children cumulated vsize (KiB) 821072
[startup+1723.67 s]
/proc/loadavg: 3.16 3.20 3.23 5/102 27136
/proc/meminfo: memFree=676736/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=1711.73
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 915435 0 1 0 170387 786 0 0 25 0 8 0 30311675 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 150983 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=1092.65
/proc/26865/task/26866/stat : 26866 (java) R 26855 26855 26790 0 -1 64 890692 0 0 0 108580 685 0 0 16 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134355 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0.02
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.78
Current children cumulated vsize (KiB) 821072
[startup+1783.76 s]
/proc/loadavg: 3.30 3.22 3.24 4/102 27136
/proc/meminfo: memFree=676608/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=1771.12
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 915789 0 1 0 176320 792 0 0 25 0 8 0 30311675 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 150983 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=1133.66
/proc/26865/task/26866/stat : 26866 (java) S 26855 26855 26790 0 -1 64 890692 0 0 0 112676 690 0 0 16 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0.02
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.17
Current children cumulated vsize (KiB) 821072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.88 s]
/proc/loadavg: 3.35 3.23 3.24 4/102 27136
/proc/meminfo: memFree=676544/2055920 swapFree=4192812/4192956
[pid=26855] ppid=26853 vsize=13724 CPUtime=1.05
/proc/26855/stat : 26855 (sugar) S 26853 26855 26790 0 -1 4194304 1190 8799 0 1 3 1 94 7 15 0 1 0 30311564 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26855/statm: 3431 809 371 3 0 531 0
[pid=26865] ppid=26855 vsize=807348 CPUtime=1798.99
/proc/26865/stat : 26865 (java) R 26855 26855 26790 0 -1 0 915953 0 1 0 179103 796 0 0 25 0 8 0 30311675 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26865/statm: 201837 150983 1507 14 0 189115 0
[pid=26865/tid=26866] ppid=26855 vsize=807348 CPUtime=1152.59
/proc/26865/task/26866/stat : 26866 (java) R 26855 26855 26790 0 -1 64 890692 0 0 0 114568 691 0 0 16 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523552 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26867] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26867/stat : 26867 (java) S 26855 26855 26790 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26868] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26868/stat : 26868 (java) S 26855 26855 26790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30311679 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26869] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26869/stat : 26869 (java) S 26855 26855 26790 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30311682 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26870] ppid=26855 vsize=807348 CPUtime=0.12
/proc/26865/task/26870/stat : 26870 (java) S 26855 26855 26790 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26865/tid=26871] ppid=26855 vsize=807348 CPUtime=0
/proc/26865/task/26871/stat : 26871 (java) S 26855 26855 26790 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30311683 826724352 150983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26865/tid=26872] ppid=26855 vsize=807348 CPUtime=0.02
/proc/26865/task/26872/stat : 26872 (java) S 26855 26855 26790 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30311683 826724352 150983 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) 821072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26855 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=975851 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=87986
CPU time returned by wait4() is 1.06384
while last known CPU time is 1800.66
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1812.91
CPU time (s): 1800.66
CPU user time (s): 1792.53
CPU system time (s): 8.13
CPU usage (%): 99.3242
Max. virtual memory (cumulated for all children) (KiB): 821588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.975851
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10069
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= 531
involuntary context switches= 456
runsolver used 2.35664 s user time and 6.33804 s system time
The end
Begin job on node14 on Mon Jan 29 20:46:11 UTC 2007
IDJOB= 224622
IDBENCH= 5771
IDSOLVER= 86
FILE ID= node14/224622-1170103571
PBS_JOBID= 3689781
Free space on /tmp= 66550 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-75_ext.xml
COMMAND LINE= /tmp/evaluation/224622-1170103571/solver /tmp/evaluation/224622-1170103571 /tmp/evaluation/224622-1170103571/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-224622-1170103571 -o ROOT/results/node14/solver-224622-1170103571 -C 1800 -M 900 /tmp/evaluation/224622-1170103571/solver /tmp/evaluation/224622-1170103571 /tmp/evaluation/224622-1170103571/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= bf729504377c66ba2337fbb3e283d9db
RANDOM SEED= 717433748
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: 1281496 kB
Buffers: 13888 kB
Cached: 53704 kB
SwapCached: 0 kB
Active: 707292 kB
Inactive: 19480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1281496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1708 kB
Writeback: 0 kB
Mapped: 684708 kB
Slab: 31332 kB
Committed_AS: 1008220 kB
PageTables: 3348 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 21:16:24 UTC 2007