Trace number 4079354

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.65 1800.94

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_mh.opb
MD5SUM5db3e12693d0fde048524c9639b75499
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark78110625
Best CPU time to get the best result obtained on this benchmark1800.88
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 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 308760127022
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 308760127022
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-07T18:41:57+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-4079354-1465317711.opb"]
0.00/0.01	c use --random-gen="3356015010 80276793 906076452 852743933 3713189355 2246563985 4246821397 587519436 819173801 3148350963 3442472668 3979705195 535425853 2059265054 3139617111 706964657 1676867775 47177913 1770890975 2756047465 3279344146 1068270719 3071231243 200734226 3987485786 2026822344 336310695 2879138380 80306063 4192202244 973955902 134630666 52419639 1647012353 3296083616 833639704 1326272700 2672639927 3370357502 3734472125 2242172876 1555914168 4010497064 202654991 2285255684 1016480292 2819640647 365473523 1956601139 204137596 3474907259 65752037 893230874 1071012031 3685913407 1676917783 2970153561 403253088 3488208959 2250519090 3035225148 2912020789 1851905665 3988924516 3981345019 1431834189 227498252 1341673190 999629240 1053168659 3167618374 276570390 3863243333 2688303560 3326605701 2069476823 911728338 759215094 1281657083 3766525248 3377074459 3214041962 552424124 528645638 2608430574 4108001230 2478678294 56677356 4150343502 4073112323 669882870 3297946763 3623207469 3035645187 3576277895 350073848 4028498202 806258661 2324801748 608725558 3952128456 1194273977 3471348002 1748717474 33722773 3361903858 1437489361 2334314438 2112958165 2723651866 1010184448 2435083212 1961481624 3431216476 3391046851 2220837287 3999895576 3829110912 3118635627 1426935546 1134128230 725691905 4095569041 2398077348 3488207165 3551712042 3259324317 2000215716 645434184 2366754587 449161753 2001308550 3748868252 533767522 2608971231 3614398811 1047559920 1116865745 701223308 3681003837 1363302186 4242984088 928055874 4042344470 2403083448 2744485613 1814782226 1869704364 2153640944 1841791511 2623054637 4241310982 1418435667 3781854413 2393485526 3009291820 2361238544 1380656808 2217177595 1948941685 1731898247 766811767 52150590 1644808264 2001092647 1052333363 327525148 3408192883 3792596053 2637924710 288276006 2434105178 3954993017 3095788241 2903898898 3138261361 1544436930 2738170245 2068862504 1716037855 708041724 3062949521 3249680039 3533832565 81002381 1267919133 3458406898 1772279036 3219101200 1439326741 284568153 3284717780 3566249241 4223697666 310520682 3450234356 1103352103 462694083 1157330048 3713249402 2372979565 4195134635 373772577 4021761423 1599739328 2650934634 205385578 2539348161 4020788222 3392528997 1397087848 4244295743 2148555160 1947861495 1459296271 1724927118 3586199387 1966067866 1760168937 1209025392 3811507490 3148787445 2889143517 1617014962 3389188570 1006608998 1820020368 3707255142 1911198360 1118033779 555245428 240336756 1451347069 1391636344 3935607419 3330098412 4126893554 3915328824 429439411 1274131928 125781353 4183004705 3731207529 3936506005 1385990763 555508962 1103919506 1343291165 3873813319 3446117875 4257311163 1368826323 4079941231 852103238 733472479 1489207727 255 362436" option to reproduce the execution
34.58/34.68	c #vars 2000400
34.58/34.68	c #constraints 4920807
122.46/122.50	c BCD2: Hardening is enabled.
122.46/122.50	c BCD2: BiasedSearch is enabled.
122.46/122.50	c Solving starts ...
122.46/122.50	c ============================[ Search Statistics ]============================
122.46/122.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
122.46/122.50	c       |         |          |          |    Limit     GC | Var      | Constra 
122.46/122.50	c =============================================================================
122.46/122.54	c  0.0s |       0 |        0 |        0 |  2313669      0 |      300 |        0
283.85/283.98	c  161s |       0 |      166 |      100 |  2313669      0 |      300 |        0
284.74/284.88	c  162s |       1 |      166 |      100 |  2313669      0 |      300 |        0
293.14/293.26	c  170s |       1 |     1010 |      200 |  2545036      0 |      300 |        0
295.34/295.41	c  172s |       2 |     1069 |      250 |  2545036      0 |      300 |        0
337.33/337.43	c  214s |       2 |     4286 |      350 |  2799540      0 |      300 |        0
378.33/378.42	c  255s |       2 |     4403 |      450 |  2799540      0 |      300 |        0
387.62/387.72	c  265s |       3 |     4429 |      475 |  2799540      0 |      300 |        0
525.01/525.11	c  402s |       3 |    12506 |      575 |  3079495      0 |      300 |        0
720.78/720.97	c  598s |       3 |    21391 |      675 |  3079495      0 |      300 |        0
752.47/752.64	c  630s |       3 |    28807 |      775 |  3079495      0 |      300 |        0
767.47/767.70	c  645s |       4 |    29575 |      813 |  3079495      0 |      300 |        0
781.46/781.69	c  659s |       4 |    33223 |      913 |  3387445      0 |      300 |        0
791.97/792.13	c  669s |       4 |    44158 |     1013 |  3387445      0 |      300 |        0
800.96/801.12	c  678s |       4 |    44260 |     1113 |  3387445      0 |      300 |        0
803.16/803.38	c  680s |       4 |    44367 |     1213 |  3387445      0 |      300 |        0
805.46/805.63	c  683s |       4 |    44465 |     1313 |  3387445      0 |      300 |        0
807.26/807.40	c  684s |       5 |    44474 |     1320 |  3387445      0 |      300 |        0
834.76/834.99	c  712s |       5 |    49401 |     1420 |  3726190      0 |      300 |        0
860.66/860.82	c  738s |       5 |    49503 |     1520 |  3726190      0 |      300 |        0
878.25/878.46	c  755s |       5 |    49608 |     1620 |  3726190      0 |      300 |        0
896.04/896.22	c  773s |       5 |    49713 |     1720 |  3726190      0 |      300 |        0
913.45/913.61	c  791s |       5 |    49809 |     1820 |  3726190      0 |      300 |        0
931.15/931.33	c  808s |       5 |    49916 |     1920 |  3726190      0 |      300 |        0
955.34/955.57	c  833s |       5 |    50008 |     2020 |  3726190      0 |      300 |        0
967.94/968.17	c  845s |       6 |    50072 |     2081 |  4098810      0 |      300 |        0
993.14/993.37	c  870s |       6 |    55014 |     2181 |  4098810      0 |      300 |        0
1012.94/1013.11	c  890s |       6 |    55120 |     2281 |  4098810      0 |      300 |        0
1038.92/1039.10	c  916s |       6 |    55227 |     2381 |  4098810      0 |      300 |        0
1057.03/1057.24	c  934s |       6 |    55339 |     2481 |  4098810      0 |      300 |        0
1075.32/1075.52	c  953s |       6 |    55441 |     2581 |  4098810      0 |      300 |        0
1093.91/1094.18	c  971s |       6 |    55546 |     2681 |  4098810      0 |      300 |        0
1113.71/1113.90	c  991s |       6 |    55657 |     2781 |  4098810      0 |      300 |        0
1140.41/1140.69	c 1018s |       6 |    55757 |     2881 |  4098810      0 |      300 |        0
1161.90/1162.16	c 1039s |       6 |    55864 |     2981 |  4098810      0 |      300 |        0
1183.41/1183.62	c 1061s |       6 |    55967 |     3081 |  4098810      0 |      300 |        0
1204.80/1205.02	c 1082s |       6 |    56070 |     3181 |  4098810      0 |      300 |        0
1214.80/1215.05	c 1092s |       7 |    56118 |     3223 |  4508691      0 |      300 |        0
1249.10/1249.30	c 1126s |       7 |    61057 |     3323 |  4508691      0 |      300 |        0
1271.09/1271.35	c 1148s |       7 |    61158 |     3423 |  4508691      0 |      300 |        0
1294.68/1294.95	c 1172s |       7 |    61266 |     3523 |  4508691      0 |      300 |        0
1323.09/1323.33	c 1200s |       7 |    61384 |     3623 |  4508691      0 |      300 |        0
1343.17/1343.47	c 1220s |       7 |    61488 |     3723 |  4508691      0 |      300 |        0
1364.67/1364.97	c 1242s |       7 |    61597 |     3823 |  4508691      0 |      300 |        0
1386.67/1386.90	c 1264s |       7 |    61703 |     3923 |  4508691      0 |      300 |        0
1416.57/1416.87	c 1294s |       7 |    61803 |     4023 |  4508691      0 |      300 |        0
1439.67/1439.92	c 1317s |       7 |    61903 |     4123 |  4508691      0 |      300 |        0
1463.56/1463.89	c 1341s |       7 |    62010 |     4223 |  4508691      0 |      300 |        0
1493.75/1494.06	c 1371s |       7 |    62115 |     4323 |  4508691      0 |      300 |        0
1517.95/1518.23	c 1395s |       7 |    62230 |     4423 |  4508691      0 |      300 |        0
1539.05/1539.32	c 1416s |       7 |    62332 |     4523 |  4508691      0 |      300 |        0
1567.94/1568.23	c 1445s |       7 |    62432 |     4623 |  4508691      0 |      300 |        0
1592.04/1592.31	c 1469s |       7 |    62531 |     4723 |  4508691      0 |      300 |        0
1616.13/1616.41	c 1493s |       7 |    62637 |     4823 |  4508691      0 |      300 |        0
1646.54/1646.87	c 1524s |       7 |    62739 |     4923 |  4959561      0 |      300 |        0
1650.23/1650.50	c 1527s |       8 |    62749 |     4936 |  4959561      0 |      300 |        0
1674.53/1674.82	c 1552s |       8 |    67687 |     5036 |  4959561      0 |      300 |        0
1693.62/1693.99	c 1571s |       8 |    67790 |     5136 |  4959561      0 |      300 |        0
1712.43/1712.79	c 1590s |       8 |    67891 |     5236 |  4959561      0 |      300 |        0
1739.11/1739.48	c 1616s |       8 |    67989 |     5336 |  4959561      0 |      300 |        0
1760.11/1760.45	c 1637s |       8 |    68095 |     5436 |  4959561      0 |      300 |        0
1780.01/1780.37	c 1657s |       8 |    68201 |     5536 |  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-4079354-1465317711/watcher-4079354-1465317711 -o /tmp/evaluation-result-4079354-1465317711/solver-4079354-1465317711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21026 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079354-1465317711.opb 

