505.90 v 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 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 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 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 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 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 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 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1
505.90 s SATISFIABLE
505.90 c 295.08 s
505.90 d NODES 6642
505.90 d CHECKS 14337850
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-271241-1169160565 -o ROOT/results/node13/solver-271241-1169160565 -C 1800 -M 900 /tmp/evaluation/271241-1169160565/cspfj.sh -competition /tmp/evaluation/271241-1169160565/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: 0.94 1.06 1.38 3/94 5548
/proc/meminfo: memFree=1432280/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) R 5544 5546 5303 0 -1 4194304 261 0 0 0 0 0 0 0 20 0 1 0 264451550 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757246111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/5546/statm: 1338 228 191 169 0 49 0
[startup+0.104446 s]
/proc/loadavg: 0.94 1.06 1.38 3/94 5548
/proc/meminfo: memFree=1432280/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.512502 s]
/proc/loadavg: 0.94 1.06 1.38 3/94 5548
/proc/meminfo: memFree=1432280/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.338 s]
/proc/loadavg: 0.94 1.06 1.38 3/102 5556
/proc/meminfo: memFree=1417824/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=866172 CPUtime=1.25
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 6023 0 1 0 120 5 0 0 23 0 8 0 264451551 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 216543 5699 1835 14 0 203804 0
[pid=5549/tid=5550] ppid=5546 vsize=866172 CPUtime=0.14
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 1793 0 0 0 14 0 0 0 16 0 8 0 264451559 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=866172 CPUtime=0
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264451560 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=866172 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=866172 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=866172 CPUtime=0.26
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 688 0 0 0 25 1 0 0 15 0 8 0 264451563 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=866172 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=866172 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 886960128 5699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 871524
[startup+2.99583 s]
/proc/loadavg: 1.11 1.09 1.39 3/102 5556
/proc/meminfo: memFree=1393312/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=866332 CPUtime=2.91
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 15357 0 1 0 277 14 0 0 25 0 8 0 264451551 887123968 14986 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154015731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 216583 14986 1835 14 0 203844 0
[pid=5549/tid=5550] ppid=5546 vsize=866332 CPUtime=0.45
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 10241 0 0 0 41 4 0 0 16 0 8 0 264451559 887123968 14986 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=866332 CPUtime=0
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264451560 887123968 14986 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=866332 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 887123968 14986 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=866332 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 887123968 14986 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=866332 CPUtime=0.3
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 707 0 0 0 29 1 0 0 15 0 8 0 264451563 887123968 14986 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=866332 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 887123968 14986 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=866332 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 887123968 14986 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) 871684
[startup+6.29027 s]
/proc/loadavg: 1.11 1.09 1.39 3/102 5556
/proc/meminfo: memFree=1334944/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=866504 CPUtime=6.18
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 24983 0 1 0 590 28 0 0 25 0 8 0 264451551 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074076967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 216626 24592 1835 14 0 203887 0
[pid=5549/tid=5550] ppid=5546 vsize=866504 CPUtime=0.71
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 18680 0 0 0 63 8 0 0 16 0 8 0 264451559 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264451560 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=866504 CPUtime=0.38
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 740 0 0 0 37 1 0 0 15 0 8 0 264451563 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 887300096 24592 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 871856
[startup+12.7131 s]
/proc/loadavg: 1.32 1.14 1.40 3/102 5556
/proc/meminfo: memFree=1313440/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=866504 CPUtime=12.58
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 27855 0 1 0 1217 41 0 0 25 0 8 0 264451551 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073822360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 216626 27454 1835 14 0 203887 0
[pid=5549/tid=5550] ppid=5546 vsize=866504 CPUtime=0.84
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 20559 0 0 0 75 9 0 0 16 0 8 0 264451559 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 264451560 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=866504 CPUtime=0.38
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 740 0 0 0 37 1 0 0 15 0 8 0 264451563 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 887300096 27454 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 871856
[startup+25.5819 s]
/proc/loadavg: 1.42 1.16 1.41 3/102 5556
/proc/meminfo: memFree=1287328/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=866504 CPUtime=25.38
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 31881 0 1 0 2482 56 0 0 25 0 8 0 264451551 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073804554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 216626 31469 1835 14 0 203887 0
[pid=5549/tid=5550] ppid=5546 vsize=866504 CPUtime=1.2
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 23264 0 0 0 109 11 0 0 16 0 8 0 264451559 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 264451560 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=866504 CPUtime=0.39
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 740 0 0 0 37 2 0 0 16 0 8 0 264451563 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=866504 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 887300096 31469 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 871856
[startup+51.2443 s]
/proc/loadavg: 1.62 1.23 1.42 3/102 5556
/proc/meminfo: memFree=1249056/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=867448 CPUtime=50.91
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 37004 0 1 0 5014 77 0 0 25 0 8 0 264451551 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073804554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 216862 36580 1835 14 0 204123 0
[pid=5549/tid=5550] ppid=5546 vsize=867448 CPUtime=1.99
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 26956 0 0 0 187 12 0 0 16 0 8 0 264451559 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=867448 CPUtime=0
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 264451560 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=867448 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=867448 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=867448 CPUtime=0.39
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 740 0 0 0 37 2 0 0 16 0 8 0 264451563 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=867448 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=867448 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 888266752 36580 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 872800
[startup+102.489 s]
/proc/loadavg: 1.89 1.36 1.45 3/102 5556
/proc/meminfo: memFree=1198048/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=868248 CPUtime=101.91
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 43187 0 1 0 10085 106 0 0 25 0 8 0 264451551 889085952 42751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155092017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 217062 42751 1835 14 0 204323 0
[pid=5549/tid=5550] ppid=5546 vsize=868248 CPUtime=2.8
################
# More data... #
################
[pid=5549/tid=5551] ppid=5546 vsize=868248 CPUtime=0
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 264451560 889085952 42751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=868248 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 889085952 42751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=868248 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 889085952 42751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=868248 CPUtime=0.39
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 740 0 0 0 37 2 0 0 16 0 8 0 264451563 889085952 42751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=868248 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 889085952 42751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=868248 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 889085952 42751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 873600
[startup+162.587 s]
/proc/loadavg: 2.01 1.50 1.49 3/102 5556
/proc/meminfo: memFree=1169568/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=869528 CPUtime=161.73
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 49873 0 1 0 16044 129 0 0 25 0 8 0 264451551 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073772236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 217382 49425 1835 14 0 204643 0
[pid=5549/tid=5550] ppid=5546 vsize=869528 CPUtime=4.15
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 36006 0 0 0 399 16 0 0 16 0 8 0 264451559 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=869528 CPUtime=0.01
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 1 0 0 0 17 0 8 0 264451560 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=869528 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 264451560 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=869528 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=869528 CPUtime=0.39
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 741 0 0 0 37 2 0 0 16 0 8 0 264451563 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=869528 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=869528 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 890396672 49425 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 874880
[startup+222.654 s]
/proc/loadavg: 2.09 1.62 1.53 3/102 5556
/proc/meminfo: memFree=1153888/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=871128 CPUtime=221.51
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 54167 0 1 0 22011 140 0 0 25 0 8 0 264451551 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074248254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 217782 52913 1840 14 0 205043 0
[pid=5549/tid=5550] ppid=5546 vsize=871128 CPUtime=6.11
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 39609 0 0 0 593 18 0 0 16 0 8 0 264451559 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=871128 CPUtime=0.01
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 1 0 0 0 17 0 8 0 264451560 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 264451560 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=871128 CPUtime=0.48
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 778 0 0 0 46 2 0 0 15 0 8 0 264451563 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 892035072 52913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.51
Current children cumulated vsize (KiB) 876480
[startup+282.725 s]
/proc/loadavg: 2.06 1.70 1.56 3/102 5556
/proc/meminfo: memFree=1152096/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=871128 CPUtime=281.3
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 54625 0 1 0 27987 143 0 0 25 0 8 0 264451551 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074281876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 217782 53362 1840 14 0 205043 0
[pid=5549/tid=5550] ppid=5546 vsize=871128 CPUtime=6.37
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 39609 0 0 0 619 18 0 0 16 0 8 0 264451559 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=871128 CPUtime=0.01
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 1 0 0 0 17 0 8 0 264451560 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 264451560 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=871128 CPUtime=0.94
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 1227 0 0 0 91 3 0 0 17 0 8 0 264451563 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 892035072 53362 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.3
Current children cumulated vsize (KiB) 876480
[startup+342.8 s]
/proc/loadavg: 2.08 1.77 1.59 3/102 5556
/proc/meminfo: memFree=1151392/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=871128 CPUtime=341.09
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 54813 0 1 0 33965 144 0 0 25 0 8 0 264451551 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153379456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5549/statm: 217782 53543 1840 14 0 205043 0
[pid=5549/tid=5550] ppid=5546 vsize=871128 CPUtime=6.63
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 39609 0 0 0 645 18 0 0 16 0 8 0 264451559 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5551] ppid=5546 vsize=871128 CPUtime=0.01
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 1 0 0 0 17 0 8 0 264451560 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 264451560 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=871128 CPUtime=1.14
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 1408 0 0 0 110 4 0 0 16 0 8 0 264451563 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5555] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 892035072 53543 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.09
Current children cumulated vsize (KiB) 876480
[startup+402.836 s]
/proc/loadavg: 2.11 1.82 1.62 3/102 5628
/proc/meminfo: memFree=1192352/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=871128 CPUtime=400.93
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 55036 0 1 0 39947 146 0 0 25 0 8 0 264451551 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074281865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5549/statm: 217782 53755 1840 14 0 205043 0
[pid=5549/tid=5550] ppid=5546 vsize=871128 CPUtime=7.01
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 39609 0 0 0 683 18 0 0 16 0 8 0 264451559 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5549/tid=5551] ppid=5546 vsize=871128 CPUtime=0.01
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 1 0 0 0 17 0 8 0 264451560 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 264451560 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=871128 CPUtime=1.36
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 1620 0 0 0 131 5 0 0 16 0 8 0 264451563 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5549/tid=5555] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 892035072 53755 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.93
Current children cumulated vsize (KiB) 876480
[startup+462.933 s]
/proc/loadavg: 2.04 1.85 1.64 3/102 5628
/proc/meminfo: memFree=1185952/2055920 swapFree=4169400/4192956
[pid=5546] ppid=5544 vsize=5352 CPUtime=0
/proc/5546/stat : 5546 (cspfj.sh) S 5544 5546 5303 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 264451550 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5546/statm: 1338 240 201 169 0 49 0
[pid=5549] ppid=5546 vsize=871128 CPUtime=460.97
/proc/5549/stat : 5549 (java) R 5546 5546 5303 0 -1 0 55049 0 1 0 45950 147 0 0 25 0 8 0 264451551 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074318926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5549/statm: 217782 53759 1840 14 0 205043 0
[pid=5549/tid=5550] ppid=5546 vsize=871128 CPUtime=7.33
/proc/5549/task/5550/stat : 5550 (java) S 5546 5546 5303 0 -1 64 39609 0 0 0 715 18 0 0 16 0 8 0 264451559 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5549/tid=5551] ppid=5546 vsize=871128 CPUtime=0.01
/proc/5549/task/5551/stat : 5551 (java) S 5546 5546 5303 0 -1 64 11 0 0 0 1 0 0 0 17 0 8 0 264451560 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5552] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5552/stat : 5552 (java) S 5546 5546 5303 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 264451560 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5553] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5553/stat : 5553 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 264451563 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5554] ppid=5546 vsize=871128 CPUtime=1.36
/proc/5549/task/5554/stat : 5554 (java) S 5546 5546 5303 0 -1 64 1624 0 0 0 131 5 0 0 16 0 8 0 264451563 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5549/tid=5555] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5555/stat : 5555 (java) S 5546 5546 5303 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 264451563 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5549/tid=5556] ppid=5546 vsize=871128 CPUtime=0
/proc/5549/task/5556/stat : 5556 (java) S 5546 5546 5303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 264451563 892035072 53759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.97
Current children cumulated vsize (KiB) 876480
Child status: 0
Real time (s): 505.949
CPU time (s): 503.944
CPU user time (s): 502.433
CPU system time (s): 1.51177
CPU usage (%): 99.6038
Max. virtual memory (cumulated for all children) (KiB): 879512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 502.433
system time used= 1.51177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55648
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= 15196
involuntary context switches= 20232
runsolver used 0.58791 s user time and 1.66775 s system time
The end
Begin job on node13 on Thu Jan 18 22:49:26 UTC 2007
IDJOB= 271241
IDBENCH= 4999
IDSOLVER= 91
FILE ID= node13/271241-1169160565
PBS_JOBID= 3582710
Free space on /tmp= 66558 MiB
SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16b1.xml
COMMAND LINE= /tmp/evaluation/271241-1169160565/cspfj.sh -competition /tmp/evaluation/271241-1169160565/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-271241-1169160565 -o ROOT/results/node13/solver-271241-1169160565 -C 1800 -M 900 /tmp/evaluation/271241-1169160565/cspfj.sh -competition /tmp/evaluation/271241-1169160565/unknown.xml
META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH= 4163ccc10de5ab641614c8f6bd263422
RANDOM SEED= 292151761
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.247
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.247
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: 1433280 kB
Buffers: 54652 kB
Cached: 419580 kB
SwapCached: 3060 kB
Active: 280328 kB
Inactive: 265940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1433280 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 7044 kB
Writeback: 0 kB
Mapped: 87656 kB
Slab: 60812 kB
Committed_AS: 7270956 kB
PageTables: 2556 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 node13 on Thu Jan 18 22:57:52 UTC 2007