0.05 c # Sugar v0-40 (/tmp/evaluation/199916-1170094245/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/199916-1170094245/unknown.xml [Mon Jan 29 19:10:45 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/199916-1170094245/unknown.xml /tmp/evaluation/199916-1170094245/sugar20466.csp [Mon Jan 29 19:10:45 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199916-1170094245/sugar-v0-40.jar -convert /tmp/evaluation/199916-1170094245/unknown.xml /tmp/evaluation/199916-1170094245/sugar20466.csp
0.17 c BEGIN convert /tmp/evaluation/199916-1170094245/unknown.xml
3.23 c END convert (3.059292 seconds)
3.26 c # CONVERT_XML END : /tmp/evaluation/199916-1170094245/sugar20466.csp 17202357 bytes (3 seconds) [Mon Jan 29 19:10:48 2007]
3.26 c # CONVERT_XML CPU : 3.14 = 0 + 0 + 3 + 0.14
3.26
3.26 c # GENERATE_SAT BEGIN : /tmp/evaluation/199916-1170094245/sugar20466.bcnf [Mon Jan 29 19:10:48 2007]
3.26 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199916-1170094245/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199916-1170094245/sugar20466.map /tmp/evaluation/199916-1170094245/sugar20466.csp /tmp/evaluation/199916-1170094245/sugar20466.bcnf
3.38 c BEGIN parse /tmp/evaluation/199916-1170094245/sugar20466.csp
1807.10
1807.10 s UNKNOWN
1807.10 c # INTERRUPTED
1807.10 c # MAIN END : (1807 seconds) [Mon Jan 29 19:40:52 2007]
1807.10 c # MAIN CPU : 3.15 = 0 + 0.01 + 3 + 0.14
1807.10
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-199916-1170094245 -o ROOT/results/node30/solver-199916-1170094245 -C 1800 -M 900 /tmp/evaluation/199916-1170094245/solver /tmp/evaluation/199916-1170094245 /tmp/evaluation/199916-1170094245/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.18 2.35 2.49 5/94 20467
/proc/meminfo: memFree=1421488/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=24 CPUtime=0
/proc/20466/stat : 20466 (sugar) R 20464 20466 20013 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 3188554 24576 2 18446744073709551615 0 0 548682069995 18446744073709551615 264907582759 0 0 4096 0 0 0 0 17 1 0 0
/proc/20466/statm: 6 2 0 0 0 1 0
[startup+0.103634 s]
/proc/loadavg: 2.18 2.35 2.49 5/94 20467
/proc/meminfo: memFree=1421488/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=0.03
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 3188554 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51169 s]
/proc/loadavg: 2.18 2.35 2.49 5/94 20467
/proc/meminfo: memFree=1421488/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=0.03
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3188554 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33381 s]
/proc/loadavg: 2.18 2.35 2.49 4/102 20475
/proc/meminfo: memFree=1352240/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=0.03
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3188554 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 805 368 3 0 531 0
[pid=20468] ppid=20466 vsize=807124 CPUtime=1.25
/proc/20468/stat : 20468 (java) R 20466 20466 20013 0 -1 0 13016 0 1 0 118 7 0 0 23 0 8 0 3188559 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073617200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20468/statm: 201781 12754 1696 14 0 189059 0
[pid=20468/tid=20469] ppid=20466 vsize=807124 CPUtime=0.11
/proc/20468/task/20469/stat : 20469 (java) S 20466 20466 20013 0 -1 64 6517 0 0 0 9 2 0 0 16 0 8 0 3188562 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20470] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20470/stat : 20470 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188563 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20471] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20471/stat : 20471 (java) S 20466 20466 20013 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 3188563 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20472] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20472/stat : 20472 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188566 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20473] ppid=20466 vsize=807124 CPUtime=0.08
/proc/20468/task/20473/stat : 20473 (java) S 20466 20466 20013 0 -1 64 313 0 0 0 8 0 0 0 16 0 8 0 3188566 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20474] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20474/stat : 20474 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188566 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20475] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20475/stat : 20475 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188566 826494976 12754 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820848
[startup+2.98205 s]
/proc/loadavg: 2.18 2.35 2.49 3/102 20475
/proc/meminfo: memFree=1321328/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=0.03
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3188554 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 805 368 3 0 531 0
[pid=20468] ppid=20466 vsize=807124 CPUtime=2.88
/proc/20468/stat : 20468 (java) R 20466 20466 20013 0 -1 0 13061 0 1 0 276 12 0 0 25 0 8 0 3188559 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073617260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20468/statm: 201781 12760 1696 14 0 189059 0
[pid=20468/tid=20469] ppid=20466 vsize=807124 CPUtime=0.2
/proc/20468/task/20469/stat : 20469 (java) S 20466 20466 20013 0 -1 64 6517 0 0 0 17 3 0 0 16 0 8 0 3188562 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20470] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20470/stat : 20470 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188563 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20471] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20471/stat : 20471 (java) S 20466 20466 20013 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 3188563 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20472] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20472/stat : 20472 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188566 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20473] ppid=20466 vsize=807124 CPUtime=0.09
/proc/20468/task/20473/stat : 20473 (java) S 20466 20466 20013 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 3188566 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20474] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20474/stat : 20474 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188566 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20468/tid=20475] ppid=20466 vsize=807124 CPUtime=0
/proc/20468/task/20475/stat : 20475 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188566 826494976 12760 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 820848
[startup+6.27952 s]
/proc/loadavg: 2.25 2.36 2.50 6/102 20483
/proc/meminfo: memFree=1240304/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807064 CPUtime=2.97
/proc/20476/stat : 20476 (java) R 20466 20466 20013 0 -1 0 18498 0 1 0 287 10 0 0 25 0 8 0 3188880 826433536 18224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073512160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201766 18224 1494 14 0 189044 0
[pid=20476/tid=20477] ppid=20466 vsize=807064 CPUtime=0.77
/proc/20476/task/20477/stat : 20477 (java) S 20466 20466 20013 0 -1 64 12424 0 0 0 72 5 0 0 16 0 8 0 3188883 826433536 18224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826433536 18224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826433536 18224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826433536 18224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807064 CPUtime=0.05
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 3188887 826433536 18224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826433536 18224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826433536 18224 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.7274 s]
/proc/loadavg: 2.31 2.37 2.50 4/102 20483
/proc/meminfo: memFree=994480/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807064 CPUtime=9.32
/proc/20476/stat : 20476 (java) R 20466 20466 20013 0 -1 0 47357 0 1 0 907 25 0 0 25 0 8 0 3188880 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201766 47022 1494 14 0 189044 0
[pid=20476/tid=20477] ppid=20466 vsize=807064 CPUtime=2.66
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 41222 0 0 0 246 20 0 0 16 0 8 0 3188883 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154024014 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807064 CPUtime=0.05
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 3188887 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) R 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826433536 47022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 820788
[startup+25.5841 s]
/proc/loadavg: 2.39 2.38 2.50 4/102 20483
/proc/meminfo: memFree=560432/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807064 CPUtime=22.15
/proc/20476/stat : 20476 (java) R 20466 20466 20013 0 -1 0 94242 0 1 0 2164 51 0 0 25 0 8 0 3188880 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073530321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201766 93851 1495 14 0 189044 0
[pid=20476/tid=20477] ppid=20466 vsize=807064 CPUtime=9.1
/proc/20476/task/20477/stat : 20477 (java) S 20466 20466 20013 0 -1 64 84386 0 0 0 869 41 0 0 16 0 8 0 3188883 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807064 CPUtime=0.05
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 3188887 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807064 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826433536 93851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 820788
[startup+51.2097 s]
/proc/loadavg: 2.67 2.45 2.52 3/102 20483
/proc/meminfo: memFree=337648/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=47.77
/proc/20476/stat : 20476 (java) R 20466 20466 20013 0 -1 0 148174 0 1 0 4695 82 0 0 25 0 8 0 3188880 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 147562 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=22.2
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 137680 0 0 0 2149 71 0 0 16 0 8 0 3188883 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807380 CPUtime=0.13
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 3188887 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826757120 147562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 821104
[startup+102.45 s]
/proc/loadavg: 3.15 2.62 2.57 5/102 20483
/proc/meminfo: memFree=314864/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=98.99
/proc/20476/stat : 20476 (java) R 20466 20466 20013 0 -1 0 151417 0 1 0 9811 88 0 0 25 0 8 0 3188880 826757120 150479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 150479 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=55.95
################
# More data... #
################
/proc/loadavg: 2.39 2.36 2.46 3/102 20485
/proc/meminfo: memFree=309360/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=1534.41
/proc/20476/stat : 20476 (java) S 20466 20466 20013 0 -1 0 156518 0 1 0 153304 137 0 0 16 0 8 0 3188880 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 151253 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=1264.83
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 141370 0 0 0 126372 111 0 0 25 0 8 0 3188883 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222447 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807380 CPUtime=0.14
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.59
Current children cumulated vsize (KiB) 821104
[startup+1603.5 s]
/proc/loadavg: 2.22 2.32 2.44 3/102 20485
/proc/meminfo: memFree=309296/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=1594.42
/proc/20476/stat : 20476 (java) S 20466 20466 20013 0 -1 0 156650 0 1 0 159303 139 0 0 16 0 8 0 3188880 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 151253 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=1318.11
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 141370 0 0 0 131699 112 0 0 25 0 8 0 3188883 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222438 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807380 CPUtime=0.14
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.6
Current children cumulated vsize (KiB) 821104
[startup+1663.53 s]
/proc/loadavg: 2.19 2.29 2.42 3/102 20485
/proc/meminfo: memFree=309296/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=1654.15
/proc/20476/stat : 20476 (java) R 20466 20466 20013 0 -1 0 156782 0 1 0 165275 140 0 0 16 0 8 0 3188880 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 151253 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=1371.06
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 141370 0 0 0 136993 113 0 0 25 0 8 0 3188883 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807380 CPUtime=0.14
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.33
Current children cumulated vsize (KiB) 821104
[startup+1723.6 s]
/proc/loadavg: 2.43 2.33 2.43 3/102 20485
/proc/meminfo: memFree=309232/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=1713.93
/proc/20476/stat : 20476 (java) S 20466 20466 20013 0 -1 0 156914 0 1 0 171252 141 0 0 16 0 8 0 3188880 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 151253 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=1423.99
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 141370 0 0 0 142285 114 0 0 25 0 8 0 3188883 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807380 CPUtime=0.14
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.11
Current children cumulated vsize (KiB) 821104
[startup+1783.68 s]
/proc/loadavg: 2.32 2.31 2.41 3/102 20485
/proc/meminfo: memFree=309232/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=1773.71
/proc/20476/stat : 20476 (java) S 20466 20466 20013 0 -1 0 157050 0 1 0 177228 143 0 0 16 0 8 0 3188880 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 151253 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=1476.86
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 141370 0 0 0 147571 115 0 0 25 0 8 0 3188883 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807380 CPUtime=0.14
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.89
Current children cumulated vsize (KiB) 821104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.09 s]
/proc/loadavg: 2.31 2.31 2.41 2/89 20500
/proc/meminfo: memFree=931032/2055920 swapFree=4192956/4192956
[pid=20466] ppid=20464 vsize=13724 CPUtime=3.18
/proc/20466/stat : 20466 (sugar) S 20464 20466 20013 0 -1 4194304 1189 13078 0 1 3 1 300 14 15 0 1 0 3188554 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20466/statm: 3431 809 371 3 0 531 0
[pid=20476] ppid=20466 vsize=807380 CPUtime=1796.89
/proc/20476/stat : 20476 (java) S 20466 20466 20013 0 -1 0 157093 0 1 0 179545 144 0 0 16 0 8 0 3188880 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20476/statm: 201845 151253 1507 14 0 189123 0
[pid=20476/tid=20477] ppid=20466 vsize=807380 CPUtime=1497.92
/proc/20476/task/20477/stat : 20477 (java) R 20466 20466 20013 0 -1 64 141370 0 0 0 149675 117 0 0 25 0 8 0 3188883 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222385 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20478] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20478/stat : 20478 (java) S 20466 20466 20013 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20479] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20479/stat : 20479 (java) S 20466 20466 20013 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 3188884 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20480] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20480/stat : 20480 (java) S 20466 20466 20013 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20481] ppid=20466 vsize=807380 CPUtime=0.14
/proc/20476/task/20481/stat : 20481 (java) S 20466 20466 20013 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20476/tid=20482] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20482/stat : 20482 (java) S 20466 20466 20013 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20476/tid=20483] ppid=20466 vsize=807380 CPUtime=0
/proc/20476/task/20483/stat : 20483 (java) S 20466 20466 20013 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3188887 826757120 151253 18446744073709551615 134512640 134570532 4294956480 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) 821104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 20466 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=42537 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=162975
CPU time returned by wait4() is 3.20551
while last known CPU time is 1800.78
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1808.12
CPU time (s): 1800.78
CPU user time (s): 1799.09
CPU system time (s): 1.69
CPU usage (%): 99.5941
Max. virtual memory (cumulated for all children) (KiB): 821104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04254
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= 14348
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= 840
involuntary context switches= 920
runsolver used 2.15267 s user time and 6.11707 s system time
The end
Begin job on node30 on Mon Jan 29 18:10:45 UTC 2007
IDJOB= 199916
IDBENCH= 3655
IDSOLVER= 86
FILE ID= node30/199916-1170094245
PBS_JOBID= 3689609
Free space on /tmp= 66542 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-19_ext.xml
COMMAND LINE= /tmp/evaluation/199916-1170094245/solver /tmp/evaluation/199916-1170094245 /tmp/evaluation/199916-1170094245/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-199916-1170094245 -o ROOT/results/node30/solver-199916-1170094245 -C 1800 -M 900 /tmp/evaluation/199916-1170094245/solver /tmp/evaluation/199916-1170094245 /tmp/evaluation/199916-1170094245/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 96d10c852907193ff355871085e03668
RANDOM SEED= 976063102
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.270
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.270
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: 1421968 kB
Buffers: 42760 kB
Cached: 292276 kB
SwapCached: 0 kB
Active: 351536 kB
Inactive: 212248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1421968 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 23400 kB
Writeback: 0 kB
Mapped: 254148 kB
Slab: 54812 kB
Committed_AS: 532844 kB
PageTables: 2412 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= 66561 MiB
End job on node30 on Mon Jan 29 18:40:53 UTC 2007