Trace number 4079351

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.4 1800.68

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
MD5SUM7ed2b2aa8756f56877f04170049c9b74
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1958196751
Best CPU time to get the best result obtained on this benchmark1801.88
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 165469149
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 179144885896
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 165469149
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 179144885896
Number of bits of the biggest sum of numbers38
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-07T18:40:21+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-4079351-1465317617.opb"]
0.00/0.01	c use --random-gen="891124169 226636871 3065850508 3400233192 2937478906 454937752 1727767438 1685605788 1516758578 1754547619 1857277171 2393509529 1750349966 1746835983 3832185220 4222693944 2115723561 1565107713 2609675235 3977645864 2296655920 2412266782 3037210397 1757479300 1048895332 182275002 3136557372 4163193881 1896201306 1369275724 1411591698 2570477624 2105464920 3256248775 3990565742 4220508170 3953669721 1505678584 3101387488 1095383186 2414209509 359495254 1316560547 2413244258 2871881540 3280340070 1622633342 2570262501 1863379139 1161319131 2961459986 1703200283 1886447583 2701142696 166591682 2604819038 2234095954 242424730 607547290 2704519335 1451909888 705388789 1173476409 1038999456 2300252865 954241010 1464352523 3823812339 590219660 4069119454 20038416 2890374908 3420294270 1685995461 272326364 1613658833 47840751 395947607 95592331 2581086056 2119416784 1192595962 235179563 725032579 1938899921 3859745784 611770093 290333701 192365053 927961735 2770616446 4035860676 756717202 4011266002 2790021037 2533957068 1103516067 1456744488 622773574 4042160240 3426376818 795786945 127722023 184883273 2565319199 2761150881 4059501000 2327220174 3270274922 1412472627 1706043576 2013899623 1225298967 3786727237 1521482204 1711824162 1797626437 90912738 690191063 3445161267 3161326916 2319243669 3367681896 482134957 1154470400 4022569842 1297345705 1112936064 2135442892 214954647 3206015677 2844623978 765974109 2807196383 1495155883 3132867758 1674992099 3236618202 3184859007 2847104087 3506801605 2938682767 109079550 820438113 1396616315 2619590989 1398107928 3742144806 3439716064 3361167269 1513497870 20680316 75033004 2765827071 952596932 2149808482 3290362755 981747505 1289656432 275985501 840666254 3092790430 2650001634 4192741972 2373266331 3692853554 3064516845 400169148 4285597306 4050477502 3824202871 2900301560 691695655 1751954347 1416746362 1583251267 1919264968 3425162976 1157647142 458571264 1746368649 1238466901 3479101208 1153776600 1846358902 1221239191 3044592567 230061105 2421327955 7211645 1050062443 2364405109 299799360 1761327284 2412177645 3833177309 3551375723 3206862097 736346012 1061599759 3319514323 2710153168 2877608723 3097285892 1307962708 2189913402 824894111 2048231060 2525834921 840525727 3897282342 688592838 2555675991 3664293167 3024633656 2155976131 4138638722 3789316125 3087071820 3478660797 3653884105 3792873153 780970359 356145939 1611684400 2533722515 885872204 1306719880 2233153080 2106909348 2031243211 3766476737 1369571453 2914860465 111036642 927829467 3738600124 1779664052 1918702150 3186368481 1733781718 3299164177 4086152421 13766663 189907906 1318339501 1329285546 4283344186 893557812 2751136230 3025553527 1110339083 3400847883 4081085101 340430560 3333721323 255 362436" option to reproduce the execution
17.09/17.15	c #vars 1000400
17.09/17.15	c #constraints 2000307
60.38/60.50	c BCD2: Hardening is enabled.
60.38/60.50	c BCD2: BiasedSearch is enabled.
60.38/60.50	c Solving starts ...
60.38/60.50	c ============================[ Search Statistics ]============================
60.38/60.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
60.38/60.50	c       |         |          |          |    Limit     GC | Var      | Constra 
60.38/60.50	c =============================================================================
60.49/60.51	c  0.0s |       0 |        0 |        0 |  1010136      0 |      300 |        0
217.86/217.91	c  157s |       0 |      166 |      100 |  1010136      0 |      300 |        0
218.56/218.70	c  158s |       1 |      166 |      100 |  1010136      0 |      300 |        0
225.06/225.10	c  164s |       1 |      505 |      200 |  1111150      0 |      300 |        0
227.25/227.34	c  166s |       2 |      563 |      250 |  1111150      0 |      300 |        0
241.35/241.46	c  180s |       2 |     5541 |      350 |  1222265      0 |      300 |        0
245.45/245.52	c  185s |       2 |     5655 |      450 |  1222265      0 |      300 |        0
247.75/247.80	c  187s |       3 |     5682 |      475 |  1222265      0 |      300 |        0
265.84/265.97	c  205s |       3 |    10644 |      575 |  1344492      0 |      300 |        0
276.25/276.31	c  215s |       3 |    10805 |      675 |  1344492      0 |      300 |        0
286.25/286.32	c  225s |       3 |    10934 |      775 |  1344492      0 |      300 |        0
291.34/291.48	c  230s |       4 |    10973 |      813 |  1344492      0 |      300 |        0
325.24/325.37	c  264s |       4 |    15965 |      913 |  1478942      0 |      300 |        0
339.94/340.03	c  279s |       4 |    16087 |     1013 |  1478942      0 |      300 |        0
348.14/348.29	c  287s |       4 |    16208 |     1113 |  1478942      0 |      300 |        0
359.83/359.94	c  299s |       4 |    16345 |     1213 |  1478942      0 |      300 |        0
376.74/376.89	c  316s |       4 |    16469 |     1313 |  1478942      0 |      300 |        0
378.63/378.75	c  318s |       5 |    16485 |     1320 |  1478942      0 |      300 |        0
392.74/392.82	c  332s |       5 |    21474 |     1420 |  1626837      0 |      300 |        0
400.53/400.64	c  340s |       5 |    21591 |     1520 |  1626837      0 |      300 |        0
408.93/409.06	c  348s |       5 |    21730 |     1620 |  1626837      0 |      300 |        0
414.92/415.08	c  354s |       5 |    21865 |     1720 |  1626837      0 |      300 |        0
426.02/426.12	c  365s |       5 |    21976 |     1820 |  1626837      0 |      300 |        0
442.02/442.20	c  381s |       5 |    22091 |     1920 |  1626837      0 |      300 |        0
457.72/457.87	c  397s |       5 |    22310 |     2020 |  1626837      0 |      300 |        0
465.92/466.01	c  405s |       6 |    22406 |     2081 |  1789521      0 |      300 |        0
512.81/512.92	c  452s |       6 |    23557 |     2181 |  1789521      0 |      300 |        0
604.20/604.34	c  543s |       6 |    23656 |     2281 |  1789521      0 |      300 |        0
692.28/692.45	c  631s |       6 |    23761 |     2381 |  1789521      0 |      300 |        0
786.27/786.49	c  725s |       6 |    23859 |     2481 |  1789521      0 |      300 |        0
875.15/875.37	c  814s |       6 |    23956 |     2581 |  1789521      0 |      300 |        0
970.44/970.60	c  910s |       6 |    24067 |     2681 |  1789521      0 |      300 |        0
1082.52/1082.78	c 1022s |       6 |    24165 |     2781 |  1789521      0 |      300 |        0
1227.60/1227.82	c 1167s |       6 |    24268 |     2881 |  1789521      0 |      300 |        0
1320.39/1320.63	c 1260s |       6 |    24365 |     2981 |  1789521      0 |      300 |        0
1383.58/1383.90	c 1323s |       6 |    24464 |     3081 |  1789521      0 |      300 |        0
1494.06/1494.39	c 1433s |       6 |    24567 |     3181 |  1789521      0 |      300 |        0
1522.66/1522.94	c 1462s |       7 |    24611 |     3223 |  1968474      0 |      300 |        0
1587.85/1588.12	c 1527s |       7 |    24817 |     3323 |  1968474      0 |      300 |        0
1677.84/1678.20	c 1617s |       7 |    24929 |     3423 |  1968474      0 |      300 |        0
1749.73/1750.03	c 1689s |       7 |    25032 |     3523 |  1968474      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-4079351-1465317617/watcher-4079351-1465317617 -o /tmp/evaluation-result-4079351-1465317617/solver-4079351-1465317617 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079351-1465317617.opb 

