Trace number 4119673

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 2016-05-02? (TO) 1800.13 1800.43

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw128/normalized-hw128-vm99p-dec.opb.negationfix.opb
MD5SUM29a0087fbbe4bcae212bee5a37389a94
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables180608
Total number of constraints3078
Number of constraints which are clauses1410
Number of constraints which are cardinality constraints (but not clauses)1410
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1411
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 495101
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1113385
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T10:20:45+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119673-1467274845.opb"]
0.00/0.01	c use --random-gen="3041024425 2779136587 589842404 2059589990 699077555 69971779 3360066011 795048842 1198716867 4186922318 228791990 3510930258 4155180016 4228934305 2183184348 956746501 469399455 2100352019 3987175005 578572916 4159879487 817919147 1809733705 2766967521 2700366173 2384535641 1846193904 1132062746 3364308404 1828497473 3917216240 4013943447 322529902 320741780 1249418659 1811922146 3061486422 2276996096 3288872005 1966387574 3403158018 3909097383 3202612 2871014850 1608373271 420804661 3652568001 4051747688 3471758156 2280490968 1414889737 3240896373 3638431270 3822684520 691684300 978383731 3402283211 3595379705 2426611346 2984965762 1463830278 2349381456 862993992 3644146028 183189206 2189223185 982295571 3790446629 1892132921 45042032 3475864454 1517392301 2892198303 866687928 3138396072 843363556 994300071 172431610 1464534492 1912558136 822304710 1793852359 3647456695 2963469514 694654790 1475193352 3728509294 1202477664 1312304393 903772609 3403523377 830330910 1328602534 1674794036 1895870601 3861745999 2564771153 4022447602 1138252690 1841794702 3782023609 2774928309 1868123268 3469481424 1633533243 2890066648 2459881482 2359921962 351803183 1524613845 203072358 2556608510 4190617831 767242399 2879661443 1501678770 2345423144 2518620517 1152533452 1213013087 274967243 2215762753 1311378599 577549146 4063027685 3350971976 1741262796 148581246 1045649238 4132226534 3953386155 820437186 3645456696 4143636145 3449324570 2031977938 4198243198 3760905946 637727839 3894885264 3291619983 1280856642 2269297876 2959266364 467004884 3203736434 2562782021 755691209 2811826136 14254911 1733709726 1472390095 2135609299 2506565615 135157352 3190090013 3110832602 4109419737 442046618 3983253987 2956621054 2719223857 84598205 4219982603 1066884459 3128895696 2597080059 1507295034 3994425673 923278766 1368478150 2651644318 2901026790 2810829974 1272383419 2870359942 1985908299 2784287495 3836888685 2214200307 955857038 4074019477 4172718106 4112034526 3750308758 1200483393 3239232012 1594703760 3139383167 2426688374 3022426334 1085901634 2287612717 1543280284 672918604 184878882 2899797118 249615646 2861051595 1019250291 1014095228 2245592729 31481240 2984732838 4279467802 1036767508 3575724564 899885649 859914545 1766979271 1096920841 785335647 3258776310 3373976708 3650867071 1169039910 3160442020 822434269 3314584871 2605436337 170603961 3731223958 4134772518 1566554475 3393895159 1230563454 4248134751 1459891067 3746758906 1085556305 2652455352 129007653 3477204396 1271922323 2141226584 1329042618 177703712 2533556914 3537805301 4142472873 3434882276 2197147189 1038240038 478225840 2014175906 4236379255 4243846369 3216239846 630504165 43424071 3579972055 1732450386 125055838 241256638 568691134 1080936708 255 362436" option to reproduce the execution
1.20/1.28	c #vars 180608
1.20/1.28	c #constraints 3078
4.19/4.27	c Solving starts ...
4.19/4.27	c ============================[ Search Statistics ]============================
4.19/4.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.19/4.27	c       |         |          |          |    Limit     GC | Var      | Constra 
4.19/4.27	c =============================================================================
4.29/4.34	c  0.0s |       0 |        0 |        0 |    61228      0 |      639 |        0
5.79/5.82	c  1.5s |       1 |     1365 |      100 |    61228      0 |      639 |        0
8.69/8.78	c  4.4s |       2 |     6102 |      250 |    67351      0 |      639 |        0
11.19/11.29	c  7.0s |       2 |    20796 |      350 |    74087      0 |      639 |        0
14.19/14.26	c  9.9s |       2 |    20899 |      450 |    74087      0 |      639 |        0
15.29/15.30	c 11.0s |       3 |    20923 |      475 |    74087      0 |      639 |        0
18.99/19.07	c 14.7s |       3 |    49357 |      575 |    81496      0 |      639 |        0
24.09/24.20	c 19.9s |       3 |    49464 |      675 |    81496      0 |      639 |        0
28.59/28.63	c 24.3s |       3 |    49565 |      775 |    81496      0 |      639 |        0
31.49/31.53	c 27.2s |       4 |    49606 |      813 |    81496      0 |      639 |        0
34.38/34.49	c 30.1s |       4 |    92008 |      913 |    89646      0 |      639 |        0
37.98/38.08	c 33.7s |       4 |    92121 |     1013 |    89646      0 |      639 |        0
42.48/42.53	c 38.2s |       4 |    92241 |     1113 |    89646      0 |      639 |        0
47.58/47.64	c 43.3s |       4 |    92357 |     1213 |    89646      0 |      639 |        0
50.59/50.70	c 46.4s |       4 |    92467 |     1313 |    89646      0 |      639 |        0
51.08/51.14	c 46.8s |       5 |    92477 |     1320 |    89646      0 |      639 |        0
53.88/53.94	c 49.6s |       5 |   141713 |     1420 |    98611      0 |      639 |        0
56.59/56.67	c 52.3s |       5 |   141832 |     1520 |    98611      0 |      639 |        0
59.39/59.43	c 55.1s |       5 |   141936 |     1620 |    98611      0 |      639 |        0
62.08/62.14	c 57.8s |       5 |   142042 |     1720 |    98611      0 |      639 |        0
64.48/64.56	c 60.2s |       5 |   142173 |     1820 |    98611      0 |      639 |        0
67.28/67.36	c 63.0s |       5 |   142294 |     1920 |    98611      0 |      639 |        0
69.88/69.98	c 65.6s |       5 |   142400 |     2020 |    98611      0 |      639 |        0
71.78/71.82	c 67.5s |       6 |   142465 |     2081 |   108473      0 |      639 |        0
74.38/74.46	c 70.1s |       6 |   187975 |     2181 |   108473      0 |      639 |        0
77.78/77.87	c 73.5s |       6 |   188084 |     2281 |   108473      0 |      639 |        0
81.88/81.94	c 77.6s |       6 |   188182 |     2381 |   108473      0 |      639 |        0
85.57/85.60	c 81.3s |       6 |   188305 |     2481 |   108473      0 |      639 |        0
88.48/88.55	c 84.2s |       6 |   188445 |     2581 |   108473      0 |      639 |        0
91.88/91.93	c 87.6s |       6 |   188551 |     2681 |   108473      0 |      639 |        0
95.98/96.05	c 91.7s |       6 |   188667 |     2781 |   108473      0 |      639 |        0
99.98/100.01	c 95.7s |       6 |   188773 |     2881 |   108473      0 |      639 |        0
103.87/103.92	c 99.6s |       6 |   188882 |     2981 |   108473      0 |      639 |        0
107.67/107.78	c  103s |       6 |   188999 |     3081 |   108473      0 |      639 |        0
111.27/111.39	c  107s |       6 |   189140 |     3181 |   108473      0 |      639 |        0
113.07/113.19	c  108s |       7 |   189189 |     3223 |   119321      0 |      639 |        0
115.87/115.93	c  111s |       7 |   231083 |     3323 |   119321      0 |      639 |        0
119.47/119.56	c  115s |       7 |   231210 |     3423 |   119321      0 |      639 |        0
123.67/123.72	c  119s |       7 |   231365 |     3523 |   119321      0 |      639 |        0
126.77/126.88	c  122s |       7 |   231560 |     3623 |   119321      0 |      639 |        0
130.57/130.61	c  126s |       7 |   231702 |     3723 |   119321      0 |      639 |        0
134.07/134.15	c  129s |       7 |   231804 |     3823 |   119321      0 |      639 |        0
137.87/137.91	c  133s |       7 |   231930 |     3923 |   119321      0 |      639 |        0
141.77/141.89	c  137s |       7 |   232057 |     4023 |   119321      0 |      639 |        0
146.28/146.34	c  142s |       7 |   232171 |     4123 |   119321      0 |      639 |        0
150.97/151.07	c  146s |       7 |   232287 |     4223 |   119321      0 |      639 |        0
155.27/155.33	c  150s |       7 |   232406 |     4323 |   119321      0 |      639 |        0
159.16/159.26	c  154s |       7 |   232513 |     4423 |   119321      0 |      639 |        0
163.26/163.30	c  158s |       7 |   232658 |     4523 |   119321      0 |      639 |        0
168.46/168.59	c  164s |       7 |   232764 |     4623 |   119321      0 |      639 |        0
173.06/173.11	c  168s |       7 |   232865 |     4723 |   119321      0 |      639 |        0
176.86/176.92	c  172s |       7 |   232983 |     4823 |   119321      0 |      639 |        0
180.96/181.03	c  176s |       7 |   233085 |     4923 |   131254      0 |      639 |        0
181.66/181.71	c  177s |       8 |   233103 |     4936 |   131254      0 |      639 |        0
185.06/185.14	c  180s |       8 |   274343 |     5036 |   131254      0 |      639 |        0
187.96/188.06	c  183s |       8 |   274469 |     5136 |   131254      0 |      639 |        0
191.16/191.23	c  186s |       8 |   274634 |     5236 |   131254      0 |      639 |        0
194.16/194.22	c  189s |       8 |   274764 |     5336 |   131254      0 |      639 |        0
197.86/197.93	c  193s |       8 |   274866 |     5436 |   131254      0 |      639 |        0
201.27/201.40	c  197s |       8 |   274987 |     5536 |   131254      0 |      639 |        0
204.96/205.10	c  200s |       8 |   275101 |     5636 |   131254      0 |      639 |        0
208.66/208.71	c  204s |       8 |   275216 |     5736 |   131254      0 |      639 |        0
212.16/212.30	c  207s |       8 |   275338 |     5836 |   131254      0 |      639 |        0
215.56/215.63	c  211s |       8 |   275445 |     5936 |   131254      0 |      639 |        0
218.66/218.74	c  214s |       8 |   275550 |     6036 |   131254      0 |      639 |        0
222.16/222.24	c  217s |       8 |   275667 |     6136 |   131254      0 |      639 |        0
226.95/227.03	c  222s |       8 |   275766 |     6236 |   131254      0 |      639 |        0
231.75/231.81	c  227s |       8 |   275874 |     6336 |   131254      0 |      639 |        0
235.46/235.57	c  231s |       8 |   275995 |     6436 |   131254      0 |      639 |        0
239.15/239.26	c  234s |       8 |   276095 |     6536 |   131254      0 |      639 |        0
242.95/243.02	c  238s |       8 |   276272 |     6636 |   131254      0 |      639 |        0
246.26/246.36	c  242s |       8 |   276394 |     6736 |   131254      0 |      639 |        0
249.66/249.75	c  245s |       8 |   276517 |     6836 |   131254      0 |      639 |        0
253.25/253.32	c  248s |       8 |   276634 |     6936 |   131254      0 |      639 |        0
256.75/256.80	c  252s |       8 |   276736 |     7036 |   131254      0 |      639 |        0
260.45/260.55	c  256s |       8 |   276850 |     7136 |   131254      0 |      639 |        0
264.25/264.31	c  259s |       8 |   276955 |     7236 |   131254      0 |      639 |        0
267.94/268.04	c  263s |       8 |   277059 |     7336 |   131254      0 |      639 |        0
271.75/271.82	c  267s |       8 |   277166 |     7436 |   131254      0 |      639 |        0
274.25/274.36	c  270s |       9 |   277251 |     7506 |   144380      0 |      639 |        0
279.85/279.99	c  275s |       9 |   308120 |     7606 |   144380      0 |      639 |        0
284.96/285.06	c  280s |       9 |   308226 |     7706 |   144380      0 |      639 |        0
289.45/289.54	c  285s |       9 |   308326 |     7806 |   144380      0 |      639 |        0
293.84/293.95	c  289s |       9 |   308427 |     7906 |   144380      0 |      639 |        0
299.04/299.18	c  294s |       9 |   308536 |     8006 |   144380      0 |      639 |        0
304.04/304.19	c  299s |       9 |   308654 |     8106 |   144380      0 |      639 |        0
309.45/309.54	c  305s |       9 |   308761 |     8206 |   144380      0 |      639 |        0
314.55/314.61	c  310s |       9 |   308867 |     8306 |   144380      0 |      639 |        0
320.05/320.15	c  315s |       9 |   308971 |     8406 |   144380      0 |      639 |        0
326.14/326.29	c  321s |       9 |   309081 |     8506 |   144380      0 |      639 |        0
330.94/331.08	c  326s |       9 |   309186 |     8606 |   144380      0 |      639 |        0
335.44/335.58	c  331s |       9 |   309331 |     8706 |   144380      0 |      639 |        0
340.14/340.23	c  335s |       9 |   309428 |     8806 |   144380      0 |      639 |        0
345.63/345.70	c  341s |       9 |   309551 |     8906 |   144380      0 |      639 |        0
352.23/352.32	c  347s |       9 |   309664 |     9006 |   144380      0 |      639 |        0
358.13/358.24	c  353s |       9 |   309787 |     9106 |   144380      0 |      639 |        0
364.53/364.67	c  360s |       9 |   309913 |     9206 |   144380      0 |      639 |        0
371.13/371.23	c  366s |       9 |   310023 |     9306 |   144380      0 |      639 |        0
377.63/377.73	c  373s |       9 |   310132 |     9406 |   144380      0 |      639 |        0
382.83/382.97	c  378s |       9 |   310261 |     9506 |   144380      0 |      639 |        0
388.73/388.89	c  384s |       9 |   310388 |     9606 |   144380      0 |      639 |        0
396.43/396.52	c  392s |       9 |   310643 |     9706 |   144380      0 |      639 |        0
404.43/404.50	c  400s |       9 |   310756 |     9806 |   144380      0 |      639 |        0
410.13/410.27	c  405s |       9 |   310881 |     9906 |   144380      0 |      639 |        0
414.53/414.69	c  410s |       9 |   310995 |    10006 |   144380      0 |      639 |        0
419.73/419.83	c  415s |       9 |   311113 |    10106 |   144380      0 |      639 |        0
425.12/425.29	c  420s |       9 |   311237 |    10206 |   144380      0 |      639 |        0
431.32/431.48	c  427s |       9 |   311353 |    10306 |   144380      0 |      639 |        0
436.82/436.90	c  432s |       9 |   311456 |    10406 |   144380      0 |      639 |        0
441.62/441.75	c  437s |       9 |   311574 |    10506 |   144380      0 |      639 |        0
447.33/447.45	c  443s |       9 |   311680 |    10606 |   144380      0 |      639 |        0
453.82/453.97	c  449s |       9 |   311868 |    10706 |   144380      0 |      639 |        0
461.32/461.41	c  457s |       9 |   312036 |    10806 |   144380      0 |      639 |        0
468.63/468.71	c  464s |       9 |   312138 |    10906 |   144380      0 |      639 |        0
475.41/475.56	c  471s |       9 |   312245 |    11006 |   144380      0 |      639 |        0
481.61/481.73	c  477s |       9 |   312357 |    11106 |   144380      0 |      639 |        0
489.42/489.54	c  485s |       9 |   312456 |    11206 |   144380      0 |      639 |        0
496.02/496.13	c  491s |       9 |   312634 |    11306 |   158818      0 |      639 |        0
500.01/500.14	c  495s |      10 |   312720 |    11361 |   158818      0 |      639 |        0
502.51/502.67	c  498s |      10 |   316640 |    11461 |   158818      0 |      639 |        0
505.01/505.13	c  500s |      10 |   316967 |    11761 |   158818      0 |      639 |        0
507.21/507.32	c  502s |      10 |   317310 |    12061 |   158818      0 |      639 |        0
509.21/509.35	c  505s |      10 |   317624 |    12361 |   158818      0 |      639 |        0
511.41/511.58	c  507s |      10 |   317947 |    12661 |   158818      0 |      639 |        0
513.81/513.99	c  509s |      10 |   318284 |    12961 |   158818      0 |      639 |        0
516.21/516.31	c  511s |      10 |   318594 |    13261 |   158818      0 |      639 |        0
518.61/518.73	c  514s |      10 |   318935 |    13561 |   158818      0 |      639 |        0
521.21/521.31	c  516s |      10 |   319251 |    13861 |   158818      0 |      639 |        0
523.81/523.98	c  519s |      10 |   319570 |    14161 |   158818      0 |      639 |        0
526.41/526.58	c  522s |      10 |   319880 |    14461 |   158818      0 |      639 |        0
528.91/529.06	c  524s |      10 |   320201 |    14761 |   158818      0 |      639 |        0
531.81/531.93	c  527s |      10 |   320521 |    15061 |   158818      0 |      639 |        0
534.52/534.68	c  530s |      10 |   320837 |    15361 |   158818      0 |      639 |        0
537.41/537.55	c  533s |      10 |   321152 |    15661 |   158818      0 |      639 |        0
540.11/540.21	c  535s |      10 |   321473 |    15961 |   158818      0 |      639 |        0
542.71/542.89	c  538s |      10 |   321819 |    16261 |   158818      0 |      639 |        0
545.51/545.68	c  541s |      10 |   322137 |    16561 |   158818      0 |      639 |        0
548.61/548.72	c  544s |      10 |   322471 |    16861 |   158818      0 |      639 |        0
550.81/550.95	c  546s |      10 |   322694 |    17061 |   174700      0 |      639 |        0
551.71/551.83	c  547s |      11 |   322783 |    17144 |   174700      0 |      639 |        0
556.90/557.07	c  552s |      11 |   383366 |    17244 |   174700      0 |      639 |        0
559.40/559.54	c  555s |      11 |   383471 |    17344 |   174700      0 |      639 |        0
562.40/562.50	c  558s |      11 |   383581 |    17444 |   174700      0 |      639 |        0
565.00/565.16	c  560s |      11 |   383693 |    17544 |   174700      0 |      639 |        0
567.10/567.20	c  562s |      11 |   383797 |    17644 |   174700      0 |      639 |        0
569.20/569.30	c  564s |      11 |   383923 |    17744 |   174700      0 |      639 |        0
571.30/571.44	c  567s |      11 |   384043 |    17844 |   174700      0 |      639 |        0
576.00/576.17	c  571s |      11 |   384304 |    17944 |   174700      0 |      639 |        0
582.00/582.11	c  577s |      11 |   384424 |    18044 |   174700      0 |      639 |        0
589.70/589.89	c  585s |      11 |   384554 |    18144 |   174700      0 |      639 |        0
600.89/601.04	c  596s |      11 |   384658 |    18244 |   174700      0 |      639 |        0
609.40/609.53	c  605s |      11 |   384824 |    18344 |   174700      0 |      639 |        0
617.99/618.17	c  613s |      11 |   384953 |    18444 |   174700      0 |      639 |        0
626.19/626.34	c  622s |      11 |   385075 |    18544 |   174700      0 |      639 |        0
633.19/633.33	c  628s |      11 |   385192 |    18644 |   174700      0 |      639 |        0
641.79/641.92	c  637s |      11 |   385299 |    18744 |   174700      0 |      639 |        0
648.19/648.32	c  643s |      11 |   385426 |    18844 |   174700      0 |      639 |        0
656.99/657.14	c  652s |      11 |   385545 |    18944 |   174700      0 |      639 |        0
667.29/667.46	c  663s |      11 |   385651 |    19044 |   174700      0 |      639 |        0
677.49/677.64	c  673s |      11 |   385768 |    19144 |   174700      0 |      639 |        0
685.58/685.71	c  681s |      11 |   385910 |    19244 |   174700      0 |      639 |        0
691.48/691.65	c  687s |      11 |   386060 |    19344 |   174700      0 |      639 |        0
701.49/701.62	c  697s |      11 |   386213 |    19444 |   174700      0 |      639 |        0
707.98/708.18	c  703s |      11 |   386333 |    19544 |   174700      0 |      639 |        0
714.38/714.50	c  710s |      11 |   386471 |    19644 |   174700      0 |      639 |        0
720.88/721.04	c  716s |      11 |   386600 |    19744 |   174700      0 |      639 |        0
729.19/729.33	c  724s |      11 |   386704 |    19844 |   174700      0 |      639 |        0
737.98/738.12	c  733s |      11 |   386833 |    19944 |   174700      0 |      639 |        0
747.68/747.80	c  743s |      11 |   386953 |    20044 |   174700      0 |      639 |        0
757.37/757.56	c  753s |      11 |   387081 |    20144 |   174700      0 |      639 |        0
767.47/767.60	c  763s |      11 |   387196 |    20244 |   174700      0 |      639 |        0
775.97/776.13	c  771s |      11 |   387324 |    20344 |   174700      0 |      639 |        0
783.07/783.28	c  778s |      11 |   387460 |    20444 |   174700      0 |      639 |        0
791.47/791.65	c  787s |      11 |   387601 |    20544 |   174700      0 |      639 |        0
798.97/799.10	c  794s |      11 |   387725 |    20644 |   174700      0 |      639 |        0
807.56/807.75	c  803s |      11 |   387849 |    20744 |   174700      0 |      639 |        0
814.97/815.17	c  810s |      11 |   387970 |    20844 |   174700      0 |      639 |        0
823.36/823.57	c  819s |      11 |   388084 |    20944 |   174700      0 |      639 |        0
832.86/833.06	c  828s |      11 |   388202 |    21044 |   174700      0 |      639 |        0
841.66/841.84	c  837s |      11 |   388313 |    21144 |   174700      0 |      639 |        0
850.55/850.76	c  846s |      11 |   388440 |    21244 |   174700      0 |      639 |        0
861.05/861.28	c  856s |      11 |   388551 |    21344 |   174700      0 |      639 |        0
870.55/870.70	c  866s |      11 |   388667 |    21444 |   174700      0 |      639 |        0
880.45/880.66	c  876s |      11 |   388790 |    21544 |   174700      0 |      639 |        0
888.15/888.31	c  883s |      11 |   388938 |    21644 |   174700      0 |      639 |        0
894.75/894.99	c  890s |      11 |   389058 |    21744 |   174700      0 |      639 |        0
903.14/903.33	c  898s |      11 |   389172 |    21844 |   174700      0 |      639 |        0
912.64/912.87	c  908s |      11 |   389291 |    21944 |   174700      0 |      639 |        0
920.94/921.19	c  916s |      11 |   389414 |    22044 |   174700      0 |      639 |        0
929.14/929.34	c  925s |      11 |   389541 |    22144 |   174700      0 |      639 |        0
936.34/936.60	c  932s |      11 |   389668 |    22244 |   174700      0 |      639 |        0
944.54/944.79	c  940s |      11 |   389782 |    22344 |   174700      0 |      639 |        0
952.83/953.02	c  948s |      11 |   389909 |    22444 |   174700      0 |      639 |        0
960.73/960.91	c  956s |      11 |   390018 |    22544 |   174700      0 |      639 |        0
970.23/970.44	c  966s |      11 |   390132 |    22644 |   174700      0 |      639 |        0
978.33/978.53	c  974s |      11 |   390245 |    22744 |   174700      0 |      639 |        0
987.13/987.36	c  983s |      11 |   390353 |    22844 |   174700      0 |      639 |        0
995.53/995.78	c  991s |      11 |   390473 |    22944 |   174700      0 |      639 |        0
1003.52/1003.79	c  999s |      11 |   390607 |    23044 |   174700      0 |      639 |        0
1009.92/1010.11	c 1005s |      11 |   390725 |    23144 |   174700      0 |      639 |        0
1017.22/1017.43	c 1013s |      11 |   390851 |    23244 |   174700      0 |      639 |        0
1024.52/1024.75	c 1020s |      11 |   390974 |    23344 |   174700      0 |      639 |        0
1033.72/1033.95	c 1029s |      11 |   391104 |    23444 |   174700      0 |      639 |        0
1043.21/1043.41	c 1039s |      11 |   391238 |    23544 |   174700      0 |      639 |        0
1050.52/1050.74	c 1046s |      11 |   391359 |    23644 |   174700      0 |      639 |        0
1058.62/1058.84	c 1054s |      11 |   391493 |    23744 |   174700      0 |      639 |        0
1068.42/1068.69	c 1064s |      11 |   391599 |    23844 |   174700      0 |      639 |        0
1078.62/1078.80	c 1074s |      11 |   391713 |    23944 |   174700      0 |      639 |        0
1087.72/1087.93	c 1083s |      11 |   391836 |    24044 |   174700      0 |      639 |        0
1097.31/1097.53	c 1093s |      11 |   391962 |    24144 |   174700      0 |      639 |        0
1105.32/1105.57	c 1101s |      11 |   392119 |    24244 |   174700      0 |      639 |        0
1114.70/1114.92	c 1110s |      11 |   392226 |    24344 |   174700      0 |      639 |        0
1124.71/1124.96	c 1120s |      11 |   392340 |    24444 |   174700      0 |      639 |        0
1134.01/1134.22	c 1129s |      11 |   392473 |    24544 |   174700      0 |      639 |        0
1144.70/1144.90	c 1140s |      11 |   392589 |    24644 |   174700      0 |      639 |        0
1154.60/1154.82	c 1150s |      11 |   392708 |    24744 |   174700      0 |      639 |        0
1165.50/1165.75	c 1161s |      11 |   392819 |    24844 |   174700      0 |      639 |        0
1175.30/1175.54	c 1171s |      11 |   392940 |    24944 |   174700      0 |      639 |        0
1186.00/1186.21	c 1181s |      11 |   393058 |    25044 |   174700      0 |      639 |        0
1196.19/1196.46	c 1192s |      11 |   393177 |    25144 |   174700      0 |      639 |        0
1205.99/1206.24	c 1201s |      11 |   393305 |    25244 |   174700      0 |      639 |        0
1216.09/1216.31	c 1211s |      11 |   393418 |    25344 |   174700      0 |      639 |        0
1225.58/1225.88	c 1221s |      11 |   393531 |    25444 |   174700      0 |      639 |        0
1236.29/1236.54	c 1232s |      11 |   393643 |    25544 |   174700      0 |      639 |        0
1247.98/1248.23	c 1243s |      11 |   393757 |    25644 |   174700      0 |      639 |        0
1255.58/1255.87	c 1251s |      11 |   393878 |    25744 |   192171      0 |      639 |        0
1262.59/1262.89	c 1258s |      12 |   393955 |    25819 |   192171      0 |      639 |        0
1273.98/1274.25	c 1269s |      12 |   434747 |    25919 |   192171      0 |      639 |        0
1278.37/1278.68	c 1274s |      12 |   434869 |    26019 |   192171      0 |      639 |        0
1282.38/1282.67	c 1278s |      12 |   434968 |    26119 |   192171      0 |      639 |        0
1286.38/1286.67	c 1282s |      12 |   435078 |    26219 |   192171      0 |      639 |        0
1291.48/1291.71	c 1287s |      12 |   435197 |    26319 |   192171      0 |      639 |        0
1295.48/1295.80	c 1291s |      12 |   435321 |    26419 |   192171      0 |      639 |        0
1300.88/1301.10	c 1296s |      12 |   435420 |    26519 |   192171      0 |      639 |        0
1306.37/1306.66	c 1302s |      12 |   435532 |    26619 |   192171      0 |      639 |        0
1312.27/1312.50	c 1308s |      12 |   435641 |    26719 |   192171      0 |      639 |        0
1316.17/1316.41	c 1312s |      12 |   435763 |    26819 |   192171      0 |      639 |        0
1319.97/1320.25	c 1315s |      12 |   435873 |    26919 |   192171      0 |      639 |        0
1324.07/1324.32	c 1319s |      12 |   435981 |    27019 |   192171      0 |      639 |        0
1328.37/1328.60	c 1324s |      12 |   436098 |    27119 |   192171      0 |      639 |        0
1332.27/1332.50	c 1328s |      12 |   436208 |    27219 |   192171      0 |      639 |        0
1336.66/1336.90	c 1332s |      12 |   436330 |    27319 |   192171      0 |      639 |        0
1340.77/1341.03	c 1336s |      12 |   436444 |    27419 |   192171      0 |      639 |        0
1344.86/1345.14	c 1340s |      12 |   436563 |    27519 |   192171      0 |      639 |        0
1349.87/1350.15	c 1345s |      12 |   436671 |    27619 |   192171      0 |      639 |        0
1356.66/1356.96	c 1352s |      12 |   436775 |    27719 |   192171      0 |      639 |        0
1362.68/1362.98	c 1358s |      12 |   436892 |    27819 |   192171      0 |      639 |        0
1368.47/1368.70	c 1364s |      12 |   436997 |    27919 |   192171      0 |      639 |        0
1374.57/1374.89	c 1370s |      12 |   437111 |    28019 |   192171      0 |      639 |        0
1379.36/1379.66	c 1375s |      12 |   437224 |    28119 |   192171      0 |      639 |        0
1383.86/1384.13	c 1379s |      12 |   437343 |    28219 |   192171      0 |      639 |        0
1390.66/1390.90	c 1386s |      12 |   437462 |    28319 |   192171      0 |      639 |        0
1397.87/1398.11	c 1393s |      12 |   437569 |    28419 |   192171      0 |      639 |        0
1402.86/1403.16	c 1398s |      12 |   437688 |    28519 |   192171      0 |      639 |        0
1409.05/1409.34	c 1405s |      12 |   437796 |    28619 |   192171      0 |      639 |        0
1416.35/1416.64	c 1412s |      12 |   437917 |    28719 |   192171      0 |      639 |        0
1421.15/1421.49	c 1417s |      12 |   438050 |    28819 |   192171      0 |      639 |        0
1425.15/1425.47	c 1421s |      12 |   438176 |    28919 |   192171      0 |      639 |        0
1428.96/1429.28	c 1424s |      12 |   438286 |    29019 |   192171      0 |      639 |        0
1432.36/1432.64	c 1428s |      12 |   438418 |    29119 |   192171      0 |      639 |        0
1436.25/1436.50	c 1432s |      12 |   438530 |    29219 |   192171      0 |      639 |        0
1440.35/1440.60	c 1436s |      12 |   438651 |    29319 |   192171      0 |      639 |        0
1444.85/1445.19	c 1440s |      12 |   438754 |    29419 |   192171      0 |      639 |        0
1448.95/1449.23	c 1444s |      12 |   438868 |    29519 |   192171      0 |      639 |        0
1452.85/1453.19	c 1448s |      12 |   438981 |    29619 |   192171      0 |      639 |        0
1456.95/1457.25	c 1452s |      12 |   439100 |    29719 |   192171      0 |      639 |        0
1460.94/1461.20	c 1456s |      12 |   439211 |    29819 |   192171      0 |      639 |        0
1465.44/1465.70	c 1461s |      12 |   439318 |    29919 |   192171      0 |      639 |        0
1469.84/1470.11	c 1465s |      12 |   439429 |    30019 |   192171      0 |      639 |        0
1474.24/1474.59	c 1470s |      12 |   439539 |    30119 |   192171      0 |      639 |        0
1479.15/1479.44	c 1475s |      12 |   439645 |    30219 |   192171      0 |      639 |        0
1484.04/1484.37	c 1480s |      12 |   439751 |    30319 |   192171      0 |      639 |        0
1488.34/1488.68	c 1484s |      12 |   439859 |    30419 |   192171      0 |      639 |        0
1492.64/1492.98	c 1488s |      12 |   439959 |    30519 |   192171      0 |      639 |        0
1497.34/1497.67	c 1493s |      12 |   440067 |    30619 |   192171      0 |      639 |        0
1502.44/1502.73	c 1498s |      12 |   440166 |    30719 |   192171      0 |      639 |        0
1506.74/1507.01	c 1502s |      12 |   440299 |    30819 |   192171      0 |      639 |        0
1511.44/1511.76	c 1507s |      12 |   440409 |    30919 |   192171      0 |      639 |        0
1516.14/1516.48	c 1512s |      12 |   440517 |    31019 |   192171      0 |      639 |        0
1520.94/1521.24	c 1516s |      12 |   440617 |    31119 |   192171      0 |      639 |        0
1525.14/1525.41	c 1521s |      12 |   440725 |    31219 |   192171      0 |      639 |        0
1530.03/1530.30	c 1525s |      12 |   440847 |    31319 |   192171      0 |      639 |        0
1534.43/1534.76	c 1530s |      12 |   440977 |    31419 |   192171      0 |      639 |        0
1539.03/1539.34	c 1535s |      12 |   441087 |    31519 |   192171      0 |      639 |        0
1542.94/1543.26	c 1538s |      12 |   441206 |    31619 |   192171      0 |      639 |        0
1547.04/1547.34	c 1543s |      12 |   441329 |    31719 |   192171      0 |      639 |        0
1551.43/1551.74	c 1547s |      12 |   441444 |    31819 |   192171      0 |      639 |        0
1555.74/1556.06	c 1551s |      12 |   441562 |    31919 |   192171      0 |      639 |        0
1560.03/1560.32	c 1555s |      12 |   441690 |    32019 |   192171      0 |      639 |        0
1564.33/1564.68	c 1560s |      12 |   441808 |    32119 |   192171      0 |      639 |        0
1569.43/1569.73	c 1565s |      12 |   441918 |    32219 |   192171      0 |      639 |        0
1574.63/1574.90	c 1570s |      12 |   442039 |    32319 |   192171      0 |      639 |        0
1579.23/1579.59	c 1575s |      12 |   442156 |    32419 |   192171      0 |      639 |        0
1584.33/1584.62	c 1580s |      12 |   442273 |    32519 |   192171      0 |      639 |        0
1588.82/1589.12	c 1584s |      12 |   442383 |    32619 |   192171      0 |      639 |        0
1593.23/1593.57	c 1589s |      12 |   442505 |    32719 |   192171      0 |      639 |        0
1598.04/1598.35	c 1594s |      12 |   442607 |    32819 |   192171      0 |      639 |        0
1602.83/1603.19	c 1598s |      12 |   442719 |    32919 |   192171      0 |      639 |        0
1607.42/1607.76	c 1603s |      12 |   442836 |    33019 |   192171      0 |      639 |        0
1611.82/1612.15	c 1607s |      12 |   442996 |    33119 |   192171      0 |      639 |        0
1616.52/1616.84	c 1612s |      12 |   443136 |    33219 |   192171      0 |      639 |        0
1621.42/1621.76	c 1617s |      12 |   443238 |    33319 |   192171      0 |      639 |        0
1626.32/1626.62	c 1622s |      12 |   443363 |    33419 |   192171      0 |      639 |        0
1631.92/1632.28	c 1627s |      12 |   443465 |    33519 |   192171      0 |      639 |        0
1636.92/1637.29	c 1632s |      12 |   443581 |    33619 |   192171      0 |      639 |        0
1641.72/1642.01	c 1637s |      12 |   443688 |    33719 |   192171      0 |      639 |        0
1646.72/1647.07	c 1642s |      12 |   443795 |    33819 |   192171      0 |      639 |        0
1651.52/1651.80	c 1647s |      12 |   443902 |    33919 |   192171      0 |      639 |        0
1656.72/1657.09	c 1652s |      12 |   444008 |    34019 |   192171      0 |      639 |        0
1661.92/1662.22	c 1657s |      12 |   444110 |    34119 |   192171      0 |      639 |        0
1666.62/1666.91	c 1662s |      12 |   444230 |    34219 |   192171      0 |      639 |        0
1671.31/1671.60	c 1667s |      12 |   444341 |    34319 |   192171      0 |      639 |        0
1676.71/1677.02	c 1672s |      12 |   444441 |    34419 |   192171      0 |      639 |        0
1681.91/1682.25	c 1677s |      12 |   444553 |    34519 |   192171      0 |      639 |        0
1686.21/1686.52	c 1682s |      12 |   444674 |    34619 |   192171      0 |      639 |        0
1690.91/1691.21	c 1686s |      12 |   444778 |    34719 |   192171      0 |      639 |        0
1695.61/1695.95	c 1691s |      12 |   444913 |    34819 |   192171      0 |      639 |        0
1700.90/1701.29	c 1696s |      12 |   445017 |    34919 |   192171      0 |      639 |        0
1706.21/1706.53	c 1702s |      12 |   445115 |    35019 |   192171      0 |      639 |        0
1712.00/1712.32	c 1707s |      12 |   445225 |    35119 |   192171      0 |      639 |        0
1717.61/1717.92	c 1713s |      12 |   445339 |    35219 |   192171      0 |      639 |        0
1722.61/1722.94	c 1718s |      12 |   445453 |    35319 |   192171      0 |      639 |        0
1727.92/1728.23	c 1723s |      12 |   445560 |    35419 |   192171      0 |      639 |        0
1733.31/1733.68	c 1729s |      12 |   445668 |    35519 |   192171      0 |      639 |        0
1738.51/1738.81	c 1734s |      12 |   445774 |    35619 |   192171      0 |      639 |        0
1743.70/1744.02	c 1739s |      12 |   445886 |    35719 |   192171      0 |      639 |        0
1749.30/1749.61	c 1745s |      12 |   445993 |    35819 |   192171      0 |      639 |        0
1754.70/1755.05	c 1750s |      12 |   446098 |    35919 |   192171      0 |      639 |        0
1760.30/1760.67	c 1756s |      12 |   446235 |    36019 |   192171      0 |      639 |        0
1765.10/1765.44	c 1761s |      12 |   446342 |    36119 |   192171      0 |      639 |        0
1769.90/1770.29	c 1765s |      12 |   446454 |    36219 |   192171      0 |      639 |        0
1775.80/1776.17	c 1771s |      12 |   446556 |    36319 |   192171      0 |      639 |        0
1780.80/1781.11	c 1776s |      12 |   446667 |    36419 |   192171      0 |      639 |        0
1785.80/1786.11	c 1781s |      12 |   446780 |    36519 |   192171      0 |      639 |        0
1791.30/1791.61	c 1787s |      12 |   446890 |    36619 |   192171      0 |      639 |        0
1798.89/1799.29	c 1794s |      12 |   447001 |    36719 |   192171      0 |      639 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4119673-1467274845/watcher-4119673-1467274845 -o /tmp/evaluation-result-4119673-1467274845/solver-4119673-1467274845 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16869 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119673-1467274845.opb 

