Trace number 3706608

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 into four (or five) parts:
  1. 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 ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark0.591909
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.69/0.79	c 2012-05-27T11:38:41+0200
0.69/0.79	c arch = x86_64
0.69/0.79	c os = linux
0.69/0.79	c compiler = ghc 7.4
0.69/0.79	c packages:
0.69/0.79	c   OptDir-0.0.1
0.69/0.79	c   array-0.4.0.0
0.69/0.79	c   base-4.5.0.0
0.69/0.79	c   bytestring-0.9.2.1
0.69/0.79	c   containers-0.4.2.1
0.69/0.79	c   deepseq-1.3.0.0
0.69/0.79	c   mtl-2.1.1
0.69/0.79	c   old_locale-1.0.0.4
0.69/0.79	c   parse_dimacs-1.2
0.69/0.79	c   parsec-3.1.2
0.69/0.79	c   queue-0.1.2
0.69/0.79	c   stm-2.3
0.69/0.79	c   time-1.4
0.69/0.79	c command line = ["--pb","HOME/instance-3706608-1338111521.opb"]
0.69/0.79	c #vars 2655
0.69/0.79	c #constraints 146
0.69/0.79	c Solving starts ...
3.08/3.14	c learnt constraints deletion: 2075 -> 1038
4.39/4.42	c learnt constraints deletion: 2179 -> 1090
6.78/6.82	c learnt constraints deletion: 2802 -> 1401
9.59/9.66	c learnt constraints deletion: 3970 -> 1985
12.79/12.87	c learnt constraints deletion: 4940 -> 2471
13.69/13.74	c learnt constraints deletion: 3370 -> 1685
17.60/17.68	c learnt constraints deletion: 5156 -> 2579
20.18/20.29	c learnt constraints deletion: 4890 -> 2445
23.88/23.92	c learnt constraints deletion: 5386 -> 2693
26.78/26.85	c learnt constraints deletion: 5432 -> 2721
30.38/30.46	c learnt constraints deletion: 5399 -> 2700
33.99/34.02	c learnt constraints deletion: 5696 -> 2851
36.67/36.70	c learnt constraints deletion: 5655 -> 2834
39.08/39.15	c learnt constraints deletion: 5709 -> 2862
41.68/41.74	c learnt constraints deletion: 5723 -> 2874
43.38/43.48	c learnt constraints deletion: 4666 -> 2333
47.38/47.48	c learnt constraints deletion: 6024 -> 3012
50.68/50.73	c learnt constraints deletion: 6002 -> 3006
54.08/54.10	c learnt constraints deletion: 6011 -> 3011
57.18/57.28	c learnt constraints deletion: 6013 -> 3014
60.27/60.30	c learnt constraints deletion: 6020 -> 3014
63.57/63.61	c learnt constraints deletion: 6015 -> 3013
64.47/64.52	c learnt constraints deletion: 3837 -> 1919
70.47/70.57	c learnt constraints deletion: 6363 -> 3184
74.97/75.00	c learnt constraints deletion: 6371 -> 3192
78.98/79.07	c learnt constraints deletion: 6357 -> 3186
84.77/84.87	c learnt constraints deletion: 6293 -> 3151
92.17/92.22	c learnt constraints deletion: 6315 -> 3166
100.47/100.51	c learnt constraints deletion: 6344 -> 3180
108.26/108.34	c learnt constraints deletion: 6340 -> 3179
117.26/117.35	c learnt constraints deletion: 6365 -> 3192
125.06/125.15	c learnt constraints deletion: 5880 -> 2940
131.05/131.16	c learnt constraints deletion: 6742 -> 3375
136.55/136.60	c learnt constraints deletion: 6729 -> 3366
142.75/142.84	c learnt constraints deletion: 6722 -> 3369
149.46/149.51	c learnt constraints deletion: 6746 -> 3381
156.16/156.27	c learnt constraints deletion: 6741 -> 3381
163.45/163.57	c learnt constraints deletion: 6714 -> 3368
170.04/170.13	c learnt constraints deletion: 6718 -> 3372
177.25/177.36	c learnt constraints deletion: 6733 -> 3383
183.44/183.50	c learnt constraints deletion: 6521 -> 3261
189.15/189.26	c learnt constraints deletion: 6732 -> 3375
194.74/194.86	c learnt constraints deletion: 6520 -> 3262
200.15/200.24	c learnt constraints deletion: 6692 -> 3348
204.04/204.16	c learnt constraints deletion: 6790 -> 3395
211.15/211.22	c learnt constraints deletion: 7102 -> 3557
218.74/218.90	c learnt constraints deletion: 7147 -> 3582
225.94/226.03	c learnt constraints deletion: 7127 -> 3576
233.54/233.63	c learnt constraints deletion: 7153 -> 3585
240.44/240.54	c learnt constraints deletion: 7102 -> 3561
248.04/248.15	c learnt constraints deletion: 7165 -> 3597
255.44/255.58	c learnt constraints deletion: 7142 -> 3580
263.84/263.97	c learnt constraints deletion: 7155 -> 3587
272.23/272.31	c learnt constraints deletion: 7144 -> 3585
280.83/280.92	c learnt constraints deletion: 7140 -> 3582
289.13/289.23	c learnt constraints deletion: 7134 -> 3581
297.83/298.00	c learnt constraints deletion: 7131 -> 3578
306.12/306.28	c learnt constraints deletion: 7115 -> 3573
315.22/315.37	c learnt constraints deletion: 7143 -> 3590
326.83/326.97	c learnt constraints deletion: 7168 -> 3598
337.42/337.51	c learnt constraints deletion: 7096 -> 3564
349.32/349.40	c learnt constraints deletion: 7164 -> 3596
360.92/361.09	c learnt constraints deletion: 7138 -> 3594
368.62/368.72	c learnt constraints deletion: 5274 -> 2637
379.51/379.69	c learnt constraints deletion: 7612 -> 3811
388.82/388.91	c learnt constraints deletion: 7615 -> 3814
398.82/398.94	c learnt constraints deletion: 7604 -> 3812
408.31/408.40	c learnt constraints deletion: 7621 -> 3820
417.21/417.37	c learnt constraints deletion: 7605 -> 3814
427.91/428.08	c learnt constraints deletion: 7581 -> 3799
438.50/438.68	c learnt constraints deletion: 7597 -> 3808
448.11/448.25	c learnt constraints deletion: 7607 -> 3818
456.41/456.52	c learnt constraints deletion: 7585 -> 3807
465.50/465.66	c learnt constraints deletion: 7614 -> 3821
475.20/475.30	c learnt constraints deletion: 7617 -> 3826
485.89/486.02	c learnt constraints deletion: 7610 -> 3823
495.80/495.95	c learnt constraints deletion: 7591 -> 3807
505.49/505.64	c learnt constraints deletion: 7599 -> 3813
516.99/517.11	c learnt constraints deletion: 7584 -> 3805
524.79/524.99	c learnt constraints deletion: 7626 -> 3828
533.69/533.89	c learnt constraints deletion: 7614 -> 3823
541.79/541.92	c learnt constraints deletion: 7622 -> 3828
549.69/549.84	c learnt constraints deletion: 7617 -> 3830
557.99/558.11	c learnt constraints deletion: 7603 -> 3815
565.29/565.43	c learnt constraints deletion: 7560 -> 3796
574.49/574.67	c learnt constraints deletion: 7586 -> 3808
584.28/584.41	c learnt constraints deletion: 7594 -> 3809
599.68/599.80	c learnt constraints deletion: 7618 -> 3826
609.88/610.02	c learnt constraints deletion: 7616 -> 3822
617.38/617.51	c learnt constraints deletion: 6741 -> 3371
627.58/627.71	c learnt constraints deletion: 8118 -> 4063
638.07/638.24	c learnt constraints deletion: 8118 -> 4066
647.58/647.77	c learnt constraints deletion: 8106 -> 4062
658.37/658.50	c learnt constraints deletion: 8105 -> 4064
667.58/667.73	c learnt constraints deletion: 8072 -> 4044
676.77/676.97	c learnt constraints deletion: 8110 -> 4064
686.17/686.33	c learnt constraints deletion: 8117 -> 4070
696.07/696.27	c learnt constraints deletion: 8087 -> 4054
705.27/705.42	c learnt constraints deletion: 8031 -> 4028
713.87/714.06	c learnt constraints deletion: 8093 -> 4060
722.96/723.11	c learnt constraints deletion: 7924 -> 3969
732.56/732.71	c learnt constraints deletion: 8118 -> 4068
741.56/741.71	c learnt constraints deletion: 8124 -> 4072
750.75/750.95	c learnt constraints deletion: 8087 -> 4054
762.46/762.64	c learnt constraints deletion: 8114 -> 4068
777.25/777.46	c learnt constraints deletion: 8102 -> 4062
789.85/790.08	c learnt constraints deletion: 8113 -> 4069
803.86/804.03	c learnt constraints deletion: 8073 -> 4051
814.74/814.94	c learnt constraints deletion: 8088 -> 4054
823.24/823.46	c learnt constraints deletion: 8107 -> 4067
832.45/832.61	c learnt constraints deletion: 8113 -> 4071
841.14/841.32	c learnt constraints deletion: 8113 -> 4074
850.44/850.67	c learnt constraints deletion: 8116 -> 4076
859.84/860.02	c learnt constraints deletion: 8116 -> 4078
869.34/869.53	c learnt constraints deletion: 8077 -> 4056
878.94/879.19	c learnt constraints deletion: 8116 -> 4077
889.04/889.24	c learnt constraints deletion: 8099 -> 4068
897.53/897.79	c learnt constraints deletion: 8042 -> 4036
906.03/906.22	c learnt constraints deletion: 8074 -> 4053
916.23/916.42	c learnt constraints deletion: 8119 -> 4079
926.04/926.27	c learnt constraints deletion: 8116 -> 4076
935.93/936.13	c learnt constraints deletion: 8076 -> 4057
945.03/945.29	c learnt constraints deletion: 8111 -> 4076
955.22/955.44	c learnt constraints deletion: 8113 -> 4073
967.62/967.88	c learnt constraints deletion: 8104 -> 4068
978.32/978.56	c learnt constraints deletion: 8679 -> 4358
982.13/982.30	c learnt constraints deletion: 6094 -> 3047
994.12/994.33	c learnt constraints deletion: 8605 -> 4307
1003.92/1004.15	c learnt constraints deletion: 8635 -> 4323
1013.82/1014.04	c learnt constraints deletion: 8648 -> 4331
1023.82/1024.02	c learnt constraints deletion: 8590 -> 4302
1035.81/1036.09	c learnt constraints deletion: 8665 -> 4342
1045.61/1045.85	c learnt constraints deletion: 8651 -> 4339
1055.61/1055.82	c learnt constraints deletion: 8644 -> 4337
1066.21/1066.41	c learnt constraints deletion: 8659 -> 4347
1076.41/1076.61	c learnt constraints deletion: 8660 -> 4347
1086.61/1086.83	c learnt constraints deletion: 8653 -> 4348
1098.40/1098.69	c learnt constraints deletion: 8668 -> 4348
1109.20/1109.47	c learnt constraints deletion: 8655 -> 4341
1118.80/1119.08	c learnt constraints deletion: 8626 -> 4330
1129.41/1129.62	c learnt constraints deletion: 8660 -> 4347
1139.90/1140.19	c learnt constraints deletion: 8654 -> 4343
1151.00/1151.25	c learnt constraints deletion: 8651 -> 4344
1160.99/1161.20	c learnt constraints deletion: 8660 -> 4350
1171.89/1172.18	c learnt constraints deletion: 8635 -> 4338
1181.69/1181.94	c learnt constraints deletion: 8655 -> 4341
1193.59/1193.82	c learnt constraints deletion: 8659 -> 4344
1203.98/1204.26	c learnt constraints deletion: 8659 -> 4346
1214.69/1214.94	c learnt constraints deletion: 8644 -> 4339
1226.29/1226.52	c learnt constraints deletion: 8571 -> 4296
1235.98/1236.27	c learnt constraints deletion: 8648 -> 4336
1246.28/1246.59	c learnt constraints deletion: 8642 -> 4332
1256.68/1256.92	c learnt constraints deletion: 8657 -> 4342
1269.08/1269.33	c learnt constraints deletion: 8665 -> 4345
1282.17/1282.40	c learnt constraints deletion: 8661 -> 4348
1293.47/1293.79	c learnt constraints deletion: 8653 -> 4344
1308.07/1308.33	c learnt constraints deletion: 8650 -> 4342
1319.87/1320.15	c learnt constraints deletion: 8652 -> 4345
1330.97/1331.24	c learnt constraints deletion: 8651 -> 4341
1344.06/1344.32	c learnt constraints deletion: 8651 -> 4345
1355.56/1355.80	c learnt constraints deletion: 8633 -> 4332
1366.76/1367.05	c learnt constraints deletion: 8644 -> 4340
1379.17/1379.42	c learnt constraints deletion: 8658 -> 4345
1391.45/1391.76	c learnt constraints deletion: 8668 -> 4353
1401.16/1401.46	c learnt constraints deletion: 8666 -> 4356
1411.06/1411.32	c learnt constraints deletion: 8623 -> 4334
1421.45/1421.70	c learnt constraints deletion: 8664 -> 4357
1434.95/1435.20	c learnt constraints deletion: 8612 -> 4326
1446.74/1447.07	c learnt constraints deletion: 8630 -> 4336
1457.95/1458.26	c learnt constraints deletion: 8663 -> 4355
1470.94/1471.25	c learnt constraints deletion: 8663 -> 4354
1482.45/1482.72	c learnt constraints deletion: 8674 -> 4351
1491.24/1491.56	c learnt constraints deletion: 8621 -> 4326
1500.75/1501.06	c learnt constraints deletion: 8664 -> 4348
1509.94/1510.21	c learnt constraints deletion: 8672 -> 4352
1519.54/1519.83	c learnt constraints deletion: 8662 -> 4346
1528.94/1529.29	c learnt constraints deletion: 8631 -> 4333
1540.14/1540.48	c learnt constraints deletion: 9254 -> 4646
1548.44/1548.78	c learnt constraints deletion: 9256 -> 4637
1556.24/1556.58	c learnt constraints deletion: 9252 -> 4629
1562.63/1562.92	c learnt constraints deletion: 9259 -> 4635
1569.44/1569.78	c learnt constraints deletion: 9228 -> 4619
1577.23/1577.59	c learnt constraints deletion: 9249 -> 4633
1585.03/1585.33	c learnt constraints deletion: 9269 -> 4645
1593.03/1593.30	c learnt constraints deletion: 9247 -> 4635
1602.12/1602.49	c learnt constraints deletion: 9257 -> 4639
1610.13/1610.49	c learnt constraints deletion: 9215 -> 4619
1618.82/1619.16	c learnt constraints deletion: 9266 -> 4645
1627.73/1628.05	c learnt constraints deletion: 9246 -> 4635
1635.92/1636.21	c learnt constraints deletion: 9266 -> 4648
1641.82/1642.15	c learnt constraints deletion: 9240 -> 4631
1647.92/1648.28	c learnt constraints deletion: 9253 -> 4637
1654.61/1654.97	c learnt constraints deletion: 9267 -> 4645
1660.62/1660.97	c learnt constraints deletion: 9270 -> 4647
1666.51/1666.89	c learnt constraints deletion: 9281 -> 4657
1672.72/1673.04	c learnt constraints deletion: 9248 -> 4640
1678.62/1678.92	c learnt constraints deletion: 9279 -> 4659
1686.41/1686.78	c learnt constraints deletion: 9246 -> 4633
1693.51/1693.88	c learnt constraints deletion: 9266 -> 4647
1701.81/1702.13	c learnt constraints deletion: 9253 -> 4639
1710.81/1711.11	c learnt constraints deletion: 9260 -> 4646
1720.11/1720.44	c learnt constraints deletion: 9242 -> 4636
1730.01/1730.32	c learnt constraints deletion: 9217 -> 4628
1740.40/1740.75	c learnt constraints deletion: 9238 -> 4636
1750.50/1750.84	c learnt constraints deletion: 9234 -> 4633
1761.00/1761.37	c learnt constraints deletion: 9233 -> 4636
1769.20/1769.51	c learnt constraints deletion: 9272 -> 4652
1776.90/1777.27	c learnt constraints deletion: 9242 -> 4639
1785.20/1785.58	c learnt constraints deletion: 9222 -> 4633
1794.00/1794.35	c learnt constraints deletion: 9240 -> 4638

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706608-1338111521/watcher-3706608-1338111521 -o /tmp/evaluation-result-3706608-1338111521/solver-3706608-1338111521 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706608-1338111521.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21567
/proc/meminfo: memFree=28915624/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 277276617 7405568 747 33554432000 4194304 8973514 140735153936896 140735392411176 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 1808 747 412 1167 0 589 0

