Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
MD5SUMe4d850251a185eefeba808334bb200f5
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 102000
Biggest coefficient in the objective function 166502400
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 44079267426
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 166502400
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 44079267426
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark54.3867
Number of variables118500
Total number of constraints10525
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10525
Minimum length of a constraint10
Maximum length of a constraint118500

Trace number 9956

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-23 16:05:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8634 boxname=wulflinc18 idbench=430 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e4d850251a185eefeba808334bb200f5  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit2d.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit2d.opb
IDLAUNCH: 8634
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        897352 kB
Buffers:         14772 kB
Cached:         102256 kB
SwapCached:          0 kB
Active:          78920 kB
Inactive:        41060 kB
HighTotal:      131008 kB
HighFree:        24444 kB
LowTotal:       903652 kB
LowFree:        872908 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11656 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:18:27 (client local time) WITH STATUS 1 IN 768.875 SECONDS
stats: 8634 7 768.875 1

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21493073 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7342/statm): 373 2 364 364 0 9 0
[pid=7342] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit2d.opb

[startup+10.0015 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 7342
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 2509 0 0 0 991 7 0 0 25 0 1 0 21493073 9371648 1823 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7342/statm): 2288 1823 364 364 0 1924 0
[pid=7342] vsize: 9152
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9152

[startup+20.0024 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7342
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 3045 0 0 0 1989 9 0 0 25 0 1 0 21493073 10858496 2350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 2651 2350 364 364 0 2287 0
[pid=7342] vsize: 10604
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10604

[startup+30.0023 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 4429 0 0 0 2986 12 0 0 25 0 1 0 21493073 15769600 2989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 3850 2989 364 364 0 3486 0
[pid=7342] vsize: 15400
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15400

[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 4715 0 0 0 3985 13 0 0 25 0 1 0 21493073 16445440 3271 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 4015 3271 364 364 0 3651 0
[pid=7342] vsize: 16060
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16060

[startup+50.0032 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 4974 0 0 0 4984 13 0 0 25 0 1 0 21493073 17121280 3525 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 4180 3525 364 364 0 3816 0
[pid=7342] vsize: 16720
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16720

[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5200 0 0 0 5984 14 0 0 25 0 1 0 21493073 17797120 3748 4294967295 134512640 135987407 3221224560 3221222032 134607562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 4345 3748 364 364 0 3981 0
[pid=7342] vsize: 17380
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17380

[startup+70.004 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5406 0 0 0 6984 14 0 0 25 0 1 0 21493073 18202624 3950 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 4444 3950 364 364 0 4080 0
[pid=7342] vsize: 17776
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17776

[startup+80.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5596 0 0 0 7983 15 0 0 25 0 1 0 21493073 18743296 4137 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 4576 4137 364 364 0 4212 0
[pid=7342] vsize: 18304
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18304

[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5776 0 0 0 8983 15 0 0 25 0 1 0 21493073 19148800 4314 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 4675 4314 364 364 0 4311 0
[pid=7342] vsize: 18700
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18700

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5947 0 0 0 9982 16 0 0 25 0 1 0 21493073 19689472 4483 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 4807 4483 364 364 0 4443 0
[pid=7342] vsize: 19228
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19228

[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8315 0 0 0 10976 22 0 0 25 0 1 0 21493073 28835840 5373 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7040 5373 364 364 0 6676 0
[pid=7342] vsize: 28160
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28160

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8374 0 0 0 11976 22 0 0 25 0 1 0 21493073 28835840 5430 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7040 5430 364 364 0 6676 0
[pid=7342] vsize: 28160
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28160

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8488 0 0 0 12976 23 0 0 25 0 1 0 21493073 29106176 5541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7106 5541 364 364 0 6742 0
[pid=7342] vsize: 28424
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28424

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8617 0 0 0 13976 23 0 0 25 0 1 0 21493073 29376512 5668 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7172 5668 364 364 0 6808 0
[pid=7342] vsize: 28688
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28688

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8741 0 0 0 14975 24 0 0 25 0 1 0 21493073 29646848 5789 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7238 5789 364 364 0 6874 0
[pid=7342] vsize: 28952
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28952

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8862 0 0 0 15975 24 0 0 25 0 1 0 21493073 29917184 5908 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7304 5908 364 364 0 6940 0
[pid=7342] vsize: 29216
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29216

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8980 0 0 0 16975 24 0 0 25 0 1 0 21493073 30187520 6024 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7370 6024 364 364 0 7006 0
[pid=7342] vsize: 29480
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29480

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9102 0 0 0 17974 25 0 0 25 0 1 0 21493073 30593024 6144 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7469 6144 364 364 0 7105 0
[pid=7342] vsize: 29876
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29876

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9230 0 0 0 18974 25 0 0 25 0 1 0 21493073 30863360 6270 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7535 6270 364 364 0 7171 0
[pid=7342] vsize: 30140
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30140

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9354 0 0 0 19974 26 0 0 25 0 1 0 21493073 31133696 6392 4294967295 134512640 135987407 3221224560 3221221600 134931334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7601 6392 364 364 0 7237 0
[pid=7342] vsize: 30404
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 30404

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9475 0 0 0 20973 26 0 0 25 0 1 0 21493073 31539200 6511 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7700 6511 364 364 0 7336 0
[pid=7342] vsize: 30800
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30800

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9596 0 0 0 21973 26 0 0 25 0 1 0 21493073 31809536 6630 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7766 6630 364 364 0 7402 0
[pid=7342] vsize: 31064
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 31064

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9712 0 0 0 22973 26 0 0 25 0 1 0 21493073 32079872 6744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7832 6744 364 364 0 7468 0
[pid=7342] vsize: 31328
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31328

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9827 0 0 0 23973 27 0 0 25 0 1 0 21493073 32350208 6857 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7898 6857 364 364 0 7534 0
[pid=7342] vsize: 31592
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 31592

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9940 0 0 0 24973 27 0 0 25 0 1 0 21493073 32755712 6968 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 7997 6968 364 364 0 7633 0
[pid=7342] vsize: 31988
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 31988

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 10048 0 0 0 25973 27 0 0 25 0 1 0 21493073 33026048 7075 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 8063 7075 364 364 0 7699 0
[pid=7342] vsize: 32252
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 32252

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 10156 0 0 0 26973 27 0 0 25 0 1 0 21493073 33296384 7181 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 8129 7181 364 364 0 7765 0
[pid=7342] vsize: 32516
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 32516

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 11258 0 0 0 27971 29 0 0 25 0 1 0 21493073 37621760 8281 4294967295 134512640 135987407 3221224560 3221221792 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 9185 8281 364 364 0 8821 0
[pid=7342] vsize: 36740
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 36740

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 24975 0 0 0 28937 61 0 0 25 0 1 0 21493073 78290944 16398 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19114 16398 364 364 0 18750 0
[pid=7342] vsize: 76456
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 76456

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25226 0 0 0 29936 62 0 0 25 0 1 0 21493073 78954496 16551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19276 16551 364 364 0 18912 0
[pid=7342] vsize: 77104
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 77104

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25256 0 0 0 30936 62 0 0 25 0 1 0 21493073 78954496 16581 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19276 16581 364 364 0 18912 0
[pid=7342] vsize: 77104
Current children cumulated CPU time (s) 309.98
Current children cumulated vsize (Kb) 77104

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25534 0 0 0 31936 62 0 0 25 0 1 0 21493073 80019456 16730 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16730 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 319.98
Current children cumulated vsize (Kb) 78144

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25553 0 0 0 32936 63 0 0 25 0 1 0 21493073 80019456 16749 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16749 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (Kb) 78144

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25570 0 0 0 33936 63 0 0 25 0 1 0 21493073 80019456 16766 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16766 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (Kb) 78144

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25586 0 0 0 34936 63 0 0 25 0 1 0 21493073 80019456 16782 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16782 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 78144

[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25600 0 0 0 35936 63 0 0 25 0 1 0 21493073 80019456 16796 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16796 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 359.99
Current children cumulated vsize (Kb) 78144

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25614 0 0 0 36936 63 0 0 25 0 1 0 21493073 80019456 16810 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16810 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 369.99
Current children cumulated vsize (Kb) 78144

[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25626 0 0 0 37936 63 0 0 25 0 1 0 21493073 80019456 16822 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16822 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 78144

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25638 0 0 0 38936 63 0 0 25 0 1 0 21493073 80019456 16834 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 19536 16834 364 364 0 19172 0
[pid=7342] vsize: 78144
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 78144

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26162 0 0 0 39935 64 0 0 25 0 1 0 21493073 82149376 17101 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17101 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 399.99
Current children cumulated vsize (Kb) 80224

[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26172 0 0 0 40935 64 0 0 25 0 1 0 21493073 82149376 17111 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17111 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 80224

[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26182 0 0 0 41935 64 0 0 25 0 1 0 21493073 82149376 17121 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17121 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 80224

[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26192 0 0 0 42936 64 0 0 25 0 1 0 21493073 82149376 17131 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17131 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 430
Current children cumulated vsize (Kb) 80224

[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26201 0 0 0 43936 64 0 0 25 0 1 0 21493073 82149376 17140 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17140 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 80224

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26211 0 0 0 44936 64 0 0 25 0 1 0 21493073 82149376 17150 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17150 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 450
Current children cumulated vsize (Kb) 80224

[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26219 0 0 0 45936 65 0 0 25 0 1 0 21493073 82149376 17158 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17158 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (Kb) 80224

[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26228 0 0 0 46936 65 0 0 25 0 1 0 21493073 82149376 17167 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17167 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 470.01
Current children cumulated vsize (Kb) 80224

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26236 0 0 0 47936 65 0 0 25 0 1 0 21493073 82149376 17175 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7342/statm): 20056 17175 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 480.01
Current children cumulated vsize (Kb) 80224

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26244 0 0 0 48936 65 0 0 25 0 1 0 21493073 82149376 17183 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7342/statm): 20056 17183 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 490.01
Current children cumulated vsize (Kb) 80224

[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26252 0 0 0 49936 65 0 0 25 0 1 0 21493073 82149376 17191 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7342/statm): 20056 17191 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 500.01
Current children cumulated vsize (Kb) 80224

[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26260 0 0 0 50936 65 0 0 25 0 1 0 21493073 82149376 17199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7342/statm): 20056 17199 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 510.01
Current children cumulated vsize (Kb) 80224

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26267 0 0 0 51936 65 0 0 25 0 1 0 21493073 82149376 17206 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17206 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 520.01
Current children cumulated vsize (Kb) 80224

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26275 0 0 0 52936 65 0 0 25 0 1 0 21493073 82149376 17214 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17214 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 530.01
Current children cumulated vsize (Kb) 80224

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26282 0 0 0 53936 65 0 0 25 0 1 0 21493073 82149376 17221 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17221 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 540.01
Current children cumulated vsize (Kb) 80224

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26289 0 0 0 54936 65 0 0 25 0 1 0 21493073 82149376 17228 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17228 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 550.01
Current children cumulated vsize (Kb) 80224

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26296 0 0 0 55937 65 0 0 25 0 1 0 21493073 82149376 17235 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17235 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 80224

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26303 0 0 0 56937 65 0 0 25 0 1 0 21493073 82149376 17242 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17242 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 570.02
Current children cumulated vsize (Kb) 80224

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26309 0 0 0 57937 65 0 0 25 0 1 0 21493073 82149376 17248 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17248 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (Kb) 80224

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26316 0 0 0 58937 65 0 0 25 0 1 0 21493073 82149376 17255 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17255 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 590.02
Current children cumulated vsize (Kb) 80224

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26322 0 0 0 59937 65 0 0 25 0 1 0 21493073 82149376 17261 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17261 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (Kb) 80224

[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26329 0 0 0 60937 65 0 0 25 0 1 0 21493073 82149376 17268 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17268 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 610.02
Current children cumulated vsize (Kb) 80224

[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26335 0 0 0 61937 65 0 0 25 0 1 0 21493073 82149376 17274 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17274 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 620.02
Current children cumulated vsize (Kb) 80224

[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26341 0 0 0 62937 65 0 0 25 0 1 0 21493073 82149376 17280 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17280 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 630.02
Current children cumulated vsize (Kb) 80224

[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26347 0 0 0 63937 66 0 0 25 0 1 0 21493073 82149376 17286 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17286 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 640.03
Current children cumulated vsize (Kb) 80224

[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26353 0 0 0 64937 66 0 0 25 0 1 0 21493073 82149376 17292 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17292 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 650.03
Current children cumulated vsize (Kb) 80224

[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26359 0 0 0 65937 66 0 0 25 0 1 0 21493073 82149376 17298 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 20056 17298 364 364 0 19692 0
[pid=7342] vsize: 80224
Current children cumulated CPU time (s) 660.03
Current children cumulated vsize (Kb) 80224

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 43637 0 0 0 66898 103 0 0 25 0 1 0 21493073 145317888 29652 4294967295 134512640 135987407 3221224560 3195032652 135480498 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 35478 29652 364 364 0 35114 0
[pid=7342] vsize: 141912
Current children cumulated CPU time (s) 670.01
Current children cumulated vsize (Kb) 141912

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 85165 0 0 0 67806 191 0 0 25 0 1 0 21493073 335474688 61369 4294967295 134512640 135987407 3221224560 3188700752 134856382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 81903 61369 364 364 0 81539 0
[pid=7342] vsize: 327612
Current children cumulated CPU time (s) 679.97
Current children cumulated vsize (Kb) 327612

[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 120751 0 0 0 68723 271 0 0 25 0 1 0 21493073 384823296 75086 4294967295 134512640 135987407 3221224560 3183444028 135481565 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 93951 75086 364 364 0 93587 0
[pid=7342] vsize: 375804
Current children cumulated CPU time (s) 689.94
Current children cumulated vsize (Kb) 375804

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 141755 0 0 0 69675 315 0 0 25 0 1 0 21493073 451088384 95859 4294967295 134512640 135987407 3221224560 3181667248 134931273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 110129 95859 364 364 0 109765 0
[pid=7342] vsize: 440516
Current children cumulated CPU time (s) 699.9
Current children cumulated vsize (Kb) 440516

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 184815 0 0 0 70582 404 0 0 25 0 1 0 21493073 585519104 119301 4294967295 134512640 135987407 3221224560 3182960188 135480948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 142949 119301 364 364 0 142585 0
[pid=7342] vsize: 571796
Current children cumulated CPU time (s) 709.86
Current children cumulated vsize (Kb) 571796

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 226311 0 0 0 71491 493 0 0 25 0 1 0 21493073 706863104 136030 4294967295 134512640 135987407 3221224560 3202037988 134861824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 172574 136030 364 364 0 172210 0
[pid=7342] vsize: 690296
Current children cumulated CPU time (s) 719.84
Current children cumulated vsize (Kb) 690296

[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 243703 0 0 0 72447 535 0 0 25 0 1 0 21493073 764207104 153200 4294967295 134512640 135987407 3221224560 3181824492 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 186574 153200 364 364 0 186210 0
[pid=7342] vsize: 746296
Current children cumulated CPU time (s) 729.82
Current children cumulated vsize (Kb) 746296

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 263195 0 0 0 73402 578 0 0 25 0 1 0 21493073 789348352 172458 4294967295 134512640 135987407 3221224560 3182177420 134637029 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 192712 172458 364 364 0 192348 0
[pid=7342] vsize: 770848
Current children cumulated CPU time (s) 739.8
Current children cumulated vsize (Kb) 770848

[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 282057 0 0 0 74357 620 0 0 25 0 1 0 21493073 869552128 191134 4294967295 134512640 135987407 3221224560 3199577696 134877726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 212293 191134 364 364 0 211929 0
[pid=7342] vsize: 849172
Current children cumulated CPU time (s) 749.77
Current children cumulated vsize (Kb) 849172

[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7344
Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 289504 0 0 0 75338 638 0 0 25 0 1 0 21493073 882765824 198488 4294967295 134512640 135987407 3221224560 3201205956 135328391 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7342/statm): 215519 198488 364 364 0 215155 0
[pid=7342] vsize: 862076
Current children cumulated CPU time (s) 759.76
Current children cumulated vsize (Kb) 862076
One traced child (pid=7342) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 769.14
CPU time (s): 768.875
CPU user time (s): 762.092
CPU system time (s): 6.78297
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (Kb): 862076

Verifier Data

ERROR: no interpretation found !