Trace number 3706664

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.09 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
MD5SUM9711add7b63200e6cedabbc5764a3737
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark18.6762
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of variables1040
Total number of constraints3656
Number of constraints which are clauses3656
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 1040
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1040
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.09/0.16	c 2012-05-27T13:04:12+0200
0.09/0.16	c arch = x86_64
0.09/0.16	c os = linux
0.09/0.16	c compiler = ghc 7.4
0.09/0.16	c packages:
0.09/0.16	c   OptDir-0.0.1
0.09/0.16	c   array-0.4.0.0
0.09/0.16	c   base-4.5.0.0
0.09/0.16	c   bytestring-0.9.2.1
0.09/0.16	c   containers-0.4.2.1
0.09/0.16	c   deepseq-1.3.0.0
0.09/0.16	c   mtl-2.1.1
0.09/0.16	c   old_locale-1.0.0.4
0.09/0.16	c   parse_dimacs-1.2
0.09/0.16	c   parsec-3.1.2
0.09/0.16	c   queue-0.1.2
0.09/0.16	c   stm-2.3
0.09/0.16	c   time-1.4
0.09/0.16	c command line = ["--pb","HOME/instance-3706664-1338116652.opb"]
0.09/0.16	c #vars 1040
0.09/0.16	c #constraints 3656
0.09/0.16	c Solving starts ...
0.09/0.19	c solving time = 0.024s
0.09/0.19	c #decision = 3079
0.09/0.19	c #conflict = 45
0.09/0.19	c #restart = 0
0.09/0.19	o 490
0.09/0.19	c Solving starts ...
0.09/0.19	c solving time = 0.005s
0.09/0.19	c #decision = 3432
0.09/0.19	c #conflict = 45
0.09/0.19	c #restart = 0
0.09/0.19	o 489
0.19/0.20	c Solving starts ...
0.19/0.20	c solving time = 0.005s
0.19/0.20	c #decision = 3783
0.19/0.20	c #conflict = 45
0.19/0.20	c #restart = 0
0.19/0.20	o 488
0.19/0.20	c Solving starts ...
0.19/0.21	c solving time = 0.004s
0.19/0.21	c #decision = 4132
0.19/0.21	c #conflict = 45
0.19/0.21	c #restart = 0
0.19/0.21	o 487
0.19/0.21	c Solving starts ...
0.19/0.21	c solving time = 0.005s
0.19/0.21	c #decision = 4479
0.19/0.21	c #conflict = 45
0.19/0.21	c #restart = 0
0.19/0.21	o 486
0.19/0.22	c Solving starts ...
0.19/0.22	c solving time = 0.004s
0.19/0.22	c #decision = 4825
0.19/0.22	c #conflict = 45
0.19/0.22	c #restart = 0
0.19/0.22	o 485
0.19/0.22	c Solving starts ...
0.19/0.23	c solving time = 0.005s
0.19/0.23	c #decision = 5169
0.19/0.23	c #conflict = 45
0.19/0.23	c #restart = 0
0.19/0.23	o 484
0.19/0.23	c Solving starts ...
0.19/0.24	c solving time = 0.009s
0.19/0.24	c #decision = 5517
0.19/0.24	c #conflict = 47
0.19/0.24	c #restart = 0
0.19/0.24	o 483
0.19/0.24	c Solving starts ...
0.19/0.25	c solving time = 0.006s
0.19/0.25	c #decision = 5848
0.19/0.25	c #conflict = 48
0.19/0.25	c #restart = 0
0.19/0.25	o 482
0.19/0.25	c Solving starts ...
0.19/0.25	c solving time = 0.006s
0.19/0.25	c #decision = 6178
0.19/0.25	c #conflict = 49
0.19/0.25	c #restart = 0
0.19/0.25	o 481
0.19/0.25	c Solving starts ...
0.19/0.26	c solving time = 0.006s
0.19/0.26	c #decision = 6506
0.19/0.26	c #conflict = 50
0.19/0.26	c #restart = 0
0.19/0.26	o 480
0.19/0.26	c Solving starts ...
0.19/0.27	c solving time = 0.006s
0.19/0.27	c #decision = 6841
0.19/0.27	c #conflict = 51
0.19/0.27	c #restart = 0
0.19/0.27	o 479
0.19/0.27	c Solving starts ...
0.19/0.28	c solving time = 0.007s
0.19/0.28	c #decision = 7178
0.19/0.28	c #conflict = 52
0.19/0.28	c #restart = 0
0.19/0.28	o 478
0.19/0.28	c Solving starts ...
0.19/0.29	c solving time = 0.012s
0.19/0.29	c #decision = 7516
0.19/0.29	c #conflict = 59
0.19/0.29	c #restart = 0
0.19/0.29	o 477
0.19/0.29	c Solving starts ...
0.29/0.31	c solving time = 0.011s
0.29/0.31	c #decision = 7881
0.29/0.31	c #conflict = 62
0.29/0.31	c #restart = 0
0.29/0.31	o 476
0.29/0.31	c Solving starts ...
6.89/6.92	c learnt constraints deletion: 3278 -> 1639
12.09/12.11	c learnt constraints deletion: 4309 -> 2157
15.59/15.62	c learnt constraints deletion: 3768 -> 1884
20.99/21.06	c learnt constraints deletion: 4664 -> 2334
26.39/26.45	c learnt constraints deletion: 5039 -> 2524
31.98/32.01	c learnt constraints deletion: 5039 -> 2521
38.09/38.11	c learnt constraints deletion: 5438 -> 2719
43.99/44.03	c learnt constraints deletion: 5444 -> 2724
49.18/49.27	c learnt constraints deletion: 5432 -> 2716
55.18/55.22	c learnt constraints deletion: 5898 -> 2951
60.78/60.84	c learnt constraints deletion: 5893 -> 2951
65.88/65.99	c learnt constraints deletion: 5895 -> 2951
70.88/70.98	c learnt constraints deletion: 5893 -> 2951
76.17/76.24	c learnt constraints deletion: 5913 -> 2957
81.87/81.93	c learnt constraints deletion: 6387 -> 3194
87.37/87.47	c learnt constraints deletion: 6386 -> 3194
94.27/94.31	c learnt constraints deletion: 6388 -> 3198
99.77/99.88	c learnt constraints deletion: 6389 -> 3197
105.47/105.57	c learnt constraints deletion: 6387 -> 3198
111.76/111.81	c learnt constraints deletion: 6520 -> 3260
118.16/118.25	c learnt constraints deletion: 6934 -> 3467
124.47/124.54	c learnt constraints deletion: 6935 -> 3471
130.36/130.40	c learnt constraints deletion: 6935 -> 3469
136.26/136.36	c learnt constraints deletion: 6933 -> 3469
142.87/142.99	c learnt constraints deletion: 6932 -> 3468
149.16/149.24	c learnt constraints deletion: 6930 -> 3468
155.06/155.12	c learnt constraints deletion: 6924 -> 3466
161.57/161.65	c learnt constraints deletion: 6935 -> 3473
168.26/168.34	c learnt constraints deletion: 7535 -> 3774
175.26/175.36	c learnt constraints deletion: 7536 -> 3769
182.36/182.48	c learnt constraints deletion: 7534 -> 3771
189.55/189.68	c learnt constraints deletion: 7537 -> 3774
197.25/197.31	c learnt constraints deletion: 7538 -> 3774
205.05/205.13	c learnt constraints deletion: 7538 -> 3775
211.25/211.33	c learnt constraints deletion: 7531 -> 3766
217.76/217.87	c learnt constraints deletion: 7537 -> 3770
224.75/224.80	c learnt constraints deletion: 7536 -> 3770
231.34/231.42	c learnt constraints deletion: 7529 -> 3767
237.55/237.67	c learnt constraints deletion: 7532 -> 3768
243.93/244.01	c learnt constraints deletion: 7346 -> 3673
251.53/251.65	c learnt constraints deletion: 8194 -> 4097
258.33/258.42	c learnt constraints deletion: 8193 -> 4098
265.43/265.54	c learnt constraints deletion: 8191 -> 4097
271.93/272.04	c learnt constraints deletion: 8188 -> 4095
279.03/279.13	c learnt constraints deletion: 8190 -> 4096
285.83/285.95	c learnt constraints deletion: 8193 -> 4099
292.92/293.09	c learnt constraints deletion: 8188 -> 4097
299.72/299.89	c learnt constraints deletion: 8185 -> 4093
307.33/307.44	c learnt constraints deletion: 8192 -> 4097
314.43/314.58	c learnt constraints deletion: 8196 -> 4099
321.42/321.53	c learnt constraints deletion: 8194 -> 4098
328.32/328.46	c learnt constraints deletion: 8192 -> 4098
335.82/335.96	c learnt constraints deletion: 8198 -> 4101
343.82/343.91	c learnt constraints deletion: 8189 -> 4095
351.22/351.33	c learnt constraints deletion: 8197 -> 4100
357.71/357.84	c learnt constraints deletion: 8132 -> 4066
366.01/366.16	c learnt constraints deletion: 8912 -> 4457
374.41/374.54	c learnt constraints deletion: 8918 -> 4461
382.62/382.79	c learnt constraints deletion: 8911 -> 4457
390.31/390.44	c learnt constraints deletion: 8910 -> 4456
398.31/398.46	c learnt constraints deletion: 8918 -> 4461
406.21/406.30	c learnt constraints deletion: 8911 -> 4457
414.30/414.48	c learnt constraints deletion: 8906 -> 4456
422.21/422.35	c learnt constraints deletion: 8918 -> 4460
430.80/430.99	c learnt constraints deletion: 8918 -> 4461
438.90/439.02	c learnt constraints deletion: 8915 -> 4460
446.79/446.90	c learnt constraints deletion: 8918 -> 4462
455.49/455.62	c learnt constraints deletion: 8919 -> 4463
464.00/464.16	c learnt constraints deletion: 8912 -> 4458
472.29/472.48	c learnt constraints deletion: 8915 -> 4459
480.98/481.18	c learnt constraints deletion: 8913 -> 4459
489.29/489.46	c learnt constraints deletion: 8914 -> 4460
497.09/497.27	c learnt constraints deletion: 8919 -> 4463
506.49/506.61	c learnt constraints deletion: 8915 -> 4461
514.69/514.84	c learnt constraints deletion: 8912 -> 4458
522.98/523.16	c learnt constraints deletion: 8918 -> 4461
531.48/531.66	c learnt constraints deletion: 8912 -> 4461
540.68/540.84	c learnt constraints deletion: 9332 -> 4666
549.08/549.24	c learnt constraints deletion: 9713 -> 4857
557.78/557.94	c learnt constraints deletion: 9717 -> 4862
565.97/566.15	c learnt constraints deletion: 9715 -> 4858
574.77/574.93	c learnt constraints deletion: 9716 -> 4861
583.08/583.21	c learnt constraints deletion: 9715 -> 4860
592.07/592.28	c learnt constraints deletion: 9714 -> 4861
599.87/600.04	c learnt constraints deletion: 9705 -> 4854
608.37/608.52	c learnt constraints deletion: 9715 -> 4859
616.37/616.52	c learnt constraints deletion: 9713 -> 4859
624.27/624.48	c learnt constraints deletion: 9716 -> 4860
632.86/633.04	c learnt constraints deletion: 9713 -> 4860
641.26/641.47	c learnt constraints deletion: 9716 -> 4859
649.76/649.99	c learnt constraints deletion: 9705 -> 4854
658.16/658.39	c learnt constraints deletion: 9707 -> 4854
666.15/666.37	c learnt constraints deletion: 9716 -> 4862
674.25/674.42	c learnt constraints deletion: 9717 -> 4865
682.35/682.51	c learnt constraints deletion: 9707 -> 4862
690.05/690.26	c learnt constraints deletion: 9712 -> 4859
698.95/699.17	c learnt constraints deletion: 9718 -> 4864
707.16/707.37	c learnt constraints deletion: 9714 -> 4861
716.25/716.45	c learnt constraints deletion: 9714 -> 4864
724.75/724.98	c learnt constraints deletion: 9713 -> 4863
733.95/734.17	c learnt constraints deletion: 9709 -> 4862
743.14/743.39	c learnt constraints deletion: 9716 -> 4867
752.25/752.41	c learnt constraints deletion: 9717 -> 4870
760.84/761.09	c learnt constraints deletion: 9705 -> 4856
768.95/769.10	c learnt constraints deletion: 9711 -> 4862
777.64/777.88	c learnt constraints deletion: 9715 -> 4865
785.83/786.02	c learnt constraints deletion: 9714 -> 4863
795.74/795.97	c learnt constraints deletion: 10591 -> 5303
804.44/804.65	c learnt constraints deletion: 10584 -> 5292
814.04/814.23	c learnt constraints deletion: 10591 -> 5297
823.03/823.26	c learnt constraints deletion: 10577 -> 5289
831.83/832.09	c learnt constraints deletion: 10579 -> 5290
840.63/840.87	c learnt constraints deletion: 10592 -> 5298
849.43/849.64	c learnt constraints deletion: 10580 -> 5292
858.53/858.70	c learnt constraints deletion: 10594 -> 5300
867.83/868.06	c learnt constraints deletion: 10594 -> 5299
876.53/876.74	c learnt constraints deletion: 10581 -> 5294
885.13/885.39	c learnt constraints deletion: 10594 -> 5300
894.43/894.67	c learnt constraints deletion: 10587 -> 5299
903.42/903.68	c learnt constraints deletion: 10594 -> 5301
913.02/913.22	c learnt constraints deletion: 10594 -> 5303
922.01/922.25	c learnt constraints deletion: 10587 -> 5295
931.91/932.17	c learnt constraints deletion: 10594 -> 5300
942.21/942.49	c learnt constraints deletion: 10589 -> 5299
951.81/952.03	c learnt constraints deletion: 10598 -> 5305
960.80/961.01	c learnt constraints deletion: 10594 -> 5300
970.20/970.43	c learnt constraints deletion: 10593 -> 5300
979.70/979.93	c learnt constraints deletion: 10593 -> 5300
988.79/989.06	c learnt constraints deletion: 10592 -> 5299
997.90/998.15	c learnt constraints deletion: 10592 -> 5299
1007.69/1007.91	c learnt constraints deletion: 10594 -> 5301
1017.00/1017.20	c learnt constraints deletion: 10590 -> 5299
1026.29/1026.52	c learnt constraints deletion: 10592 -> 5300
1036.00/1036.27	c learnt constraints deletion: 10591 -> 5300
1045.69/1045.96	c learnt constraints deletion: 10595 -> 5303
1054.99/1055.27	c learnt constraints deletion: 10595 -> 5303
1064.78/1065.05	c learnt constraints deletion: 10583 -> 5294
1073.79/1074.00	c learnt constraints deletion: 10588 -> 5297
1083.29/1083.55	c learnt constraints deletion: 10587 -> 5300
1092.88/1093.17	c learnt constraints deletion: 10591 -> 5300
1102.78/1103.06	c learnt constraints deletion: 10594 -> 5303
1112.08/1112.38	c learnt constraints deletion: 10593 -> 5301
1121.38/1121.65	c learnt constraints deletion: 10587 -> 5299
1130.48/1130.70	c learnt constraints deletion: 10590 -> 5300
1139.97/1140.25	c learnt constraints deletion: 10594 -> 5302
1149.67/1149.93	c learnt constraints deletion: 10586 -> 5299
1159.77/1160.07	c learnt constraints deletion: 10580 -> 5295
1169.07/1169.37	c learnt constraints deletion: 10589 -> 5301
1178.67/1178.91	c learnt constraints deletion: 10583 -> 5299
1190.17/1190.42	c learnt constraints deletion: 11558 -> 5785
1200.47/1200.73	c learnt constraints deletion: 11556 -> 5778
1211.26/1211.56	c learnt constraints deletion: 11548 -> 5775
1223.66/1223.97	c learnt constraints deletion: 11548 -> 5775
1233.87/1234.13	c learnt constraints deletion: 11552 -> 5778
1245.46/1245.75	c learnt constraints deletion: 11547 -> 5777
1256.46/1256.76	c learnt constraints deletion: 11550 -> 5778
1266.35/1266.68	c learnt constraints deletion: 11553 -> 5777
1276.95/1277.29	c learnt constraints deletion: 11543 -> 5773
1286.85/1287.15	c learnt constraints deletion: 11557 -> 5780
1296.74/1297.02	c learnt constraints deletion: 11553 -> 5779
1306.74/1307.06	c learnt constraints deletion: 11553 -> 5778
1317.45/1317.79	c learnt constraints deletion: 11547 -> 5776
1328.55/1328.82	c learnt constraints deletion: 11556 -> 5780
1338.35/1338.64	c learnt constraints deletion: 11549 -> 5779
1348.74/1349.07	c learnt constraints deletion: 11559 -> 5785
1360.64/1360.96	c learnt constraints deletion: 11548 -> 5776
1372.64/1372.96	c learnt constraints deletion: 11553 -> 5780
1383.03/1383.30	c learnt constraints deletion: 11558 -> 5783
1393.53/1393.85	c learnt constraints deletion: 11558 -> 5783
1403.73/1404.00	c learnt constraints deletion: 11553 -> 5777
1414.02/1414.32	c learnt constraints deletion: 11552 -> 5777
1424.23/1424.56	c learnt constraints deletion: 11555 -> 5780
1433.53/1433.88	c learnt constraints deletion: 11556 -> 5779
1443.93/1444.23	c learnt constraints deletion: 11550 -> 5776
1457.62/1457.94	c learnt constraints deletion: 11557 -> 5781
1472.31/1472.67	c learnt constraints deletion: 11542 -> 5772
1484.52/1484.87	c learnt constraints deletion: 11557 -> 5781
1499.02/1499.38	c learnt constraints deletion: 11552 -> 5777
1511.31/1511.68	c learnt constraints deletion: 11554 -> 5779
1525.42/1525.73	c learnt constraints deletion: 11546 -> 5776
1538.61/1538.94	c learnt constraints deletion: 11545 -> 5774
1550.41/1550.70	c learnt constraints deletion: 11555 -> 5781
1565.11/1565.44	c learnt constraints deletion: 11556 -> 5782
1580.11/1580.46	c learnt constraints deletion: 11555 -> 5781
1592.30/1592.63	c learnt constraints deletion: 11557 -> 5783
1603.50/1603.82	c learnt constraints deletion: 11558 -> 5783
1615.39/1615.77	c learnt constraints deletion: 11560 -> 5785
1626.09/1626.43	c learnt constraints deletion: 11552 -> 5779
1637.10/1637.46	c learnt constraints deletion: 11552 -> 5780
1648.29/1648.69	c learnt constraints deletion: 11562 -> 5787
1659.50/1659.85	c learnt constraints deletion: 11558 -> 5781
1670.39/1670.74	c learnt constraints deletion: 11551 -> 5779
1680.88/1681.21	c learnt constraints deletion: 11554 -> 5780
1691.58/1691.98	c learnt constraints deletion: 11549 -> 5779
1703.58/1703.99	c learnt constraints deletion: 11555 -> 5783
1714.68/1715.01	c learnt constraints deletion: 11554 -> 5783
1725.68/1726.04	c learnt constraints deletion: 11556 -> 5781
1736.78/1737.19	c learnt constraints deletion: 11552 -> 5781
1747.18/1747.57	c learnt constraints deletion: 11554 -> 5781
1758.38/1758.70	c learnt constraints deletion: 11557 -> 5783
1768.97/1769.33	c learnt constraints deletion: 11554 -> 5782
1779.57/1779.98	c learnt constraints deletion: 11553 -> 5781
1790.38/1790.72	c learnt constraints deletion: 11556 -> 5783

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-3706664-1338116652/watcher-3706664-1338116652 -o /tmp/evaluation-result-3706664-1338116652/solver-3706664-1338116652 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706664-1338116652.opb 

