Trace number 3711930

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.07 1800.51

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/spot5/
normalized-spot5-42_wcsp.wbo
MD5SUM2650719d8056982b79efe8547fa4e1ef
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark169050
Best CPU time to get the best result obtained on this benchmark1800.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables494
Total number of constraints2206
Number of soft constraints2016
Number of constraints which are clauses2016
Number of constraints which are cardinality constraints (but not clauses)190
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 263118
Min constraint cost 1
Max constraint cost 263118
Sum of constraints costs 480716585
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.39/0.49	c 2012-05-28T21:52:13+0200
0.39/0.49	c arch = x86_64
0.39/0.49	c os = linux
0.39/0.49	c compiler = ghc 7.4
0.39/0.49	c packages:
0.39/0.49	c   OptDir-0.0.1
0.39/0.49	c   array-0.4.0.0
0.39/0.49	c   base-4.5.0.0
0.39/0.49	c   bytestring-0.9.2.1
0.39/0.49	c   containers-0.4.2.1
0.39/0.49	c   deepseq-1.3.0.0
0.39/0.49	c   mtl-2.1.1
0.39/0.49	c   old_locale-1.0.0.4
0.39/0.49	c   parse_dimacs-1.2
0.39/0.49	c   parsec-3.1.2
0.39/0.49	c   queue-0.1.2
0.39/0.49	c   stm-2.3
0.39/0.49	c   time-1.4
0.39/0.49	c command line = ["--wbo","HOME/instance-3711930-1338234733.wbo"]
0.39/0.49	c #vars 494
0.39/0.49	c #constraints 2206
0.39/0.49	c Solving starts ...
0.59/0.65	c solving time = 0.162s
0.59/0.65	c #decision = 1550
0.59/0.65	c #conflict = 48
0.59/0.65	c #restart = 0
0.59/0.65	o 164050
0.59/0.65	c Solving starts ...
7.08/7.12	c learnt constraints deletion: 5467 -> 2734
10.68/10.79	c learnt constraints deletion: 5862 -> 2931
14.19/14.30	c learnt constraints deletion: 6212 -> 3107
17.59/17.62	c learnt constraints deletion: 6260 -> 3131
21.08/21.19	c learnt constraints deletion: 6660 -> 3330
25.29/25.37	c learnt constraints deletion: 6645 -> 3323
29.48/29.56	c learnt constraints deletion: 6666 -> 3334
33.98/34.07	c learnt constraints deletion: 7120 -> 3561
38.07/38.15	c learnt constraints deletion: 7124 -> 3562
42.27/42.30	c learnt constraints deletion: 7216 -> 3610
46.57/46.67	c learnt constraints deletion: 7634 -> 3817
50.97/51.04	c learnt constraints deletion: 7646 -> 3824
54.87/54.97	c learnt constraints deletion: 7625 -> 3814
59.47/59.55	c learnt constraints deletion: 7653 -> 3827
64.17/64.28	c learnt constraints deletion: 7651 -> 3827
69.26/69.34	c learnt constraints deletion: 8201 -> 4101
74.36/74.49	c learnt constraints deletion: 8216 -> 4109
79.46/79.52	c learnt constraints deletion: 8238 -> 4121
84.46/84.53	c learnt constraints deletion: 8234 -> 4118
88.96/89.10	c learnt constraints deletion: 8243 -> 4123
93.75/93.89	c learnt constraints deletion: 8225 -> 4114
98.66/98.75	c learnt constraints deletion: 8199 -> 4101
104.15/104.24	c learnt constraints deletion: 8840 -> 4420
109.55/109.64	c learnt constraints deletion: 8842 -> 4422
114.45/114.52	c learnt constraints deletion: 8843 -> 4423
120.35/120.42	c learnt constraints deletion: 8851 -> 4427
125.64/125.72	c learnt constraints deletion: 8874 -> 4437
130.74/130.87	c learnt constraints deletion: 8854 -> 4428
136.13/136.24	c learnt constraints deletion: 8833 -> 4419
142.13/142.28	c learnt constraints deletion: 8853 -> 4429
147.93/148.09	c learnt constraints deletion: 8825 -> 4415
153.23/153.37	c learnt constraints deletion: 8840 -> 4422
159.83/159.92	c learnt constraints deletion: 9505 -> 4753
166.43/166.55	c learnt constraints deletion: 9529 -> 4766
171.73/171.82	c learnt constraints deletion: 9521 -> 4762
177.52/177.67	c learnt constraints deletion: 9555 -> 4779
183.63/183.71	c learnt constraints deletion: 9526 -> 4764
189.52/189.66	c learnt constraints deletion: 9545 -> 4776
194.63/194.71	c learnt constraints deletion: 9527 -> 4765
200.41/200.57	c learnt constraints deletion: 9543 -> 4773
206.02/206.19	c learnt constraints deletion: 9542 -> 4774
210.91/211.04	c learnt constraints deletion: 9503 -> 4754
217.52/217.65	c learnt constraints deletion: 9525 -> 4763
223.01/223.19	c learnt constraints deletion: 9554 -> 4778
228.31/228.42	c learnt constraints deletion: 9544 -> 4773
234.61/234.76	c learnt constraints deletion: 10300 -> 5151
242.01/242.18	c learnt constraints deletion: 10292 -> 5146
248.11/248.25	c learnt constraints deletion: 10281 -> 5142
254.11/254.25	c learnt constraints deletion: 10288 -> 5146
260.10/260.20	c learnt constraints deletion: 10298 -> 5152
265.81/265.93	c learnt constraints deletion: 10287 -> 5145
271.90/272.02	c learnt constraints deletion: 10304 -> 5153
278.10/278.23	c learnt constraints deletion: 10296 -> 5150
282.90/283.09	c learnt constraints deletion: 10286 -> 5143
288.30/288.48	c learnt constraints deletion: 10281 -> 5142
293.39/293.55	c learnt constraints deletion: 10288 -> 5145
299.40/299.56	c learnt constraints deletion: 10273 -> 5138
305.80/305.96	c learnt constraints deletion: 10283 -> 5143
312.18/312.39	c learnt constraints deletion: 10279 -> 5143
317.69/317.82	c learnt constraints deletion: 10300 -> 5151
323.59/323.79	c learnt constraints deletion: 10264 -> 5133
329.29/329.47	c learnt constraints deletion: 10292 -> 5148
335.09/335.21	c learnt constraints deletion: 10271 -> 5138
341.58/341.75	c learnt constraints deletion: 10285 -> 5145
348.39/348.56	c learnt constraints deletion: 11106 -> 5555
354.58/354.77	c learnt constraints deletion: 11055 -> 5528
361.28/361.46	c learnt constraints deletion: 11120 -> 5561
366.98/367.14	c learnt constraints deletion: 11113 -> 5558
373.77/373.95	c learnt constraints deletion: 11116 -> 5559
380.58/380.79	c learnt constraints deletion: 11093 -> 5547
387.38/387.51	c learnt constraints deletion: 11114 -> 5558
393.17/393.32	c learnt constraints deletion: 11099 -> 5550
399.18/399.35	c learnt constraints deletion: 11117 -> 5559
405.97/406.14	c learnt constraints deletion: 11137 -> 5570
411.87/412.08	c learnt constraints deletion: 11123 -> 5563
418.17/418.35	c learnt constraints deletion: 11123 -> 5563
424.76/424.97	c learnt constraints deletion: 11098 -> 5550
432.17/432.35	c learnt constraints deletion: 11111 -> 5556
438.76/438.98	c learnt constraints deletion: 11137 -> 5570
444.56/444.76	c learnt constraints deletion: 11122 -> 5561
451.35/451.50	c learnt constraints deletion: 11091 -> 5547
456.85/457.00	c learnt constraints deletion: 11109 -> 5556
462.85/463.03	c learnt constraints deletion: 11141 -> 5573
468.56/468.70	c learnt constraints deletion: 11156 -> 5580
474.25/474.44	c learnt constraints deletion: 11133 -> 5569
479.95/480.16	c learnt constraints deletion: 11120 -> 5561
485.85/486.05	c learnt constraints deletion: 11102 -> 5554
491.35/491.56	c learnt constraints deletion: 11125 -> 5566
498.15/498.31	c learnt constraints deletion: 11109 -> 5558
504.65/504.80	c learnt constraints deletion: 11132 -> 5570
510.04/510.28	c learnt constraints deletion: 11142 -> 5575
517.04/517.23	c learnt constraints deletion: 12035 -> 6018
525.24/525.46	c learnt constraints deletion: 12049 -> 6026
531.34/531.54	c learnt constraints deletion: 12044 -> 6022
537.94/538.10	c learnt constraints deletion: 12015 -> 6008
545.03/545.25	c learnt constraints deletion: 12054 -> 6029
551.93/552.20	c learnt constraints deletion: 12003 -> 6004
558.44/558.60	c learnt constraints deletion: 12030 -> 6018
564.54/564.74	c learnt constraints deletion: 12027 -> 6014
572.33/572.55	c learnt constraints deletion: 12044 -> 6023
578.73/578.90	c learnt constraints deletion: 12040 -> 6021
586.53/586.73	c learnt constraints deletion: 12019 -> 6012
592.33/592.56	c learnt constraints deletion: 12031 -> 6016
598.92/599.18	c learnt constraints deletion: 12031 -> 6017
605.32/605.58	c learnt constraints deletion: 12018 -> 6010
612.53/612.73	c learnt constraints deletion: 12051 -> 6027
619.53/619.73	c learnt constraints deletion: 12030 -> 6016
626.22/626.47	c learnt constraints deletion: 12030 -> 6017
632.12/632.39	c learnt constraints deletion: 12046 -> 6025
639.72/639.94	c learnt constraints deletion: 12045 -> 6025
646.02/646.20	c learnt constraints deletion: 12053 -> 6030
651.91/652.18	c learnt constraints deletion: 12066 -> 6035
658.82/659.02	c learnt constraints deletion: 12048 -> 6026
667.52/667.78	c learnt constraints deletion: 12043 -> 6025
674.01/674.24	c learnt constraints deletion: 12033 -> 6018
681.41/681.66	c learnt constraints deletion: 12057 -> 6032
687.21/687.47	c learnt constraints deletion: 12036 -> 6019
694.40/694.62	c learnt constraints deletion: 12049 -> 6027
700.51/700.73	c learnt constraints deletion: 12060 -> 6032
707.40/707.63	c learnt constraints deletion: 12042 -> 6024
714.40/714.60	c learnt constraints deletion: 12044 -> 6024
721.60/721.83	c learnt constraints deletion: 12043 -> 6025
728.50/728.72	c learnt constraints deletion: 12048 -> 6025
734.90/735.19	c learnt constraints deletion: 12038 -> 6021
740.90/741.14	c learnt constraints deletion: 12032 -> 6018
748.09/748.39	c learnt constraints deletion: 12052 -> 6028
755.29/755.58	c learnt constraints deletion: 12029 -> 6017
762.49/762.78	c learnt constraints deletion: 13050 -> 6526
769.59/769.87	c learnt constraints deletion: 13032 -> 6517
776.70/776.97	c learnt constraints deletion: 13038 -> 6519
784.58/784.80	c learnt constraints deletion: 13040 -> 6521
791.59/791.86	c learnt constraints deletion: 13027 -> 6514
798.49/798.71	c learnt constraints deletion: 13054 -> 6528
804.48/804.76	c learnt constraints deletion: 13043 -> 6523
811.28/811.53	c learnt constraints deletion: 13046 -> 6525
817.98/818.22	c learnt constraints deletion: 13042 -> 6522
824.88/825.11	c learnt constraints deletion: 13063 -> 6533
831.68/831.97	c learnt constraints deletion: 13042 -> 6522
839.08/839.36	c learnt constraints deletion: 13040 -> 6522
846.47/846.77	c learnt constraints deletion: 13016 -> 6508
855.37/855.65	c learnt constraints deletion: 13032 -> 6517
861.77/862.08	c learnt constraints deletion: 13029 -> 6516
870.57/870.80	c learnt constraints deletion: 13041 -> 6523
876.48/876.79	c learnt constraints deletion: 13052 -> 6527
883.76/884.00	c learnt constraints deletion: 13046 -> 6524
890.67/890.92	c learnt constraints deletion: 13028 -> 6515
898.47/898.74	c learnt constraints deletion: 13051 -> 6529
904.96/905.24	c learnt constraints deletion: 13073 -> 6538
912.36/912.68	c learnt constraints deletion: 13081 -> 6543
919.26/919.59	c learnt constraints deletion: 13075 -> 6541
926.95/927.26	c learnt constraints deletion: 13064 -> 6534
933.75/934.08	c learnt constraints deletion: 13057 -> 6532
942.65/942.93	c learnt constraints deletion: 13083 -> 6544
951.26/951.51	c learnt constraints deletion: 13085 -> 6548
957.35/957.65	c learnt constraints deletion: 13005 -> 6504
963.46/963.71	c learnt constraints deletion: 13045 -> 6524
969.84/970.11	c learnt constraints deletion: 13051 -> 6527
976.94/977.26	c learnt constraints deletion: 13015 -> 6509
983.25/983.52	c learnt constraints deletion: 13049 -> 6527
989.44/989.74	c learnt constraints deletion: 13052 -> 6528
996.44/996.79	c learnt constraints deletion: 13037 -> 6520
1002.84/1003.19	c learnt constraints deletion: 13062 -> 6533
1009.13/1009.40	c learnt constraints deletion: 13058 -> 6531
1016.43/1016.72	c learnt constraints deletion: 13075 -> 6539
1022.63/1022.94	c learnt constraints deletion: 13051 -> 6528
1029.63/1029.92	c learnt constraints deletion: 13070 -> 6537
1036.93/1037.26	c learnt constraints deletion: 13075 -> 6540
1045.53/1045.86	c learnt constraints deletion: 13071 -> 6537
1053.13/1053.44	c learnt constraints deletion: 13054 -> 6529
1060.62/1060.94	c learnt constraints deletion: 13050 -> 6525
1068.12/1068.43	c learnt constraints deletion: 13039 -> 6521
1074.62/1074.94	c learnt constraints deletion: 13061 -> 6532
1081.03/1081.39	c learnt constraints deletion: 13030 -> 6516
1087.41/1087.76	c learnt constraints deletion: 13085 -> 6547
1093.42/1093.74	c learnt constraints deletion: 13027 -> 6516
1100.41/1100.79	c learnt constraints deletion: 13060 -> 6533
1106.71/1107.06	c learnt constraints deletion: 13058 -> 6531
1114.20/1114.57	c learnt constraints deletion: 13029 -> 6518
1121.31/1121.67	c learnt constraints deletion: 14173 -> 7090
1128.50/1128.80	c learnt constraints deletion: 14149 -> 7075
1136.11/1136.41	c learnt constraints deletion: 14155 -> 7079
1144.01/1144.35	c learnt constraints deletion: 14176 -> 7089
1153.20/1153.58	c learnt constraints deletion: 14119 -> 7061
1161.50/1161.88	c learnt constraints deletion: 14122 -> 7061
1170.70/1171.08	c learnt constraints deletion: 14159 -> 7081
1177.91/1178.27	c learnt constraints deletion: 14152 -> 7077
1186.80/1187.17	c learnt constraints deletion: 14172 -> 7088
1194.30/1194.63	c learnt constraints deletion: 14143 -> 7073
1202.19/1202.55	c learnt constraints deletion: 14167 -> 7086
1209.70/1210.09	c learnt constraints deletion: 14148 -> 7074
1218.39/1218.76	c learnt constraints deletion: 14131 -> 7067
1227.19/1227.50	c learnt constraints deletion: 14143 -> 7073
1236.10/1236.45	c learnt constraints deletion: 14137 -> 7070
1243.68/1244.02	c learnt constraints deletion: 14159 -> 7082
1250.58/1250.92	c learnt constraints deletion: 14160 -> 7081
1259.98/1260.34	c learnt constraints deletion: 14134 -> 7069
1267.28/1267.69	c learnt constraints deletion: 14162 -> 7083
1275.27/1275.67	c learnt constraints deletion: 14152 -> 7077
1284.37/1284.77	c learnt constraints deletion: 14142 -> 7073
1292.18/1292.52	c learnt constraints deletion: 14150 -> 7076
1299.57/1299.94	c learnt constraints deletion: 14159 -> 7081
1305.67/1306.08	c learnt constraints deletion: 14149 -> 7076
1314.17/1314.55	c learnt constraints deletion: 14172 -> 7088
1321.97/1322.37	c learnt constraints deletion: 14126 -> 7065
1328.46/1328.85	c learnt constraints deletion: 14143 -> 7073
1335.66/1336.08	c learnt constraints deletion: 14163 -> 7084
1343.05/1343.42	c learnt constraints deletion: 14143 -> 7073
1349.85/1350.29	c learnt constraints deletion: 14163 -> 7084
1356.35/1356.74	c learnt constraints deletion: 14138 -> 7070
1364.05/1364.45	c learnt constraints deletion: 14132 -> 7068
1370.75/1371.11	c learnt constraints deletion: 14173 -> 7089
1378.85/1379.25	c learnt constraints deletion: 14157 -> 7080
1386.05/1386.40	c learnt constraints deletion: 14177 -> 7091
1393.35/1393.79	c learnt constraints deletion: 14157 -> 7081
1402.35/1402.76	c learnt constraints deletion: 14197 -> 7101
1411.25/1411.64	c learnt constraints deletion: 14123 -> 7063
1420.05/1420.49	c learnt constraints deletion: 14147 -> 7076
1426.94/1427.33	c learnt constraints deletion: 14149 -> 7077
1434.94/1435.39	c learnt constraints deletion: 14166 -> 7086
1442.73/1443.16	c learnt constraints deletion: 14132 -> 7068
1451.54/1451.95	c learnt constraints deletion: 14163 -> 7083
1459.94/1460.36	c learnt constraints deletion: 14119 -> 7062
1469.54/1469.90	c learnt constraints deletion: 14167 -> 7084
1477.74/1478.18	c learnt constraints deletion: 14148 -> 7075
1484.93/1485.32	c learnt constraints deletion: 14148 -> 7075
1493.63/1494.05	c learnt constraints deletion: 14171 -> 7088
1500.43/1500.88	c learnt constraints deletion: 14162 -> 7083
1511.43/1511.83	c learnt constraints deletion: 14152 -> 7077
1518.92/1519.39	c learnt constraints deletion: 14150 -> 7076
1528.62/1529.09	c learnt constraints deletion: 14147 -> 7075
1537.11/1537.55	c learnt constraints deletion: 14164 -> 7084
1545.11/1545.57	c learnt constraints deletion: 14174 -> 7089
1554.11/1554.52	c learnt constraints deletion: 14193 -> 7100
1564.21/1564.60	c learnt constraints deletion: 14180 -> 7094
1571.21/1571.67	c learnt constraints deletion: 14179 -> 7094
1580.10/1580.50	c learnt constraints deletion: 14167 -> 7088
1587.70/1588.18	c learnt constraints deletion: 14177 -> 7093
1595.40/1595.84	c learnt constraints deletion: 14149 -> 7075
1603.99/1604.49	c learnt constraints deletion: 14142 -> 7072
1611.80/1612.27	c learnt constraints deletion: 14157 -> 7080
1619.90/1620.31	c learnt constraints deletion: 14173 -> 7088
1628.50/1628.99	c learnt constraints deletion: 14155 -> 7079
1639.49/1639.93	c learnt constraints deletion: 14175 -> 7090
1647.79/1648.23	c learnt constraints deletion: 14163 -> 7084
1656.88/1657.34	c learnt constraints deletion: 14139 -> 7071
1665.48/1665.92	c learnt constraints deletion: 14144 -> 7074
1672.57/1673.03	c learnt constraints deletion: 14147 -> 7076
1681.27/1681.70	c learnt constraints deletion: 14161 -> 7083
1690.76/1691.26	c learnt constraints deletion: 15365 -> 7685
1699.57/1700.02	c learnt constraints deletion: 15340 -> 7670
1708.06/1708.57	c learnt constraints deletion: 15330 -> 7666
1714.97/1715.40	c learnt constraints deletion: 15353 -> 7678
1724.66/1725.12	c learnt constraints deletion: 15388 -> 7696
1731.96/1732.42	c learnt constraints deletion: 15381 -> 7693
1740.16/1740.64	c learnt constraints deletion: 15358 -> 7680
1748.35/1748.82	c learnt constraints deletion: 15372 -> 7687
1756.66/1757.12	c learnt constraints deletion: 15337 -> 7670
1765.55/1766.08	c learnt constraints deletion: 15362 -> 7683
1772.45/1772.91	c learnt constraints deletion: 15362 -> 7683
1781.66/1782.11	c learnt constraints deletion: 15378 -> 7691
1792.35/1792.89	c learnt constraints deletion: 15350 -> 7677

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.00 1.94 3/176 4368
/proc/meminfo: memFree=31123700/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 1 0 289597753 6356992 724 33554432000 4194304 8973514 140734036269136 140733791456232 7610753 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 1552 724 424 1167 0 333 0

