Trace number 4107050

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.16 1800.48

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__256.opb
MD5SUM236786dd2c62aa0c592a46a79d99b528
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2482085
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables384498
Total number of constraints2000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1502
Number of constraints which are nor clauses,nor cardinality constraints498
Minimum length of a constraint256
Maximum length of a constraint5377
Number of terms in the objective function 384000
Biggest coefficient in the objective function 114804
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 13135455744
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 114804
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 13135455744
Number of bits of the biggest sum of numbers34
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-18T22:29:14+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-4107050-1466281753.opb"]
0.00/0.01	c use --random-gen="2424193467 3614381491 2913249219 89896075 3960368820 1862957044 215495997 3489858163 678441496 4130488094 1760078434 2506496183 2268972384 804208185 2291607044 2032680540 595030353 1973342995 3386708939 30103238 3309627088 1647317797 2171305690 1618651677 2127778219 677359545 2296151465 1515662808 3622937824 4060859737 378536347 2393300076 966252042 3791609723 3337453127 3716966255 3761825729 2369251919 618117089 2917021532 1454312104 837271458 588562307 4251469057 2973186141 2719097072 1149698608 2347618590 3131266594 1624148864 1791944711 1183286715 2553347556 4071864885 4047873907 1589278773 1812073597 3060655092 2524646883 1298339235 426394087 2890120688 1872905837 1926341198 4080430731 140055427 3576545432 3593865610 148129983 295179233 415134517 3537788429 1970829873 2662068590 578903552 1838962694 1305864431 651303969 1795528336 3889620864 4098694041 1667587026 208668407 1527731296 588920694 39418168 674413961 613530414 3541383643 3852573709 2755045506 2530363814 462716712 838060375 319700103 2401380231 2851947001 927426779 785822574 4078702297 3894727134 2914952312 285963253 1245760459 2271428864 2025265607 3365025155 2095900296 919737028 2588039751 371704232 456564465 1438485476 2444352868 604888047 1495318207 3116537715 920825415 1902894302 2984147521 1740024348 340861137 3249775027 1439961072 2117138682 1596240735 2917100678 3862671914 4192495741 2719955141 362465614 3389113282 2256273489 2127864148 1688259266 3883326758 1418956573 1104047328 251945651 3220848608 919726594 3642749883 3648362216 4190265749 661429721 3564770627 1090956702 4199415403 804814089 3088865438 62859447 2558582351 3760782257 3410511254 3852317660 2817510884 2823533010 2750315368 3115771612 3794063973 1590860514 3913860214 1481455276 2554003311 1461678115 1519962754 1281116841 3536146902 601313603 3802850869 3623395320 3184751149 99865067 3825766061 41647146 3081101665 4069911183 678122914 2089249071 1841636245 618545334 795539341 2978685169 2089840011 3163417235 2254639149 3366815369 144600840 3673877558 596203640 1171753050 485931563 401720721 98283307 3753979383 4126942508 864580905 243409112 2019032889 3743867851 1155615809 2032065297 962070577 2328790934 1506274336 51961320 438764723 1058993639 2434572355 2520988790 778474166 4169356016 693546731 57248098 3928987908 3542514909 1381485799 840831241 939049824 4244132414 2587427328 1877718900 287392027 3661916812 3773466662 2613770788 1976187740 1939028908 525242617 142237842 3215226175 254782145 569149568 3828157700 1584414254 2186229361 1831706181 1749414401 390986893 2215786108 294741642 3254709763 2615126280 3116328240 2410726873 3717064002 4142254966 4289591069 2453386866 1971387481 1636183128 911405869 614862155 500642090 2872785625 3342100360 255 362436" option to reproduce the execution
2.59/2.68	c #vars 384498
2.59/2.68	c #constraints 2000
9.79/9.82	c BCD2: Hardening is enabled.
9.79/9.82	c BCD2: BiasedSearch is enabled.
9.79/9.82	c Solving starts ...
9.79/9.82	c ============================[ Search Statistics ]============================
9.79/9.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.79/9.82	c       |         |          |          |    Limit     GC | Var      | Constra 
9.79/9.82	c =============================================================================
9.79/9.86	c  0.0s |       0 |        0 |        0 |   128999      0 |        0 |        0
10.79/10.85	c  1.0s |       1 |     1548 |      100 |   128999      0 |        0 |        0
14.39/14.42	c  4.6s |       1 |     6948 |      200 |   141899      0 |        0 |        0
15.98/16.10	c  6.2s |       2 |     6948 |      250 |   141899      0 |        0 |        0
18.58/18.68	c  8.8s |       2 |    18101 |      350 |   156089      0 |        0 |        0
20.99/21.08	c 11.2s |       3 |    18101 |      475 |   156089      0 |        0 |        0
23.98/24.07	c 14.2s |       3 |    32116 |      675 |   171698      0 |        0 |        0
26.18/26.26	c 16.4s |       3 |    42137 |      775 |   171698      0 |        0 |        0
27.59/27.61	c 17.7s |       4 |    42137 |      813 |   171698      0 |        0 |        0
30.08/30.18	c 20.3s |       4 |    87598 |     1113 |   188868      0 |        0 |        0
33.18/33.21	c 23.3s |       4 |    87598 |     1313 |   188868      0 |        0 |        0
33.48/33.50	c 23.6s |       5 |    87598 |     1320 |   188868      0 |        0 |        0
35.48/35.59	c 25.7s |       5 |   126073 |     1420 |   207755      0 |        0 |        0
38.88/38.90	c 29.0s |       5 |   148428 |     1620 |   207755      0 |        0 |        0
41.28/41.39	c 31.5s |       5 |   148428 |     1720 |   207755      0 |        0 |        0
43.78/43.89	c 34.0s |       5 |   148428 |     1820 |   207755      0 |        0 |        0
46.68/46.79	c 36.9s |       5 |   151957 |     2020 |   207755      0 |        0 |        0
47.78/47.86	c 38.0s |       6 |   151957 |     2081 |   228531      0 |        0 |        0
50.38/50.42	c 40.6s |       6 |   192793 |     2181 |   228531      0 |        0 |        0
52.48/52.56	c 42.7s |       6 |   201519 |     2381 |   228531      0 |        0 |        0
57.78/57.84	c 48.0s |       6 |   234794 |     2881 |   228531      0 |        0 |        0
61.48/61.53	c 51.7s |       6 |   234794 |     2981 |   228531      0 |        0 |        0
65.08/65.14	c 55.3s |       6 |   268281 |     3081 |   228531      0 |        0 |        0
79.88/79.95	c 70.1s |       6 |   285931 |     3181 |   228531      0 |        0 |        0
93.27/93.38	c 83.5s |       7 |   291851 |     3223 |   251385      0 |        0 |        0
97.07/97.15	c 87.3s |       7 |   338147 |     3323 |   251385      0 |        0 |        0
99.98/100.09	c 90.2s |       7 |   338147 |     3423 |   251385      0 |        0 |        0
102.48/102.52	c 92.7s |       7 |   381023 |     3523 |   251385      0 |        0 |        0
104.58/104.65	c 94.8s |       7 |   387555 |     3623 |   251385      0 |        0 |        0
107.07/107.19	c 97.3s |       7 |   397692 |     3823 |   251385      0 |        0 |        0
116.47/116.56	c  106s |       7 |   408110 |     3923 |   251385      0 |        0 |        0
119.47/119.58	c  109s |       7 |   419809 |     4123 |   251385      0 |        0 |        0
125.38/125.43	c  115s |       7 |   444977 |     4423 |   251385      0 |        0 |        0
129.87/129.92	c  120s |       7 |   444977 |     4523 |   251385      0 |        0 |        0
140.77/140.89	c  131s |       7 |   468897 |     4623 |   251385      0 |        0 |        0
182.06/182.16	c  172s |       7 |   484833 |     4723 |   251385      0 |        0 |        0
294.24/294.30	c  284s |       7 |   495751 |     4823 |   251385      0 |        0 |        0
515.41/515.50	c  505s |       7 |   501659 |     4923 |   276524      0 |        0 |        0
554.90/555.00	c  545s |       8 |   502082 |     4936 |   276524      0 |        0 |        0
559.40/559.55	c  549s |       8 |   630897 |     5036 |   276524      0 |        0 |        0
566.00/566.13	c  556s |       8 |   644985 |     5136 |   276524      0 |        0 |        0
573.89/574.08	c  564s |       8 |   660671 |     5536 |   276524      0 |        0 |        0
580.39/580.52	c  570s |       8 |   662054 |     5636 |   276524      0 |        0 |        0
585.20/585.31	c  575s |       8 |   662054 |     5736 |   276524      0 |        0 |        0
588.99/589.15	c  579s |       8 |   683540 |     5836 |   276524      0 |        0 |        0
600.39/600.50	c  590s |       8 |   686357 |     5936 |   276524      0 |        0 |        0
603.39/603.54	c  593s |       8 |   686902 |     6036 |   276524      0 |        0 |        0
606.19/606.37	c  596s |       8 |   688146 |     6136 |   276524      0 |        0 |        0
609.89/610.06	c  600s |       8 |   689185 |     6236 |   276524      0 |        0 |        0
612.89/613.01	c  603s |       8 |   705891 |     6336 |   276524      0 |        0 |        0
616.19/616.32	c  606s |       8 |   706619 |     6436 |   276524      0 |        0 |        0
619.20/619.31	c  609s |       8 |   718988 |     6536 |   276524      0 |        0 |        0
623.28/623.49	c  613s |       8 |   726747 |     6736 |   276524      0 |        0 |        0
627.59/627.75	c  617s |       8 |   744665 |     6836 |   276524      0 |        0 |        0
642.08/642.22	c  632s |       8 |   756156 |     6936 |   276524      0 |        0 |        0
681.78/681.99	c  672s |       8 |   762628 |     7036 |   276524      0 |        0 |        0
706.08/706.22	c  696s |       8 |   764747 |     7136 |   276524      0 |        0 |        0
709.08/709.26	c  699s |       8 |   767085 |     7236 |   276524      0 |        0 |        0
713.79/713.98	c  704s |       8 |   768038 |     7336 |   276524      0 |        0 |        0
716.28/716.48	c  706s |       8 |   768662 |     7436 |   276524      0 |        0 |        0
719.38/719.57	c  709s |       9 |   768872 |     7506 |   304177      0 |        0 |        0
722.68/722.83	c  712s |       9 |   776355 |     7806 |   304177      0 |        0 |        0
725.98/726.14	c  716s |       9 |   780221 |     8006 |   304177      0 |        0 |        0
730.77/730.94	c  721s |       9 |   782581 |     8206 |   304177      0 |        0 |        0
732.88/733.08	c  723s |       9 |   784306 |     8506 |   304177      0 |        0 |        0
736.27/736.44	c  726s |       9 |   786509 |     8706 |   304177      0 |        0 |        0
738.47/738.64	c  728s |       9 |   786671 |     8806 |   304177      0 |        0 |        0
741.87/742.04	c  732s |       9 |   787962 |     9106 |   304177      0 |        0 |        0
744.27/744.46	c  734s |       9 |   790971 |     9206 |   304177      0 |        0 |        0
746.97/747.16	c  737s |       9 |   791305 |     9306 |   304177      0 |        0 |        0
750.67/750.84	c  740s |       9 |   792026 |     9506 |   304177      0 |        0 |        0
753.27/753.46	c  743s |       9 |   792261 |     9606 |   304177      0 |        0 |        0
758.07/758.23	c  748s |       9 |   799541 |     9806 |   304177      0 |        0 |        0
764.67/764.84	c  754s |       9 |   802375 |    10006 |   304177      0 |        0 |        0
767.37/767.50	c  757s |       9 |   803003 |    10306 |   304177      0 |        0 |        0
775.67/775.88	c  766s |       9 |   863600 |    10506 |   304177      0 |        0 |        0
782.47/782.67	c  772s |       9 |   863600 |    10606 |   304177      0 |        0 |        0
787.37/787.53	c  777s |       9 |   926321 |    10706 |   304177      0 |        0 |        0
791.47/791.67	c  781s |       9 |   929507 |    10906 |   304177      0 |        0 |        0
793.96/794.15	c  784s |       9 |   932174 |    11006 |   304177      0 |        0 |        0
799.06/799.29	c  789s |       9 |   932976 |    11106 |   304177      0 |        0 |        0
801.36/801.52	c  791s |       9 |   934450 |    11206 |   304177      0 |        0 |        0
803.66/803.89	c  794s |       9 |   934867 |    11306 |   334595      0 |        0 |        0
805.26/805.42	c  795s |      10 |   935733 |    11361 |   334595      0 |        0 |        0
810.86/811.08	c  801s |      10 |  1077154 |    11461 |   334595      0 |        0 |        0
813.55/813.76	c  803s |      10 |  1078423 |    11561 |   334595      0 |        0 |        0
816.55/816.78	c  806s |      10 |  1080600 |    11661 |   334595      0 |        0 |        0
819.85/820.09	c  810s |      10 |  1081019 |    11761 |   334595      0 |        0 |        0
823.36/823.55	c  813s |      10 |  1081761 |    11861 |   334595      0 |        0 |        0
826.96/827.12	c  817s |      10 |  1081915 |    11961 |   334595      0 |        0 |        0
830.16/830.34	c  820s |      10 |  1082587 |    12061 |   334595      0 |        0 |        0
833.36/833.55	c  823s |      10 |  1082969 |    12161 |   334595      0 |        0 |        0
836.06/836.26	c  826s |      10 |  1083304 |    12261 |   334595      0 |        0 |        0
838.66/838.87	c  829s |      10 |  1083685 |    12361 |   334595      0 |        0 |        0
842.26/842.41	c  832s |      10 |  1105512 |    12461 |   334595      0 |        0 |        0
845.05/845.22	c  835s |      10 |  1109462 |    12561 |   334595      0 |        0 |        0
847.75/847.98	c  838s |      10 |  1114569 |    12661 |   334595      0 |        0 |        0
855.85/856.05	c  846s |      10 |  1117056 |    12761 |   334595      0 |        0 |        0
862.75/862.95	c  853s |      10 |  1117357 |    12861 |   334595      0 |        0 |        0
869.85/870.05	c  860s |      10 |  1117684 |    12961 |   334595      0 |        0 |        0
876.65/876.83	c  866s |      10 |  1118036 |    13061 |   334595      0 |        0 |        0
882.54/882.75	c  872s |      10 |  1118647 |    13161 |   334595      0 |        0 |        0
888.05/888.27	c  878s |      10 |  1119257 |    13261 |   334595      0 |        0 |        0
892.85/893.09	c  883s |      10 |  1121290 |    13361 |   334595      0 |        0 |        0
898.56/898.79	c  888s |      10 |  1121450 |    13461 |   334595      0 |        0 |        0
903.74/903.90	c  894s |      10 |  1122291 |    13561 |   334595      0 |        0 |        0
909.84/910.05	c  900s |      10 |  1122446 |    13661 |   334595      0 |        0 |        0
916.84/917.08	c  907s |      10 |  1122860 |    13761 |   334595      0 |        0 |        0
921.84/922.08	c  912s |      10 |  1123698 |    13861 |   334595      0 |        0 |        0
926.94/927.12	c  917s |      10 |  1124186 |    13961 |   334595      0 |        0 |        0
932.34/932.59	c  922s |      10 |  1124648 |    14061 |   334595      0 |        0 |        0
937.84/938.03	c  928s |      10 |  1125253 |    14161 |   334595      0 |        0 |        0
943.03/943.26	c  933s |      10 |  1125727 |    14261 |   334595      0 |        0 |        0
948.54/948.79	c  938s |      10 |  1126043 |    14361 |   334595      0 |        0 |        0
954.44/954.68	c  944s |      10 |  1126557 |    14461 |   334595      0 |        0 |        0
960.33/960.55	c  950s |      10 |  1126907 |    14561 |   334595      0 |        0 |        0
965.83/966.01	c  956s |      10 |  1127329 |    14661 |   334595      0 |        0 |        0
972.53/972.76	c  962s |      10 |  1127763 |    14761 |   334595      0 |        0 |        0
978.53/978.79	c  968s |      10 |  1128164 |    14861 |   334595      0 |        0 |        0
984.53/984.77	c  974s |      10 |  1128494 |    14961 |   334595      0 |        0 |        0
991.12/991.33	c  981s |      10 |  1128728 |    15061 |   334595      0 |        0 |        0
997.63/997.86	c  988s |      10 |  1128971 |    15161 |   334595      0 |        0 |        0
1004.52/1004.77	c  994s |      10 |  1129225 |    15261 |   334595      0 |        0 |        0
1011.32/1011.51	c 1001s |      10 |  1129484 |    15361 |   334595      0 |        0 |        0
1018.93/1019.10	c 1009s |      10 |  1129732 |    15461 |   334595      0 |        0 |        0
1025.42/1025.61	c 1015s |      10 |  1130038 |    15561 |   334595      0 |        0 |        0
1032.12/1032.32	c 1022s |      10 |  1130307 |    15661 |   334595      0 |        0 |        0
1039.02/1039.24	c 1029s |      10 |  1130559 |    15761 |   334595      0 |        0 |        0
1046.12/1046.35	c 1036s |      10 |  1130841 |    15861 |   334595      0 |        0 |        0
1053.22/1053.41	c 1043s |      10 |  1130998 |    15961 |   334595      0 |        0 |        0
1060.42/1060.62	c 1050s |      10 |  1132012 |    16061 |   334595      0 |        0 |        0
1066.02/1066.25	c 1056s |      10 |  1133102 |    16161 |   334595      0 |        0 |        0
1072.42/1072.68	c 1062s |      10 |  1133288 |    16261 |   334595      0 |        0 |        0
1078.11/1078.34	c 1068s |      10 |  1133765 |    16361 |   334595      0 |        0 |        0
1085.32/1085.58	c 1075s |      10 |  1134207 |    16461 |   334595      0 |        0 |        0
1092.52/1092.70	c 1082s |      10 |  1134632 |    16561 |   334595      0 |        0 |        0
1098.91/1099.18	c 1089s |      10 |  1134840 |    16661 |   334595      0 |        0 |        0
1105.21/1105.46	c 1095s |      10 |  1135332 |    16761 |   334595      0 |        0 |        0
1112.11/1112.40	c 1102s |      10 |  1135719 |    16861 |   334595      0 |        0 |        0
1119.01/1119.25	c 1109s |      10 |  1136086 |    16961 |   334595      0 |        0 |        0
1126.71/1126.93	c 1117s |      10 |  1136306 |    17061 |   368055      0 |        0 |        0
1131.51/1131.76	c 1121s |      11 |  1136807 |    17144 |   368055      0 |        0 |        0
1135.50/1135.80	c 1125s |      11 |  1139596 |    17244 |   368055      0 |        0 |        0
1139.21/1139.42	c 1129s |      11 |  1291959 |    17344 |   368055      0 |        0 |        0
1143.00/1143.25	c 1133s |      11 |  1291959 |    17444 |   368055      0 |        0 |        0
1146.21/1146.43	c 1136s |      11 |  1300954 |    17544 |   368055      0 |        0 |        0
1151.70/1151.97	c 1142s |      11 |  1321961 |    17644 |   368055      0 |        0 |        0
1171.60/1171.88	c 1162s |      11 |  1337947 |    17744 |   368055      0 |        0 |        0
1207.70/1207.92	c 1198s |      11 |  1347310 |    17844 |   368055      0 |        0 |        0
1253.58/1253.83	c 1243s |      11 |  1351477 |    17944 |   368055      0 |        0 |        0
1284.77/1285.00	c 1275s |      11 |  1352341 |    18044 |   368055      0 |        0 |        0
1289.97/1290.24	c 1280s |      11 |  1353601 |    18144 |   368055      0 |        0 |        0
1292.57/1292.88	c 1283s |      11 |  1353763 |    18244 |   368055      0 |        0 |        0
1295.37/1295.66	c 1285s |      11 |  1353898 |    18344 |   368055      0 |        0 |        0
1299.17/1299.46	c 1289s |      11 |  1354680 |    18444 |   368055      0 |        0 |        0
1304.48/1304.79	c 1294s |      11 |  1354994 |    18544 |   368055      0 |        0 |        0
1308.27/1308.52	c 1298s |      11 |  1355098 |    18644 |   368055      0 |        0 |        0
1311.86/1312.12	c 1302s |      11 |  1355098 |    18744 |   368055      0 |        0 |        0
1315.97/1316.23	c 1306s |      11 |  1355098 |    18844 |   368055      0 |        0 |        0
1318.87/1319.18	c 1309s |      11 |  1356223 |    18944 |   368055      0 |        0 |        0
1321.67/1321.93	c 1312s |      11 |  1357683 |    19044 |   368055      0 |        0 |        0
1325.87/1326.13	c 1316s |      11 |  1358098 |    19144 |   368055      0 |        0 |        0
1329.77/1330.07	c 1320s |      11 |  1358576 |    19244 |   368055      0 |        0 |        0
1332.76/1333.04	c 1323s |      11 |  1360265 |    19344 |   368055      0 |        0 |        0
1337.47/1337.75	c 1327s |      11 |  1360988 |    19444 |   368055      0 |        0 |        0
1342.06/1342.39	c 1332s |      11 |  1361716 |    19544 |   368055      0 |        0 |        0
1346.17/1346.46	c 1336s |      11 |  1362249 |    19644 |   368055      0 |        0 |        0
1349.86/1350.12	c 1340s |      11 |  1363505 |    19744 |   368055      0 |        0 |        0
1354.96/1355.29	c 1345s |      11 |  1364893 |    19844 |   368055      0 |        0 |        0
1363.55/1363.89	c 1354s |      11 |  1365576 |    19944 |   368055      0 |        0 |        0
1373.96/1374.29	c 1364s |      11 |  1366048 |    20044 |   368055      0 |        0 |        0
1377.75/1378.06	c 1368s |      11 |  1366850 |    20144 |   368055      0 |        0 |        0
1380.56/1380.83	c 1370s |      11 |  1367542 |    20244 |   368055      0 |        0 |        0
1383.85/1384.16	c 1374s |      11 |  1367745 |    20344 |   368055      0 |        0 |        0
1386.65/1386.92	c 1377s |      11 |  1369667 |    20444 |   368055      0 |        0 |        0
1390.45/1390.79	c 1380s |      11 |  1370600 |    20544 |   368055      0 |        0 |        0
1394.15/1394.46	c 1384s |      11 |  1371572 |    20644 |   368055      0 |        0 |        0
1397.55/1397.89	c 1388s |      11 |  1372863 |    20744 |   368055      0 |        0 |        0
1401.05/1401.40	c 1391s |      11 |  1374738 |    20844 |   368055      0 |        0 |        0
1404.95/1405.29	c 1395s |      11 |  1375962 |    20944 |   368055      0 |        0 |        0
1409.25/1409.58	c 1399s |      11 |  1377397 |    21044 |   368055      0 |        0 |        0
1413.85/1414.12	c 1404s |      11 |  1378030 |    21144 |   368055      0 |        0 |        0
1418.45/1418.75	c 1408s |      11 |  1378311 |    21244 |   368055      0 |        0 |        0
1422.45/1422.77	c 1412s |      11 |  1379964 |    21344 |   368055      0 |        0 |        0
1426.65/1426.97	c 1417s |      11 |  1380361 |    21444 |   368055      0 |        0 |        0
1430.05/1430.38	c 1420s |      11 |  1429308 |    21544 |   368055      0 |        0 |        0
1432.64/1432.98	c 1423s |      11 |  1429967 |    21644 |   368055      0 |        0 |        0
1436.25/1436.50	c 1426s |      11 |  1445851 |    21844 |   368055      0 |        0 |        0
1453.24/1453.59	c 1443s |      11 |  1451773 |    21944 |   368055      0 |        0 |        0
1457.94/1458.28	c 1448s |      11 |  1453095 |    22044 |   368055      0 |        0 |        0
1464.34/1464.61	c 1454s |      11 |  1455003 |    22144 |   368055      0 |        0 |        0
1468.74/1469.01	c 1459s |      11 |  1463575 |    22344 |   368055      0 |        0 |        0
1471.24/1471.55	c 1461s |      11 |  1463717 |    22444 |   368055      0 |        0 |        0
1474.34/1474.66	c 1464s |      11 |  1464018 |    22544 |   368055      0 |        0 |        0
1477.04/1477.35	c 1467s |      11 |  1466747 |    22644 |   368055      0 |        0 |        0
1479.44/1479.73	c 1469s |      11 |  1467577 |    22844 |   368055      0 |        0 |        0
1481.44/1481.79	c 1471s |      11 |  1467995 |    22944 |   368055      0 |        0 |        0
1484.03/1484.34	c 1474s |      11 |  1471633 |    23144 |   368055      0 |        0 |        0
1489.04/1489.33	c 1479s |      11 |  1474509 |    23244 |   368055      0 |        0 |        0
1493.23/1493.57	c 1483s |      11 |  1475647 |    23444 |   368055      0 |        0 |        0
1496.04/1496.36	c 1486s |      11 |  1475871 |    23544 |   368055      0 |        0 |        0
1500.14/1500.48	c 1490s |      11 |  1476656 |    23744 |   368055      0 |        0 |        0
1503.83/1504.15	c 1494s |      11 |  1476889 |    23844 |   368055      0 |        0 |        0
1506.33/1506.60	c 1496s |      11 |  1477210 |    23944 |   368055      0 |        0 |        0
1509.53/1509.82	c 1499s |      11 |  1480326 |    24144 |   368055      0 |        0 |        0
1511.83/1512.17	c 1502s |      11 |  1484917 |    24244 |   368055      0 |        0 |        0
1520.04/1520.35	c 1510s |      11 |  1490336 |    24344 |   368055      0 |        0 |        0
1524.93/1525.28	c 1515s |      11 |  1491841 |    24444 |   368055      0 |        0 |        0
1528.52/1528.88	c 1519s |      11 |  1491996 |    24544 |   368055      0 |        0 |        0
1531.62/1531.97	c 1522s |      11 |  1492509 |    24644 |   368055      0 |        0 |        0
1534.02/1534.31	c 1524s |      11 |  1492985 |    24744 |   368055      0 |        0 |        0
1536.63/1536.94	c 1527s |      11 |  1493396 |    24844 |   368055      0 |        0 |        0
1538.93/1539.25	c 1529s |      11 |  1493928 |    24944 |   368055      0 |        0 |        0
1542.82/1543.14	c 1533s |      11 |  1495292 |    25144 |   368055      0 |        0 |        0
1545.42/1545.79	c 1535s |      11 |  1498771 |    25344 |   368055      0 |        0 |        0
1547.43/1547.79	c 1537s |      11 |  1500146 |    25444 |   368055      0 |        0 |        0
1550.73/1551.04	c 1541s |      11 |  1503259 |    25644 |   368055      0 |        0 |        0
1552.82/1553.20	c 1543s |      11 |  1503731 |    25744 |   404861      0 |        0 |        0
1554.82/1555.13	c 1545s |      12 |  1504451 |    25819 |   404861      0 |        0 |        0
1559.62/1559.95	c 1550s |      12 |  1506853 |    25919 |   404861      0 |        0 |        0
1562.12/1562.40	c 1552s |      12 |  1507516 |    26119 |   404861      0 |        0 |        0
1564.42/1564.74	c 1554s |      12 |  1508489 |    26319 |   404861      0 |        0 |        0
1567.72/1568.04	c 1558s |      12 |  1509308 |    26519 |   404861      0 |        0 |        0
1572.42/1572.76	c 1562s |      12 |  1651690 |    26619 |   404861      0 |        0 |        0
1577.32/1577.69	c 1567s |      12 |  1651690 |    26719 |   404861      0 |        0 |        0
1588.82/1589.13	c 1579s |      12 |  1673149 |    26819 |   404861      0 |        0 |        0
1603.41/1603.74	c 1593s |      12 |  1681006 |    26919 |   404861      0 |        0 |        0
1617.21/1617.55	c 1607s |      12 |  1681784 |    27019 |   404861      0 |        0 |        0
1629.70/1630.00	c 1620s |      12 |  1685605 |    27119 |   404861      0 |        0 |        0
1652.90/1653.28	c 1643s |      12 |  1692136 |    27219 |   404861      0 |        0 |        0
1686.79/1687.18	c 1677s |      12 |  1693637 |    27319 |   404861      0 |        0 |        0
1702.00/1702.38	c 1692s |      12 |  1694189 |    27419 |   404861      0 |        0 |        0
1720.29/1720.65	c 1710s |      12 |  1694404 |    27519 |   404861      0 |        0 |        0
1739.28/1739.60	c 1729s |      12 |  1694490 |    27619 |   404861      0 |        0 |        0
1757.28/1757.64	c 1747s |      12 |  1694756 |    27719 |   404861      0 |        0 |        0
1776.18/1776.52	c 1766s |      12 |  1695255 |    27819 |   404861      0 |        0 |        0
1793.78/1794.12	c 1784s |      12 |  1695672 |    27919 |   404861      0 |        0 |        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-4107050-1466281753/watcher-4107050-1466281753 -o /tmp/evaluation-result-4107050-1466281753/solver-4107050-1466281753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107050-1466281753.opb 