running on 4 cores: 1,3,5,7

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.00 1.08 1.44 3/175 5118
/proc/meminfo: memFree=28289412/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 277791186 7405568 750 33554432000 4194304 8973514 140737276772272 140735947409144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 1808 750 416 1167 0 589 0

[startup+0.084182 s]
/proc/loadavg: 1.00 1.08 1.44 3/175 5118
/proc/meminfo: memFree=28289412/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=10304 CPUtime=0.07 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 1817 0 0 0 7 0 0 0 20 0 1 0 277791186 10551296 1739 33554432000 4194304 8973514 140737276772272 140735947409144 4481608 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 2576 1739 426 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304

[startup+0.100285 s]
/proc/loadavg: 1.00 1.08 1.44 3/175 5118
/proc/meminfo: memFree=28289412/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=10304 CPUtime=0.09 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 1817 0 0 0 9 0 0 0 20 0 1 0 277791186 10551296 1739 33554432000 4194304 8973514 140737276772272 140735947409144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 2576 1739 426 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304

[startup+0.300138 s]
/proc/loadavg: 1.00 1.08 1.44 3/175 5118
/proc/meminfo: memFree=28289412/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=11328 CPUtime=0.29 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 2145 0 0 0 29 0 0 0 20 0 1 0 277791186 11599872 2070 33554432000 4194304 8973514 140737276772272 140737276771536 4380451 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 2832 2070 456 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328