pid=21977
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.09 2.08 2.01 3/178 21980
/proc/meminfo: memFree=30706028/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=571836 CPUtime=0 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2104 0 0 0 0 0 0 0 20 0 4 0 113705109 585560064 2466 33554432000 4194304 16246674 140733648916320 140733648915744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 143471 2473 441 2943 0 140365 0
[pid=21980/tid=21981] ppid=21977 vsize=591292 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 605483008 2540 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=595388 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 609677312 2559 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=599484 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113705109 613871616 2575 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100197 s]
/proc/loadavg: 2.09 2.08 2.01 3/178 21980
/proc/meminfo: memFree=30706028/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1303108 CPUtime=0.08 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 31541 0 0 0 5 3 0 0 20 0 4 0 113705109 1334382592 31841 33554432000 4194304 16246674 140733648916320 140733648915632 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 325777 31857 799 2943 0 322671 0
[pid=21980/tid=21981] ppid=21977 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1334382592 31868 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1334382592 31879 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1334382592 31891 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200536 s]
/proc/loadavg: 2.09 2.08 2.01 3/178 21980
/proc/meminfo: memFree=30706028/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 41201 0 0 0 14 4 0 0 20 0 4 0 113705109 1343819776 42011 33554432000 4194304 16246674 140733648916320 140733648915632 7375752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 328081 42011 799 2943 0 324975 0
[pid=21980/tid=21981] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 42011 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 42011 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 42011 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300509 s]
/proc/loadavg: 2.09 2.08 2.01 3/178 21980
/proc/meminfo: memFree=30706028/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 44176 0 0 0 24 5 0 0 20 0 4 0 113705109 1343819776 44986 33554432000 4194304 16246674 140733648916320 140733648915632 7376628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 328081 44986 799 2943 0 324975 0
[pid=21980/tid=21981] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 44986 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 44986 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 44986 33554432000 4194304 16246674 140733648916320 140643972140208 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.700416 s]
/proc/loadavg: 2.09 2.08 2.01 3/178 21980
/proc/meminfo: memFree=30706028/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1312324 CPUtime=0.68 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 57029 0 0 0 62 6 0 0 20 0 4 0 113705109 1343819776 57839 33554432000 4194304 16246674 140733648916320 140733648914112 4222992 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 328081 57839 800 2943 0 324975 0
[pid=21980/tid=21981] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 57839 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 57839 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 57839 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.09 2.08 2.01 3/182 21984
/proc/meminfo: memFree=30230044/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1312324 CPUtime=1.48 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 100030 0 0 0 135 13 0 0 20 0 4 0 113705109 1343819776 100841 33554432000 4194304 16246674 140733648916320 140733648914112 7377409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 328081 100860 800 2943 0 324975 0
[pid=21980/tid=21981] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 100871 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 100883 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1343819776 100894 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1312324