pid=29030
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.46 2.37 2.30 3/179 29033
/proc/meminfo: memFree=29000864/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 2710 0 0 0 0 0 0 0 20 0 4 0 30221107 743895040 3071 33554432000 4194304 16246674 140735811817472 140735811816896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 182383 3080 441 2943 0 179277 0
[pid=29033/tid=29034] ppid=29030 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 761720832 3140 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30221107 766963712 3156 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30221107 771158016 3175 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.46 2.37 2.30 3/179 29033
/proc/meminfo: memFree=29000864/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 29858 0 0 0 6 3 0 0 20 0 4 0 30221107 1333334016 30157 33554432000 4194304 16246674 140735811817472 140735811816784 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 325521 30171 798 2943 0 322415 0
[pid=29033/tid=29034] ppid=29030 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1333334016 30182 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30221107 1333334016 30194 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1333334016 30204 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200505 s]
/proc/loadavg: 2.46 2.37 2.30 3/179 29033
/proc/meminfo: memFree=29000864/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 41888 0 0 0 14 5 0 0 20 0 4 0 30221107 1343819776 42697 33554432000 4194304 16246674 140735811817472 140735811816784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 328081 42697 798 2943 0 324975 0
[pid=29033/tid=29034] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 42697 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 42697 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 42697 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300483 s]
/proc/loadavg: 2.46 2.37 2.30 3/179 29033
/proc/meminfo: memFree=29000864/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1312324 CPUtime=0.28 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 46819 0 0 0 23 5 0 0 20 0 4 0 30221107 1343819776 47628 33554432000 4194304 16246674 140735811817472 140735811816784 13878738 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 328081 47628 799 2943 0 324975 0
[pid=29033/tid=29034] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 47628 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 47628 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 47628 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700349 s]
/proc/loadavg: 2.46 2.37 2.30 3/179 29033
/proc/meminfo: memFree=29000864/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 57213 0 0 0 62 7 0 0 20 0 4 0 30221107 1343819776 58022 33554432000 4194304 16246674 140735811817472 140735811800464 7371525 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29033/statm: 328081 58022 800 2943 0 324975 0
[pid=29033/tid=29034] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 58022 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 58022 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 58022 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50036 s]
/proc/loadavg: 2.46 2.37 2.30 3/183 29037
/proc/meminfo: memFree=28695152/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 77287 0 0 0 139 10 0 0 20 0 4 0 30221107 1343819776 78096 33554432000 4194304 16246674 140735811817472 140735811815296 13967808 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29033/statm: 328081 78096 802 2943 0 324975 0
[pid=29033/tid=29034] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 78096 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 78096 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1343819776 78096 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10036 s]
/proc/loadavg: 2.46 2.37 2.30 3/183 29037
/proc/meminfo: memFree=28588304/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1356356 CPUtime=3.09 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 121189 0 0 0 292 17 0 0 20 0 4 0 30221107 1388908544 127619 33554432000 4194304 16246674 140735811817472 140735811816784 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29033/statm: 339089 127624 812 2943 0 335983 0
[pid=29033/tid=29034] ppid=29030 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1388908544 127628 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30221107 1388908544 127631 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1388908544 127634 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1356356