[startup+0.700277 s]
/proc/loadavg: 1.00 1.08 1.44 3/175 5118
/proc/meminfo: memFree=28289412/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=15424 CPUtime=0.69 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 3169 0 0 0 68 1 0 0 20 0 1 0 277791186 15794176 3094 33554432000 4194304 8973514 140737276772272 140737276771536 4380208 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 3856 3094 456 1167 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15424

[startup+1.50029 s]
/proc/loadavg: 1.00 1.08 1.44 3/174 5262
/proc/meminfo: memFree=28280852/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=19520 CPUtime=1.49 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 3948 0 0 0 148 1 0 0 20 0 1 0 277791186 19988480 3873 33554432000 4194304 8973514 140737276772272 140737276771768 4381844 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 4880 3873 456 1167 0 3661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19520

[startup+3.1003 s]
/proc/loadavg: 1.00 1.08 1.44 3/177 5272
/proc/meminfo: memFree=28246620/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=24640 CPUtime=3.09 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 5473 0 0 0 307 2 0 0 20 0 1 0 277791186 25231360 5398 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 6160 5398 456 1167 0 4941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24640

[startup+6.30029 s]
/proc/loadavg: 1.08 1.10 1.44 3/177 5272
/proc/meminfo: memFree=28229884/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=33856 CPUtime=6.28 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 7777 0 0 0 625 3 0 0 20 0 1 0 277791186 34668544 7702 33554432000 4194304 8973514 140737276772272 140737276771768 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 8464 7702 456 1167 0 7245 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33856