pid=13518
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.18 2.11 2.03 3/180 13521
/proc/meminfo: memFree=31067796/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 2630 0 0 0 0 0 0 0 20 0 4 0 113696810 722923520 2991 33554432000 4194304 16246674 140734423018448 140734423017872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 177263 3002 441 2943 0 174157 0
[pid=13521/tid=13522] ppid=13518 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 741797888 3063 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 747040768 3081 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113696811 751235072 3097 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10019 s]
/proc/loadavg: 2.18 2.11 2.03 3/180 13521
/proc/meminfo: memFree=31067796/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 30439 0 0 0 4 5 0 0 20 0 4 0 113696810 1334382592 30739 33554432000 4194304 16246674 140734423018448 140734423017760 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 325777 30757 800 2943 0 322671 0
[pid=13521/tid=13522] ppid=13518 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1334382592 30769 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1334382592 30782 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1334382592 30793 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200578 s]
/proc/loadavg: 2.18 2.11 2.03 3/180 13521
/proc/meminfo: memFree=31067796/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 47908 0 0 0 12 7 0 0 20 0 4 0 113696810 1341722624 48718 33554432000 4194304 16246674 140734423018448 140734423017760 7378241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 327569 48737 801 2943 0 324463 0
[pid=13521/tid=13522] ppid=13518 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1341722624 48749 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1341722624 48761 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1341722624 48771 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300514 s]
/proc/loadavg: 2.18 2.11 2.03 3/180 13521
/proc/meminfo: memFree=31067796/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 56951 0 0 0 21 8 0 0 20 0 4 0 113696810 1343819776 57761 33554432000 4194304 16246674 140734423018448 140734423017760 7368012 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 328081 57761 801 2943 0 324975 0
[pid=13521/tid=13522] ppid=13518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1343819776 57761 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1343819776 57761 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1343819776 57761 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700437 s]
/proc/loadavg: 2.18 2.11 2.03 3/180 13521
/proc/meminfo: memFree=31067796/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 65059 0 0 0 60 9 0 0 20 0 4 0 113696810 1344868352 65869 33554432000 4194304 16246674 140734423018448 140734423001440 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 328337 65869 802 2943 0 325231 0
[pid=13521/tid=13522] ppid=13518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1344868352 65869 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1344868352 65869 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1344868352 65869 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.18 2.11 2.03 3/184 13525
/proc/meminfo: memFree=30546260/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 104411 0 0 0 133 16 0 0 20 0 4 0 113696810 1357451264 107776 33554432000 4194304 16246674 140734423018448 140734423001440 4220536 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 331409 107776 802 2943 0 328303 0
[pid=13521/tid=13522] ppid=13518 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1357451264 107776 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1357451264 107776 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1357451264 107776 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10044 s]
/proc/loadavg: 2.18 2.11 2.03 3/184 13525
/proc/meminfo: memFree=30230912/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1350212 CPUtime=3.09 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 141170 0 0 0 288 21 0 0 20 0 4 0 113696810 1382617088 149645 33554432000 4194304 16246674 140734423018448 140734423001440 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 337553 149645 802 2943 0 334447 0
[pid=13521/tid=13522] ppid=13518 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1382617088 149645 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1382617088 149645 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1382617088 149645 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1350212

