0.05 c # Sugar v0-40 (/tmp/evaluation/225027-1170104028/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/225027-1170104028/unknown.xml [Mon Jan 29 21:53:48 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/225027-1170104028/unknown.xml /tmp/evaluation/225027-1170104028/sugar27877.csp [Mon Jan 29 21:53:48 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225027-1170104028/sugar-v0-40.jar -convert /tmp/evaluation/225027-1170104028/unknown.xml /tmp/evaluation/225027-1170104028/sugar27877.csp
0.17 c BEGIN convert /tmp/evaluation/225027-1170104028/unknown.xml
1.10 c END convert (0.923144 seconds)
1.13 c # CONVERT_XML END : /tmp/evaluation/225027-1170104028/sugar27877.csp 4128070 bytes (1 seconds) [Mon Jan 29 21:53:49 2007]
1.13 c # CONVERT_XML CPU : 1.03 = 0 + 0 + 0.95 + 0.08
1.13
1.13 c # GENERATE_SAT BEGIN : /tmp/evaluation/225027-1170104028/sugar27877.bcnf [Mon Jan 29 21:53:49 2007]
1.13 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225027-1170104028/sugar-v0-40.jar -bcnf -map /tmp/evaluation/225027-1170104028/sugar27877.map /tmp/evaluation/225027-1170104028/sugar27877.csp /tmp/evaluation/225027-1170104028/sugar27877.bcnf
1.25 c BEGIN parse /tmp/evaluation/225027-1170104028/sugar27877.csp
1808.10
1808.10 s UNKNOWN
1808.10 c # INTERRUPTED
1808.10 c # MAIN END : (1808 seconds) [Mon Jan 29 22:23:56 2007]
1808.10 c # MAIN CPU : 1.03 = 0 + 0 + 0.95 + 0.08
1808.10
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-225027-1170104028 -o ROOT/results/node16/solver-225027-1170104028 -C 1800 -M 900 /tmp/evaluation/225027-1170104028/solver /tmp/evaluation/225027-1170104028 /tmp/evaluation/225027-1170104028/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.30 2.30 2.27 5/88 27878
/proc/meminfo: memFree=1560992/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=18540 CPUtime=0
/proc/27877/stat : 27877 (runsolver) R 27875 27877 26876 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30357159 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27877/statm: 4635 279 244 17 0 2626 0
[startup+0.110294 s]
/proc/loadavg: 2.30 2.30 2.27 5/88 27878
/proc/meminfo: memFree=1560992/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=0.04
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30357159 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.520247 s]
/proc/loadavg: 2.30 2.30 2.27 5/88 27878
/proc/meminfo: memFree=1560992/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=0.04
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30357159 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34116 s]
/proc/loadavg: 2.36 2.31 2.28 3/89 27887
/proc/meminfo: memFree=1554776/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807064 CPUtime=0.19
/proc/27887/stat : 27887 (java) S 27877 27877 26876 0 -1 0 3205 0 1 0 17 2 0 0 17 0 8 0 30357272 826433536 2956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201766 2956 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788
[startup+2.98598 s]
/proc/loadavg: 2.36 2.31 2.28 3/96 27894
/proc/meminfo: memFree=1520800/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807064 CPUtime=1.83
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 13471 0 1 0 176 7 0 0 23 0 8 0 30357272 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073507715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201766 13207 1494 14 0 189044 0
[pid=27887/tid=27888] ppid=27877 vsize=807064 CPUtime=0.45
/proc/27887/task/27888/stat : 27888 (java) S 27877 27877 26876 0 -1 64 7406 0 0 0 42 3 0 0 16 0 8 0 30357275 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807064 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807064 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807064 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807064 CPUtime=0.05
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30357279 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807064 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807064 CPUtime=0
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30357279 826433536 13207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.19067 s]
/proc/loadavg: 2.33 2.31 2.27 3/96 27894
/proc/meminfo: memFree=1460512/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=5.01
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 28681 0 1 0 487 14 0 0 25 0 8 0 30357272 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201835 28379 1506 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=1.42
/proc/27887/task/27888/stat : 27888 (java) R 27877 27877 26876 0 -1 64 22415 0 0 0 133 9 0 0 15 0 8 0 30357275 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155216450 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.1
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 375 0 0 0 10 0 0 0 16 0 8 0 30357279 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30357279 826716160 28379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821064
[startup+12.6747 s]
/proc/loadavg: 2.30 2.30 2.27 4/96 27894
/proc/meminfo: memFree=1340896/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=11.49
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 55416 0 1 0 1120 29 0 0 25 0 8 0 30357272 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201835 54131 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=4.61
/proc/27887/task/27888/stat : 27888 (java) S 27877 27877 26876 0 -1 64 48927 0 0 0 438 23 0 0 16 0 8 0 30357275 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.12
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 385 0 0 0 12 0 0 0 16 0 8 0 30357279 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30357279 826716160 54131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 821064
[startup+25.5533 s]
/proc/loadavg: 2.41 2.32 2.28 3/96 27894
/proc/meminfo: memFree=1342240/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=24.38
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 59129 0 1 0 2402 36 0 0 25 0 8 0 30357272 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201835 54874 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=12.34
/proc/27887/task/27888/stat : 27888 (java) R 27877 27877 26876 0 -1 64 52290 0 0 0 1207 27 0 0 16 0 8 0 30357275 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155222385 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.12
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 389 0 0 0 12 0 0 0 17 0 8 0 30357279 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30357279 826716160 54874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 821064
[startup+51.1885 s]
/proc/loadavg: 2.44 2.34 2.28 3/96 27894
/proc/meminfo: memFree=1341280/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=50
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 75658 0 1 0 4951 49 0 0 25 0 8 0 30357272 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201835 55249 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=29.53
/proc/27887/task/27888/stat : 27888 (java) R 27877 27877 26876 0 -1 64 68211 0 0 0 2914 39 0 0 16 0 8 0 30357275 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134460 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 391 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30357279 826716160 55249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 821064
[startup+102.485 s]
/proc/loadavg: 2.69 2.42 2.31 3/96 27894
/proc/meminfo: memFree=1328992/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=101.3
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 114005 0 1 0 10049 81 0 0 25 0 8 0 30357272 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201835 57033 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=66.5
/proc/27887/task/27888/stat : 27888 (java) R 27877 27877 26876 0 -1 64 105592 0 0 0 6584 66 0 0 16 0 8 0 30357275 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022592 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 391 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30357279 826716160 57033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
################
# More data... #
################
/proc/loadavg: 3.45 3.35 3.04 4/102 28156
/proc/meminfo: memFree=668456/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=1535.87
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 929710 0 1 0 152845 742 0 0 25 0 8 0 30357272 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27887/statm: 201835 150989 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=980.79
/proc/27887/task/27888/stat : 27888 (java) S 27877 27877 26876 0 -1 64 905770 0 0 0 97434 645 0 0 16 0 8 0 30357275 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0.01
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.94
Current children cumulated vsize (KiB) 821064
[startup+1603.75 s]
/proc/loadavg: 3.33 3.34 3.06 5/102 28156
/proc/meminfo: memFree=639784/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=1595.64
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 930075 0 1 0 158816 748 0 0 25 0 8 0 30357272 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27887/statm: 201835 150989 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=1021.29
/proc/27887/task/27888/stat : 27888 (java) R 27877 27877 26876 0 -1 64 905770 0 0 0 101480 649 0 0 17 0 8 0 30357275 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0.01
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.71
Current children cumulated vsize (KiB) 821064
[startup+1663.8 s]
/proc/loadavg: 3.26 3.35 3.08 3/102 28156
/proc/meminfo: memFree=636136/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=1655.35
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 930425 0 1 0 164782 753 0 0 25 0 8 0 30357272 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27887/statm: 201835 150989 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=1062.39
/proc/27887/task/27888/stat : 27888 (java) R 27877 27877 26876 0 -1 64 905770 0 0 0 105587 652 0 0 16 0 8 0 30357275 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134186 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0.01
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.42
Current children cumulated vsize (KiB) 821064
[startup+1723.84 s]
/proc/loadavg: 3.16 3.31 3.08 3/102 28156
/proc/meminfo: memFree=636072/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=1715.07
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 930907 0 1 0 170746 761 0 0 25 0 8 0 30357272 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332568 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27887/statm: 201835 150989 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=1095.71
/proc/27887/task/27888/stat : 27888 (java) S 27877 27877 26876 0 -1 64 905770 0 0 0 108914 657 0 0 16 0 8 0 30357275 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0.01
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.14
Current children cumulated vsize (KiB) 821064
[startup+1783.85 s]
/proc/loadavg: 3.51 3.36 3.11 4/102 28156
/proc/meminfo: memFree=627304/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=1774.78
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 931333 0 1 0 176711 767 0 0 25 0 8 0 30357272 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073612673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201835 150989 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=1132.38
/proc/27887/task/27888/stat : 27888 (java) S 27877 27877 26876 0 -1 64 905770 0 0 0 112577 661 0 0 16 0 8 0 30357275 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0.01
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.85
Current children cumulated vsize (KiB) 821064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.09 s]
/proc/loadavg: 3.54 3.38 3.12 3/102 28156
/proc/meminfo: memFree=627304/2055920 swapFree=4192812/4192956
[pid=27877] ppid=27875 vsize=13724 CPUtime=1.07
/proc/27877/stat : 27877 (sugar) S 27875 27877 26876 0 -1 4194304 1190 8683 0 1 3 1 95 8 15 0 1 0 30357159 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27877/statm: 3431 809 371 3 0 531 0
[pid=27887] ppid=27877 vsize=807340 CPUtime=1799
/proc/27887/stat : 27887 (java) R 27877 27877 26876 0 -1 0 931464 0 1 0 179131 769 0 0 25 0 8 0 30357272 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27887/statm: 201835 150989 1507 14 0 189113 0
[pid=27887/tid=27888] ppid=27877 vsize=807340 CPUtime=1149.49
/proc/27887/task/27888/stat : 27888 (java) S 27877 27877 26876 0 -1 64 905770 0 0 0 114287 662 0 0 16 0 8 0 30357275 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27889] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27889/stat : 27889 (java) S 27877 27877 26876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27890] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27890/stat : 27890 (java) S 27877 27877 26876 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30357276 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27891] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27891/stat : 27891 (java) S 27877 27877 26876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27892] ppid=27877 vsize=807340 CPUtime=0.13
/proc/27887/task/27892/stat : 27892 (java) S 27877 27877 26876 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27887/tid=27893] ppid=27877 vsize=807340 CPUtime=0
/proc/27887/task/27893/stat : 27893 (java) S 27877 27877 26876 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27887/tid=27894] ppid=27877 vsize=807340 CPUtime=0.01
/proc/27887/task/27894/stat : 27894 (java) S 27877 27877 26876 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 30357279 826716160 150989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 821064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27877 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=995848 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=101984
CPU time returned by wait4() is 1.09783
while last known CPU time is 1800.21
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.11
CPU time (s): 1800.21
CPU user time (s): 1792.33
CPU system time (s): 7.88
CPU usage (%): 99.5079
Max. virtual memory (cumulated for all children) (KiB): 821064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.995848
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9954
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= 462
involuntary context switches= 365
runsolver used 2.36064 s user time and 6.21605 s system time
The end
Begin job on node16 on Mon Jan 29 20:53:48 UTC 2007
IDJOB= 225027
IDBENCH= 5810
IDSOLVER= 86
FILE ID= node16/225027-1170104028
PBS_JOBID= 3689530
Free space on /tmp= 66475 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-41_ext.xml
COMMAND LINE= /tmp/evaluation/225027-1170104028/solver /tmp/evaluation/225027-1170104028 /tmp/evaluation/225027-1170104028/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-225027-1170104028 -o ROOT/results/node16/solver-225027-1170104028 -C 1800 -M 900 /tmp/evaluation/225027-1170104028/solver /tmp/evaluation/225027-1170104028 /tmp/evaluation/225027-1170104028/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= e1d30aba5cb0703cc33580f1e32ddfc4
RANDOM SEED= 168980028
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.281
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.281
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: 1561472 kB
Buffers: 36356 kB
Cached: 136160 kB
SwapCached: 0 kB
Active: 390152 kB
Inactive: 49744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1561472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1628 kB
Writeback: 0 kB
Mapped: 287104 kB
Slab: 39208 kB
Committed_AS: 692780 kB
PageTables: 2520 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= 66540 MiB
End job on node16 on Mon Jan 29 21:23:59 UTC 2007