[startup+6.30037 s]
/proc/loadavg: 2.42 2.36 2.29 3/183 29037
/proc/meminfo: memFree=28204188/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1490500 CPUtime=6.28 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 192820 0 0 0 602 26 0 0 20 0 4 0 30221107 1526272000 199250 33554432000 4194304 16246674 140735811817472 140735811799360 13774220 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29033/statm: 372625 199250 840 2943 0 369519 0
[pid=29033/tid=29034] ppid=29030 vsize=1490500 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1526272000 199250 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1490500 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1526272000 199250 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1490500 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1526272000 199250 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1490500

[startup+12.7003 s]
/proc/loadavg: 2.39 2.36 2.29 3/183 29037
/proc/meminfo: memFree=27589852/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1645124 CPUtime=12.68 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 346342 0 0 0 1220 48 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140735811799360 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 411281 352772 892 2943 0 408175 0
[pid=29033/tid=29034] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1645124

[startup+25.5005 s]
/proc/loadavg: 2.37 2.36 2.29 3/183 29037
/proc/meminfo: memFree=27576360/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1645124 CPUtime=25.48 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 346342 0 0 0 2500 48 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140735811816648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 411281 352772 892 2943 0 408175 0
[pid=29033/tid=29034] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1645124

[startup+51.1005 s]
/proc/loadavg: 2.32 2.34 2.29 3/184 29040
/proc/meminfo: memFree=27574900/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1645124 CPUtime=51.08 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 346342 0 0 0 5060 48 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140735811799360 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 411281 352772 892 2943 0 408175 0
[pid=29033/tid=29034] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1645124