[startup+3.10043 s]
/proc/loadavg: 2.17 2.10 2.02 3/182 21984
/proc/meminfo: memFree=29779456/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1336900 CPUtime=3.08 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 163353 0 0 0 285 23 0 0 20 0 4 0 113705109 1368985600 169273 33554432000 4194304 16246674 140733648916320 140733648899312 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 334225 169273 802 2943 0 331119 0
[pid=21980/tid=21981] ppid=21977 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1368985600 169273 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1368985600 169273 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1368985600 169273 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1336900

[startup+6.30043 s]
/proc/loadavg: 2.17 2.10 2.02 3/182 21984
/proc/meminfo: memFree=29036308/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1386052 CPUtime=6.29 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 201102 0 0 0 598 31 0 0 20 0 4 0 113705109 1419317248 218264 33554432000 4194304 16246674 140733648916320 140733648915416 8058588 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 346513 218264 802 2943 0 343407 0
[pid=21980/tid=21981] ppid=21977 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1419317248 218264 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1419317248 218264 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1419317248 218264 33554432000 4194304 16246674 140733648916320 140643972140208 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.29 2.13 2.03 3/182 21984
/proc/meminfo: memFree=28609820/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=1484356 CPUtime=12.68 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 235493 0 0 0 1229 39 0 0 20 0 4 0 113705109 1519980544 275650 33554432000 4194304 16246674 140733648916320 140733648915416 7929054 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 371089 275650 802 2943 0 367983 0
[pid=21980/tid=21981] ppid=21977 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 1519980544 275650 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 1519980544 275650 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 1519980544 275650 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1484356

