Trace number 4079356

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.71 1800.99

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
MD5SUM70bdc21fd7004e1f863f7031db08c9db
Bench CategoryOPT-BIGINT-LIN (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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 140608000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 388230486170
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 140608000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 388230486170
Number of bits of the biggest sum of numbers39
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-07T19:10:26+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-4079356-1465319421.opb"]
0.00/0.01	c use --random-gen="515067830 193277717 3643527581 109708401 1765633035 475217295 2020906337 2762124224 2920355615 478815751 711887329 4100846033 3062943770 3719208055 4111850763 872638604 2548665042 3320866316 1939666613 430547287 2285119372 716742689 3720568160 3983511793 2472413632 2593115294 3415187782 1996119363 3308679809 2977807729 259862047 1360636371 3759873797 3295693309 2437546303 4158479180 3252767131 2232510007 1603098399 875263156 284088615 1788333083 965165718 4231594669 2317098813 147202093 1903662971 2759949890 1567360389 1305292190 3003370678 3511594466 1055818208 1614127034 3505629573 1546633387 2378469122 1009496440 3794081601 2993645921 1827177522 1386476811 2888622465 3231832842 854299597 311792027 2183912172 24134466 1461190731 1615097783 1957015469 3407440537 3367184428 1222382965 3936963266 316954527 1137690808 812027465 554742671 267812772 433386266 3484380359 2853238139 3127120961 3187479430 1964758924 4263898704 246785254 1883220473 1512050604 141788753 4250234133 2893439692 4053805652 1906169583 2868687690 984853400 2754156934 2668345103 580818103 1878792243 506164139 2016664790 1127667476 4206180621 3832021387 3306985008 3219985238 3834638966 4141875465 783121427 2259598946 2103519045 3591279708 2630999076 1783608433 2470422744 2333207688 3486189531 3481771808 420507538 1776631895 4189789647 4131385599 3918928700 3985032372 458847447 1810951696 1855642836 2818494600 2721293632 3427919458 890735205 1694373941 4209024020 3134803241 3277786739 1236272403 1136880717 224079914 3458696593 336935205 1744647545 2569041220 2060205532 3088098320 2787828827 4172484393 3062333953 3099285856 2325794008 983608331 2545015195 2716412537 767745640 2579350797 2975610995 152813113 3087142425 234957983 673209886 1015861608 97026420 568302833 998165734 2364185386 4068067922 1061580410 3690211800 1953244824 2699570569 3527743442 1377524234 538261283 812884802 3066719912 2870794163 1866676302 216305838 3237590392 744318227 1817312699 3215944831 4022850381 1241453467 3895917985 3492937577 2897994549 689644309 1773326586 433694847 2880303149 2411813256 3440079540 4205943640 3831449798 990461494 3260247468 4274458363 1449939663 3806849573 3532107026 4208658716 247172179 3781358506 2564163731 522886153 93909624 2661094776 811006490 1818597003 2497272831 1079575680 1132255770 945573543 1360343602 4014349100 928439230 1410430071 527465399 27217113 775545534 4187870240 1309311275 780055608 4065421500 1012931668 2730480516 391686922 977450905 1189321510 2763175172 2275870830 944161874 3974339733 1945726534 2126522068 2511360787 2710117187 1191788651 535936112 3467790083 3089107926 683915307 2178617236 2052087291 2238800078 1870625145 1020199982 4132250056 4269985390 3616671177 2438001890 2630642396 1188867967 2187007691 255 362436" option to reproduce the execution
33.48/33.52	c #vars 2000400
33.48/33.52	c #constraints 4920807
114.87/114.92	c BCD2: Hardening is enabled.
114.87/114.92	c BCD2: BiasedSearch is enabled.
114.87/114.92	c Solving starts ...
114.87/114.92	c ============================[ Search Statistics ]============================
114.87/114.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
114.87/114.92	c       |         |          |          |    Limit     GC | Var      | Constra 
114.87/114.92	c =============================================================================
114.87/114.96	c  0.0s |       0 |        0 |        0 |  2313669      0 |      300 |        0
255.16/255.30	c  140s |       0 |      165 |      100 |  2313669      0 |      300 |        0
256.05/256.13	c  141s |       1 |      165 |      100 |  2313669      0 |      300 |        0
263.85/263.92	c  148s |       1 |     1011 |      200 |  2545036      0 |      300 |        0
272.35/272.46	c  157s |       2 |     1070 |      250 |  2545036      0 |      300 |        0
311.04/311.10	c  196s |       2 |     4289 |      350 |  2799540      0 |      300 |        0
343.53/343.60	c  228s |       2 |     4406 |      450 |  2799540      0 |      300 |        0
353.14/353.26	c  238s |       3 |     4432 |      475 |  2799540      0 |      300 |        0
489.11/489.24	c  374s |       3 |    12524 |      575 |  3079495      0 |      300 |        0
686.49/686.67	c  571s |       3 |    21408 |      675 |  3079495      0 |      300 |        0
725.08/725.23	c  610s |       3 |    28828 |      775 |  3079495      0 |      300 |        0
739.98/740.11	c  625s |       4 |    29592 |      813 |  3079495      0 |      300 |        0
753.68/753.89	c  638s |       4 |    33263 |      913 |  3387445      0 |      300 |        0
763.38/763.52	c  648s |       4 |    42561 |     1013 |  3387445      0 |      300 |        0
765.87/766.05	c  651s |       4 |    42657 |     1113 |  3387445      0 |      300 |        0
775.27/775.48	c  660s |       4 |    42758 |     1213 |  3387445      0 |      300 |        0
777.98/778.11	c  663s |       4 |    42865 |     1313 |  3387445      0 |      300 |        0
779.78/779.92	c  665s |       5 |    42876 |     1320 |  3387445      0 |      300 |        0
810.37/810.53	c  695s |       5 |    47790 |     1420 |  3726190      0 |      300 |        0
835.07/835.21	c  720s |       5 |    47893 |     1520 |  3726190      0 |      300 |        0
867.96/868.16	c  753s |       5 |    47994 |     1620 |  3726190      0 |      300 |        0
895.05/895.25	c  780s |       5 |    48098 |     1720 |  3726190      0 |      300 |        0
922.05/922.28	c  807s |       5 |    48229 |     1820 |  3726190      0 |      300 |        0
935.35/935.58	c  820s |       5 |    48327 |     1920 |  3726190      0 |      300 |        0
944.75/944.92	c  829s |       5 |    48431 |     2020 |  3726190      0 |      300 |        0
948.15/948.38	c  833s |       6 |    48490 |     2081 |  4098810      0 |      300 |        0
980.54/980.77	c  865s |       6 |    53420 |     2181 |  4098810      0 |      300 |        0
1002.05/1002.21	c  887s |       6 |    53519 |     2281 |  4098810      0 |      300 |        0
1023.14/1023.39	c  908s |       6 |    53620 |     2381 |  4098810      0 |      300 |        0
1044.23/1044.45	c  929s |       6 |    53742 |     2481 |  4098810      0 |      300 |        0
1073.03/1073.24	c  958s |       6 |    53840 |     2581 |  4098810      0 |      300 |        0
1092.83/1093.06	c  978s |       6 |    53949 |     2681 |  4098810      0 |      300 |        0
1112.92/1113.18	c  998s |       6 |    54055 |     2781 |  4098810      0 |      300 |        0
1134.82/1135.09	c 1020s |       6 |    54159 |     2881 |  4098810      0 |      300 |        0
1156.11/1156.33	c 1041s |       6 |    54263 |     2981 |  4098810      0 |      300 |        0
1184.70/1184.90	c 1069s |       6 |    54372 |     3081 |  4098810      0 |      300 |        0
1208.50/1208.72	c 1093s |       6 |    54477 |     3181 |  4098810      0 |      300 |        0
1219.71/1219.95	c 1105s |       7 |    54523 |     3223 |  4508691      0 |      300 |        0
1248.31/1248.59	c 1133s |       7 |    59524 |     3323 |  4508691      0 |      300 |        0
1278.90/1279.15	c 1164s |       7 |    59777 |     3423 |  4508691      0 |      300 |        0
1302.69/1302.94	c 1188s |       7 |    59908 |     3523 |  4508691      0 |      300 |        0
1328.49/1328.76	c 1213s |       7 |    60069 |     3623 |  4508691      0 |      300 |        0
1361.99/1362.22	c 1247s |       7 |    60222 |     3723 |  4508691      0 |      300 |        0
1384.98/1385.24	c 1270s |       7 |    60355 |     3823 |  4508691      0 |      300 |        0
1408.58/1408.81	c 1293s |       7 |    60511 |     3923 |  4508691      0 |      300 |        0
1439.17/1439.47	c 1324s |       7 |    60615 |     4023 |  4508691      0 |      300 |        0
1463.37/1463.65	c 1348s |       7 |    60758 |     4123 |  4508691      0 |      300 |        0
1486.66/1486.94	c 1372s |       7 |    60882 |     4223 |  4508691      0 |      300 |        0
1518.35/1518.66	c 1403s |       7 |    60997 |     4323 |  4508691      0 |      300 |        0
1541.25/1541.59	c 1426s |       7 |    61130 |     4423 |  4508691      0 |      300 |        0
1564.25/1564.58	c 1449s |       7 |    61252 |     4523 |  4508691      0 |      300 |        0
1597.35/1597.61	c 1482s |       7 |    61379 |     4623 |  4508691      0 |      300 |        0
1623.14/1623.46	c 1508s |       7 |    61477 |     4723 |  4508691      0 |      300 |        0
1649.54/1649.88	c 1534s |       7 |    61603 |     4823 |  4508691      0 |      300 |        0
1680.65/1680.94	c 1566s |       7 |    61742 |     4923 |  4959561      0 |      300 |        0
1684.33/1684.69	c 1569s |       8 |    61757 |     4936 |  4959561      0 |      300 |        0
1713.64/1713.95	c 1599s |       8 |    62659 |     5036 |  4959561      0 |      300 |        0
1738.13/1738.44	c 1623s |       8 |    62768 |     5136 |  4959561      0 |      300 |        0
1782.62/1782.99	c 1668s |       8 |    62872 |     5236 |  4959561      0 |      300 |        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-4079356-1465319421/watcher-4079356-1465319421 -o /tmp/evaluation-result-4079356-1465319421/solver-4079356-1465319421 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079356-1465319421.opb 

pid=13683
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.17 2.06 2.01 3/180 13686
/proc/meminfo: memFree=30697844/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2663 0 0 0 0 0 0 0 20 0 4 0 113877370 731312128 3535 33554432000 4194304 16246674 140737205876624 140737205876048 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 179311 3544 441 2943 0 176205 0
[pid=13686/tid=13687] ppid=13683 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 750186496 3606 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 754380800 3623 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 759623680 3640 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100205 s]
/proc/loadavg: 2.17 2.06 2.01 3/180 13686
/proc/meminfo: memFree=30697844/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 30221 0 0 0 5 4 0 0 20 0 4 0 113877370 1334382592 31031 33554432000 4194304 16246674 140737205876624 140737205875936 7374776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 325777 31047 798 2943 0 322671 0
[pid=13686/tid=13687] ppid=13683 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1334382592 31057 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1334382592 31069 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1334382592 31080 33554432000 4194304 16246674 140737205876624 140730710355120 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) 1303108