[startup+102.3 s]
/proc/loadavg: 2.31 2.33 2.28 3/184 29041
/proc/meminfo: memFree=27574900/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=1645124 CPUtime=102.28 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 346342 0 0 0 10178 50 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140735811816648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 411281 352772 892 2943 0 408175 0
[pid=29033/tid=29034] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=1645124 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 1684606976 352772 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1645124


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

/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 2875789312 643555 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2808388

[startup+1302.3 s]
/proc/loadavg: 2.26 2.23 2.24 3/184 29071
/proc/meminfo: memFree=26407724/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=2808388 CPUtime=1302.07 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 637149 0 0 0 129880 327 0 0 20 0 4 0 30221107 2875789312 643555 33554432000 4194304 16246674 140735811817472 140735811816648 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 702097 643555 896 2943 0 698991 0
[pid=29033/tid=29034] ppid=29030 vsize=2808388 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 2875789312 643555 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=2808388 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 2875789312 643555 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=2808388 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 2875789312 643555 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2808388

[startup+1362.3 s]
/proc/loadavg: 2.37 2.28 2.25 4/183 29072
/proc/meminfo: memFree=26407260/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=2808388 CPUtime=1362.06 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 637194 0 0 0 135839 367 0 0 20 0 4 0 30221107 2875789312 643595 33554432000 4194304 16246674 140735811817472 140735811816648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 702097 643595 896 2943 0 698991 0
[pid=29033/tid=29034] ppid=29030 vsize=2808388 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 2875789312 643595 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=2808388 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 2875789312 643595 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=2808388 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 2875789312 643595 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2808388