[startup+0.0156891 s]
/proc/loadavg: 2.03 2.00 1.94 3/176 4368
/proc/meminfo: memFree=31123700/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=7232 CPUtime=0.01 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 1074 0 0 0 1 0 0 0 20 0 1 0 289597753 7405568 995 33554432000 4194304 8973514 140734036269136 140733791456232 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 1808 995 427 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100219 s]
/proc/loadavg: 2.03 2.00 1.94 3/176 4368
/proc/meminfo: memFree=31123700/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=10304 CPUtime=0.09 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 1872 0 0 0 9 0 0 0 20 0 1 0 289597753 10551296 1793 33554432000 4194304 8973514 140734036269136 140733791456232 4481872 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 2576 1793 444 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304

[startup+0.300217 s]
/proc/loadavg: 2.03 2.00 1.94 3/176 4368
/proc/meminfo: memFree=31123700/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=10304 CPUtime=0.29 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 1872 0 0 0 29 0 0 0 20 0 1 0 289597753 10551296 1793 33554432000 4194304 8973514 140734036269136 140734036268632 5389352 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 2576 1793 444 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.700215 s]
/proc/loadavg: 2.03 2.00 1.94 3/176 4368
/proc/meminfo: memFree=31123700/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=11328 CPUtime=0.69 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 2151 0 0 0 68 1 0 0 20 0 1 0 289597753 11599872 2072 33554432000 4194304 8973514 140734036269136 140734036268632 6570486 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 2832 2072 467 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50021 s]
/proc/loadavg: 2.03 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31115152/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=15424 CPUtime=1.49 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 3176 0 0 0 148 1 0 0 20 0 1 0 289597753 15794176 3097 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 3856 3097 467 1167 0 2637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15424