[startup+6.30044 s]
/proc/loadavg: 2.25 2.12 2.03 3/184 13525
/proc/meminfo: memFree=29493832/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1399364 CPUtime=6.29 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 196865 0 0 0 598 31 0 0 20 0 4 0 113696810 1432948736 216582 33554432000 4194304 16246674 140734423018448 140734423001440 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 349841 216582 802 2943 0 346735 0
[pid=13521/tid=13522] ppid=13518 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1432948736 216582 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1432948736 216582 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1432948736 216582 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1399364

[startup+12.7004 s]
/proc/loadavg: 2.23 2.12 2.03 4/184 13525
/proc/meminfo: memFree=28777320/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=1449540 CPUtime=12.69 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 281502 0 0 0 1224 45 0 0 20 0 4 0 113696810 1484328960 303774 33554432000 4194304 16246674 140734423018448 140734423017544 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 362385 303774 802 2943 0 359279 0
[pid=13521/tid=13522] ppid=13518 vsize=1449540 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 1484328960 303774 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=1449540 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 1484328960 303774 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=1449540 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 1484328960 303774 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1449540

[startup+25.5005 s]
/proc/loadavg: 2.25 2.13 2.03 3/184 13525
/proc/meminfo: memFree=23883532/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=3867204 CPUtime=25.48 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 885973 0 0 0 2386 162 0 0 20 0 4 0 113696810 3960016896 908245 33554432000 4194304 16246674 140734423018448 140734423017624 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 966801 908245 848 2943 0 963695 0
[pid=13521/tid=13522] ppid=13518 vsize=3867204 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 3960016896 908245 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=3867204 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 3960016896 908245 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=3867204 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 3960016896 908245 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3867204

[startup+51.1005 s]
/proc/loadavg: 2.16 2.12 2.03 3/183 13526
/proc/meminfo: memFree=20469952/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=5815876 CPUtime=51.08 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1373142 0 0 0 4820 288 0 0 20 0 4 0 113696810 5955457024 1395414 33554432000 4194304 16246674 140734423018448 140734423017544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1453969 1395414 848 2943 0 1450863 0
[pid=13521/tid=13522] ppid=13518 vsize=5815876 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 5955457024 1395414 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=5815876 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 5955457024 1395414 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=5815876 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 5955457024 1395414 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5815876

