Trace number 3712307

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 NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.08 1800.41

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM68a136cd2642dd27a3fdbf065e2a5463
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.554914
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2400
Total number of constraints140
Number of soft constraints140
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint40
Top cost 7122
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7121
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
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.02/0.04	c 2012-05-28T10:30:02+0200
0.02/0.04	c arch = x86_64
0.02/0.04	c os = linux
0.02/0.04	c compiler = ghc 7.4
0.02/0.04	c packages:
0.02/0.04	c   OptDir-0.0.1
0.02/0.04	c   array-0.4.0.0
0.02/0.04	c   base-4.5.0.0
0.02/0.04	c   bytestring-0.9.2.1
0.02/0.04	c   containers-0.4.2.1
0.02/0.04	c   deepseq-1.3.0.0
0.02/0.04	c   mtl-2.1.1
0.02/0.04	c   old_locale-1.0.0.4
0.02/0.04	c   parse_dimacs-1.2
0.02/0.04	c   parsec-3.1.2
0.02/0.04	c   queue-0.1.2
0.02/0.04	c   stm-2.3
0.02/0.04	c   time-1.4
0.02/0.04	c command line = ["--wbo","HOME/instance-3712307-1338193802.wbo"]
0.02/0.04	c #vars 2400
0.02/0.04	c #constraints 140
0.02/0.04	c Solving starts ...
0.78/0.82	c solving time = 0.780s
0.78/0.82	c #decision = 2516
0.78/0.82	c #conflict = 464
0.78/0.82	c #restart = 2
0.78/0.82	o 117
0.78/0.82	c Solving starts ...
2.09/2.14	c solving time = 1.317s
2.09/2.14	c #decision = 6567
2.09/2.14	c #conflict = 898
2.09/2.14	c #restart = 4
2.09/2.14	o 109
2.09/2.14	c Solving starts ...
2.09/2.14	c solving time = 0.005s
2.09/2.14	c #decision = 7819
2.09/2.14	c #conflict = 898
2.09/2.14	c #restart = 4
2.09/2.14	o 104
2.09/2.14	c Solving starts ...
2.09/2.15	c solving time = 0.007s
2.09/2.15	c #decision = 9216
2.09/2.15	c #conflict = 901
2.09/2.15	c #restart = 4
2.09/2.15	o 32
2.09/2.15	c Solving starts ...
2.28/2.36	c learnt constraints deletion: 996 -> 498
5.38/5.44	c learnt constraints deletion: 1714 -> 857
5.38/5.45	c solving time = 3.299s
5.38/5.45	c #decision = 16686
5.38/5.45	c #conflict = 2226
5.38/5.45	c #restart = 9
5.38/5.45	o 27
5.38/5.45	c Solving starts ...
5.38/5.46	c solving time = 0.005s
5.38/5.46	c #decision = 17674
5.38/5.46	c #conflict = 2226
5.38/5.46	c #restart = 9
5.38/5.46	o 26
5.38/5.46	c Solving starts ...
5.38/5.47	c solving time = 0.004s
5.38/5.47	c #decision = 18660
5.38/5.47	c #conflict = 2226
5.38/5.47	c #restart = 9
5.38/5.47	o 25
5.38/5.47	c Solving starts ...
5.88/5.99	c learnt constraints deletion: 1110 -> 555
7.37/7.43	c solving time = 1.957s
7.37/7.43	c #decision = 24494
7.37/7.43	c #conflict = 3042
7.37/7.43	c #restart = 13
7.37/7.43	o 19
7.37/7.43	c Solving starts ...
7.37/7.43	c learnt constraints deletion: 1119 -> 560
7.37/7.43	c solving time = 0.007s
7.37/7.43	c #decision = 25457
7.37/7.43	c #conflict = 3042
7.37/7.43	c #restart = 13
7.37/7.43	o 18
7.37/7.43	c Solving starts ...
7.37/7.44	c solving time = 0.004s
7.37/7.44	c #decision = 26413
7.37/7.44	c #conflict = 3042
7.37/7.44	c #restart = 13
7.37/7.44	o 17
7.37/7.44	c Solving starts ...
9.37/9.40	c learnt constraints deletion: 1369 -> 685
12.67/12.73	c learnt constraints deletion: 1951 -> 976
15.67/15.77	c learnt constraints deletion: 2117 -> 1059
19.68/19.76	c learnt constraints deletion: 2771 -> 1386
26.38/26.47	c learnt constraints deletion: 3955 -> 1978
33.86/33.91	c learnt constraints deletion: 4576 -> 2299
37.66/37.79	c learnt constraints deletion: 3555 -> 1778
38.47/38.55	c learnt constraints deletion: 2728 -> 1368
39.47/39.59	c learnt constraints deletion: 2750 -> 1380
47.76/47.83	c learnt constraints deletion: 4830 -> 2415
51.06/51.14	c learnt constraints deletion: 3794 -> 1903
56.46/56.56	c learnt constraints deletion: 3785 -> 1905
62.67/62.75	c learnt constraints deletion: 3784 -> 1905
68.36/68.40	c learnt constraints deletion: 3793 -> 1911
73.46/73.52	c learnt constraints deletion: 3557 -> 1779
73.46/73.56	c solving time = 66.094s
73.46/73.56	c #decision = 69851
73.46/73.56	c #conflict = 28862
73.46/73.56	c #restart = 25
73.46/73.56	o 16
73.46/73.56	c Solving starts ...
73.46/73.56	c learnt constraints deletion: 1780 -> 890
73.46/73.57	c solving time = 0.012s
73.46/73.57	c #decision = 70870
73.46/73.57	c #conflict = 28866
73.46/73.57	c #restart = 25
73.46/73.57	o 15
73.46/73.57	c Solving starts ...
73.76/73.83	c solving time = 0.255s
73.76/73.83	c #decision = 73113
73.76/73.83	c #conflict = 28973
73.76/73.83	c #restart = 26
73.76/73.83	o 10
73.76/73.83	c Solving starts ...
73.96/74.02	c learnt constraints deletion: 1099 -> 550
76.86/76.93	c learnt constraints deletion: 1766 -> 883
81.76/81.89	c learnt constraints deletion: 2784 -> 1392
86.95/87.06	c learnt constraints deletion: 3104 -> 1552
94.75/94.81	c learnt constraints deletion: 4121 -> 2061
102.05/102.15	c learnt constraints deletion: 4528 -> 2274
107.84/107.98	c learnt constraints deletion: 3661 -> 1831
112.85/112.99	c learnt constraints deletion: 3570 -> 1791
118.84/118.98	c learnt constraints deletion: 3590 -> 1808
124.94/125.09	c learnt constraints deletion: 3582 -> 1807
130.44/130.57	c learnt constraints deletion: 3817 -> 1923
135.64/135.72	c learnt constraints deletion: 3826 -> 1928
141.24/141.36	c learnt constraints deletion: 3805 -> 1918
147.14/147.23	c learnt constraints deletion: 3812 -> 1921
151.43/151.55	c learnt constraints deletion: 3381 -> 1691
163.43/163.54	c learnt constraints deletion: 5192 -> 2600
173.44/173.56	c learnt constraints deletion: 5146 -> 2578
183.64/183.75	c learnt constraints deletion: 5136 -> 2573
193.23/193.35	c learnt constraints deletion: 5172 -> 2592
200.33/200.44	c learnt constraints deletion: 4400 -> 2200
213.03/213.14	c learnt constraints deletion: 5444 -> 2727
224.43/224.58	c learnt constraints deletion: 5547 -> 2782
237.02/237.12	c learnt constraints deletion: 5540 -> 2779
251.73/251.88	c learnt constraints deletion: 5453 -> 2736
265.42/265.51	c learnt constraints deletion: 5559 -> 2789
279.21/279.32	c learnt constraints deletion: 5563 -> 2791
291.21/291.37	c learnt constraints deletion: 5217 -> 2609
303.31/303.50	c learnt constraints deletion: 5737 -> 2874
319.71/319.80	c learnt constraints deletion: 5728 -> 2875
336.41/336.59	c learnt constraints deletion: 5724 -> 2874
351.29/351.48	c learnt constraints deletion: 5724 -> 2873
367.30/367.47	c learnt constraints deletion: 5730 -> 2876
382.00/382.19	c learnt constraints deletion: 5700 -> 2861
395.70/395.82	c learnt constraints deletion: 5724 -> 2875
409.89/410.08	c learnt constraints deletion: 5732 -> 2878
424.99/425.18	c learnt constraints deletion: 5695 -> 2860
441.48/441.69	c learnt constraints deletion: 6057 -> 3040
448.98/449.10	c learnt constraints deletion: 5164 -> 2586
458.18/458.34	c learnt constraints deletion: 5150 -> 2579
470.98/471.15	c learnt constraints deletion: 5130 -> 2572
484.57/484.72	c learnt constraints deletion: 5142 -> 2578
494.18/494.30	c learnt constraints deletion: 5172 -> 2593
503.48/503.67	c learnt constraints deletion: 5138 -> 2578
513.58/513.78	c learnt constraints deletion: 5171 -> 2595
523.28/523.47	c learnt constraints deletion: 5130 -> 2572
533.38/533.55	c learnt constraints deletion: 5136 -> 2575
545.07/545.24	c learnt constraints deletion: 5169 -> 2594
559.87/560.03	c learnt constraints deletion: 5155 -> 2588
576.07/576.20	c learnt constraints deletion: 5188 -> 2601
592.16/592.32	c learnt constraints deletion: 5137 -> 2576
608.56/608.76	c learnt constraints deletion: 5170 -> 2592
623.05/623.21	c learnt constraints deletion: 5173 -> 2595
637.96/638.14	c learnt constraints deletion: 5140 -> 2579
655.25/655.48	c learnt constraints deletion: 5518 -> 2768
660.35/660.59	c learnt constraints deletion: 4766 -> 2384
664.34/664.56	c learnt constraints deletion: 4682 -> 2344
669.15/669.30	c learnt constraints deletion: 4705 -> 2354
672.65/672.83	c learnt constraints deletion: 4807 -> 2406
675.54/675.71	c learnt constraints deletion: 4693 -> 2351
678.95/679.16	c learnt constraints deletion: 4755 -> 2382
681.44/681.67	c learnt constraints deletion: 4726 -> 2366
684.45/684.69	c learnt constraints deletion: 4739 -> 2375
687.74/687.99	c learnt constraints deletion: 4696 -> 2348
690.24/690.49	c learnt constraints deletion: 4696 -> 2350
693.55/693.77	c learnt constraints deletion: 4688 -> 2345
697.04/697.20	c learnt constraints deletion: 4727 -> 2365
700.04/700.24	c learnt constraints deletion: 4847 -> 2429
703.04/703.29	c learnt constraints deletion: 4825 -> 2415
705.95/706.10	c learnt constraints deletion: 4805 -> 2407
708.84/709.05	c learnt constraints deletion: 4792 -> 2398
712.04/712.22	c learnt constraints deletion: 4777 -> 2391
714.94/715.19	c learnt constraints deletion: 4718 -> 2361
717.94/718.12	c learnt constraints deletion: 4779 -> 2392
720.94/721.12	c learnt constraints deletion: 4763 -> 2384
724.44/724.60	c learnt constraints deletion: 4812 -> 2407
727.34/727.58	c learnt constraints deletion: 4797 -> 2404
730.64/730.82	c learnt constraints deletion: 4762 -> 2383
734.04/734.24	c learnt constraints deletion: 4719 -> 2362
737.74/737.97	c learnt constraints deletion: 4716 -> 2359
740.34/740.55	c learnt constraints deletion: 4737 -> 2373
744.23/744.41	c learnt constraints deletion: 4761 -> 2384
749.94/750.14	c learnt constraints deletion: 5088 -> 2544
759.54/759.76	c learnt constraints deletion: 5958 -> 2987
769.34/769.55	c learnt constraints deletion: 5908 -> 2964
779.33/779.54	c learnt constraints deletion: 5918 -> 2970
789.64/789.89	c learnt constraints deletion: 5950 -> 2986
799.93/800.18	c learnt constraints deletion: 5967 -> 2995
812.33/812.58	c learnt constraints deletion: 5937 -> 2980
825.02/825.26	c learnt constraints deletion: 5944 -> 2981
835.92/836.19	c learnt constraints deletion: 5925 -> 2974
848.02/848.24	c learnt constraints deletion: 5928 -> 2976
859.21/859.43	c learnt constraints deletion: 5946 -> 2986
871.32/871.56	c learnt constraints deletion: 5923 -> 2974
882.61/882.88	c learnt constraints deletion: 5916 -> 2970
894.41/894.60	c learnt constraints deletion: 5944 -> 2985
906.12/906.36	c learnt constraints deletion: 5913 -> 2969
920.01/920.22	c learnt constraints deletion: 6889 -> 3459
938.70/938.93	c learnt constraints deletion: 6911 -> 3474
957.10/957.36	c learnt constraints deletion: 6902 -> 3467
977.50/977.74	c learnt constraints deletion: 6884 -> 3458
992.19/992.46	c learnt constraints deletion: 6869 -> 3450
1004.68/1004.91	c learnt constraints deletion: 6886 -> 3459
1018.29/1018.53	c learnt constraints deletion: 6887 -> 3460
1032.18/1032.42	c learnt constraints deletion: 6897 -> 3465
1045.98/1046.22	c learnt constraints deletion: 6895 -> 3465
1060.67/1060.96	c learnt constraints deletion: 6890 -> 3461
1074.57/1074.83	c learnt constraints deletion: 6943 -> 3489
1088.07/1088.39	c learnt constraints deletion: 6890 -> 3461
1101.88/1102.13	c learnt constraints deletion: 6918 -> 3477
1118.17/1118.43	c learnt constraints deletion: 6933 -> 3485
1134.87/1135.20	c learnt constraints deletion: 6922 -> 3479
1156.66/1156.92	c learnt constraints deletion: 7358 -> 3699
1171.17/1171.44	c learnt constraints deletion: 7329 -> 3665
1188.26/1188.59	c learnt constraints deletion: 7333 -> 3668
1203.96/1204.20	c learnt constraints deletion: 7318 -> 3660
1219.35/1219.61	c learnt constraints deletion: 7352 -> 3677
1236.25/1236.57	c learnt constraints deletion: 7292 -> 3649
1255.25/1255.54	c learnt constraints deletion: 7306 -> 3655
1278.24/1278.52	c learnt constraints deletion: 7320 -> 3663
1302.94/1303.26	c learnt constraints deletion: 7286 -> 3648
1327.84/1328.15	c learnt constraints deletion: 7322 -> 3665
1349.83/1350.18	c learnt constraints deletion: 7306 -> 3658
1371.33/1371.62	c learnt constraints deletion: 7336 -> 3671
1391.93/1392.23	c learnt constraints deletion: 7301 -> 3654
1416.22/1416.54	c learnt constraints deletion: 7325 -> 3666
1437.62/1437.93	c learnt constraints deletion: 7300 -> 3652
1458.02/1458.35	c learnt constraints deletion: 7247 -> 3625
1477.72/1478.08	c learnt constraints deletion: 7276 -> 3641
1500.02/1500.36	c learnt constraints deletion: 7326 -> 3665
1518.11/1518.41	c learnt constraints deletion: 7322 -> 3662
1534.01/1534.38	c learnt constraints deletion: 7280 -> 3642
1552.00/1552.30	c learnt constraints deletion: 7317 -> 3661
1570.90/1571.21	c learnt constraints deletion: 7304 -> 3653
1589.20/1589.52	c learnt constraints deletion: 7361 -> 3683
1606.80/1607.18	c learnt constraints deletion: 7318 -> 3662
1626.39/1626.76	c learnt constraints deletion: 7343 -> 3675
1645.49/1645.83	c learnt constraints deletion: 7309 -> 3658
1665.09/1665.45	c learnt constraints deletion: 7320 -> 3663
1684.79/1685.17	c learnt constraints deletion: 7338 -> 3670
1699.28/1699.69	c learnt constraints deletion: 7320 -> 3663
1715.69/1716.06	c learnt constraints deletion: 7312 -> 3658
1731.28/1731.69	c learnt constraints deletion: 7353 -> 3679
1746.97/1747.34	c learnt constraints deletion: 7319 -> 3662
1762.57/1762.95	c learnt constraints deletion: 7351 -> 3678
1777.87/1778.22	c learnt constraints deletion: 7343 -> 3675
1792.97/1793.34	c learnt constraints deletion: 7310 -> 3658

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-3712307-1338193802/watcher-3712307-1338193802 -o /tmp/evaluation-result-3712307-1338193802/solver-3712307-1338193802 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712307-1338193802.wbo 

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: 2.00 2.00 2.00 3/177 1825
/proc/meminfo: memFree=31002636/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/1825/stat : 1825 (runsolver) R 1822 29738 29738 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 1 0 285504555 12095488 23 33554432000 4194304 5436572 140737137829968 140737137826160 4873743 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/1825/statm: 2953 23 4 304 0 2645 0