pid=17457
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.03 2.03 2.00 3/180 17460
/proc/meminfo: memFree=27789148/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=671164 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 2492 0 0 0 0 0 0 0 20 0 4 0 8380632 687271936 3363 33554432000 4194304 16246674 140734747076832 140734747076256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 168303 3374 441 2943 0 165197 0
[pid=17460/tid=17461] ppid=17457 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 705097728 3434 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 709292032 3450 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 714534912 3468 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 17460
/proc/meminfo: memFree=27789148/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 28800 0 0 0 6 3 0 0 20 0 4 0 8380632 1332285440 29609 33554432000 4194304 16246674 140734747076832 140734747076144 7439734 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 325265 29628 800 2943 0 322159 0
[pid=17460/tid=17461] ppid=17457 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1332285440 29639 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1332285440 29651 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1332285440 29663 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200534 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 17460
/proc/meminfo: memFree=27789148/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 44173 0 0 0 14 5 0 0 20 0 4 0 8380632 1343819776 45493 33554432000 4194304 16246674 140734747076832 140734747076144 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 328081 45512 801 2943 0 324975 0
[pid=17460/tid=17461] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 45523 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 45535 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 45546 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300488 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 17460
/proc/meminfo: memFree=27789148/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 49541 0 0 0 23 6 0 0 20 0 4 0 8380632 1343819776 50861 33554432000 4194304 16246674 140734747076832 140734747076144 7371480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 328081 50861 801 2943 0 324975 0
[pid=17460/tid=17461] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 50861 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 50861 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 50861 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700371 s]
/proc/loadavg: 2.03 2.03 2.00 3/180 17460
/proc/meminfo: memFree=27789148/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 66724 0 0 0 61 8 0 0 20 0 4 0 8380632 1343819776 68044 33554432000 4194304 16246674 140734747076832 140734747059824 4207952 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 328081 68044 802 2943 0 324975 0
[pid=17460/tid=17461] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 68044 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 68044 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1343819776 68044 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50035 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 17464
/proc/meminfo: memFree=27480792/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1386052 CPUtime=1.49 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 96301 0 0 0 136 13 0 0 20 0 4 0 8380632 1419317248 97621 33554432000 4194304 16246674 140734747076832 140734747075576 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 346513 97628 813 2943 0 343407 0
[pid=17460/tid=17461] ppid=17457 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1419317248 97631 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1419317248 97634 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1419317248 97638 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1386052