[startup+3.10022 s]
/proc/loadavg: 2.03 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31111888/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=19520 CPUtime=3.09 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 4200 0 0 0 307 2 0 0 20 0 1 0 289597753 19988480 4121 33554432000 4194304 8973514 140734036269136 140734036268632 7732815 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 4880 4121 467 1167 0 3661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19520

[startup+6.30022 s]
/proc/loadavg: 2.03 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31101892/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=28736 CPUtime=6.28 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 6504 0 0 0 625 3 0 0 20 0 1 0 289597753 29425664 6425 33554432000 4194304 8973514 140734036269136 140734036268632 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 7184 6425 467 1167 0 5965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28736

[startup+12.7002 s]
/proc/loadavg: 2.02 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31091256/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=35904 CPUtime=12.68 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 8297 0 0 0 1261 7 0 0 20 0 1 0 289597753 36765696 8218 33554432000 4194304 8973514 140734036269136 140734036268632 6661632 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 8976 8218 468 1167 0 7757 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35904

[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31088844/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=37952 CPUtime=25.48 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 10857 0 0 0 2534 14 0 0 20 0 1 0 289597753 38862848 8730 33554432000 4194304 8973514 140734036269136 140734036267072 4214568 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 9488 8730 468 1167 0 8269 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37952

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31076912/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=48192 CPUtime=51.07 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 13933 0 0 0 5079 28 0 0 20 0 1 0 289597753 49348608 11293 33554432000 4194304 8973514 140734036269136 140734036268400 6817072 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 12048 11293 468 1167 0 10829 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48192

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31073256/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=46144 CPUtime=102.25 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 18288 0 0 0 10170 55 0 0 20 0 1 0 289597753 47251456 10781 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 11536 10781 468 1167 0 10317 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 46144

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31086456/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=57408 CPUtime=162.23 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 22899 0 0 0 16140 83 0 0 20 0 1 0 289597753 58785792 13597 33554432000 4194304 8973514 140734036269136 140734036268632 4213703 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/4368/statm: 14352 13597 468 1167 0 13133 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 57408

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 4369
/proc/meminfo: memFree=31099068/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=42048 CPUtime=222.22 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 32372 0 0 0 22109 113 0 0 20 0 1 0 289597753 43057152 9757 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 10512 9757 468 1167 0 9293 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 42048

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 4370
/proc/meminfo: memFree=31088604/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=46144 CPUtime=282.2 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 44410 0 0 0 28079 141 0 0 20 0 1 0 289597753 47251456 10781 33554432000 4194304 8973514 140734036269136 140734036268632 7400224 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 11536 10781 468 1167 0 10317 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 46144

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 4370
/proc/meminfo: memFree=31077324/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=54336 CPUtime=342.19 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 54913 0 0 0 34045 174 0 0 20 0 1 0 289597753 55640064 12829 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 13584 12829 468 1167 0 12365 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54336

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 4370
/proc/meminfo: memFree=31066060/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=58432 CPUtime=402.17 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 61064 0 0 0 40018 199 0 0 20 0 1 0 289597753 59834368 13853 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 14608 13853 468 1167 0 13389 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 58432

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/177 4370
/proc/meminfo: memFree=31054052/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=65600 CPUtime=462.15 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 72339 0 0 0 45985 230 0 0 20 0 1 0 289597753 67174400 15645 33554432000 4194304 8973514 140734036269136 140734036268400 7399597 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 16400 15645 468 1167 0 15181 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 65600

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 4373
/proc/meminfo: memFree=31043836/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=69696 CPUtime=522.14 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 77977 0 0 0 51955 259 0 0 20 0 1 0 289597753 71368704 16669 33554432000 4194304 8973514 140734036269136 140734036268632 4436473 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 17424 16669 468 1167 0 16205 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 69696

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 4397
/proc/meminfo: memFree=31051848/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=58432 CPUtime=582.13 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 82843 0 0 0 57927 286 0 0 20 0 1 0 289597753 59834368 13853 33554432000 4194304 8973514 140734036269136 140734036268632 4441144 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 14608 13853 468 1167 0 13389 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 58432

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 4397
/proc/meminfo: memFree=31020516/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=66624 CPUtime=822.08 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 119474 0 0 0 81805 403 0 0 20 0 1 0 289597753 68222976 15901 33554432000 4194304 8973514 140734036269136 140734036268400 4459635 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 16656 15901 468 1167 0 15437 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 66624

[startup+882.307 s]
/proc/loadavg: 2.08 2.02 1.95 3/177 4398
/proc/meminfo: memFree=31016320/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=62528 CPUtime=882.07 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 128946 0 0 0 87774 433 0 0 20 0 1 0 289597753 64028672 14877 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 15632 14877 468 1167 0 14413 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 62528

[startup+942.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/177 4398
/proc/meminfo: memFree=30985052/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=88128 CPUtime=942.05 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 144826 0 0 0 93741 464 0 0 20 0 1 0 289597753 90243072 21277 33554432000 4194304 8973514 140734036269136 140734036268632 4213688 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 22032 21277 468 1167 0 20813 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 88128

[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 1.96 3/177 4398
/proc/meminfo: memFree=31069392/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=69696 CPUtime=1002.04 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 150721 0 0 0 99710 494 0 0 20 0 1 0 289597753 71368704 16669 33554432000 4194304 8973514 140734036269136 140734036268632 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 17424 16669 468 1167 0 16205 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 69696

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 4398
/proc/meminfo: memFree=31072916/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=59456 CPUtime=1062.03 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 161990 0 0 0 105684 519 0 0 20 0 1 0 289597753 60882944 14109 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 14864 14109 468 1167 0 13645 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 59456

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/178 4401
/proc/meminfo: memFree=31064040/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=66624 CPUtime=1122.01 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 173519 0 0 0 111650 551 0 0 20 0 1 0 289597753 68222976 15901 33554432000 4194304 8973514 140734036269136 140734036268632 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 16656 15901 468 1167 0 15437 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 66624

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 4402
/proc/meminfo: memFree=31050716/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=62528 CPUtime=1181.99 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 183249 0 0 0 117622 577 0 0 20 0 1 0 289597753 64028672 14877 33554432000 4194304 8973514 140734036269136 140734036268632 7399953 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 15632 14877 468 1167 0 14413 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 62528

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/177 4402
/proc/meminfo: memFree=31041252/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=78912 CPUtime=1241.99 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 190161 0 0 0 123595 604 0 0 20 0 1 0 289597753 80805888 18973 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 19728 18973 468 1167 0 18509 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 78912

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/177 4402
/proc/meminfo: memFree=31035456/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=74816 CPUtime=1301.97 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 200153 0 0 0 129563 634 0 0 20 0 1 0 289597753 76611584 17949 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 18704 17949 468 1167 0 17485 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 74816

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 4402
/proc/meminfo: memFree=31035832/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=72768 CPUtime=1361.96 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 206051 0 0 0 135532 664 0 0 20 0 1 0 289597753 74514432 17437 33554432000 4194304 8973514 140734036269136 140734036268632 4537511 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 18192 17437 468 1167 0 16973 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 72768

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 4441
/proc/meminfo: memFree=31004420/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=62528 CPUtime=1421.95 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 211689 0 0 0 141506 689 0 0 20 0 1 0 289597753 64028672 14877 33554432000 4194304 8973514 140734036269136 140734036268400 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 15632 14877 468 1167 0 14413 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 62528

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 4442
/proc/meminfo: memFree=30988076/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=78912 CPUtime=1481.93 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 219627 0 0 0 147473 720 0 0 20 0 1 0 289597753 80805888 18973 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 19728 18973 468 1167 0 18509 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 78912

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4442
/proc/meminfo: memFree=30990816/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=66624 CPUtime=1541.92 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 224249 0 0 0 153446 746 0 0 20 0 1 0 289597753 68222976 15901 33554432000 4194304 8973514 140734036269136 140734036268632 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 16656 15901 468 1167 0 15437 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 66624

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4442
/proc/meminfo: memFree=30990464/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=66624 CPUtime=1601.9 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 233467 0 0 0 159416 774 0 0 20 0 1 0 289597753 68222976 15901 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 16656 15901 468 1167 0 15437 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 66624

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4442
/proc/meminfo: memFree=30963828/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=77888 CPUtime=1661.88 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 240648 0 0 0 165387 801 0 0 20 0 1 0 289597753 79757312 18717 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 19472 18717 468 1167 0 18253 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 77888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 4445
/proc/meminfo: memFree=30948740/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=78912 CPUtime=1721.86 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 251154 0 0 0 171357 829 0 0 20 0 1 0 289597753 80805888 18973 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 19728 18973 468 1167 0 18509 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 78912

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4446
/proc/meminfo: memFree=30942352/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=73792 CPUtime=1781.85 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 255506 0 0 0 177330 855 0 0 20 0 1 0 289597753 75563008 17693 33554432000 4194304 8973514 140734036269136 140734036268632 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 18448 17693 468 1167 0 17229 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 73792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 4446
/proc/meminfo: memFree=30942484/32873648 swapFree=6612/6612
[pid=4368] ppid=4366 vsize=73792 CPUtime=1800.05 cores=0,2,4,6
/proc/4368/stat : 4368 (toysat) R 4366 4368 3996 0 -1 4202496 255509 0 0 0 179144 861 0 0 20 0 1 0 289597753 75563008 17693 33554432000 4194304 8973514 140734036269136 140734036268400 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/4368/statm: 18448 17693 468 1167 0 17229 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 73792

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.51
CPU time (s): 1800.07
CPU user time (s): 1791.44
CPU system time (s): 8.62169
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 90176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.44
system time used= 8.62169
maximum resident set size= 87156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255509
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= 175
involuntary context switches= 2108

runsolver used 4.73428 second user time and 7.66183 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-28 21:52:13
IDJOB=3711930
IDBENCH=79607
IDSOLVER=2291
FILE ID=node148/3711930-1338234733
RUNJOBID= node148-1338230725-4012
PBS_JOBID= 14624655
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-42_wcsp.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711930-1338234733/watcher-3711930-1338234733 -o /tmp/evaluation-result-3711930-1338234733/solver-3711930-1338234733 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3711930-1338234733.wbo

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

MD5SUM BENCH= 2650719d8056982b79efe8547fa4e1ef
RANDOM SEED=2014943168

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31124004 kB
Buffers:          427392 kB
Cached:           404268 kB
SwapCached:          576 kB
Active:           617488 kB
Inactive:         261880 kB
Active(anon):      38888 kB
Inactive(anon):    11140 kB
Active(file):     578600 kB
Inactive(file):   250740 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:              7400 kB
Writeback:             0 kB
AnonPages:         55196 kB
Mapped:            12800 kB
Shmem:                96 kB
Slab:             730140 kB
SReclaimable:     174524 kB
SUnreclaim:       555616 kB
KernelStack:        1464 kB
PageTables:         4148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     163832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 71680 MiB
End job on node148 at 2012-05-28 22:22:15