[startup+1422.3 s]
/proc/loadavg: 2.39 2.30 2.26 3/183 29074
/proc/meminfo: memFree=26382384/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=2833988 CPUtime=1422.06 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 643508 0 0 0 141813 393 0 0 20 0 4 0 30221107 2902003712 649900 33554432000 4194304 16246674 140735811817472 140735811816648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 708497 649900 896 2943 0 705391 0
[pid=29033/tid=29034] ppid=29030 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 2902003712 649900 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 2902003712 649900 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 2902003712 649900 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2833988

[startup+1482.3 s]
/proc/loadavg: 2.43 2.33 2.27 3/183 29075
/proc/meminfo: memFree=26276144/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=2940484 CPUtime=1482.03 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 670062 0 0 0 147790 413 0 0 20 0 4 0 30221107 3011055616 676453 33554432000 4194304 16246674 140735811817472 140735811799360 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 735121 676453 896 2943 0 732015 0
[pid=29033/tid=29034] ppid=29030 vsize=2940484 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3011055616 676453 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=2940484 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3011055616 676453 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=2940484 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 3011055616 676453 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2940484

[startup+1542.31 s]
/proc/loadavg: 2.38 2.34 2.28 4/183 29076
/proc/meminfo: memFree=26210828/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=3004996 CPUtime=1542.03 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 686280 0 0 0 153776 427 0 0 20 0 4 0 30221107 3077115904 692669 33554432000 4194304 16246674 140735811817472 140735811816648 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 751249 692669 896 2943 0 748143 0
[pid=29033/tid=29034] ppid=29030 vsize=3004996 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3077115904 692669 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=3004996 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3077115904 692669 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=3004996 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 3077115904 692669 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3004996

