791.33 v 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0
791.33 s SATISFIABLE
791.33 d NODES 100347
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-215368-1168234650 -o ROOT/results/node52/solver-215368-1168234650 -C 1800 -M 900 /tmp/evaluation/215368-1168234650/cspfj.sh -solver Combo -competition /tmp/evaluation/215368-1168234650/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: 1.08 1.11 1.05 4/65 8855
/proc/meminfo: memFree=1836552/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) R 8852 8854 7889 0 -1 4194304 294 128 0 0 0 0 0 0 18 0 1 0 171863621 5480448 239 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 4440176 0 0 4100 65536 0 0 0 17 1 0 0
/proc/8854/statm: 1338 239 200 169 0 49 0
[startup+0.106643 s]
/proc/loadavg: 1.08 1.11 1.05 4/65 8855
/proc/meminfo: memFree=1836552/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.515856 s]
/proc/loadavg: 1.08 1.11 1.05 4/65 8855
/proc/meminfo: memFree=1836552/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33691 s]
/proc/loadavg: 1.08 1.11 1.05 2/73 8864
/proc/meminfo: memFree=1826568/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=866968 CPUtime=1.33
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 4625 0 1 0 125 8 0 0 16 0 8 0 171863622 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073330699 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 216742 4306 1834 14 0 204004 0
[pid=8857/tid=8858] ppid=8854 vsize=866968 CPUtime=0.07
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 457 0 0 0 7 0 0 0 16 0 8 0 171863625 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8860] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8861] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=866968 CPUtime=0.23
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 537 0 0 0 22 1 0 0 15 0 8 0 171863629 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8863] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 887775232 4306 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 872320
[startup+2.98803 s]
/proc/loadavg: 1.08 1.11 1.05 2/73 8864
/proc/meminfo: memFree=1823560/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=866968 CPUtime=2.97
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 6013 0 1 0 283 14 0 0 16 0 8 0 171863622 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073646128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8857/statm: 216742 5598 1834 14 0 204004 0
[pid=8857/tid=8858] ppid=8854 vsize=866968 CPUtime=0.22
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 1295 0 0 0 21 1 0 0 16 0 8 0 171863625 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 171863626 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8861] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=866968 CPUtime=0.29
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 565 0 0 0 28 1 0 0 16 0 8 0 171863629 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8863] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=866968 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) R 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 887775232 5598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 872320
[startup+6.19024 s]
/proc/loadavg: 1.08 1.11 1.05 2/73 8864
/proc/meminfo: memFree=1814472/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=867080 CPUtime=6.17
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 7717 0 1 0 597 20 0 0 17 0 8 0 171863622 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074195544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 216770 7241 1839 14 0 204032 0
[pid=8857/tid=8858] ppid=8854 vsize=867080 CPUtime=0.4
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 2326 0 0 0 38 2 0 0 15 0 8 0 171863625 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8861] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=867080 CPUtime=0.35
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 590 0 0 0 33 2 0 0 15 0 8 0 171863629 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8863] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 887889920 7241 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 872432
[startup+12.6597 s]
/proc/loadavg: 1.07 1.11 1.05 2/73 8864
/proc/meminfo: memFree=1814472/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=867080 CPUtime=12.64
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 7718 0 1 0 1244 20 0 0 25 0 8 0 171863622 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074201328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 216770 7242 1839 14 0 204032 0
[pid=8857/tid=8858] ppid=8854 vsize=867080 CPUtime=0.4
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 2326 0 0 0 38 2 0 0 16 0 8 0 171863625 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8861] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=867080 CPUtime=0.35
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 591 0 0 0 33 2 0 0 16 0 8 0 171863629 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8863] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 887889920 7242 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 872432
[startup+25.5096 s]
/proc/loadavg: 1.05 1.10 1.04 2/73 8864
/proc/meminfo: memFree=1811336/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=867080 CPUtime=25.47
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 8518 0 1 0 2525 22 0 0 18 0 8 0 171863622 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074245547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 216770 8033 1839 14 0 204032 0
[pid=8857/tid=8858] ppid=8854 vsize=867080 CPUtime=0.52
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3061 0 0 0 50 2 0 0 16 0 8 0 171863625 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=867080 CPUtime=0.37
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 607 0 0 0 35 2 0 0 16 0 8 0 171863629 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8863] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=867080 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 887889920 8033 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 872432
[startup+51.1341 s]
/proc/loadavg: 1.03 1.09 1.04 2/73 8864
/proc/meminfo: memFree=1806792/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868272 CPUtime=51.03
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 9690 0 1 0 5067 36 0 0 17 0 8 0 171863622 889110528 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074201274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8857/statm: 217068 9177 1839 14 0 204330 0
[pid=8857/tid=8858] ppid=8854 vsize=868272 CPUtime=0.61
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3093 0 0 0 59 2 0 0 15 0 8 0 171863625 889110528 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=868276 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889114624 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868272 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889110528 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868272 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889110528 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868272 CPUtime=1.06
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 1719 0 0 0 103 3 0 0 16 0 8 0 171863629 889110528 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868272 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889110528 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868272 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889110528 9177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 873624
[startup+102.423 s]
/proc/loadavg: 1.01 1.08 1.04 3/73 8864
/proc/meminfo: memFree=1806664/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868272 CPUtime=102.31
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 9803 0 1 0 10166 65 0 0 17 0 8 0 171863622 889110528 9210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074201361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8857/statm: 217068 9210 1839 14 0 204330 0
[pid=8857/tid=8858] ppid=8854 vsize=868272 CPUtime=0.84
################
# More data... #
################
[pid=8857/tid=8859] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889581568 9352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868732 CPUtime=1.13
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 1894 0 0 0 110 3 0 0 16 0 8 0 171863629 889581568 9352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889581568 9352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889581568 9352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 874084
[startup+462.812 s]
/proc/loadavg: 1.00 1.01 1.00 2/73 8864
/proc/meminfo: memFree=1805768/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868732 CPUtime=462.23
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 10250 0 1 0 45780 443 0 0 25 0 8 0 171863622 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 217183 9371 1841 14 0 204445 0
[pid=8857/tid=8858] ppid=8854 vsize=868732 CPUtime=1.66
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3093 0 0 0 161 5 0 0 16 0 8 0 171863625 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868732 CPUtime=1.17
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 1913 0 0 0 113 4 0 0 16 0 8 0 171863629 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889581568 9371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 874084
[startup+522.865 s]
/proc/loadavg: 1.00 1.01 1.00 2/73 8864
/proc/meminfo: memFree=1805640/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868732 CPUtime=522.26
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 10277 0 1 0 51702 524 0 0 25 0 8 0 171863622 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074273004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 217183 9391 1841 14 0 204445 0
[pid=8857/tid=8858] ppid=8854 vsize=868732 CPUtime=1.68
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3093 0 0 0 163 5 0 0 16 0 8 0 171863625 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8859] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868732 CPUtime=1.19
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 1933 0 0 0 115 4 0 0 16 0 8 0 171863629 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889581568 9391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 874084
[startup+582.948 s]
/proc/loadavg: 1.04 1.02 1.00 2/73 8864
/proc/meminfo: memFree=1805512/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868732 CPUtime=582.24
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 10426 0 1 0 57653 571 0 0 17 0 8 0 171863622 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074245453 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 217183 9431 1841 14 0 204445 0
[pid=8857/tid=8858] ppid=8854 vsize=868732 CPUtime=1.99
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3093 0 0 0 193 6 0 0 15 0 8 0 171863625 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868732 CPUtime=1.25
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 1970 0 0 0 121 4 0 0 16 0 8 0 171863629 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889581568 9431 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 874084
[startup+643.034 s]
/proc/loadavg: 1.01 1.01 1.00 2/73 8864
/proc/meminfo: memFree=1805448/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868732 CPUtime=642.15
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 10540 0 1 0 63596 619 0 0 17 0 8 0 171863622 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074195557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8857/statm: 217183 9435 1841 14 0 204445 0
[pid=8857/tid=8858] ppid=8854 vsize=868732 CPUtime=2.31
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3093 0 0 0 223 8 0 0 16 0 8 0 171863625 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868732 CPUtime=1.26
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 1973 0 0 0 122 4 0 0 16 0 8 0 171863629 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889581568 9435 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 874084
[startup+703.132 s]
/proc/loadavg: 1.04 1.02 1.00 2/73 8864
/proc/meminfo: memFree=1805384/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868732 CPUtime=702.07
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 10738 0 1 0 69536 671 0 0 17 0 8 0 171863622 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074245534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8857/statm: 217183 9505 1841 14 0 204445 0
[pid=8857/tid=8858] ppid=8854 vsize=868732 CPUtime=2.67
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3093 0 0 0 258 9 0 0 16 0 8 0 171863625 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868732 CPUtime=1.38
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 2043 0 0 0 132 6 0 0 16 0 8 0 171863629 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889581568 9505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 874084
[startup+763.224 s]
/proc/loadavg: 1.01 1.02 1.00 2/73 8864
/proc/meminfo: memFree=1805256/2055920 swapFree=4192812/4192956
[pid=8854] ppid=8852 vsize=5352 CPUtime=0
/proc/8854/stat : 8854 (cspfj.sh) S 8852 8854 7889 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 171863621 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8854/statm: 1338 240 201 169 0 49 0
[pid=8857] ppid=8854 vsize=868732 CPUtime=761.96
/proc/8857/stat : 8857 (java) R 8854 8854 7889 0 -1 0 10890 0 1 0 75496 700 0 0 17 0 8 0 171863622 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074245453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8857/statm: 217183 9514 1841 14 0 204445 0
[pid=8857/tid=8858] ppid=8854 vsize=868732 CPUtime=3.07
/proc/8857/task/8858/stat : 8858 (java) S 8854 8854 7889 0 -1 64 3093 0 0 0 297 10 0 0 16 0 8 0 171863625 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8859] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8859/stat : 8859 (java) S 8854 8854 7889 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8860] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8860/stat : 8860 (java) S 8854 8854 7889 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 171863626 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8861] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8861/stat : 8861 (java) S 8854 8854 7889 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171863629 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8862] ppid=8854 vsize=868732 CPUtime=1.4
/proc/8857/task/8862/stat : 8862 (java) S 8854 8854 7889 0 -1 64 2052 0 0 0 134 6 0 0 16 0 8 0 171863629 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8863] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8863/stat : 8863 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 171863629 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8857/tid=8864] ppid=8854 vsize=868732 CPUtime=0
/proc/8857/task/8864/stat : 8864 (java) S 8854 8854 7889 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171863629 889581568 9514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 874084
Child status: 0
Real time (s): 791.396
CPU time (s): 790.006
CPU user time (s): 782.8
CPU system time (s): 7.2059
CPU usage (%): 99.8243
Max. virtual memory (cumulated for all children) (KiB): 874088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 782.8
system time used= 7.2059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11429
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= 23997
involuntary context switches= 13458
runsolver used 0.781881 s user time and 2.03769 s system time
The end
Begin job on node52 on Mon Jan 8 05:37:30 UTC 2007
IDJOB= 215368
IDBENCH= 4996
FILE ID= node52/215368-1168234650
PBS_JOBID= 3481375
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32e2.xml
COMMAND LINE= /tmp/evaluation/215368-1168234650/cspfj.sh -solver Combo -competition /tmp/evaluation/215368-1168234650/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-215368-1168234650 -o ROOT/results/node52/solver-215368-1168234650 -C 1800 -M 900 /tmp/evaluation/215368-1168234650/cspfj.sh -solver Combo -competition /tmp/evaluation/215368-1168234650/unknown.xml
META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH= 3b692e4a17e78377f286e1bb130ab2ea
RANDOM SEED= 675530473
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.232
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.232
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: 1836968 kB
Buffers: 39836 kB
Cached: 108132 kB
SwapCached: 0 kB
Active: 81456 kB
Inactive: 82352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1836968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 740 kB
Writeback: 0 kB
Mapped: 26064 kB
Slab: 41104 kB
Committed_AS: 3785444 kB
PageTables: 1484 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= 66558 MiB
End job on node52 on Mon Jan 8 05:50:43 UTC 2007