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

Namesubmitted/een/normalized-nw04.opb
MD5SUMc4c13764e2ea959929790d6ef6d0273c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 87482
Biggest coefficient in the objective function 5220
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 120189580
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 42031
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 120189580
Number of bits of the biggest sum of numbers27
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark19.3551
Number of variables87482
Total number of constraints72
Number of constraints which are clauses36
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint599
Maximum length of a constraint42032

Trace number 9792

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 15:15:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8481 boxname=wulflinc26 idbench=277 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c4c13764e2ea959929790d6ef6d0273c  /oldhome/oroussel/tmp/wulflinc26/normalized-nw04.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-nw04.opb
IDLAUNCH: 8481
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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	: 3
cpu MHz		: 451.055
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:        912756 kB
Buffers:         10912 kB
Cached:          93536 kB
SwapCached:          0 kB
Active:          57496 kB
Inactive:        49876 kB
HighTotal:      131008 kB
HighFree:        34440 kB
LowTotal:       903652 kB
LowFree:        878316 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8904 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:28:19 (client local time) WITH STATUS 1 IN 740.281 SECONDS
stats: 8481 7 740.281 1

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 70123
c big objective detected
c trying from 0 to 511

	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/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21158582 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7271/statm): 373 2 364 364 0 9 0
[pid=7271] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-nw04.opb

[startup+10.0026 s]
Raw data (loadavg): 0.88 0.94 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 2588 0 0 0 994 5 0 0 25 0 1 0 21158582 9633792 1901 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 2352 1901 364 364 0 1988 0
[pid=7271] vsize: 9408
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9408

[startup+20.0032 s]
Raw data (loadavg): 0.90 0.94 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4169 0 0 0 1989 9 0 0 25 0 1 0 21158582 15220736 2736 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 3716 2736 364 364 0 3352 0
[pid=7271] vsize: 14864
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14864

[startup+30.0029 s]
Raw data (loadavg): 0.91 0.94 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4410 0 0 0 2988 11 0 0 25 0 1 0 21158582 15626240 2971 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 3815 2971 364 364 0 3451 0
[pid=7271] vsize: 15260
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 15260

[startup+40.0036 s]
Raw data (loadavg): 0.93 0.94 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4674 0 0 0 3987 11 0 0 25 0 1 0 21158582 16302080 3231 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 3980 3231 364 364 0 3616 0
[pid=7271] vsize: 15920
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15920

