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-czprob.opb
MD5SUM8225997c3fd9c39c0ae1e7fa3d3e4160
Bench Categoryoptimization, big integers (OPTBIGINT)
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 98250
Biggest coefficient in the objective function 16496969383936000
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 33458351340667289600
Number of bits of the sum of numbers in the objective function 65
Biggest number in a constraint 16496969383936000
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 33458351340667289600
Number of bits of the biggest sum of numbers65
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables98820
Total number of constraints927
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 constraints927
Minimum length of a constraint30
Maximum length of a constraint11190

Trace number 9897

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 16:02:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8623 boxname=wulflinc8 idbench=419 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8225997c3fd9c39c0ae1e7fa3d3e4160  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-czprob.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-czprob.opb
IDLAUNCH: 8623
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
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:        925864 kB
Buffers:         12784 kB
Cached:          78540 kB
SwapCached:          0 kB
Active:          55144 kB
Inactive:        39108 kB
HighTotal:      131008 kB
HighFree:        48524 kB
LowTotal:       903652 kB
LowFree:        877340 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9012 kB
Committed_AS:    63632 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:09:06 (client local time) WITH STATUS 1 IN 366.816 SECONDS
stats: 8623 7 366.816 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/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21490495 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 373 2 364 364 0 9 0
[pid=8416] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-czprob.opb