[startup+12.7002 s]
/proc/loadavg: 1.15 1.11 1.45 3/177 5272
/proc/meminfo: memFree=28214032/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=43072 CPUtime=12.69 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 10082 0 0 0 1262 7 0 0 20 0 1 0 277791186 44105728 10007 33554432000 4194304 8973514 140737276772272 140737276771768 7680108 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 10768 10007 457 1167 0 9549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43072

[startup+25.5002 s]
/proc/loadavg: 1.34 1.15 1.46 3/177 5272
/proc/meminfo: memFree=28194156/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=49216 CPUtime=25.49 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 12386 0 0 0 2537 12 0 0 20 0 1 0 277791186 50397184 11543 33554432000 4194304 8973514 140737276772272 140737276771768 6576554 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 12304 11543 457 1167 0 11085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49216

[startup+51.1003 s]
/proc/loadavg: 1.56 1.22 1.47 3/177 5272
/proc/meminfo: memFree=28160960/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=60480 CPUtime=51.09 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 17506 0 0 0 5087 22 0 0 20 0 1 0 277791186 61931520 14359 33554432000 4194304 8973514 140737276772272 140737276770240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 15120 14359 457 1167 0 13901 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60480

[startup+102.307 s]
/proc/loadavg: 1.81 1.34 1.49 3/176 5272
/proc/meminfo: memFree=28095912/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=95296 CPUtime=102.28 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 26732 0 0 0 10185 43 0 0 20 0 1 0 277791186 97583104 23063 33554432000 4194304 8973514 140737276772272 140737276771768 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 23824 23063 457 1167 0 22605 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 95296