[startup+3.10041 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 17464
/proc/meminfo: memFree=27143140/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1393220 CPUtime=3.09 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 160390 0 0 0 288 21 0 0 20 0 4 0 8380632 1426657280 161710 33554432000 4194304 16246674 140734747076832 140734747058752 12366869 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 348305 161710 836 2943 0 345199 0
[pid=17460/tid=17461] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 161710 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 161710 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 161710 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1393220

[startup+6.30042 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 17464
/proc/meminfo: memFree=26682880/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1393220 CPUtime=6.29 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 275618 0 0 0 592 37 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140734747058752 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 348305 276938 884 2943 0 345199 0
[pid=17460/tid=17461] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1393220

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 17464
/proc/meminfo: memFree=26682804/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1393220 CPUtime=12.69 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 275618 0 0 0 1232 37 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140734747058752 13781188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 348305 276938 884 2943 0 345199 0
[pid=17460/tid=17461] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276938 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1393220

[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 17464
/proc/meminfo: memFree=26681748/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1393220 CPUtime=25.49 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 275622 0 0 0 2512 37 0 0 20 0 4 0 8380632 1426657280 276942 33554432000 4194304 16246674 140734747076832 140734747058752 5711355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 348305 276942 888 2943 0 345199 0
[pid=17460/tid=17461] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276942 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276942 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 276942 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1393220

[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 17464
/proc/meminfo: memFree=26628272/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1393220 CPUtime=51.08 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 288978 0 0 0 5069 39 0 0 20 0 4 0 8380632 1426657280 290298 33554432000 4194304 16246674 140734747076832 140734747076008 6836017 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 348305 290298 888 2943 0 345199 0
[pid=17460/tid=17461] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 290298 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 290298 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 290298 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1393220

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 17466
/proc/meminfo: memFree=26628312/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=1393220 CPUtime=102.28 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 288979 0 0 0 10187 41 0 0 20 0 4 0 8380632 1426657280 290299 33554432000 4194304 16246674 140734747076832 140734747076008 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 348305 290299 888 2943 0 345199 0
[pid=17460/tid=17461] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 290299 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 290299 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 1426657280 290299 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1393220


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

/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2037977088 439340 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1990212

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 17496
/proc/meminfo: memFree=25736548/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2025028 CPUtime=1302.08 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 446790 0 0 0 130096 112 0 0 20 0 4 0 8380632 2073628672 448079 33554432000 4194304 16246674 140734747076832 140734747058752 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 506257 448079 891 2943 0 503151 0
[pid=17460/tid=17461] ppid=17457 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2073628672 448079 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2073628672 448079 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2025028 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2073628672 448079 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2025028

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 17498
/proc/meminfo: memFree=25648404/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2041412 CPUtime=1362.07 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 451036 0 0 0 136092 115 0 0 20 0 4 0 8380632 2090405888 452324 33554432000 4194304 16246674 140734747076832 140734747058752 5712566 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 510353 452324 891 2943 0 507247 0
[pid=17460/tid=17461] ppid=17457 vsize=2041412 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2090405888 452324 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2041412 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2090405888 452324 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2041412 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2090405888 452324 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2041412

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 17499
/proc/meminfo: memFree=25590960/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2098756 CPUtime=1422.06 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 465347 0 0 0 142087 119 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140734747058752 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 524689 466630 891 2943 0 521583 0
[pid=17460/tid=17461] ppid=17457 vsize=2098756 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2098756 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2098756 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2098756

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 17500
/proc/meminfo: memFree=25544608/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2098756 CPUtime=1482.04 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 465352 0 0 0 148083 121 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140734747076008 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 524689 466630 891 2943 0 521583 0
[pid=17460/tid=17461] ppid=17457 vsize=2098756 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2098756 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2098756 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2149126144 466630 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2098756

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 17501
/proc/meminfo: memFree=25459200/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2138692 CPUtime=1542.04 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 475389 0 0 0 154079 125 0 0 20 0 4 0 8380632 2190020608 476665 33554432000 4194304 16246674 140734747076832 140734747076008 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 534673 476665 891 2943 0 531567 0
[pid=17460/tid=17461] ppid=17457 vsize=2138692 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2190020608 476665 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2138692 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2190020608 476665 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2138692 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2190020608 476665 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2138692

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17502
/proc/meminfo: memFree=25375032/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2193988 CPUtime=1602.03 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 489063 0 0 0 160071 132 0 0 20 0 4 0 8380632 2246643712 490337 33554432000 4194304 16246674 140734747076832 140734747076008 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 548497 490337 891 2943 0 545391 0
[pid=17460/tid=17461] ppid=17457 vsize=2193988 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2246643712 490337 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2193988 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2246643712 490337 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2193988 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2246643712 490337 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2193988

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17749
/proc/meminfo: memFree=25792096/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2247236 CPUtime=1662.02 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 502288 0 0 0 166064 138 0 0 20 0 4 0 8380632 2301169664 503562 33554432000 4194304 16246674 140734747076832 140734747076008 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 561809 503562 891 2943 0 558703 0
[pid=17460/tid=17461] ppid=17457 vsize=2247236 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2301169664 503562 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2247236 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2301169664 503562 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2247236 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2301169664 503562 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2247236

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 17750
/proc/meminfo: memFree=25718904/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2287172 CPUtime=1722.01 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 512360 0 0 0 172056 145 0 0 20 0 4 0 8380632 2342064128 513632 33554432000 4194304 16246674 140734747076832 140734747076008 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 571793 513632 891 2943 0 568687 0
[pid=17460/tid=17461] ppid=17457 vsize=2287172 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2342064128 513632 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2287172 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2342064128 513632 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2287172 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2342064128 513632 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2287172

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 17754
/proc/meminfo: memFree=25648224/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2356804 CPUtime=1782 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 529881 0 0 0 178045 155 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140734747058624 5711568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 589201 531152 891 2943 0 586095 0
[pid=17460/tid=17461] ppid=17457 vsize=2356804 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2356804 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2356804 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2356804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.00 3/184 17754
/proc/meminfo: memFree=25648316/32872528 swapFree=7620/7620
[pid=17460] ppid=17457 vsize=2356804 CPUtime=1800.1 cores=1,3,5,7
/proc/17460/stat : 17460 (toysat) R 17457 17460 16554 0 -1 4202496 529881 0 0 0 179854 156 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140734747076008 5711980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17460/statm: 589201 531152 891 2943 0 586095 0
[pid=17460/tid=17461] ppid=17457 vsize=2356804 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17461/stat : 17461 (toysat) S 17457 17460 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140125851856112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17460/tid=17462] ppid=17457 vsize=2356804 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17462/stat : 17462 (toysat) S 17457 17460 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140125841366256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17460/tid=17463] ppid=17457 vsize=2356804 CPUtime=0 cores=1,3,5,7
/proc/17460/task/17463/stat : 17463 (toysat) S 17457 17460 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8380632 2413367296 531152 33554432000 4194304 16246674 140734747076832 140125723946160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2356804

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17460 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.13
CPU user time (s): 1798.55
CPU system time (s): 1.58076
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 2356804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.58076
maximum resident set size= 2124608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529881
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= 69
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56231 second user time and 6.95594 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-30 10:20:45
IDJOB=4119673
IDBENCH=111786
IDSOLVER=2542
FILE ID=node106/4119673-1467274845
RUNJOBID= node106-1467270914-16869
PBS_JOBID= 20004487
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw128/normalized-hw128-vm99p-dec.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119673-1467274845/watcher-4119673-1467274845 -o /tmp/evaluation-result-4119673-1467274845/solver-4119673-1467274845 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16869 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119673-1467274845.opb

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

MD5SUM BENCH= 29a0087fbbe4bcae212bee5a37389a94
RANDOM SEED=54040728

node106.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.495
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.99
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.495
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	: 5332.56
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.495
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	: 5332.55
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.495
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	: 5332.55
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.495
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	: 5332.56
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.495
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	: 5332.55
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.495
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	: 5332.55
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.495
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27790064 kB
Buffers:           63572 kB
Cached:          3069180 kB
SwapCached:            0 kB
Active:          3470824 kB
Inactive:         847784 kB
Active(anon):    1172264 kB
Inactive(anon):    15776 kB
Active(file):    2298560 kB
Inactive(file):   832008 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24136 kB
Writeback:             0 kB
AnonPages:       1192012 kB
Mapped:            18736 kB
Shmem:               204 kB
Slab:             625600 kB
SReclaimable:      68772 kB
SUnreclaim:       556828 kB
KernelStack:        1488 kB
PageTables:         6152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1325724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node106 at 2016-06-30 10:50:46