PB'05 competition: run trace

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:

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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb
MD5SUM	765ea624bde3931069939663462a01e5
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	128490
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	204823519821908064
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	204823519821908064
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.16382
Number of variables	128490
Total number of constraints	712
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	712
Minimum length of a constraint	30
Maximum length of a constraint	2550

Trace number 42374

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 06:04:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25580 boxname=wulflinc4 idbench=880 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  765ea624bde3931069939663462a01e5  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-ship08l.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-ship08l.opb
IDLAUNCH: 25580
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        694464 kB
Buffers:         34324 kB
Cached:         283176 kB
SwapCached:        944 kB
Active:          38864 kB
Inactive:       280824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        694212 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14884 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:13:49 (client local time) WITH STATUS 1 IN 554.657 SECONDS
stats: 25580 7 554.657 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 22613
Raw data (stat): 22613 (runsolver) R 22612 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968450993 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 22613
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 2233 0 0 0 995 4 0 0 25 0 1 0 968450993 8093696 1556 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1976 1556 301 301 0 1675 0
vsize: 7904
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22613
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 2765 0 0 0 1992 7 0 0 25 0 1 0 968450993 9580544 2080 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2339 2080 301 301 0 2038 0
vsize: 9356
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22613
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 3888 0 0 0 2990 9 0 0 25 0 1 0 968450993 13414400 2491 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2491 301 301 0 2974 0
vsize: 13100
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22613
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 4162 0 0 0 3989 10 0 0 25 0 1 0 968450993 14225408 2760 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3473 2760 301 301 0 3172 0
vsize: 13892
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22613
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 4415 0 0 0 4988 11 0 0 25 0 1 0 968450993 14901248 3009 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3638 3009 301 301 0 3337 0
vsize: 14552
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22613
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 4643 0 0 0 5988 12 0 0 25 0 1 0 968450993 15441920 3233 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3233 301 301 0 3469 0
vsize: 15080
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 4850 0 0 0 6988 12 0 0 25 0 1 0 968450993 15982592 3437 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3902 3437 301 301 0 3601 0
vsize: 15608
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 5044 0 0 0 7987 13 0 0 25 0 1 0 968450993 16523264 3628 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4034 3628 301 301 0 3733 0
vsize: 16136
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 5227 0 0 0 8987 14 0 0 25 0 1 0 968450993 16928768 3808 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3808 301 301 0 3832 0
vsize: 16532
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 5401 0 0 0 9986 14 0 0 25 0 1 0 968450993 17469440 3979 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4265 3979 301 301 0 3964 0
vsize: 17060
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 7458 0 0 0 10982 19 0 0 25 0 1 0 968450993 25407488 4623 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4623 301 301 0 5902 0
vsize: 24812
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 7513 0 0 0 11982 19 0 0 25 0 1 0 968450993 25407488 4676 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4676 301 301 0 5902 0
vsize: 24812
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 7568 0 0 0 12981 21 0 0 25 0 1 0 968450993 25407488 4728 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4728 301 301 0 5902 0
vsize: 24812
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 7622 0 0 0 13980 21 0 0 25 0 1 0 968450993 25407488 4780 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4780 301 301 0 5902 0
vsize: 24812
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 7698 0 0 0 14979 22 0 0 25 0 1 0 968450993 25407488 4854 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4854 301 301 0 5902 0
vsize: 24812
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 7775 0 0 0 15979 23 0 0 25 0 1 0 968450993 25542656 4928 4294967295 134512640 135730672 3221224576 3221221728 134576196 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4928 301 301 0 5935 0
vsize: 24944
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 7907 0 0 0 16979 24 0 0 25 0 1 0 968450993 25948160 5058 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5058 301 301 0 6034 0
vsize: 25340
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8039 0 0 0 17978 24 0 0 25 0 1 0 968450993 26218496 5188 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5188 301 301 0 6100 0
vsize: 25604
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8166 0 0 0 18978 25 0 0 25 0 1 0 968450993 26624000 5313 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5313 301 301 0 6199 0
vsize: 26000
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8291 0 0 0 19977 26 0 0 25 0 1 0 968450993 26894336 5436 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5436 301 301 0 6265 0
vsize: 26264
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8413 0 0 0 20976 27 0 0 25 0 1 0 968450993 27299840 5556 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6665 5556 301 301 0 6364 0
vsize: 26660
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8533 0 0 0 21976 27 0 0 25 0 1 0 968450993 27570176 5674 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5674 301 301 0 6430 0
vsize: 26924
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8648 0 0 0 22975 28 0 0 25 0 1 0 968450993 27840512 5787 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5787 301 301 0 6496 0
vsize: 27188
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8762 0 0 0 23975 29 0 0 25 0 1 0 968450993 28246016 5900 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6896 5900 301 301 0 6595 0
vsize: 27584
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8874 0 0 0 24975 29 0 0 25 0 1 0 968450993 28516352 6010 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6962 6010 301 301 0 6661 0
vsize: 27848
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 8985 0 0 0 25974 30 0 0 25 0 1 0 968450993 28786688 6119 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6119 301 301 0 6727 0
vsize: 28112
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9092 0 0 0 26974 31 0 0 25 0 1 0 968450993 29057024 6224 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6224 301 301 0 6793 0
vsize: 28376
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9198 0 0 0 27973 31 0 0 25 0 1 0 968450993 29327360 6329 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6329 301 301 0 6859 0
vsize: 28640
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9300 0 0 0 28973 31 0 0 25 0 1 0 968450993 29597696 6429 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6429 301 301 0 6925 0
vsize: 28904
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9403 0 0 0 29973 32 0 0 25 0 1 0 968450993 29868032 6530 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6530 301 301 0 6991 0
vsize: 29168
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9503 0 0 0 30972 33 0 0 25 0 1 0 968450993 30138368 6629 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6629 301 301 0 7057 0
vsize: 29432
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9603 0 0 0 31971 34 0 0 25 0 1 0 968450993 30408704 6727 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6727 301 301 0 7123 0
vsize: 29696
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9701 0 0 0 32971 34 0 0 25 0 1 0 968450993 30679040 6823 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6823 301 301 0 7189 0
vsize: 29960
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9795 0 0 0 33971 35 0 0 25 0 1 0 968450993 30949376 6916 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6916 301 301 0 7255 0
vsize: 30224
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9890 0 0 0 34970 36 0 0 25 0 1 0 968450993 31219712 7009 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7009 301 301 0 7321 0
vsize: 30488
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 9984 0 0 0 35969 36 0 0 25 0 1 0 968450993 31490048 7102 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7102 301 301 0 7387 0
vsize: 30752
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10076 0 0 0 36969 37 0 0 25 0 1 0 968450993 31625216 7192 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7192 301 301 0 7420 0
vsize: 30884
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10167 0 0 0 37968 38 0 0 25 0 1 0 968450993 31895552 7282 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7282 301 301 0 7486 0
vsize: 31148
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10257 0 0 0 38968 38 0 0 25 0 1 0 968450993 32165888 7370 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7370 301 301 0 7552 0
vsize: 31412
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10346 0 0 0 39968 39 0 0 25 0 1 0 968450993 32436224 7458 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7458 301 301 0 7618 0
vsize: 31676
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10432 0 0 0 40967 39 0 0 25 0 1 0 968450993 32571392 7543 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7543 301 301 0 7651 0
vsize: 31808
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10519 0 0 0 41967 40 0 0 25 0 1 0 968450993 32841728 7628 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7628 301 301 0 7717 0
vsize: 32072
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10605 0 0 0 42967 40 0 0 25 0 1 0 968450993 33112064 7713 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7713 301 301 0 7783 0
vsize: 32336
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10690 0 0 0 43967 40 0 0 25 0 1 0 968450993 33247232 7796 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7796 301 301 0 7816 0
vsize: 32468
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 10773 0 0 0 44967 41 0 0 25 0 1 0 968450993 33517568 7878 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7878 301 301 0 7882 0
vsize: 32732
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 24343 0 0 0 45937 71 0 0 25 0 1 0 968450993 79425536 16179 4294967295 134512640 135730672 3221224576 3220399040 135282219 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19391 16180 301 301 0 19090 0
vsize: 77564
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 55984 0 0 0 46874 134 0 0 25 0 1 0 968450993 167854080 33780 4294967295 134512640 135730672 3221224576 3220156876 134608030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40980 33780 301 301 0 40679 0
vsize: 163920
[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 81859 0 0 0 47824 184 0 0 25 0 1 0 968450993 242315264 50237 4294967295 134512640 135730672 3221224576 3220916108 134608030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59159 50237 301 301 0 58858 0
vsize: 236636
[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 106236 0 0 0 48768 240 0 0 25 0 1 0 968450993 328364032 62118 4294967295 134512640 135730672 3221224576 3220719324 135104780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80167 62118 301 301 0 79866 0
vsize: 320668
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 140418 0 0 0 49695 314 0 0 25 0 1 0 968450993 513822720 95395 4294967295 134512640 135730672 3221224576 3220531456 134775356 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125445 95397 301 301 0 125144 0
vsize: 501780
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 182565 0 0 0 50602 407 0 0 25 0 1 0 968450993 558587904 95095 4294967295 134512640 135730672 3221224576 3221221028 134540222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136374 95095 301 301 0 136073 0
vsize: 545496
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 195176 0 0 0 51578 431 0 0 25 0 1 0 968450993 592142336 107480 4294967295 134512640 135730672 3221224576 3221015744 134770688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144566 107480 301 301 0 144265 0
vsize: 578264
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 209940 0 0 0 52546 463 0 0 25 0 1 0 968450993 595386368 121994 4294967295 134512640 135730672 3221224576 3221098368 134770867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145358 121994 301 301 0 145057 0
vsize: 581432
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 226604 0 0 0 53506 502 0 0 25 0 1 0 968450993 610271232 138424 4294967295 134512640 135730672 3221224576 3220830560 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148992 138425 301 301 0 148691 0
vsize: 595968
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 238163 0 0 0 54480 529 0 0 25 0 1 0 968450993 667930624 149310 4294967295 134512640 135730672 3221224576 3221222896 135282719 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163069 149310 301 301 0 162768 0
vsize: 652276
[startup+554.597 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22615
Raw data (stat): 22613 (pb2sat-v2) R 22612 21152 21151 0 -1 0 238163 0 0 0 54480 529 0 0 25 0 1 0 968450993 667930624 149310 4294967295 134512640 135730672 3221224576 3221222896 135282719 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163069 149310 301 301 0 162768 0
vsize: 0

Child status: 1
Real time (s): 554.597
CPU time (s): 554.657
CPU user time (s): 549.059
CPU system time (s): 5.59715
CPU usage (%): 100.011
Max. virtual memory (Kb): 652276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####