[startup+1602.3 s]
/proc/loadavg: 2.32 2.32 2.27 3/183 29077
/proc/meminfo: memFree=26194480/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=3021380 CPUtime=1602.02 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 690334 0 0 0 159757 445 0 0 20 0 4 0 30221107 3093893120 696720 33554432000 4194304 16246674 140735811817472 140735811816648 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 755345 696720 896 2943 0 752239 0
[pid=29033/tid=29034] ppid=29030 vsize=3021380 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3093893120 696720 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=3021380 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3093893120 696720 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=3021380 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 3093893120 696720 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3021380

[startup+1662.3 s]
/proc/loadavg: 2.21 2.29 2.27 3/183 29078
/proc/meminfo: memFree=26130588/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=3084868 CPUtime=1662 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 706278 0 0 0 165733 467 0 0 20 0 4 0 30221107 3158904832 712658 33554432000 4194304 16246674 140735811817472 140735811816648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 771217 712658 896 2943 0 768111 0
[pid=29033/tid=29034] ppid=29030 vsize=3084868 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3158904832 712658 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=3084868 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3158904832 712658 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=3084868 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 3158904832 712658 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 3084868

[startup+1722.3 s]
/proc/loadavg: 2.40 2.33 2.28 3/183 29080
/proc/meminfo: memFree=26105432/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=3110468 CPUtime=1721.99 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 712522 0 0 0 171716 483 0 0 20 0 4 0 30221107 3185119232 718899 33554432000 4194304 16246674 140735811817472 140735811816648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 777617 718899 896 2943 0 774511 0
[pid=29033/tid=29034] ppid=29030 vsize=3110468 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3185119232 718899 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=3110468 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3185119232 718899 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=3110468 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 3185119232 718899 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 3110468