[startup+162.3 s]
/proc/loadavg: 1.93 1.46 1.52 3/177 5273
/proc/meminfo: memFree=28067568/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=110656 CPUtime=162.26 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 31596 0 0 0 16165 61 0 0 20 0 1 0 277791186 113311744 26903 33554432000 4194304 8973514 140737276772272 140737276771536 6662120 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 27664 26903 457 1167 0 26445 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 110656

[startup+222.3 s]
/proc/loadavg: 1.97 1.55 1.55 3/177 5273
/proc/meminfo: memFree=28077100/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=92224 CPUtime=222.25 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 39788 0 0 0 22145 80 0 0 20 0 1 0 277791186 94437376 22295 33554432000 4194304 8973514 140737276772272 140737276771768 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 23056 22295 457 1167 0 21837 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 92224

[startup+282.3 s]
/proc/loadavg: 2.02 1.64 1.58 3/177 5274
/proc/meminfo: memFree=28057900/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=94272 CPUtime=282.23 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 43385 0 0 0 28122 101 0 0 20 0 1 0 277791186 96534528 22807 33554432000 4194304 8973514 140737276772272 140737276771768 6565825 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 23568 22807 457 1167 0 22349 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 94272

[startup+342.3 s]
/proc/loadavg: 2.01 1.71 1.60 3/177 5274
/proc/meminfo: memFree=28055524/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=91200 CPUtime=342.21 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 45433 0 0 0 34099 122 0 0 20 0 1 0 277791186 93388800 22039 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 22800 22039 457 1167 0 21581 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 91200