[startup+10.0017 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 2582 0 0 0 993 5 0 0 25 0 1 0 21490495 9736192 1898 4294967295 134512640 135987407 3221224560 3221221820 134669188 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 2377 1898 364 364 0 2013 0
[pid=8416] vsize: 9508
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9508

[startup+20.0025 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 3118 0 0 0 1991 6 0 0 25 0 1 0 21490495 11223040 2425 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 2740 2425 364 364 0 2376 0
[pid=8416] vsize: 10960
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 10960

[startup+30.0022 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 4502 0 0 0 2988 9 0 0 25 0 1 0 21490495 16134144 3064 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 3939 3064 364 364 0 3575 0
[pid=8416] vsize: 15756
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15756

[startup+40.002 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 4781 0 0 0 3986 10 0 0 25 0 1 0 21490495 16809984 3338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 4104 3338 364 364 0 3740 0
[pid=8416] vsize: 16416
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 16416

[startup+50.0028 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 5041 0 0 0 4985 11 0 0 25 0 1 0 21490495 17485824 3594 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 4269 3594 364 364 0 3905 0
[pid=8416] vsize: 17076
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 17076

[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 5271 0 0 0 5984 13 0 0 25 0 1 0 21490495 18026496 3820 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 4401 3820 364 364 0 4037 0
[pid=8416] vsize: 17604
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 17604

[startup+70.0034 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 5480 0 0 0 6984 13 0 0 25 0 1 0 21490495 18567168 4026 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 4533 4026 364 364 0 4169 0
[pid=8416] vsize: 18132
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 18132

[startup+80.0041 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 5675 0 0 0 7983 14 0 0 25 0 1 0 21490495 19107840 4218 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 4665 4218 364 364 0 4301 0
[pid=8416] vsize: 18660
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18660

[startup+90.0039 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 5858 0 0 0 8983 14 0 0 25 0 1 0 21490495 19648512 4398 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 4797 4398 364 364 0 4433 0
[pid=8416] vsize: 19188
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 19188

[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 6031 0 0 0 9982 15 0 0 25 0 1 0 21490495 20054016 4568 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 4896 4568 364 364 0 4532 0
[pid=8416] vsize: 19584
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 19584

[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 8412 0 0 0 10976 20 0 0 25 0 1 0 21490495 29335552 5471 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7162 5471 364 364 0 6798 0
[pid=8416] vsize: 28648
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 28648

[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 8469 0 0 0 11976 20 0 0 25 0 1 0 21490495 29335552 5526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7162 5526 364 364 0 6798 0
[pid=8416] vsize: 28648
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 28648

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 8570 0 0 0 12975 21 0 0 25 0 1 0 21490495 29470720 5624 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7195 5624 364 364 0 6831 0
[pid=8416] vsize: 28780
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 28780

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 8695 0 0 0 13975 21 0 0 25 0 1 0 21490495 29741056 5747 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7261 5747 364 364 0 6897 0
[pid=8416] vsize: 29044
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 29044

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 8818 0 0 0 14974 22 0 0 25 0 1 0 21490495 30011392 5868 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7327 5868 364 364 0 6963 0
[pid=8416] vsize: 29308
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 29308

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 8937 0 0 0 15974 22 0 0 25 0 1 0 21490495 30281728 5985 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7393 5985 364 364 0 7029 0
[pid=8416] vsize: 29572
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 29572

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9051 0 0 0 16973 23 0 0 25 0 1 0 21490495 30552064 6097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7459 6097 364 364 0 7095 0
[pid=8416] vsize: 29836
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 29836

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9167 0 0 0 17973 23 0 0 25 0 1 0 21490495 30822400 6210 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7525 6210 364 364 0 7161 0
[pid=8416] vsize: 30100
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 30100

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8416
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9291 0 0 0 18972 24 0 0 25 0 1 0 21490495 31227904 6332 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7624 6332 364 364 0 7260 0
[pid=8416] vsize: 30496
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 30496

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9412 0 0 0 19971 25 0 0 25 0 1 0 21490495 31498240 6452 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7690 6452 364 364 0 7326 0
[pid=8416] vsize: 30760
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 30760

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9531 0 0 0 20971 25 0 0 25 0 1 0 21490495 31768576 6569 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7756 6569 364 364 0 7392 0
[pid=8416] vsize: 31024
Current children cumulated CPU time (s) 209.96
Current children cumulated vsize (Kb) 31024

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9648 0 0 0 21970 25 0 0 25 0 1 0 21490495 32038912 6684 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7822 6684 364 364 0 7458 0
[pid=8416] vsize: 31288
Current children cumulated CPU time (s) 219.95
Current children cumulated vsize (Kb) 31288

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9763 0 0 0 22970 26 0 0 25 0 1 0 21490495 32444416 6797 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7921 6797 364 364 0 7557 0
[pid=8416] vsize: 31684
Current children cumulated CPU time (s) 229.96
Current children cumulated vsize (Kb) 31684

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9873 0 0 0 23969 27 0 0 25 0 1 0 21490495 32714752 6905 4294967295 134512640 135987407 3221224560 3221221848 134637789 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 7987 6905 364 364 0 7623 0
[pid=8416] vsize: 31948
Current children cumulated CPU time (s) 239.96
Current children cumulated vsize (Kb) 31948

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 9986 0 0 0 24968 28 0 0 25 0 1 0 21490495 32985088 7016 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 8053 7016 364 364 0 7689 0
[pid=8416] vsize: 32212
Current children cumulated CPU time (s) 249.96
Current children cumulated vsize (Kb) 32212

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 10093 0 0 0 25968 28 0 0 25 0 1 0 21490495 33255424 7122 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 8119 7122 364 364 0 7755 0
[pid=8416] vsize: 32476
Current children cumulated CPU time (s) 259.96
Current children cumulated vsize (Kb) 32476

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 29172 0 0 0 26926 68 0 0 25 0 1 0 21490495 92667904 20610 4294967295 134512640 135987407 3221224560 3219486928 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 22624 20610 364 364 0 22260 0
[pid=8416] vsize: 90496
Current children cumulated CPU time (s) 269.94
Current children cumulated vsize (Kb) 90496

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 62414 0 0 0 27850 141 0 0 25 0 1 0 21490495 207843328 39569 4294967295 134512640 135987407 3221224560 3219504700 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 50743 39569 364 364 0 50379 0
[pid=8416] vsize: 202972
Current children cumulated CPU time (s) 279.91
Current children cumulated vsize (Kb) 202972

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 94423 0 0 0 28779 207 0 0 25 0 1 0 21490495 291414016 61650 4294967295 134512640 135987407 3221224560 3219494880 134877924 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 71146 61650 364 364 0 70782 0
[pid=8416] vsize: 284584
Current children cumulated CPU time (s) 289.86
Current children cumulated vsize (Kb) 284584

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) T 8415 8416 4060 0 -1 0 123991 0 0 0 29712 273 0 0 25 0 1 0 21490495 399360000 78724 4294967295 134512640 135987407 3221224560 3219475116 135635874 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 97500 78724 364 364 0 97136 0
[pid=8416] vsize: 390000
Current children cumulated CPU time (s) 299.85
Current children cumulated vsize (Kb) 390000

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 155884 0 0 0 30646 334 0 0 25 0 1 0 21490495 588468224 109908 4294967295 134512640 135987407 3221224560 3219460540 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 143669 109908 364 364 0 143305 0
[pid=8416] vsize: 574676
Current children cumulated CPU time (s) 309.8
Current children cumulated vsize (Kb) 574676

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 208719 0 0 0 31528 450 0 0 25 0 1 0 21490495 662028288 119073 4294967295 134512640 135987407 3221224560 3219614532 135478543 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 161628 119073 364 364 0 161264 0
[pid=8416] vsize: 646512
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (Kb) 646512

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 225619 0 0 0 32493 484 0 0 25 0 1 0 21490495 718831616 135773 4294967295 134512640 135987407 3221224560 3219523580 134639156 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 175496 135773 364 364 0 175132 0
[pid=8416] vsize: 701984
Current children cumulated CPU time (s) 329.77
Current children cumulated vsize (Kb) 701984

[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 244890 0 0 0 33451 523 0 0 25 0 1 0 21490495 744378368 154813 4294967295 134512640 135987407 3221224560 3219588400 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 181733 154813 364 364 0 181369 0
[pid=8416] vsize: 726932
Current children cumulated CPU time (s) 339.74
Current children cumulated vsize (Kb) 726932

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 263933 0 0 0 34411 561 0 0 25 0 1 0 21490495 769249280 173627 4294967295 134512640 135987407 3221224560 3219463036 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 187805 173627 364 364 0 187441 0
[pid=8416] vsize: 751220
Current children cumulated CPU time (s) 349.72
Current children cumulated vsize (Kb) 751220

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8418
Raw data (/proc/8416/stat): 8416 (pb2sat) R 8415 8416 4060 0 -1 0 279440 0 0 0 35376 596 0 0 25 0 1 0 21490495 841072640 188953 4294967295 134512640 135987407 3221224560 3219496000 134537371 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 205340 188953 364 364 0 204976 0
[pid=8416] vsize: 821360
Current children cumulated CPU time (s) 359.72
Current children cumulated vsize (Kb) 821360
One traced child (pid=8416) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 367.122
CPU time (s): 366.816
CPU user time (s): 360.378
CPU system time (s): 6.43802
CPU usage (%): 99.9167
Max. virtual memory (cumulated for all children) (Kb): 821360

Verifier Data

ERROR: no interpretation found !