[startup+50.0033 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4933 0 0 0 4987 12 0 0 25 0 1 0 21158582 16977920 3485 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 4145 3485 364 364 0 3781 0
[pid=7271] vsize: 16580
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 16580

[startup+60.004 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5164 0 0 0 5986 12 0 0 25 0 1 0 21158582 17518592 3713 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 4277 3713 364 364 0 3913 0
[pid=7271] vsize: 17108
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17108

[startup+70.0047 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5378 0 0 0 6985 14 0 0 25 0 1 0 21158582 18194432 3923 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 4442 3923 364 364 0 4078 0
[pid=7271] vsize: 17768
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 17768

[startup+80.0043 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5574 0 0 0 7984 15 0 0 25 0 1 0 21158582 18599936 4116 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 4541 4116 364 364 0 4177 0
[pid=7271] vsize: 18164
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18164

[startup+90.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5759 0 0 0 8984 15 0 0 25 0 1 0 21158582 19140608 4298 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 4673 4298 364 364 0 4309 0
[pid=7271] vsize: 18692
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18692

[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5933 0 0 0 9983 16 0 0 25 0 1 0 21158582 19546112 4469 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 4772 4469 364 364 0 4408 0
[pid=7271] vsize: 19088
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19088

[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8282 0 0 0 10979 21 0 0 25 0 1 0 21158582 28692480 5340 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7005 5340 364 364 0 6641 0
[pid=7271] vsize: 28020
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 28020

[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8340 0 0 0 11979 21 0 0 25 0 1 0 21158582 28692480 5396 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7005 5396 364 364 0 6641 0
[pid=7271] vsize: 28020
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 28020

[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8468 0 0 0 12978 21 0 0 25 0 1 0 21158582 28962816 5521 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7071 5521 364 364 0 6707 0
[pid=7271] vsize: 28284
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28284

[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8591 0 0 0 13978 21 0 0 25 0 1 0 21158582 29233152 5642 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7137 5642 364 364 0 6773 0
[pid=7271] vsize: 28548
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28548

[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8714 0 0 0 14978 22 0 0 25 0 1 0 21158582 29503488 5763 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7203 5763 364 364 0 6839 0
[pid=7271] vsize: 28812
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 28812

[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8832 0 0 0 15977 22 0 0 25 0 1 0 21158582 29773824 5879 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7269 5879 364 364 0 6905 0
[pid=7271] vsize: 29076
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29076

[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8946 0 0 0 16977 23 0 0 25 0 1 0 21158582 30044160 5991 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7335 5991 364 364 0 6971 0
[pid=7271] vsize: 29340
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 29340

[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 9071 0 0 0 17977 23 0 0 25 0 1 0 21158582 30314496 6113 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7401 6113 364 364 0 7037 0
[pid=7271] vsize: 29604
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 29604

[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 9194 0 0 0 18977 24 0 0 25 0 1 0 21158582 30720000 6234 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 7500 6234 364 364 0 7136 0
[pid=7271] vsize: 30000
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 30000

[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 10171 0 0 0 19975 25 0 0 25 0 1 0 21158582 34504704 7210 4294967295 134512640 135987407 3221224576 3221221808 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 8424 7210 364 364 0 8060 0
[pid=7271] vsize: 33696
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 33696

[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 22140 0 0 0 20945 54 0 0 25 0 1 0 21158582 78123008 15176 4294967295 134512640 135987407 3221224576 3219682208 134887487 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 19073 15180 364 364 0 18709 0
[pid=7271] vsize: 76292
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 76292

[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 26533 0 0 0 21933 66 0 0 25 0 1 0 21158582 81022976 17972 4294967295 134512640 135987407 3221224576 3218700008 135477858 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 19781 17972 364 364 0 19417 0
[pid=7271] vsize: 79124
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 79124

[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 39382 0 0 0 22904 93 0 0 25 0 1 0 21158582 132435968 22845 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 32333 22845 364 364 0 31969 0
[pid=7271] vsize: 129332
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 129332

[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 43180 0 0 0 23894 103 0 0 25 0 1 0 21158582 133595136 26577 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 32616 26577 364 364 0 32252 0
[pid=7271] vsize: 130464
Current children cumulated CPU time (s) 239.97
Current children cumulated vsize (Kb) 130464

[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 53044 0 0 0 24869 128 0 0 25 0 1 0 21158582 162304000 30241 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 39625 30241 364 364 0 39261 0
[pid=7271] vsize: 158500
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 158500

[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 55142 0 0 0 25864 133 0 0 25 0 1 0 21158582 163905536 32242 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 40016 32242 364 364 0 39652 0
[pid=7271] vsize: 160064
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (Kb) 160064

[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 57663 0 0 0 26856 141 0 0 25 0 1 0 21158582 183734272 34729 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 44857 34729 364 364 0 44493 0
[pid=7271] vsize: 179428
Current children cumulated CPU time (s) 269.97
Current children cumulated vsize (Kb) 179428

[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 60308 0 0 0 27848 148 0 0 25 0 1 0 21158582 186793984 37338 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 45604 37338 364 364 0 45240 0
[pid=7271] vsize: 182416
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (Kb) 182416

[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 78121 0 0 0 28812 182 0 0 25 0 1 0 21158582 249819136 45379 4294967295 134512640 135987407 3221224576 3215733168 134636919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 60991 45380 364 364 0 60627 0
[pid=7271] vsize: 243964
Current children cumulated CPU time (s) 289.94
Current children cumulated vsize (Kb) 243964

[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 78445 0 0 0 29811 184 0 0 25 0 1 0 21158582 249819136 45703 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 60991 45703 364 364 0 60627 0
[pid=7271] vsize: 243964
Current children cumulated CPU time (s) 299.95
Current children cumulated vsize (Kb) 243964

[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 81818 0 0 0 30803 192 0 0 25 0 1 0 21158582 253026304 49026 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 61774 49026 364 364 0 61410 0
[pid=7271] vsize: 247096
Current children cumulated CPU time (s) 309.95
Current children cumulated vsize (Kb) 247096

[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 81843 0 0 0 31802 192 0 0 25 0 1 0 21158582 253026304 49051 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7271/statm): 61774 49051 364 364 0 61410 0
[pid=7271] vsize: 247096
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (Kb) 247096

[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 81872 0 0 0 32802 192 0 0 25 0 1 0 21158582 253026304 49080 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7271/statm): 61774 49080 364 364 0 61410 0
[pid=7271] vsize: 247096
Current children cumulated CPU time (s) 329.94
Current children cumulated vsize (Kb) 247096

[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 84834 0 0 0 33794 200 0 0 25 0 1 0 21158582 254742528 51991 4294967295 134512640 135987407 3221224576 3218697712 134559737 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 62193 51991 364 364 0 61829 0
[pid=7271] vsize: 248772
Current children cumulated CPU time (s) 339.94
Current children cumulated vsize (Kb) 248772

[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 84974 0 0 0 34793 201 0 0 25 0 1 0 21158582 254742528 52131 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 62193 52131 364 364 0 61829 0
[pid=7271] vsize: 248772
Current children cumulated CPU time (s) 349.94
Current children cumulated vsize (Kb) 248772

[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 85002 0 0 0 35793 201 0 0 25 0 1 0 21158582 254742528 52159 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 62193 52159 364 364 0 61829 0
[pid=7271] vsize: 248772
Current children cumulated CPU time (s) 359.94
Current children cumulated vsize (Kb) 248772

[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 100380 0 0 0 36755 239 0 0 25 0 1 0 21158582 306618368 55195 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 74858 55195 364 364 0 74494 0
[pid=7271] vsize: 299432
Current children cumulated CPU time (s) 369.94
Current children cumulated vsize (Kb) 299432

[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 103461 0 0 0 37747 247 0 0 25 0 1 0 21158582 307924992 58223 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 75177 58223 364 364 0 74813 0
[pid=7271] vsize: 300708
Current children cumulated CPU time (s) 379.94
Current children cumulated vsize (Kb) 300708

[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 103487 0 0 0 38747 247 0 0 25 0 1 0 21158582 307924992 58249 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 75177 58249 364 364 0 74813 0
[pid=7271] vsize: 300708
Current children cumulated CPU time (s) 389.94
Current children cumulated vsize (Kb) 300708

[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 103488 0 0 0 39746 247 0 0 25 0 1 0 21158582 307924992 58250 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 75177 58250 364 364 0 74813 0
[pid=7271] vsize: 300708
Current children cumulated CPU time (s) 399.93
Current children cumulated vsize (Kb) 300708

[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106742 0 0 0 40738 255 0 0 25 0 1 0 21158582 343126016 61450 4294967295 134512640 135987407 3221224576 3221221888 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 83771 61450 364 364 0 83407 0
[pid=7271] vsize: 335084
Current children cumulated CPU time (s) 409.93
Current children cumulated vsize (Kb) 335084

[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106769 0 0 0 41738 256 0 0 25 0 1 0 21158582 343126016 61477 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 83771 61477 364 364 0 83407 0
[pid=7271] vsize: 335084
Current children cumulated CPU time (s) 419.94
Current children cumulated vsize (Kb) 335084

[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106798 0 0 0 42738 256 0 0 25 0 1 0 21158582 343126016 61506 4294967295 134512640 135987407 3221224576 3221221888 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 83771 61506 364 364 0 83407 0
[pid=7271] vsize: 335084
Current children cumulated CPU time (s) 429.94
Current children cumulated vsize (Kb) 335084

[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106798 0 0 0 43737 256 0 0 25 0 1 0 21158582 343126016 61506 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 83771 61506 364 364 0 83407 0
[pid=7271] vsize: 335084
Current children cumulated CPU time (s) 439.93
Current children cumulated vsize (Kb) 335084

[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 110043 0 0 0 44729 264 0 0 25 0 1 0 21158582 344596480 64695 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 84130 64695 364 364 0 83766 0
[pid=7271] vsize: 336520
Current children cumulated CPU time (s) 449.93
Current children cumulated vsize (Kb) 336520

[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113462 0 0 0 45719 274 0 0 25 0 1 0 21158582 346505216 68057 4294967295 134512640 135987407 3221224576 3221221968 134615053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 84596 68057 364 364 0 84232 0
[pid=7271] vsize: 338384
Current children cumulated CPU time (s) 459.93
Current children cumulated vsize (Kb) 338384

[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113462 0 0 0 46719 274 0 0 25 0 1 0 21158582 346505216 68057 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 84596 68057 364 364 0 84232 0
[pid=7271] vsize: 338384
Current children cumulated CPU time (s) 469.93
Current children cumulated vsize (Kb) 338384

[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113490 0 0 0 47718 275 0 0 25 0 1 0 21158582 346505216 68085 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 84596 68085 364 364 0 84232 0
[pid=7271] vsize: 338384
Current children cumulated CPU time (s) 479.93
Current children cumulated vsize (Kb) 338384

[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113636 0 0 0 48718 275 0 0 25 0 1 0 21158582 347029504 68102 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 84724 68102 364 364 0 84360 0
[pid=7271] vsize: 338896
Current children cumulated CPU time (s) 489.93
Current children cumulated vsize (Kb) 338896

[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 118806 0 0 0 49705 287 0 0 25 0 1 0 21158582 353316864 73203 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 86259 73203 364 364 0 85895 0
[pid=7271] vsize: 345036
Current children cumulated CPU time (s) 499.92
Current children cumulated vsize (Kb) 345036

[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 118840 0 0 0 50705 288 0 0 25 0 1 0 21158582 353316864 73237 4294967295 134512640 135987407 3221224576 3221221984 134638940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 86259 73237 364 364 0 85895 0
[pid=7271] vsize: 345036
Current children cumulated CPU time (s) 509.93
Current children cumulated vsize (Kb) 345036

[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 118840 0 0 0 51705 288 0 0 25 0 1 0 21158582 353316864 73237 4294967295 134512640 135987407 3221224576 3221221760 134536111 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 86259 73237 364 364 0 85895 0
[pid=7271] vsize: 345036
Current children cumulated CPU time (s) 519.93
Current children cumulated vsize (Kb) 345036

[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 154352 0 0 0 52631 357 0 0 25 0 1 0 21158582 479801344 89221 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 117139 89221 364 364 0 116775 0
[pid=7271] vsize: 468556
Current children cumulated CPU time (s) 529.88
Current children cumulated vsize (Kb) 468556

[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 154352 0 0 0 53630 358 0 0 25 0 1 0 21158582 479801344 89221 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 117139 89221 364 364 0 116775 0
[pid=7271] vsize: 468556
Current children cumulated CPU time (s) 539.88
Current children cumulated vsize (Kb) 468556

[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 154386 0 0 0 54630 358 0 0 25 0 1 0 21158582 479801344 89255 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 117139 89255 364 364 0 116775 0
[pid=7271] vsize: 468556
Current children cumulated CPU time (s) 549.88
Current children cumulated vsize (Kb) 468556

[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 158455 0 0 0 55620 367 0 0 25 0 1 0 21158582 482656256 93255 4294967295 134512640 135987407 3221224576 3217212464 134878052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 117836 93255 364 364 0 117472 0
[pid=7271] vsize: 471344
Current children cumulated CPU time (s) 559.87
Current children cumulated vsize (Kb) 471344

[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 158677 0 0 0 56619 368 0 0 25 0 1 0 21158582 482656256 93477 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 117836 93477 364 364 0 117472 0
[pid=7271] vsize: 471344
Current children cumulated CPU time (s) 569.87
Current children cumulated vsize (Kb) 471344

[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 158711 0 0 0 57619 369 0 0 25 0 1 0 21158582 482656256 93511 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 117836 93511 364 364 0 117472 0
[pid=7271] vsize: 471344
Current children cumulated CPU time (s) 579.88
Current children cumulated vsize (Kb) 471344

[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 160187 0 0 0 58615 373 0 0 25 0 1 0 21158582 482660352 94952 4294967295 134512640 135987407 3221224576 3218249932 135499903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 117837 94952 364 364 0 117473 0
[pid=7271] vsize: 471348
Current children cumulated CPU time (s) 589.88
Current children cumulated vsize (Kb) 471348

[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 162981 0 0 0 59608 380 0 0 25 0 1 0 21158582 485228544 97711 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 118464 97711 364 364 0 118100 0
[pid=7271] vsize: 473856
Current children cumulated CPU time (s) 599.88
Current children cumulated vsize (Kb) 473856

[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 163016 0 0 0 60607 380 0 0 25 0 1 0 21158582 485228544 97746 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 118464 97746 364 364 0 118100 0
[pid=7271] vsize: 473856
Current children cumulated CPU time (s) 609.87
Current children cumulated vsize (Kb) 473856

[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 163016 0 0 0 61607 380 0 0 25 0 1 0 21158582 485228544 97746 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 118464 97746 364 364 0 118100 0
[pid=7271] vsize: 473856
Current children cumulated CPU time (s) 619.87
Current children cumulated vsize (Kb) 473856

[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167453 0 0 0 62594 393 0 0 25 0 1 0 21158582 488108032 102111 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 119167 102111 364 364 0 118803 0
[pid=7271] vsize: 476668
Current children cumulated CPU time (s) 629.87
Current children cumulated vsize (Kb) 476668

[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167453 0 0 0 63594 393 0 0 25 0 1 0 21158582 488108032 102111 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 119167 102111 364 364 0 118803 0
[pid=7271] vsize: 476668
Current children cumulated CPU time (s) 639.87
Current children cumulated vsize (Kb) 476668

[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167489 0 0 0 64593 394 0 0 25 0 1 0 21158582 488108032 102147 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 119167 102147 364 364 0 118803 0
[pid=7271] vsize: 476668
Current children cumulated CPU time (s) 649.87
Current children cumulated vsize (Kb) 476668

[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167497 0 0 0 65593 394 0 0 25 0 1 0 21158582 488108032 102155 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 119167 102155 364 364 0 118803 0
[pid=7271] vsize: 476668
Current children cumulated CPU time (s) 659.87
Current children cumulated vsize (Kb) 476668

[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 196827 0 0 0 66531 456 0 0 25 0 1 0 21158582 593182720 106826 4294967295 134512640 135987407 3221224576 3209957200 134877895 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 144820 106826 364 364 0 144456 0
[pid=7271] vsize: 579280
Current children cumulated CPU time (s) 669.87
Current children cumulated vsize (Kb) 579280

[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 197449 0 0 0 67530 458 0 0 25 0 1 0 21158582 593182720 107448 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 144820 107448 364 364 0 144456 0
[pid=7271] vsize: 579280
Current children cumulated CPU time (s) 679.88
Current children cumulated vsize (Kb) 579280

[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 197449 0 0 0 68530 458 0 0 25 0 1 0 21158582 593182720 107448 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 144820 107448 364 364 0 144456 0
[pid=7271] vsize: 579280
Current children cumulated CPU time (s) 689.88
Current children cumulated vsize (Kb) 579280

[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 202812 0 0 0 69516 471 0 0 25 0 1 0 21158582 604069888 110153 4294967295 134512640 135987407 3221224576 3221223424 134817687 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 147478 110153 364 364 0 147114 0
[pid=7271] vsize: 589912
Current children cumulated CPU time (s) 699.87
Current children cumulated vsize (Kb) 589912

[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 215339 0 0 0 70168 602 0 0 25 0 1 0 21158582 641974272 121500 4294967295 134512640 135987407 3221224576 3199849972 135479922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 156732 121500 364 364 0 156368 0
[pid=7271] vsize: 626928
Current children cumulated CPU time (s) 707.7
Current children cumulated vsize (Kb) 626928

[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 234662 0 0 0 71125 642 0 0 25 0 1 0 21158582 703508480 140566 4294967295 134512640 135987407 3221224576 3208192752 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 171755 140566 364 364 0 171391 0
[pid=7271] vsize: 687020
Current children cumulated CPU time (s) 717.67
Current children cumulated vsize (Kb) 687020

[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 257308 0 0 0 72069 695 0 0 25 0 1 0 21158582 740814848 162929 4294967295 134512640 135987407 3221224576 3211750096 134637817 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 180863 162929 364 364 0 180499 0
[pid=7271] vsize: 723452
Current children cumulated CPU time (s) 727.64
Current children cumulated vsize (Kb) 723452

[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7271
Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 264597 0 0 0 73050 712 0 0 25 0 1 0 21158582 751009792 169617 4294967295 134512640 135987407 3221224576 3221223256 135477320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7271/statm): 183352 169617 364 364 0 182988 0
[pid=7271] vsize: 733408
Current children cumulated CPU time (s) 737.62
Current children cumulated vsize (Kb) 733408
One traced child (pid=7271) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 742.673
CPU time (s): 740.281
CPU user time (s): 732.819
CPU system time (s): 7.46287
CPU usage (%): 99.678
Max. virtual memory (cumulated for all children) (Kb): 733408

Verifier Data

ERROR: no interpretation found !