[startup+102.301 s]
/proc/loadavg: 2.07 2.10 2.03 3/183 13527
/proc/meminfo: memFree=18126688/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=102.27 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726985 0 0 0 9866 361 0 0 20 0 4 0 113696810 7404589056 1749257 33554432000 4194304 16246674 140734423018448 140734423017624 13820989 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749257 897 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749257 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749257 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749257 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 7231044


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

[pid=13521] ppid=13518 vsize=7231044 CPUtime=1362.08 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 135283 925 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 5659568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 7231044

[startup+1422.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 13581
/proc/meminfo: memFree=16900164/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1422.08 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 141256 952 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 7231044

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 13582
/proc/meminfo: memFree=16900308/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1482.07 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 147218 989 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 5600080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 7231044

[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 13583
/proc/meminfo: memFree=16900212/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1542.06 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 153182 1024 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 7231044

[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/183 13585
/proc/meminfo: memFree=16900364/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1602.04 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 159173 1031 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 13907028 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 7231044

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13586
/proc/meminfo: memFree=16900244/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1662.04 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 165167 1037 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 7231044

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13587
/proc/meminfo: memFree=16889376/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1722.02 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 171159 1043 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 7231044

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 13591
/proc/meminfo: memFree=16858140/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1782.02 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 177153 1049 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 7231044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/184 13592
/proc/meminfo: memFree=16858752/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=7231044 CPUtime=1800.02 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) R 13518 13521 11961 0 -1 4202496 1726986 0 0 0 178950 1052 0 0 20 0 4 0 113696810 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140734423017624 5659504 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 1807761 1749258 898 2943 0 1804655 0
[pid=13521/tid=13522] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13522/stat : 13522 (toysat) S 13518 13521 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718597188848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) S 13518 13521 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718586698992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13521/tid=13524] ppid=13518 vsize=7231044 CPUtime=0 cores=1,3,5,7
/proc/13521/task/13524/stat : 13524 (toysat) S 13518 13521 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113696811 7404589056 1749258 33554432000 4194304 16246674 140734423018448 140718576225456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 7231044

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

[startup+1800.4 s]
/proc/loadavg: 2.11 2.04 2.01 3/184 13592
/proc/meminfo: memFree=16858752/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) Z 13518 13521 11961 0 -1 4203532 1726986 0 0 0 178950 1062 0 0 20 0 2 0 113696810 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 0 0 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) R 13518 13521 11961 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 113696811 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.11 2.04 2.01 3/184 13592
/proc/meminfo: memFree=16858752/32872528 swapFree=12744/274376
[pid=13521] ppid=13518 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/13521/stat : 13521 (toysat) Z 13518 13521 11961 0 -1 4203532 1726986 0 0 0 178950 1081 0 0 20 0 2 0 113696810 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13521/statm: 0 0 0 0 0 0 0
[pid=13521/tid=13523] ppid=13518 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/13521/task/13523/stat : 13523 (toysat) R 13518 13521 11961 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 113696811 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.68
CPU time (s): 1800.4
CPU user time (s): 1789.5
CPU system time (s): 10.8923
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 7231044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.5
system time used= 10.8923
maximum resident set size= 6997032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1726986
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= 112
involuntary context switches= 1928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.76228 second user time and 6.70698 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 18:40:21
IDJOB=4079351
IDBENCH=92634
IDSOLVER=2542
FILE ID=node107/4079351-1465317617
RUNJOBID= node107-1465310409-12875
PBS_JOBID= 19848089
Free space on /tmp= 71536 MiB

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

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

MD5SUM BENCH= 7ed2b2aa8756f56877f04170049c9b74
RANDOM SEED=735420112

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:        31068440 kB
Buffers:           94724 kB
Cached:           439800 kB
SwapCached:         1648 kB
Active:           550376 kB
Inactive:         227956 kB
Active(anon):     243036 kB
Inactive(anon):     2796 kB
Active(file):     307340 kB
Inactive(file):   225160 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:            232296 kB
Writeback:             0 kB
AnonPages:        518084 kB
Mapped:            10248 kB
Shmem:                 0 kB
Slab:             617072 kB
SReclaimable:      56740 kB
SUnreclaim:       560332 kB
KernelStack:        1432 kB
PageTables:         6908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1497676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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= 71628 MiB
End job on node107 at 2016-06-07 19:10:21