0.05 c # Sugar v0-40 (/tmp/evaluation/195983-1170092284/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/195983-1170092284/unknown.xml [Mon Jan 29 18:38:04 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/195983-1170092284/unknown.xml /tmp/evaluation/195983-1170092284/sugar23547.csp [Mon Jan 29 18:38:04 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195983-1170092284/sugar-v0-40.jar -convert /tmp/evaluation/195983-1170092284/unknown.xml /tmp/evaluation/195983-1170092284/sugar23547.csp
0.18 c BEGIN convert /tmp/evaluation/195983-1170092284/unknown.xml
3.23 c END convert (3.047104 seconds)
3.26 c # CONVERT_XML END : /tmp/evaluation/195983-1170092284/sugar23547.csp 17243609 bytes (3 seconds) [Mon Jan 29 18:38:07 2007]
3.26 c # CONVERT_XML CPU : 3.13 = 0 + 0 + 2.94 + 0.19
3.26
3.26 c # GENERATE_SAT BEGIN : /tmp/evaluation/195983-1170092284/sugar23547.bcnf [Mon Jan 29 18:38:07 2007]
3.26 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195983-1170092284/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195983-1170092284/sugar23547.map /tmp/evaluation/195983-1170092284/sugar23547.csp /tmp/evaluation/195983-1170092284/sugar23547.bcnf
3.38 c BEGIN parse /tmp/evaluation/195983-1170092284/sugar23547.csp
1810.25
1810.25 s UNKNOWN
1810.25 c # INTERRUPTED
1810.25 c # MAIN END : (1810 seconds) [Mon Jan 29 19:08:14 2007]
1810.25 c # MAIN CPU : 3.14 = 0 + 0.01 + 2.94 + 0.19
1810.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-195983-1170092284 -o ROOT/results/node4/solver-195983-1170092284 -C 1800 -M 900 /tmp/evaluation/195983-1170092284/solver /tmp/evaluation/195983-1170092284 /tmp/evaluation/195983-1170092284/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 1.34 1.03 3/95 23548
/proc/meminfo: memFree=532616/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=5352 CPUtime=0
/proc/23547/stat : 23547 (solver) R 23545 23547 22708 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29183275 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 259913215271 0 0 4096 0 0 0 0 17 1 0 0
/proc/23547/statm: 1338 231 193 169 0 49 0
[startup+0.102446 s]
/proc/loadavg: 2.18 1.34 1.03 3/95 23548
/proc/meminfo: memFree=532616/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=0.03
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29183275 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.510484 s]
/proc/loadavg: 2.18 1.34 1.03 3/95 23548
/proc/meminfo: memFree=532616/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=0.03
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29183275 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33356 s]
/proc/loadavg: 2.25 1.37 1.04 3/103 23556
/proc/meminfo: memFree=464840/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=0.03
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29183275 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 805 368 3 0 531 0
[pid=23549] ppid=23547 vsize=807124 CPUtime=1.25
/proc/23549/stat : 23549 (java) R 23547 23547 22708 0 -1 0 13017 0 1 0 115 10 0 0 22 0 8 0 29183280 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073597046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23549/statm: 201781 12755 1696 14 0 189059 0
[pid=23549/tid=23550] ppid=23547 vsize=807124 CPUtime=0.1
/proc/23549/task/23550/stat : 23550 (java) S 23547 23547 22708 0 -1 64 6517 0 0 0 7 3 0 0 16 0 8 0 29183284 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23551] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23551/stat : 23551 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183285 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23552] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23552/stat : 23552 (java) S 23547 23547 22708 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29183285 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23553] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23553/stat : 23553 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183288 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23554] ppid=23547 vsize=807124 CPUtime=0.08
/proc/23549/task/23554/stat : 23554 (java) S 23547 23547 22708 0 -1 64 313 0 0 0 8 0 0 0 16 0 8 0 29183288 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23555] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23555/stat : 23555 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183288 826494976 12755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23556] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23556/stat : 23556 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183288 826494976 12755 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.98672 s]
/proc/loadavg: 2.25 1.37 1.04 3/103 23556
/proc/meminfo: memFree=434696/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=0.03
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29183275 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 805 368 3 0 531 0
[pid=23549] ppid=23547 vsize=807124 CPUtime=2.88
/proc/23549/stat : 23549 (java) R 23547 23547 22708 0 -1 0 13062 0 1 0 271 17 0 0 25 0 8 0 29183280 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073621448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23549/statm: 201781 12761 1696 14 0 189059 0
[pid=23549/tid=23550] ppid=23547 vsize=807124 CPUtime=0.19
/proc/23549/task/23550/stat : 23550 (java) S 23547 23547 22708 0 -1 64 6517 0 0 0 15 4 0 0 16 0 8 0 29183284 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23551] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23551/stat : 23551 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183285 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23552] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23552/stat : 23552 (java) S 23547 23547 22708 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29183285 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23553] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23553/stat : 23553 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183288 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23554] ppid=23547 vsize=807124 CPUtime=0.09
/proc/23549/task/23554/stat : 23554 (java) S 23547 23547 22708 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 29183288 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23555] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23555/stat : 23555 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183288 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23549/tid=23556] ppid=23547 vsize=807124 CPUtime=0
/proc/23549/task/23556/stat : 23556 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183288 826494976 12761 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.28504 s]
/proc/loadavg: 2.25 1.37 1.04 3/103 23564
/proc/meminfo: memFree=346696/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807064 CPUtime=2.97
/proc/23557/stat : 23557 (java) R 23547 23547 22708 0 -1 0 18975 0 1 0 288 9 0 0 25 0 8 0 29183602 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23557/statm: 201766 18700 1494 14 0 189044 0
[pid=23557/tid=23558] ppid=23547 vsize=807064 CPUtime=0.78
/proc/23557/task/23558/stat : 23558 (java) S 23547 23547 22708 0 -1 64 12899 0 0 0 72 6 0 0 16 0 8 0 29183605 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29183605 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807064 CPUtime=0.05
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29183609 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826433536 18700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 820788
[startup+12.7087 s]
/proc/loadavg: 2.36 1.42 1.06 3/103 23564
/proc/meminfo: memFree=95304/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807064 CPUtime=9.33
/proc/23557/stat : 23557 (java) R 23547 23547 22708 0 -1 0 47837 0 1 0 910 23 0 0 25 0 8 0 29183602 826433536 47502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23557/statm: 201766 47502 1494 14 0 189044 0
[pid=23557/tid=23558] ppid=23547 vsize=807064 CPUtime=2.65
/proc/23557/task/23558/stat : 23558 (java) S 23547 23547 22708 0 -1 64 41701 0 0 0 246 19 0 0 16 0 8 0 29183605 826433536 47502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826433536 47502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29183605 826433536 47502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826433536 47502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807064 CPUtime=0.05
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 291 0 0 0 5 0 0 0 16 0 8 0 29183609 826433536 47502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826433536 47502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826433536 47502 18446744073709551615 134512640 134570532 4294956464 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.5409 s]
/proc/loadavg: 2.61 1.51 1.09 4/103 23564
/proc/meminfo: memFree=15624/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807064 CPUtime=21.8
/proc/23557/stat : 23557 (java) R 23547 23547 22708 0 -1 0 95643 0 1 0 2132 48 0 0 25 0 8 0 29183602 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23557/statm: 201766 95252 1495 14 0 189044 0
[pid=23557/tid=23558] ppid=23547 vsize=807064 CPUtime=8.73
/proc/23557/task/23558/stat : 23558 (java) R 23547 23547 22708 0 -1 64 85850 0 0 0 836 37 0 0 16 0 8 0 29183605 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822820 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29183605 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807064 CPUtime=0.05
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29183609 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807064 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826433536 95252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 820788
[startup+51.2151 s]
/proc/loadavg: 2.97 1.70 1.17 4/103 23564
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=47.34
/proc/23557/stat : 23557 (java) R 23547 23547 22708 0 -1 0 148470 0 1 0 4652 82 0 0 25 0 8 0 29183602 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23557/statm: 201845 147816 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=23.24
/proc/23557/task/23558/stat : 23558 (java) S 23547 23547 22708 0 -1 64 137994 0 0 0 2259 65 0 0 16 0 8 0 29183605 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807380 CPUtime=0.13
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 401 0 0 0 13 0 0 0 17 0 8 0 29183609 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826757120 147816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 821104
[startup+102.462 s]
/proc/loadavg: 3.89 2.13 1.34 3/103 23564
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=98.47
/proc/23557/stat : 23557 (java) R 23547 23547 22708 0 -1 0 151694 0 1 0 9737 110 0 0 16 0 8 0 29183602 826757120 150677 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073605079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23557/statm: 201845 150677 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=59.92
################
# More data... #
################
/proc/loadavg: 3.17 3.23 2.85 3/103 23762
/proc/meminfo: memFree=16328/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=1530.76
/proc/23557/stat : 23557 (java) S 23547 23547 22708 0 -1 0 156912 0 1 0 152339 737 0 0 16 0 8 0 29183602 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23557/statm: 201845 151197 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=1310.68
/proc/23557/task/23558/stat : 23558 (java) R 23547 23547 22708 0 -1 64 141375 0 0 0 130443 625 0 0 25 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134261 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807380 CPUtime=0.13
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.93
Current children cumulated vsize (KiB) 821104
[startup+1603.33 s]
/proc/loadavg: 4.16 3.51 2.97 3/103 23762
/proc/meminfo: memFree=16136/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=1590.64
/proc/23557/stat : 23557 (java) S 23547 23547 22708 0 -1 0 157053 0 1 0 158306 758 0 0 16 0 8 0 29183602 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23557/statm: 201845 151197 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=1365.2
/proc/23557/task/23558/stat : 23558 (java) R 23547 23547 22708 0 -1 64 141375 0 0 0 135878 642 0 0 25 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807380 CPUtime=0.13
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.81
Current children cumulated vsize (KiB) 821104
[startup+1663.36 s]
/proc/loadavg: 3.14 3.33 2.94 3/103 23762
/proc/meminfo: memFree=15688/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=1650.51
/proc/23557/stat : 23557 (java) S 23547 23547 22708 0 -1 0 157177 0 1 0 164268 783 0 0 16 0 8 0 29183602 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23557/statm: 201845 151197 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=1420.39
/proc/23557/task/23558/stat : 23558 (java) R 23547 23547 22708 0 -1 64 141375 0 0 0 141373 666 0 0 25 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155530677 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807380 CPUtime=0.13
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.68
Current children cumulated vsize (KiB) 821104
[startup+1723.41 s]
/proc/loadavg: 3.03 3.26 2.94 3/103 23762
/proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=1710.39
/proc/23557/stat : 23557 (java) S 23547 23547 22708 0 -1 0 157332 0 1 0 170235 804 0 0 16 0 8 0 29183602 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23557/statm: 201845 151197 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=1474.39
/proc/23557/task/23558/stat : 23558 (java) R 23547 23547 22708 0 -1 64 141375 0 0 0 146755 684 0 0 25 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807380 CPUtime=0.13
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.56
Current children cumulated vsize (KiB) 821104
[startup+1783.43 s]
/proc/loadavg: 2.68 3.12 2.90 3/103 23762
/proc/meminfo: memFree=15752/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=1770.25
/proc/23557/stat : 23557 (java) S 23547 23547 22708 0 -1 0 157457 0 1 0 176198 827 0 0 16 0 8 0 29183602 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23557/statm: 201845 151197 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=1529.52
/proc/23557/task/23558/stat : 23558 (java) R 23547 23547 22708 0 -1 64 141375 0 0 0 152249 703 0 0 25 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525079 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807380 CPUtime=0.13
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.42
Current children cumulated vsize (KiB) 821104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.24 s]
/proc/loadavg: 2.89 3.12 2.91 2/97 23765
/proc/meminfo: memFree=1264064/2055920 swapFree=4192812/4192956
[pid=23547] ppid=23545 vsize=13724 CPUtime=3.17
/proc/23547/stat : 23547 (sugar) S 23545 23547 22708 0 -1 4194304 1190 13079 0 1 3 1 294 19 15 0 1 0 29183275 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23547/statm: 3431 809 371 3 0 531 0
[pid=23557] ppid=23547 vsize=807380 CPUtime=1796.88
/proc/23557/stat : 23557 (java) S 23547 23547 22708 0 -1 0 157518 0 1 0 178851 837 0 0 16 0 8 0 29183602 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23557/statm: 201845 151197 1507 14 0 189123 0
[pid=23557/tid=23558] ppid=23547 vsize=807380 CPUtime=1553.82
/proc/23557/task/23558/stat : 23558 (java) R 23547 23547 22708 0 -1 64 141375 0 0 0 154670 712 0 0 25 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525866 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23559] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23559/stat : 23559 (java) S 23547 23547 22708 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23557/tid=23560] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23560/stat : 23560 (java) S 23547 23547 22708 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29183605 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23561] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23561/stat : 23561 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23562] ppid=23547 vsize=807380 CPUtime=0.13
/proc/23557/task/23562/stat : 23562 (java) S 23547 23547 22708 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23563] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23563/stat : 23563 (java) S 23547 23547 22708 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23557/tid=23564] ppid=23547 vsize=807380 CPUtime=0
/proc/23557/task/23564/stat : 23564 (java) S 23547 23547 22708 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29183609 826757120 151197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
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 23547 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=976547 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=206968
CPU time returned by wait4() is 3.18351
while last known CPU time is 1800.31
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.55
CPU time (s): 1800.31
CPU user time (s): 1791.64
CPU system time (s): 8.67
CPU usage (%): 99.3797
Max. virtual memory (cumulated for all children) (KiB): 821104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.97655
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14350
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= 899
involuntary context switches= 994
runsolver used 2.45363 s user time and 6.38303 s system time
The end
Begin job on node4 on Mon Jan 29 17:38:04 UTC 2007
IDJOB= 195983
IDBENCH= 3316
IDSOLVER= 86
FILE ID= node4/195983-1170092284
PBS_JOBID= 3689389
Free space on /tmp= 65332 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-44_ext.xml
COMMAND LINE= /tmp/evaluation/195983-1170092284/solver /tmp/evaluation/195983-1170092284 /tmp/evaluation/195983-1170092284/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-195983-1170092284 -o ROOT/results/node4/solver-195983-1170092284 -C 1800 -M 900 /tmp/evaluation/195983-1170092284/solver /tmp/evaluation/195983-1170092284 /tmp/evaluation/195983-1170092284/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 6a8989343c1399ffbb5761ed2389c00b
RANDOM SEED= 254202833
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.231
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.231
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: 533096 kB
Buffers: 12148 kB
Cached: 1301204 kB
SwapCached: 0 kB
Active: 165940 kB
Inactive: 1272232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 533096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 293664 kB
Writeback: 0 kB
Mapped: 150288 kB
Slab: 69276 kB
Committed_AS: 452632 kB
PageTables: 2348 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= 35233 MiB
End job on node4 on Mon Jan 29 18:08:17 UTC 2007