[startup+0.0501791 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21567
/proc/meminfo: memFree=28915624/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=9280 CPUtime=0.04 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 1398 0 0 0 4 0 0 0 20 0 1 0 277276617 9502720 1319 33554432000 4194304 8973514 140735153936896 140735392411176 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 2320 1319 417 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.100272 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21567
/proc/meminfo: memFree=28915624/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=11328 CPUtime=0.09 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 2116 0 0 0 9 0 0 0 20 0 1 0 277276617 11599872 2037 33554432000 4194304 8973514 140735153936896 140735392411176 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 2832 2037 429 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300222 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21567
/proc/meminfo: memFree=28915624/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=11328 CPUtime=0.29 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 2116 0 0 0 29 0 0 0 20 0 1 0 277276617 11599872 2037 33554432000 4194304 8973514 140735153936896 140735392411176 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 2832 2037 429 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328

[startup+0.700228 s]
/proc/loadavg: 1.92 1.98 1.90 3/176 21567
/proc/meminfo: memFree=28915624/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=11328 CPUtime=0.69 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 2116 0 0 0 69 0 0 0 20 0 1 0 277276617 11599872 2037 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 2832 2037 429 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50025 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 21568
/proc/meminfo: memFree=28908060/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=13376 CPUtime=1.49 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 2645 0 0 0 148 1 0 0 20 0 1 0 277276617 13697024 2566 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 3344 2566 446 1167 0 2125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13376

[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.90 3/177 21568
/proc/meminfo: memFree=28905680/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=16448 CPUtime=3.08 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 3413 0 0 0 307 1 0 0 20 0 1 0 277276617 16842752 3334 33554432000 4194304 8973514 140735153936896 140735153936160 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 4112 3334 446 1167 0 2893 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16448

[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.90 3/177 21568
/proc/meminfo: memFree=28901464/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=18496 CPUtime=6.29 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 3926 0 0 0 626 3 0 0 20 0 1 0 277276617 18939904 3847 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 4624 3847 447 1167 0 3405 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18496

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.90 3/177 21568
/proc/meminfo: memFree=28894916/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=25664 CPUtime=12.69 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 5718 0 0 0 1263 6 0 0 20 0 1 0 277276617 26279936 5639 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 6416 5639 447 1167 0 5197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25664

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.91 3/177 21568
/proc/meminfo: memFree=28890180/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=27712 CPUtime=25.48 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 6234 0 0 0 2534 14 0 0 20 0 1 0 277276617 28377088 6156 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 6928 6156 447 1167 0 5709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27712

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.91 3/177 21568
/proc/meminfo: memFree=28886392/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=31808 CPUtime=51.07 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 7260 0 0 0 5080 27 0 0 20 0 1 0 277276617 32571392 7180 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 7952 7180 447 1167 0 6733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31808

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/178 21571
/proc/meminfo: memFree=28856552/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=59456 CPUtime=102.27 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 14174 0 0 0 10173 54 0 0 20 0 1 0 277276617 60882944 14092 33554432000 4194304 8973514 140735153936896 140735153936160 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 14864 14092 447 1167 0 13645 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59456

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21571
/proc/meminfo: memFree=28853520/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=60480 CPUtime=162.25 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 14203 0 0 0 16139 86 0 0 20 0 1 0 277276617 61931520 14109 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 15120 14109 447 1167 0 13901 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 60480

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21572
/proc/meminfo: memFree=28844528/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=67648 CPUtime=222.24 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 16234 0 0 0 22105 119 0 0 20 0 1 0 277276617 69271552 16140 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 16912 16140 447 1167 0 15693 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 67648

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21572
/proc/meminfo: memFree=28839504/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=70720 CPUtime=282.23 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 17005 0 0 0 28070 153 0 0 20 0 1 0 277276617 72417280 16908 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 17680 16908 447 1167 0 16461 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 70720

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 21572
/proc/meminfo: memFree=28837456/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=70720 CPUtime=342.22 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 17005 0 0 0 34037 185 0 0 20 0 1 0 277276617 72417280 16908 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 17680 16908 447 1167 0 16461 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 70720

[startup+402.3 s]
/proc/loadavg: 2.06 2.00 1.91 3/177 21572
/proc/meminfo: memFree=28832680/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=73792 CPUtime=402.21 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 17773 0 0 0 40004 217 0 0 20 0 1 0 277276617 75563008 17676 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 18448 17676 447 1167 0 17229 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 73792

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 21572
/proc/meminfo: memFree=28828272/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=75840 CPUtime=462.21 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 18287 0 0 0 45970 251 0 0 20 0 1 0 277276617 77660160 18188 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 18960 18188 447 1167 0 17741 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 75840

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21573
/proc/meminfo: memFree=28825856/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=75840 CPUtime=522.19 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 18288 0 0 0 51936 283 0 0 20 0 1 0 277276617 77660160 18188 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 18960 18188 447 1167 0 17741 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 75840

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21573
/proc/meminfo: memFree=28824244/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=77888 CPUtime=582.19 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 18800 0 0 0 57907 312 0 0 20 0 1 0 277276617 79757312 18700 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 19472 18700 447 1167 0 18253 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 77888

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21577
/proc/meminfo: memFree=28815812/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=78912 CPUtime=822.15 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 19057 0 0 0 81774 441 0 0 20 0 1 0 277276617 80805888 18956 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 19728 18956 447 1167 0 18509 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 78912

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21577
/proc/meminfo: memFree=28815068/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=78912 CPUtime=882.14 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 19057 0 0 0 87741 473 0 0 20 0 1 0 277276617 80805888 18956 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 19728 18956 447 1167 0 18509 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 78912

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21577
/proc/meminfo: memFree=28813516/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=78912 CPUtime=942.13 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 19057 0 0 0 93711 502 0 0 20 0 1 0 277276617 80805888 18956 33554432000 4194304 8973514 140735153936896 140735153936392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 19728 18956 447 1167 0 18509 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 78912

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21577
/proc/meminfo: memFree=28809920/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=80960 CPUtime=1002.12 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 19569 0 0 0 99679 533 0 0 20 0 1 0 277276617 82903040 19468 33554432000 4194304 8973514 140735153936896 140735153936160 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 20240 19468 447 1167 0 19021 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 80960

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21577
/proc/meminfo: memFree=28803660/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=85056 CPUtime=1062.11 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 20593 0 0 0 105645 566 0 0 20 0 1 0 277276617 87097344 20492 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 21264 20492 447 1167 0 20045 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 85056

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21578
/proc/meminfo: memFree=28801612/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=86080 CPUtime=1122.1 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 20850 0 0 0 111614 596 0 0 20 0 1 0 277276617 88145920 20748 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 21520 20748 447 1167 0 20301 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 86080

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 21578
/proc/meminfo: memFree=28799504/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=86080 CPUtime=1182.09 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 20851 0 0 0 117580 629 0 0 20 0 1 0 277276617 88145920 20748 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 21520 20748 447 1167 0 20301 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 86080

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 21578
/proc/meminfo: memFree=28798324/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=87104 CPUtime=1242.08 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 21107 0 0 0 123548 660 0 0 20 0 1 0 277276617 89194496 21004 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 21776 21004 447 1167 0 20557 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 87104

[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 1.94 3/178 21581
/proc/meminfo: memFree=28796640/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=87104 CPUtime=1302.08 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 21107 0 0 0 129517 691 0 0 20 0 1 0 277276617 89194496 21004 33554432000 4194304 8973514 140735153936896 140735153936392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 21776 21004 447 1167 0 20557 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 87104

[startup+1362.3 s]
/proc/loadavg: 2.19 2.08 1.95 3/178 21604
/proc/meminfo: memFree=28791800/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=89152 CPUtime=1362.06 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 21619 0 0 0 135484 722 0 0 20 0 1 0 277276617 91291648 21516 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 22288 21516 447 1167 0 21069 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 89152

[startup+1422.31 s]
/proc/loadavg: 2.07 2.06 1.95 3/177 21605
/proc/meminfo: memFree=28789736/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=89152 CPUtime=1422.06 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 21619 0 0 0 141454 752 0 0 20 0 1 0 277276617 91291648 21516 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 22288 21516 447 1167 0 21069 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 89152

[startup+1482.3 s]
/proc/loadavg: 2.15 2.08 1.96 3/177 21605
/proc/meminfo: memFree=28789796/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=89152 CPUtime=1482.04 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 21619 0 0 0 147421 783 0 0 20 0 1 0 277276617 91291648 21516 33554432000 4194304 8973514 140735153936896 140735153936392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 22288 21516 447 1167 0 21069 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 89152

[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 1.96 3/177 21605
/proc/meminfo: memFree=28789796/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=89152 CPUtime=1542.04 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 21619 0 0 0 153386 818 0 0 20 0 1 0 277276617 91291648 21516 33554432000 4194304 8973514 140735153936896 140735153936160 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 22288 21516 447 1167 0 21069 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 89152

[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 1.97 3/177 21605
/proc/meminfo: memFree=28784836/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=95296 CPUtime=1602.02 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 22994 0 0 0 159354 848 0 0 20 0 1 0 277276617 97583104 22891 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 23824 22891 447 1167 0 22605 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 95296

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 1.97 3/177 21605
/proc/meminfo: memFree=28780372/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=98368 CPUtime=1662.01 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 23927 0 0 0 165324 877 0 0 20 0 1 0 277276617 100728832 23820 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 24592 23820 447 1167 0 23373 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 98368

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 1.97 3/177 21606
/proc/meminfo: memFree=28780248/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=98368 CPUtime=1722.01 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 23927 0 0 0 171294 907 0 0 20 0 1 0 277276617 100728832 23820 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 24592 23820 447 1167 0 23373 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 98368

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/177 21645
/proc/meminfo: memFree=28822708/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=98368 CPUtime=1781.99 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 23927 0 0 0 177261 938 0 0 20 0 1 0 277276617 100728832 23820 33554432000 4194304 8973514 140735153936896 140735153936392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 24592 23820 447 1167 0 23373 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 98368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.04 1.97 4/177 21645
/proc/meminfo: memFree=28820104/32873648 swapFree=6604/6604
[pid=21567] ppid=21565 vsize=98368 CPUtime=1800.1 cores=0,2,4,6
/proc/21567/stat : 21567 (toysat) R 21565 21567 17458 0 -1 4202496 23927 0 0 0 179061 949 0 0 20 0 1 0 277276617 100728832 23820 33554432000 4194304 8973514 140735153936896 140735153936160 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/21567/statm: 24592 23820 447 1167 0 23373 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 98368

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1790.62
CPU system time (s): 9.49256
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 98368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.62
system time used= 9.49256
maximum resident set size= 95280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 2248

runsolver used 3.2715 second user time and 8.66468 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-27 11:38:41
IDJOB=3706608
IDBENCH=1851
IDSOLVER=2285
FILE ID=node148/3706608-1338111521
RUNJOBID= node148-1338109596-21102
PBS_JOBID= 14624438
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706608-1338111521/watcher-3706608-1338111521 -o /tmp/evaluation-result-3706608-1338111521/solver-3706608-1338111521 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706608-1338111521.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=920113453

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28915888 kB
Buffers:          322596 kB
Cached:          2778340 kB
SwapCached:          576 kB
Active:           527760 kB
Inactive:        2600760 kB
Active(anon):      18500 kB
Inactive(anon):    11120 kB
Active(file):     509260 kB
Inactive(file):  2589640 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:         35316 kB
Mapped:            15948 kB
Shmem:                96 kB
Slab:             689120 kB
SReclaimable:     133452 kB
SUnreclaim:       555668 kB
KernelStack:        1456 kB
PageTables:         3628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     143200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node148 at 2012-05-27 12:08:44