[startup+1782.3 s]
/proc/loadavg: 2.34 2.32 2.28 3/183 29081
/proc/meminfo: memFree=26092688/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=3122756 CPUtime=1781.98 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 715618 0 0 0 177700 498 0 0 20 0 4 0 30221107 3197702144 721993 33554432000 4194304 16246674 140735811817472 140735811816648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 780689 721993 896 2943 0 777583 0
[pid=29033/tid=29034] ppid=29030 vsize=3122756 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3197702144 721993 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=3122756 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3197702144 721993 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=3122756 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 3197702144 721993 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 3122756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.33 2.32 2.28 4/183 29130
/proc/meminfo: memFree=26899352/32872528 swapFree=1402776/1580604
[pid=29033] ppid=29030 vsize=3136068 CPUtime=1800.08 cores=0,2,4,6
/proc/29033/stat : 29033 (toysat) R 29030 29033 28125 0 -1 4202496 719083 0 0 0 179504 504 0 0 20 0 4 0 30221107 3211333632 725455 33554432000 4194304 16246674 140735811817472 140735811816648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29033/statm: 784017 725455 896 2943 0 780911 0
[pid=29033/tid=29034] ppid=29030 vsize=3136068 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29034/stat : 29034 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3211333632 725455 33554432000 4194304 16246674 140735811817472 140173692087536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29033/tid=29035] ppid=29030 vsize=3136068 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29035/stat : 29035 (toysat) S 29030 29033 28125 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30221107 3211333632 725455 33554432000 4194304 16246674 140735811817472 140173681597680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29033/tid=29036] ppid=29030 vsize=3136068 CPUtime=0 cores=0,2,4,6
/proc/29033/task/29036/stat : 29036 (toysat) S 29030 29033 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30221107 3211333632 725455 33554432000 4194304 16246674 140735811817472 140173671124144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3136068

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 29033 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.48
CPU time (s): 1800.16
CPU user time (s): 1795.05
CPU system time (s): 5.11022
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 3136068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 5.11022
maximum resident set size= 2901820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 719083
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= 2039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69928 second user time and 6.86396 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 22:29:14
IDJOB=4107050
IDBENCH=71853
IDSOLVER=2542
FILE ID=node139/4107050-1466281753
RUNJOBID= node139-1466274546-28141
PBS_JOBID= 19918239
Free space on /tmp= 71560 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__256.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107050-1466281753/watcher-4107050-1466281753 -o /tmp/evaluation-result-4107050-1466281753/solver-4107050-1466281753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107050-1466281753.opb

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

MD5SUM BENCH= 236786dd2c62aa0c592a46a79d99b528
RANDOM SEED=1915271438

node139.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.500
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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.500
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.55
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.500
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.500
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.56
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.500
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.55
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.500
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.56
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.500
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.500
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:        29001500 kB
Buffers:          177944 kB
Cached:           223552 kB
SwapCached:         1904 kB
Active:          1296792 kB
Inactive:         246560 kB
Active(anon):    1142700 kB
Inactive(anon):     1476 kB
Active(file):     154092 kB
Inactive(file):   245084 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             50576 kB
Writeback:             0 kB
AnonPages:       2721764 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             611732 kB
SReclaimable:      55036 kB
SUnreclaim:       556696 kB
KernelStack:        1456 kB
PageTables:         9320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2867604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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= 71540 MiB
End job on node139 at 2016-06-18 22:59:14