[startup+402.3 s]
/proc/loadavg: 2.00 1.76 1.63 3/178 5277
/proc/meminfo: memFree=28043072/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=99392 CPUtime=402.21 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 50041 0 0 0 40079 142 0 0 20 0 1 0 277791186 101777408 24087 33554432000 4194304 8973514 140737276772272 140737276771768 6570448 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 24848 24087 457 1167 0 23629 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 99392

[startup+462.3 s]
/proc/loadavg: 2.07 1.81 1.65 3/177 5277
/proc/meminfo: memFree=28003128/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=107584 CPUtime=462.19 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 53379 0 0 0 46056 163 0 0 20 0 1 0 277791186 110166016 26135 33554432000 4194304 8973514 140737276772272 140737276754240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 26896 26135 457 1167 0 25677 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 107584

[startup+522.3 s]
/proc/loadavg: 2.02 1.85 1.67 3/177 5277
/proc/meminfo: memFree=27973792/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=110656 CPUtime=522.18 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 54147 0 0 0 52034 184 0 0 20 0 1 0 277791186 113311744 26903 33554432000 4194304 8973514 140737276772272 140737276771768 4427540 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 27664 26903 457 1167 0 26445 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 110656

[startup+582.3 s]
/proc/loadavg: 2.01 1.87 1.69 3/177 5278
/proc/meminfo: memFree=27965124/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=107584 CPUtime=582.17 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 56451 0 0 0 58013 204 0 0 20 0 1 0 277791186 110166016 26135 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 26896 26135 457 1167 0 25677 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 107584

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 1.95 1.75 3/177 5278
/proc/meminfo: memFree=27868560/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=123968 CPUtime=822.13 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 75655 0 0 0 81930 283 0 0 20 0 1 0 277791186 126943232 30231 33554432000 4194304 8973514 140737276772272 140737276771536 4462536 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 30992 30231 457 1167 0 29773 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 123968