[startup+0.200519 s]
/proc/loadavg: 2.17 2.06 2.01 3/180 13686
/proc/meminfo: memFree=30697844/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 39140 0 0 0 14 5 0 0 20 0 4 0 113877370 1343819776 40461 33554432000 4194304 16246674 140737205876624 140737205875936 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 328081 40461 798 2943 0 324975 0
[pid=13686/tid=13687] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 40461 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 40461 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 40461 33554432000 4194304 16246674 140737205876624 140730710355120 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.300505 s]
/proc/loadavg: 2.17 2.06 2.01 3/180 13686
/proc/meminfo: memFree=30697844/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 44363 0 0 0 23 6 0 0 20 0 4 0 113877370 1343819776 45684 33554432000 4194304 16246674 140737205876624 140737205875936 7368974 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 328081 45684 799 2943 0 324975 0
[pid=13686/tid=13687] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 45684 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 45684 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 45684 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70042 s]
/proc/loadavg: 2.17 2.06 2.01 3/180 13686
/proc/meminfo: memFree=30697844/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 57389 0 0 0 61 8 0 0 20 0 4 0 113877370 1343819776 58710 33554432000 4194304 16246674 140737205876624 140737205875936 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 328081 58710 800 2943 0 324975 0
[pid=13686/tid=13687] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 58710 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 58710 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 58710 33554432000 4194304 16246674 140737205876624 140730710355120 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.5004 s]
/proc/loadavg: 2.17 2.06 2.01 3/184 13690
/proc/meminfo: memFree=30244484/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 101875 0 0 0 135 14 0 0 20 0 4 0 113877370 1343819776 103196 33554432000 4194304 16246674 140737205876624 140737205874432 4207014 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 328081 103196 800 2943 0 324975 0
[pid=13686/tid=13687] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 103196 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 103196 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1343819776 103196 33554432000 4194304 16246674 140737205876624 140730710355120 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.10041 s]
/proc/loadavg: 2.17 2.06 2.01 3/184 13690
/proc/meminfo: memFree=30005336/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 169119 0 0 0 286 23 0 0 20 0 4 0 113877370 1368985600 175550 33554432000 4194304 16246674 140737205876624 140737205874432 13752936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 334225 175550 802 2943 0 331119 0
[pid=13686/tid=13687] ppid=13683 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1368985600 175550 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1368985600 175550 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1368985600 175550 33554432000 4194304 16246674 140737205876624 140730710355120 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) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.24 2.07 2.02 3/184 13690
/proc/meminfo: memFree=29331372/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1386052 CPUtime=6.29 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 197694 0 0 0 599 30 0 0 20 0 4 0 113877370 1419317248 215367 33554432000 4194304 16246674 140737205876624 140737205874432 12750949 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 346513 215367 802 2943 0 343407 0
[pid=13686/tid=13687] ppid=13683 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1419317248 215367 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1419317248 215367 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1419317248 215367 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.22 2.07 2.02 3/184 13690
/proc/meminfo: memFree=28739132/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=1484356 CPUtime=12.69 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 231965 0 0 0 1232 37 0 0 20 0 4 0 113877370 1519980544 272633 33554432000 4194304 16246674 140737205876624 140737205874432 7440264 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 371089 272633 802 2943 0 367983 0
[pid=13686/tid=13687] ppid=13683 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 1519980544 272633 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 1519980544 272633 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 1519980544 272633 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1484356

