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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
MD5SUM450ad3720278f8a937b0ae6f1c4dfd6d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 145051
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4825267
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 3840
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 4825267
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables636571
Total number of constraints113008
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2186
Number of constraints which are nor clauses,nor cardinality constraints110822
Minimum length of a constraint1
Maximum length of a constraint10240

Trace number 10587

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-23 19:02:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9323 boxname=wulflinc2 idbench=1119 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  450ad3720278f8a937b0ae6f1c4dfd6d  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos9.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos9.opb
IDLAUNCH: 9323
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        841196 kB
Buffers:         17788 kB
Cached:         155476 kB
SwapCached:          0 kB
Active:          93868 kB
Inactive:        82284 kB
HighTotal:      131008 kB
HighFree:         3696 kB
LowTotal:       903652 kB
LowFree:        837500 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11640 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:13:40 (client local time) WITH STATUS 1 IN 692.283 SECONDS
stats: 9323 7 692.283 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/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22570991 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 373 2 364 364 0 9 0
[pid=11576] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos9.opb

[startup+10.002 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 1333 0 0 0 993 4 0 0 25 0 1 0 22570991 5693440 1012 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 1390 1012 364 364 0 1026 0
[pid=11576] vsize: 5560
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5560

[startup+20.0028 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 2725 0 0 0 1989 8 0 0 25 0 1 0 22570991 10043392 2036 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 2452 2036 364 364 0 2088 0
[pid=11576] vsize: 9808
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 9808

[startup+30.0035 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 4235 0 0 0 2986 11 0 0 25 0 1 0 22570991 15360000 2799 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 3750 2799 364 364 0 3386 0
[pid=11576] vsize: 15000
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15000

[startup+40.0032 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 4516 0 0 0 3985 12 0 0 25 0 1 0 22570991 16035840 3075 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 3915 3075 364 364 0 3551 0
[pid=11576] vsize: 15660
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 15660

[startup+50.0039 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 4795 0 0 0 4984 13 0 0 25 0 1 0 22570991 16711680 3349 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 4080 3349 364 364 0 3716 0
[pid=11576] vsize: 16320
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16320

[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5046 0 0 0 5983 14 0 0 25 0 1 0 22570991 17387520 3596 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 4245 3596 364 364 0 3881 0
[pid=11576] vsize: 16980
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 16980

[startup+70.0043 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5271 0 0 0 6982 15 0 0 25 0 1 0 22570991 17928192 3818 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 4377 3818 364 364 0 4013 0
[pid=11576] vsize: 17508
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17508

[startup+80.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5477 0 0 0 7982 15 0 0 25 0 1 0 22570991 18468864 4020 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 4509 4020 364 364 0 4145 0
[pid=11576] vsize: 18036
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18036

[startup+90.0047 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5670 0 0 0 8981 16 0 0 25 0 1 0 22570991 19009536 4210 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 4641 4210 364 364 0 4277 0
[pid=11576] vsize: 18564
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18564

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5850 0 0 0 9981 16 0 0 25 0 1 0 22570991 19415040 4387 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 4740 4387 364 364 0 4376 0
[pid=11576] vsize: 18960
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 18960

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 6017 0 0 0 10981 17 0 0 25 0 1 0 22570991 19820544 4552 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 4839 4552 364 364 0 4475 0
[pid=11576] vsize: 19356
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 19356

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8352 0 0 0 11976 21 0 0 25 0 1 0 22570991 28966912 5409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7072 5409 364 364 0 6708 0
[pid=11576] vsize: 28288
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28288

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8418 0 0 0 12976 21 0 0 25 0 1 0 22570991 28966912 5473 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7072 5473 364 364 0 6708 0
[pid=11576] vsize: 28288
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28288

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8553 0 0 0 13976 21 0 0 25 0 1 0 22570991 29237248 5605 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7138 5605 364 364 0 6774 0
[pid=11576] vsize: 28552
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28552

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8681 0 0 0 14975 22 0 0 25 0 1 0 22570991 29507584 5731 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7204 5731 364 364 0 6840 0
[pid=11576] vsize: 28816
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 28816

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8804 0 0 0 15975 22 0 0 25 0 1 0 22570991 29913088 5852 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7303 5852 364 364 0 6939 0
[pid=11576] vsize: 29212
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 29212

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8926 0 0 0 16975 23 0 0 25 0 1 0 22570991 30183424 5971 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7369 5971 364 364 0 7005 0
[pid=11576] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9044 0 0 0 17974 23 0 0 25 0 1 0 22570991 30453760 6087 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7435 6087 364 364 0 7071 0
[pid=11576] vsize: 29740
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 29740

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9172 0 0 0 18974 24 0 0 25 0 1 0 22570991 30724096 6213 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7501 6213 364 364 0 7137 0
[pid=11576] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11576
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9299 0 0 0 19973 24 0 0 25 0 1 0 22570991 31129600 6338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7600 6338 364 364 0 7236 0
[pid=11576] vsize: 30400
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 30400

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9421 0 0 0 20973 25 0 0 25 0 1 0 22570991 31399936 6458 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7666 6458 364 364 0 7302 0
[pid=11576] vsize: 30664
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30664

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9543 0 0 0 21972 25 0 0 25 0 1 0 22570991 31670272 6578 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7732 6578 364 364 0 7368 0
[pid=11576] vsize: 30928
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9660 0 0 0 22972 25 0 0 25 0 1 0 22570991 32075776 6693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7831 6693 364 364 0 7467 0
[pid=11576] vsize: 31324
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 31324

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9776 0 0 0 23972 25 0 0 25 0 1 0 22570991 32346112 6807 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7897 6807 364 364 0 7533 0
[pid=11576] vsize: 31588
Current children cumulated CPU time (s) 239.97
Current children cumulated vsize (Kb) 31588

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9889 0 0 0 24972 26 0 0 25 0 1 0 22570991 32616448 6919 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 7963 6919 364 364 0 7599 0
[pid=11576] vsize: 31852
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 31852

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10000 0 0 0 25972 26 0 0 25 0 1 0 22570991 32886784 7028 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8029 7028 364 364 0 7665 0
[pid=11576] vsize: 32116
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 32116

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10109 0 0 0 26971 27 0 0 25 0 1 0 22570991 33157120 7135 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8095 7135 364 364 0 7731 0
[pid=11576] vsize: 32380
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 32380

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10216 0 0 0 27971 27 0 0 25 0 1 0 22570991 33427456 7240 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8161 7240 364 364 0 7797 0
[pid=11576] vsize: 32644
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 32644

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10322 0 0 0 28970 28 0 0 25 0 1 0 22570991 33697792 7345 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8227 7345 364 364 0 7863 0
[pid=11576] vsize: 32908
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 32908

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10427 0 0 0 29970 28 0 0 25 0 1 0 22570991 33968128 7448 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8293 7448 364 364 0 7929 0
[pid=11576] vsize: 33172
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 33172

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10529 0 0 0 30970 28 0 0 25 0 1 0 22570991 34238464 7548 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8359 7548 364 364 0 7995 0
[pid=11576] vsize: 33436
Current children cumulated CPU time (s) 309.98
Current children cumulated vsize (Kb) 33436

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10629 0 0 0 31970 28 0 0 25 0 1 0 22570991 34508800 7647 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8425 7647 364 364 0 8061 0
[pid=11576] vsize: 33700
Current children cumulated CPU time (s) 319.98
Current children cumulated vsize (Kb) 33700

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10728 0 0 0 32969 29 0 0 25 0 1 0 22570991 34779136 7744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8491 7744 364 364 0 8127 0
[pid=11576] vsize: 33964
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 33964

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10825 0 0 0 33969 29 0 0 25 0 1 0 22570991 35049472 7840 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8557 7840 364 364 0 8193 0
[pid=11576] vsize: 34228
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (Kb) 34228

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10920 0 0 0 34969 29 0 0 25 0 1 0 22570991 35319808 7933 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8623 7933 364 364 0 8259 0
[pid=11576] vsize: 34492
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 34492

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11016 0 0 0 35968 30 0 0 25 0 1 0 22570991 35454976 8028 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8656 8028 364 364 0 8292 0
[pid=11576] vsize: 34624
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34624

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11109 0 0 0 36968 30 0 0 25 0 1 0 22570991 35725312 8119 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8722 8119 364 364 0 8358 0
[pid=11576] vsize: 34888
Current children cumulated CPU time (s) 369.98
Current children cumulated vsize (Kb) 34888

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11202 0 0 0 37968 31 0 0 25 0 1 0 22570991 35995648 8211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8788 8211 364 364 0 8424 0
[pid=11576] vsize: 35152
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 35152

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11294 0 0 0 38968 31 0 0 25 0 1 0 22570991 36265984 8301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8854 8301 364 364 0 8490 0
[pid=11576] vsize: 35416
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 35416

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11384 0 0 0 39967 31 0 0 25 0 1 0 22570991 36536320 8390 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8920 8390 364 364 0 8556 0
[pid=11576] vsize: 35680
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 35680

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11472 0 0 0 40967 32 0 0 25 0 1 0 22570991 36671488 8476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 8953 8476 364 364 0 8589 0
[pid=11576] vsize: 35812
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 35812

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11562 0 0 0 41967 32 0 0 25 0 1 0 22570991 36941824 8565 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 9019 8565 364 364 0 8655 0
[pid=11576] vsize: 36076
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 36076

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11649 0 0 0 42967 32 0 0 25 0 1 0 22570991 37212160 8650 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 9085 8650 364 364 0 8721 0
[pid=11576] vsize: 36340
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 36340

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11737 0 0 0 43967 32 0 0 25 0 1 0 22570991 37347328 8737 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 9118 8737 364 364 0 8754 0
[pid=11576] vsize: 36472
Current children cumulated CPU time (s) 439.99
Current children cumulated vsize (Kb) 36472

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11820 0 0 0 44966 32 0 0 25 0 1 0 22570991 37617664 8819 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 9184 8819 364 364 0 8820 0
[pid=11576] vsize: 36736
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 36736

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11904 0 0 0 45966 33 0 0 25 0 1 0 22570991 37752832 8901 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 9217 8901 364 364 0 8853 0
[pid=11576] vsize: 36868
Current children cumulated CPU time (s) 459.99
Current children cumulated vsize (Kb) 36868

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11989 0 0 0 46966 33 0 0 25 0 1 0 22570991 38023168 8985 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 9283 8985 364 364 0 8919 0
[pid=11576] vsize: 37132
Current children cumulated CPU time (s) 469.99
Current children cumulated vsize (Kb) 37132

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16542 0 0 0 47957 41 0 0 25 0 1 0 22570991 56045568 10590 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13683 10590 364 364 0 13319 0
[pid=11576] vsize: 54732
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 54732

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16572 0 0 0 48957 41 0 0 25 0 1 0 22570991 56045568 10618 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13683 10618 364 364 0 13319 0
[pid=11576] vsize: 54732
Current children cumulated CPU time (s) 489.98
Current children cumulated vsize (Kb) 54732

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16601 0 0 0 49957 41 0 0 25 0 1 0 22570991 56045568 10646 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13683 10646 364 364 0 13319 0
[pid=11576] vsize: 54732
Current children cumulated CPU time (s) 499.98
Current children cumulated vsize (Kb) 54732

[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16631 0 0 0 50957 42 0 0 25 0 1 0 22570991 56045568 10675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13683 10675 364 364 0 13319 0
[pid=11576] vsize: 54732
Current children cumulated CPU time (s) 509.99
Current children cumulated vsize (Kb) 54732

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16660 0 0 0 51957 42 0 0 25 0 1 0 22570991 56045568 10703 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13683 10703 364 364 0 13319 0
[pid=11576] vsize: 54732
Current children cumulated CPU time (s) 519.99
Current children cumulated vsize (Kb) 54732

[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16689 0 0 0 52957 42 0 0 25 0 1 0 22570991 56045568 10730 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13683 10730 364 364 0 13319 0
[pid=11576] vsize: 54732
Current children cumulated CPU time (s) 529.99
Current children cumulated vsize (Kb) 54732

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16717 0 0 0 53957 42 0 0 25 0 1 0 22570991 56045568 10757 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13683 10757 364 364 0 13319 0
[pid=11576] vsize: 54732
Current children cumulated CPU time (s) 539.99
Current children cumulated vsize (Kb) 54732

[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16780 0 0 0 54956 42 0 0 25 0 1 0 22570991 56180736 10819 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13716 10819 364 364 0 13352 0
[pid=11576] vsize: 54864
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 54864

[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16847 0 0 0 55956 43 0 0 25 0 1 0 22570991 56315904 10885 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13749 10885 364 364 0 13385 0
[pid=11576] vsize: 54996
Current children cumulated CPU time (s) 559.99
Current children cumulated vsize (Kb) 54996

[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16914 0 0 0 56956 43 0 0 25 0 1 0 22570991 56451072 10950 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13782 10950 364 364 0 13418 0
[pid=11576] vsize: 55128
Current children cumulated CPU time (s) 569.99
Current children cumulated vsize (Kb) 55128

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16980 0 0 0 57956 43 0 0 25 0 1 0 22570991 56586240 11015 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 13815 11015 364 364 0 13451 0
[pid=11576] vsize: 55260
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (Kb) 55260

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 20422 0 0 0 58947 51 0 0 25 0 1 0 22570991 67174400 13698 4294967295 134512640 135987407 3221224560 3221222032 134607556 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 16400 13698 364 364 0 16036 0
[pid=11576] vsize: 65600
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 65600

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 36991 0 0 0 59908 89 0 0 25 0 1 0 22570991 115802112 22955 4294967295 134512640 135987407 3221224560 3221221828 135479922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 28272 22955 364 364 0 27908 0
[pid=11576] vsize: 113088
Current children cumulated CPU time (s) 599.97
Current children cumulated vsize (Kb) 113088

[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) T 11575 11576 4070 0 -1 0 54359 0 0 0 60863 131 0 0 25 0 1 0 22570991 229167104 36913 4294967295 134512640 135987407 3221224560 3221221020 135635874 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11576/statm): 55949 36913 364 364 0 55585 0
[pid=11576] vsize: 223796
Current children cumulated CPU time (s) 609.94
Current children cumulated vsize (Kb) 223796

[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 81230 0 0 0 61799 192 0 0 25 0 1 0 22570991 250241024 47852 4294967295 134512640 135987407 3221224560 3221221952 134616236 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 61094 47852 364 364 0 60730 0
[pid=11576] vsize: 244376
Current children cumulated CPU time (s) 619.91
Current children cumulated vsize (Kb) 244376

[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 92451 0 0 0 62767 222 0 0 25 0 1 0 22570991 284184576 58859 4294967295 134512640 135987407 3221224560 3221221776 134975600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 69381 58859 364 364 0 69017 0
[pid=11576] vsize: 277524
Current children cumulated CPU time (s) 629.89
Current children cumulated vsize (Kb) 277524

[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 129076 0 0 0 63688 296 0 0 25 0 1 0 22570991 409153536 75871 4294967295 134512640 135987407 3221224560 3221221904 134612820 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 99891 75871 364 364 0 99527 0
[pid=11576] vsize: 399564
Current children cumulated CPU time (s) 639.84
Current children cumulated vsize (Kb) 399564

[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 141237 0 0 0 64655 327 0 0 25 0 1 0 22570991 430305280 87799 4294967295 134512640 135987407 3221224560 3218113160 134866008 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 105055 87799 364 364 0 104691 0
[pid=11576] vsize: 420220
Current children cumulated CPU time (s) 649.82
Current children cumulated vsize (Kb) 420220

[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 171540 0 0 0 65582 397 0 0 25 0 1 0 22570991 523231232 105607 4294967295 134512640 135987407 3221224560 3218044672 135477285 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 127742 105607 364 364 0 127378 0
[pid=11576] vsize: 510968
Current children cumulated CPU time (s) 659.79
Current children cumulated vsize (Kb) 510968

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 192526 0 0 0 66531 445 0 0 25 0 1 0 22570991 582864896 126374 4294967295 134512640 135987407 3221224560 3218453168 134877726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 142301 126374 364 364 0 141937 0
[pid=11576] vsize: 569204
Current children cumulated CPU time (s) 669.76
Current children cumulated vsize (Kb) 569204

[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 234535 0 0 0 67432 541 0 0 25 0 1 0 22570991 712318976 143622 4294967295 134512640 135987407 3221224560 3217964332 135480442 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 173906 143622 364 364 0 173542 0
[pid=11576] vsize: 695624
Current children cumulated CPU time (s) 679.73
Current children cumulated vsize (Kb) 695624

[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11578
Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 250820 0 0 0 68397 573 0 0 25 0 1 0 22570991 735666176 159129 4294967295 134512640 135987407 3221224560 3221222724 135478476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11576/statm): 179606 159129 364 364 0 179242 0
[pid=11576] vsize: 718424
Current children cumulated CPU time (s) 689.7
Current children cumulated vsize (Kb) 718424
One traced child (pid=11576) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 692.6
CPU time (s): 692.283
CPU user time (s): 686.221
CPU system time (s): 6.06208
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (Kb): 718424

Verifier Data

ERROR: no interpretation found !