[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.76 3/177 5279
/proc/meminfo: memFree=27829360/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=146496 CPUtime=882.12 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 81287 0 0 0 87908 304 0 0 20 0 1 0 277791186 150011904 35863 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 36624 35863 457 1167 0 35405 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 146496

[startup+942.3 s]
/proc/loadavg: 2.07 1.97 1.78 3/177 5279
/proc/meminfo: memFree=27820660/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=154688 CPUtime=942.11 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 83347 0 0 0 93888 323 0 0 20 0 1 0 277791186 158400512 37911 33554432000 4194304 8973514 140737276772272 140737276771536 4494552 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 38672 37911 457 1167 0 37453 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 154688

[startup+1002.3 s]
/proc/loadavg: 2.02 1.97 1.79 3/178 5282
/proc/meminfo: memFree=27799612/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=176192 CPUtime=1002.1 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 88723 0 0 0 99866 344 0 0 20 0 1 0 277791186 180420608 43287 33554432000 4194304 8973514 140737276772272 140737276771768 6570441 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 44048 43287 457 1167 0 42829 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 176192

[startup+1062.3 s]
/proc/loadavg: 2.01 1.97 1.81 3/177 5282
/proc/meminfo: memFree=27810884/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=164928 CPUtime=1062.09 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 88723 0 0 0 105844 365 0 0 20 0 1 0 277791186 168886272 40471 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 41232 40471 457 1167 0 40013 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 164928

[startup+1122.3 s]
/proc/loadavg: 2.07 1.99 1.82 3/177 5282
/proc/meminfo: memFree=27804192/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=170048 CPUtime=1122.08 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 90003 0 0 0 111824 384 0 0 20 0 1 0 277791186 174129152 41751 33554432000 4194304 8973514 140737276772272 140737276771768 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 42512 41751 457 1167 0 41293 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 170048

[startup+1182.3 s]
/proc/loadavg: 2.02 1.99 1.83 3/177 5283
/proc/meminfo: memFree=27786132/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=177216 CPUtime=1182.06 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 91795 0 0 0 117803 403 0 0 20 0 1 0 277791186 181469184 43543 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 44304 43543 457 1167 0 43085 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 177216

[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 1.83 3/177 5283
/proc/meminfo: memFree=27776836/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=164928 CPUtime=1242.06 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 92307 0 0 0 123785 421 0 0 20 0 1 0 277791186 168886272 40471 33554432000 4194304 8973514 140737276772272 140737276771768 4544561 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 41232 40471 457 1167 0 40013 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 164928

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 5283
/proc/meminfo: memFree=27767676/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=173120 CPUtime=1302.05 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 96408 0 0 0 129763 442 0 0 20 0 1 0 277791186 177274880 42519 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 43280 42519 457 1167 0 42061 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 173120

[startup+1362.3 s]
/proc/loadavg: 2.05 2.00 1.85 3/178 5284
/proc/meminfo: memFree=27802456/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=139328 CPUtime=1362.04 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 97176 0 0 0 135743 461 0 0 20 0 1 0 277791186 142671872 34071 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 34832 34071 457 1167 0 33613 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 139328

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.86 3/177 5284
/proc/meminfo: memFree=27798992/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=139328 CPUtime=1422.04 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 97176 0 0 0 141722 482 0 0 20 0 1 0 277791186 142671872 34071 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 34832 34071 457 1167 0 33613 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 139328

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/177 5285
/proc/meminfo: memFree=27773692/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=154688 CPUtime=1482.02 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 101784 0 0 0 147701 501 0 0 20 0 1 0 277791186 158400512 37911 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 38672 37911 457 1167 0 37453 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 154688

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 5285
/proc/meminfo: memFree=27754224/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=162880 CPUtime=1542.01 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 103832 0 0 0 153683 518 0 0 20 0 1 0 277791186 166789120 39959 33554432000 4194304 8973514 140737276772272 140737276771768 4362805 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 40720 39959 457 1167 0 39501 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 162880

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 5288
/proc/meminfo: memFree=27738248/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=160832 CPUtime=1602 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 103835 0 0 0 159663 537 0 0 20 0 1 0 277791186 164691968 39447 33554432000 4194304 8973514 140737276772272 140737276771768 4459098 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 40208 39447 457 1167 0 38989 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 160832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 5288
/proc/meminfo: memFree=27745576/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=136256 CPUtime=1661.99 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 105115 0 0 0 165643 556 0 0 20 0 1 0 277791186 139526144 33303 33554432000 4194304 8973514 140737276772272 140737276771768 6662214 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 34064 33303 457 1167 0 32845 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 136256

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 5288
/proc/meminfo: memFree=27764844/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=136256 CPUtime=1721.98 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 106139 0 0 0 171622 576 0 0 20 0 1 0 277791186 139526144 33303 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 34064 33303 457 1167 0 32845 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 136256

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5289
/proc/meminfo: memFree=27762124/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=138304 CPUtime=1781.97 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 108699 0 0 0 177599 598 0 0 20 0 1 0 277791186 141623296 33815 33554432000 4194304 8973514 140737276772272 140737276771536 4363510 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 34576 33815 457 1167 0 33357 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 138304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5289
/proc/meminfo: memFree=27762496/32873648 swapFree=6864/6864
[pid=5118] ppid=5114 vsize=138304 CPUtime=1800.07 cores=1,3,5,7
/proc/5118/stat : 5118 (toysat) R 5114 5118 2447 0 -1 4202496 108699 0 0 0 179404 603 0 0 20 0 1 0 277791186 141623296 33815 33554432000 4194304 8973514 140737276772272 140737276771768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5118/statm: 34576 33815 457 1167 0 33357 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 138304

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.09
CPU user time (s): 1794.05
CPU system time (s): 6.04108
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 181312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.05
system time used= 6.04108
maximum resident set size= 178268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108699
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= 62
involuntary context switches= 1847

runsolver used 3.69244 second user time and 8.77367 second system time

The end

Launcher Data 

Begin job on node120 at 2012-05-27 13:04:12
IDJOB=3706664
IDBENCH=2119
IDSOLVER=2285
FILE ID=node120/3706664-1338116652
RUNJOBID= node120-1338116652-5092
PBS_JOBID= 14624455
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706664-1338116652/watcher-3706664-1338116652 -o /tmp/evaluation-result-3706664-1338116652/solver-3706664-1338116652 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706664-1338116652.opb

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

MD5SUM BENCH= 9711add7b63200e6cedabbc5764a3737
RANDOM SEED=553102288

node120.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		: 2666.456
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	: 5332.91
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		: 2666.456
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.91
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		: 2666.456
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		: 2666.456
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.88
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		: 2666.456
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.91
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		: 2666.456
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.83
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		: 2666.456
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.91
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		: 2666.456
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28290396 kB
Buffers:          312760 kB
Cached:          3432716 kB
SwapCached:          636 kB
Active:           759212 kB
Inactive:        2999120 kB
Active(anon):       2272 kB
Inactive(anon):    12532 kB
Active(file):     756940 kB
Inactive(file):  2986588 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:             14760 kB
Writeback:             0 kB
AnonPages:         18708 kB
Mapped:            13504 kB
Shmem:               120 kB
Slab:             685936 kB
SReclaimable:     130340 kB
SUnreclaim:       555596 kB
KernelStack:        1392 kB
PageTables:         3824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71684 MiB
End job on node120 at 2012-05-27 13:34:14