[startup+25.5005 s]
/proc/loadavg: 2.17 2.07 2.01 3/184 13690
/proc/meminfo: memFree=23638612/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=3729988 CPUtime=25.49 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 830907 0 0 0 2243 306 0 0 20 0 4 0 113877370 3819507712 874130 33554432000 4194304 16246674 140737205876624 140737205875288 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 932497 874137 803 2943 0 929391 0
[pid=13686/tid=13687] ppid=13683 vsize=3729988 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 3819507712 874141 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=3729988 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 3819507712 874146 33554432000 4194304 16246674 140737205876624 140730794220560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=3729988 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 3819507712 874150 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3729988

[startup+51.1005 s]
/proc/loadavg: 2.24 2.09 2.02 3/183 13690
/proc/meminfo: memFree=18419704/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=7009860 CPUtime=51.09 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 1651178 0 0 0 4435 674 0 0 20 0 4 0 113877370 7178096640 1694401 33554432000 4194304 16246674 140737205876624 140737205875800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 1752465 1694401 844 2943 0 1749359 0
[pid=13686/tid=13687] ppid=13683 vsize=7009860 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 7178096640 1694401 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=7009860 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 7178096640 1694401 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=7009860 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 7178096640 1694401 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 7009860

[startup+102.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/183 13692
/proc/meminfo: memFree=14898756/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=10292804 CPUtime=102.28 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2471936 0 0 0 9222 1006 0 0 20 0 4 0 113877370 10539831296 2515159 33554432000 4194304 16246674 140737205876624 140737205875800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 2573201 2515159 848 2943 0 2570095 0
[pid=13686/tid=13687] ppid=13683 vsize=10292804 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 10539831296 2515159 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=10292804 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 10539831296 2515159 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=10292804 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 10539831296 2515159 33554432000 4194304 16246674 140737205876624 140730710355120 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) 10292804


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