[startup+0.033207 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1825
/proc/meminfo: memFree=31002636/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 1323 0 0 0 2 0 0 0 20 0 1 0 285504555 8454144 1244 33554432000 4194304 8973514 140733654826400 140733654825896 7716764 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/1825/statm: 2064 1244 432 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256

[startup+0.100173 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1825
/proc/meminfo: memFree=31002636/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=9280 CPUtime=0.08 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 1628 0 0 0 8 0 0 0 20 0 1 0 285504555 9502720 1549 33554432000 4194304 8973514 140733654826400 140733654825896 7400740 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/1825/statm: 2320 1549 452 1167 0 1101 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9280

[startup+0.300119 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1825
/proc/meminfo: memFree=31002636/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=10304 CPUtime=0.28 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 1884 0 0 0 28 0 0 0 20 0 1 0 285504555 10551296 1805 33554432000 4194304 8973514 140733654826400 140733654825896 7716811 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/1825/statm: 2576 1805 452 1167 0 1357 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10304

[startup+0.70012 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1825
/proc/meminfo: memFree=31002636/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=11328 CPUtime=0.68 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 2140 0 0 0 68 0 0 0 20 0 1 0 285504555 11599872 2061 33554432000 4194304 8973514 140733654826400 140733654825896 7680672 0 0 0 34082818 0 0 0 17 7 0 0 0 0 0
/proc/1825/statm: 2832 2061 452 1167 0 1613 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11328

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1826
/proc/meminfo: memFree=30994956/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=13376 CPUtime=1.48 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 2662 0 0 0 148 0 0 0 20 0 1 0 285504555 13697024 2583 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 3344 2583 462 1167 0 2125 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13376

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1826
/proc/meminfo: memFree=30993220/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=15424 CPUtime=3.08 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 3176 0 0 0 307 1 0 0 20 0 1 0 285504555 15794176 3097 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 3856 3097 464 1167 0 2637 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15424

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1826
/proc/meminfo: memFree=30988120/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=18496 CPUtime=6.28 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 3944 0 0 0 624 4 0 0 20 0 1 0 285504555 18939904 3865 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 4624 3865 464 1167 0 3405 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18496

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1826
/proc/meminfo: memFree=30985484/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=21568 CPUtime=12.67 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 4717 0 0 0 1258 9 0 0 20 0 1 0 285504555 22085632 4633 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 5392 4633 464 1167 0 4173 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21568

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1826
/proc/meminfo: memFree=30970620/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=34880 CPUtime=25.47 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 8045 0 0 0 2531 16 0 0 20 0 1 0 285504555 35717120 7961 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 8720 7961 464 1167 0 7501 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 34880

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1826
/proc/meminfo: memFree=30951620/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=46144 CPUtime=51.06 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 10868 0 0 0 5078 28 0 0 20 0 1 0 285504555 47251456 10777 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 11536 10777 464 1167 0 10317 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 46144

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1826
/proc/meminfo: memFree=30948712/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=52288 CPUtime=102.26 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 17270 0 0 0 10170 56 0 0 20 0 1 0 285504555 53542912 12313 33554432000 4194304 8973514 140733654826400 140733654825504 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 13072 12313 464 1167 0 11853 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 52288

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1826
/proc/meminfo: memFree=30940136/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=62528 CPUtime=162.24 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 21342 0 0 0 16134 90 0 0 20 0 1 0 285504555 64028672 14843 33554432000 4194304 8973514 140733654826400 140733654825896 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 15632 14843 464 1167 0 14413 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 62528

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1827
/proc/meminfo: memFree=30925852/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=74816 CPUtime=222.22 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 25479 0 0 0 22105 117 0 0 20 0 1 0 285504555 76611584 17945 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 18704 17945 464 1167 0 17485 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74816

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 1828
/proc/meminfo: memFree=30919760/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=79936 CPUtime=282.21 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 26761 0 0 0 28075 146 0 0 20 0 1 0 285504555 81854464 19225 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 19984 19225 464 1167 0 18765 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79936

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1828
/proc/meminfo: memFree=30896872/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=96320 CPUtime=342.2 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 30862 0 0 0 34045 175 0 0 20 0 1 0 285504555 98631680 23321 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 24080 23321 464 1167 0 22861 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 96320

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1828
/proc/meminfo: memFree=30896184/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=96320 CPUtime=402.19 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 30862 0 0 0 40013 206 0 0 20 0 1 0 285504555 98631680 23321 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 24080 23321 464 1167 0 22861 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 96320

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1828
/proc/meminfo: memFree=30900768/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=91200 CPUtime=462.18 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 30862 0 0 0 45987 231 0 0 20 0 1 0 285504555 93388800 22041 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 22800 22041 464 1167 0 21581 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 91200

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1829
/proc/meminfo: memFree=30899524/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=87104 CPUtime=522.17 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 30862 0 0 0 51961 256 0 0 20 0 1 0 285504555 89194496 21017 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 21776 21017 464 1167 0 20557 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 87104

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1829
/proc/meminfo: memFree=30886628/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=99392 CPUtime=582.16 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 33934 0 0 0 57935 281 0 0 20 0 1 0 285504555 101777408 24089 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 24848 24089 464 1167 0 23629 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 99392

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1833
/proc/meminfo: memFree=30887720/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=97344 CPUtime=822.12 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 38036 0 0 0 81830 382 0 0 20 0 1 0 285504555 99680256 23577 33554432000 4194304 8973514 140733654826400 140733654825896 4213693 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 24336 23577 464 1167 0 23117 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 97344

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1833
/proc/meminfo: memFree=30874560/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=110656 CPUtime=882.11 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 41367 0 0 0 87804 407 0 0 20 0 1 0 285504555 113311744 26905 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 27664 26905 464 1167 0 26445 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 110656

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1833
/proc/meminfo: memFree=30852112/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=132160 CPUtime=942.1 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 46745 0 0 0 93776 434 0 0 20 0 1 0 285504555 135331840 32281 33554432000 4194304 8973514 140733654826400 140733654825896 4209212 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 33040 32281 464 1167 0 31821 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 132160

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1833
/proc/meminfo: memFree=30847132/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=137280 CPUtime=1002.09 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 48033 0 0 0 99749 460 0 0 20 0 1 0 285504555 140574720 33561 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 34320 33561 464 1167 0 33101 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 137280

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1833
/proc/meminfo: memFree=30846692/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=137280 CPUtime=1062.08 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 48036 0 0 0 105719 489 0 0 20 0 1 0 285504555 140574720 33561 33554432000 4194304 8973514 140733654826400 140733654824320 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 34320 33561 464 1167 0 33101 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 137280

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1833
/proc/meminfo: memFree=30836956/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=147520 CPUtime=1122.07 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 50596 0 0 0 111691 516 0 0 20 0 1 0 285504555 151060480 36121 33554432000 4194304 8973514 140733654826400 140733654825664 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 36880 36121 464 1167 0 35661 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 147520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1834
/proc/meminfo: memFree=30838744/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=144448 CPUtime=1182.06 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 50598 0 0 0 117660 546 0 0 20 0 1 0 285504555 147914752 35353 33554432000 4194304 8973514 140733654826400 140733654825664 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 36112 35353 464 1167 0 34893 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 144448

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 1839
/proc/meminfo: memFree=30833528/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=144448 CPUtime=1242.05 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 50598 0 0 0 123632 573 0 0 20 0 1 0 285504555 147914752 35353 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 36112 35353 464 1167 0 34893 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 144448

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1839
/proc/meminfo: memFree=30831424/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=144448 CPUtime=1302.05 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 50598 0 0 0 129607 598 0 0 20 0 1 0 285504555 147914752 35353 33554432000 4194304 8973514 140733654826400 140733654825664 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 36112 35353 464 1167 0 34893 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 144448

[startup+1362.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 1839
/proc/meminfo: memFree=30830424/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=145472 CPUtime=1362.03 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 50854 0 0 0 135572 631 0 0 20 0 1 0 285504555 148963328 35609 33554432000 4194304 8973514 140733654826400 140733654825896 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 36368 35609 464 1167 0 35149 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 145472

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1839
/proc/meminfo: memFree=30826336/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=153664 CPUtime=1422.03 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52902 0 0 0 141543 660 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654825664 6661723 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 153664

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1841
/proc/meminfo: memFree=30826200/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=153664 CPUtime=1482.01 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52903 0 0 0 147514 687 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654825664 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 153664

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1841
/proc/meminfo: memFree=30824836/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=153664 CPUtime=1542.01 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52903 0 0 0 153484 717 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 153664

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1841
/proc/meminfo: memFree=30825268/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=153664 CPUtime=1601.99 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52903 0 0 0 159451 748 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654824320 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 153664

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1841
/proc/meminfo: memFree=30822476/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=153664 CPUtime=1661.99 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52903 0 0 0 165417 782 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 153664

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 1841
/proc/meminfo: memFree=30822040/32873844 swapFree=7624/7624
[pid=1825] ppid=1822 vsize=153664 CPUtime=1721.98 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52903 0 0 0 171385 813 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 153664

[startup+1782.3 s]
/proc/loadavg: 1.46 1.86 1.95 2/171 1872
/proc/meminfo: memFree=30881848/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=153664 CPUtime=1781.97 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52903 0 0 0 177352 845 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 153664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.36 1.81 1.93 2/172 1875
/proc/meminfo: memFree=30881832/32873844 swapFree=7620/7620
[pid=1825] ppid=1822 vsize=153664 CPUtime=1800.07 cores=1,3,5,7
/proc/1825/stat : 1825 (toysat) R 1822 1825 29738 0 -1 4202496 52903 0 0 0 179152 855 0 0 20 0 1 0 285504555 157351936 37657 33554432000 4194304 8973514 140733654826400 140733654825896 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/1825/statm: 38416 37657 464 1167 0 37197 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 153664

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.08
CPU user time (s): 1791.52
CPU system time (s): 8.5607
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 153664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.52
system time used= 8.5607
maximum resident set size= 150628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52903
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= 66
involuntary context switches= 3756

runsolver used 3.33249 second user time and 9.2326 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-28 10:30:02
IDJOB=3712307
IDBENCH=79163
IDSOLVER=2291
FILE ID=node143/3712307-1338193802
RUNJOBID= node143-1338160335-29755
PBS_JOBID= 14624561
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712307-1338193802/watcher-3712307-1338193802 -o /tmp/evaluation-result-3712307-1338193802/solver-3712307-1338193802 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712307-1338193802.wbo

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

MD5SUM BENCH= 68a136cd2642dd27a3fdbf065e2a5463
RANDOM SEED=1828283887

node143.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.787
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	: 5333.57
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.787
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.787
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.91
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.787
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		: 2666.787
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		: 2666.787
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	: 5298.57
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.787
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.787
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:       32873844 kB
MemFree:        31002884 kB
Buffers:          389196 kB
Cached:           611236 kB
SwapCached:            0 kB
Active:           637392 kB
Inactive:         396288 kB
Active(anon):      23992 kB
Inactive(anon):    11300 kB
Active(file):     613400 kB
Inactive(file):   384988 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7400 kB
Writeback:             0 kB
AnonPages:         40032 kB
Mapped:            16112 kB
Shmem:               200 kB
Slab:             697348 kB
SReclaimable:     139760 kB
SUnreclaim:       557588 kB
KernelStack:        1464 kB
PageTables:         3752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node143 at 2012-05-28 11:00:04