[startup+25.5005 s]
/proc/loadavg: 2.24 2.12 2.03 3/183 21985
/proc/meminfo: memFree=24983040/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=2609732 CPUtime=25.48 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 502474 0 0 0 2267 281 0 0 20 0 4 0 113705109 2672365568 590665 33554432000 4194304 16246674 140733648916320 140733648915496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 652433 590665 802 2943 0 649327 0
[pid=21980/tid=21981] ppid=21977 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 2672365568 590665 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 2672365568 590665 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=2609732 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 2672365568 590665 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2609732

[startup+51.1004 s]
/proc/loadavg: 2.16 2.11 2.03 3/183 21985
/proc/meminfo: memFree=15953916/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=8437316 CPUtime=51.08 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 1861319 0 0 0 4633 475 0 0 20 0 4 0 113705109 8639811584 2008275 33554432000 4194304 16246674 140733648916320 140733648915496 6756444 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21980/statm: 2109329 2008275 844 2943 0 2106223 0
[pid=21980/tid=21981] ppid=21977 vsize=8437316 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 8639811584 2008275 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=8437316 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 8639811584 2008275 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=8437316 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 8639811584 2008275 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8437316

[startup+102.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/183 21987
/proc/meminfo: memFree=8996748/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=11925060 CPUtime=102.28 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2733344 0 0 0 9615 613 0 0 20 0 4 0 113705109 12211261440 2922713 33554432000 4194304 16246674 140733648916320 140733648915496 7204262 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21980/statm: 2981265 2922713 849 2943 0 2978159 0
[pid=21980/tid=21981] ppid=21977 vsize=11925060 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12211261440 2922713 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=11925060 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12211261440 2922713 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=11925060 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12211261440 2922713 33554432000 4194304 16246674 140733648916320 140643972140208 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) 11925060


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