[startup+1422.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 13725
/proc/meminfo: memFree=11680940/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1422.08 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 138446 3762 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875800 4220921 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 12284484

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 13726
/proc/meminfo: memFree=11680716/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1482.07 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 144433 3774 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875800 13898200 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 12284484

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 13727
/proc/meminfo: memFree=11681108/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1542.07 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 150420 3787 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 12284484

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 13729
/proc/meminfo: memFree=11681012/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1602.05 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 156408 3797 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 12284484

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13730
/proc/meminfo: memFree=11681032/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1662.03 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 162393 3810 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875800 13907096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 12284484

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 13731
/proc/meminfo: memFree=11680932/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1722.03 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 168379 3824 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875720 13906992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 12284484

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 13735
/proc/meminfo: memFree=11679420/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1782.01 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 174351 3850 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875720 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 12284484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13771
/proc/meminfo: memFree=19189652/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=12284484 CPUtime=1800.02 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) R 13683 13686 11961 0 -1 4202496 2969906 0 0 0 176123 3879 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140737205875800 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 3071121 3013129 898 2943 0 3068015 0
[pid=13686/tid=13687] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13687/stat : 13687 (toysat) S 13683 13686 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730804710640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) S 13683 13686 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730794220784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13686/tid=13689] ppid=13683 vsize=12284484 CPUtime=0 cores=0,2,4,6
/proc/13686/task/13689/stat : 13689 (toysat) S 13683 13686 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113877370 12579311616 3013129 33554432000 4194304 16246674 140737205876624 140730710355120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12284484

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 13686 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13771
/proc/meminfo: memFree=19189652/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) Z 13683 13686 11961 0 -1 4203532 2969906 0 0 0 176124 3888 0 0 20 0 2 0 113877370 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 0 0 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) R 13683 13686 11961 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 113877370 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 13771
/proc/meminfo: memFree=25958064/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=0 CPUtime=1800.53 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) Z 13683 13686 11961 0 -1 4203532 2969906 0 0 0 176124 3929 0 0 20 0 2 0 113877370 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 0 0 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) R 13683 13686 11961 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 113877370 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 13771
/proc/meminfo: memFree=25958064/32872528 swapFree=12744/274376
[pid=13686] ppid=13683 vsize=0 CPUtime=1800.62 cores=0,2,4,6
/proc/13686/stat : 13686 (toysat) Z 13683 13686 11961 0 -1 4203532 2969906 0 0 0 176124 3938 0 0 20 0 2 0 113877370 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13686/statm: 0 0 0 0 0 0 0
[pid=13686/tid=13688] ppid=13683 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/13686/task/13688/stat : 13688 (toysat) R 13683 13686 11961 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 113877370 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.99
CPU time (s): 1800.71
CPU user time (s): 1761.24
CPU system time (s): 39.47
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 12284484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.24
system time used= 39.47
maximum resident set size= 12052516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2969906
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= 80
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54631 second user time and 6.92095 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 19:10:26
IDJOB=4079356
IDBENCH=92642
IDSOLVER=2542
FILE ID=node107/4079356-1465319421
RUNJOBID= node107-1465310409-12874
PBS_JOBID= 19848089
Free space on /tmp= 71416 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079356-1465319421/watcher-4079356-1465319421 -o /tmp/evaluation-result-4079356-1465319421/solver-4079356-1465319421 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079356-1465319421.opb

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

MD5SUM BENCH= 70bdc21fd7004e1f863f7031db08c9db
RANDOM SEED=124241632

node107.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.441
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.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
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.56
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.441
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:        30698104 kB
Buffers:           96936 kB
Cached:           588816 kB
SwapCached:         1648 kB
Active:           883920 kB
Inactive:         256144 kB
Active(anon):     453552 kB
Inactive(anon):     2796 kB
Active(file):     430368 kB
Inactive(file):   253348 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:            354780 kB
Writeback:             0 kB
AnonPages:        730064 kB
Mapped:            10388 kB
Shmem:                 0 kB
Slab:             625148 kB
SReclaimable:      64048 kB
SUnreclaim:       561100 kB
KernelStack:        1472 kB
PageTables:         6796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1498788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 71444 MiB
End job on node107 at 2016-06-07 19:40:27