[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 22041
/proc/meminfo: memFree=7004156/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1422.07 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 139034 3173 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 12283460

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 22042
/proc/meminfo: memFree=7004268/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1482.06 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 145005 3201 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 12283460

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22043
/proc/meminfo: memFree=7004252/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1542.06 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 150789 3417 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915496 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 12283460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22044
/proc/meminfo: memFree=7003996/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1602.04 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 156483 3721 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915416 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 12283460

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 22046
/proc/meminfo: memFree=7004000/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1662.03 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 162269 3934 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 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) 12283460

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 22050
/proc/meminfo: memFree=7004012/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1722.02 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 168097 4105 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 12283460

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22051
/proc/meminfo: memFree=7003888/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1782.01 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 174075 4126 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 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) 12283460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 22052
/proc/meminfo: memFree=7003964/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=12283460 CPUtime=1800.01 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) R 21977 21980 21010 0 -1 4202496 2822998 0 0 0 175868 4133 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140733648915496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 3070865 3012367 902 2943 0 3067759 0
[pid=21980/tid=21981] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21981/stat : 21981 (toysat) S 21977 21980 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643993103600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) S 21977 21980 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643982613744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21980/tid=21983] ppid=21977 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/21980/task/21983/stat : 21983 (toysat) S 21977 21980 21010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113705109 12578263040 3012367 33554432000 4194304 16246674 140733648916320 140643972140208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 12283460

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

[startup+1800.4 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 22052
/proc/meminfo: memFree=7003964/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) Z 21977 21980 21010 0 -1 4203532 2822998 0 0 0 175869 4143 0 0 20 0 2 0 113705109 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 0 0 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) R 21977 21980 21010 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 113705109 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 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.08 2.03 2.00 3/179 22052
/proc/meminfo: memFree=25596532/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=0 CPUtime=1800.52 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) Z 21977 21980 21010 0 -1 4203532 2822998 0 0 0 175869 4183 0 0 20 0 2 0 113705109 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 0 0 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) R 21977 21980 21010 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 113705109 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 22052
/proc/meminfo: memFree=25596532/32872528 swapFree=11196/354588
[pid=21980] ppid=21977 vsize=0 CPUtime=1800.61 cores=0,2,4,6
/proc/21980/stat : 21980 (toysat) Z 21977 21980 21010 0 -1 4203532 2822998 0 0 0 175869 4192 0 0 20 0 2 0 113705109 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21980/statm: 0 0 0 0 0 0 0
[pid=21980/tid=21982] ppid=21977 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/21980/task/21982/stat : 21982 (toysat) R 21977 21980 21010 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 113705109 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.94
CPU time (s): 1800.65
CPU user time (s): 1758.69
CPU system time (s): 41.9616
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 12283460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.69
system time used= 41.9616
maximum resident set size= 12049468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2822998
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= 84
involuntary context switches= 2472

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67829 second user time and 6.78997 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 18:41:57
IDJOB=4079354
IDBENCH=92636
IDSOLVER=2542
FILE ID=node126/4079354-1465317711
RUNJOBID= node126-1465306898-21026
PBS_JOBID= 19849495
Free space on /tmp= 71292 MiB

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

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

MD5SUM BENCH= 5db3e12693d0fde048524c9639b75499
RANDOM SEED=423444025

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30726388 kB
Buffers:           65588 kB
Cached:           912484 kB
SwapCached:         2088 kB
Active:           763140 kB
Inactive:         269780 kB
Active(anon):      53772 kB
Inactive(anon):     3300 kB
Active(file):     709368 kB
Inactive(file):   266480 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:            476692 kB
Writeback:             0 kB
AnonPages:        406752 kB
Mapped:             9328 kB
Shmem:                 0 kB
Slab:             625080 kB
SReclaimable:      68260 kB
SUnreclaim:       556820 kB
KernelStack:        1376 kB
PageTables:         6716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1484316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 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= 71276 MiB
End job on node126 at 2016-06-07 19:11:58