Trace number 4107114

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.52 1800.82

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__16.opb
MD5SUM50c46af9fb7047a2695734d4451d8396
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4941435
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables242998
Total number of constraints18000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)15002
Number of constraints which are nor clauses,nor cardinality constraints2998
Minimum length of a constraint16
Maximum length of a constraint721
Number of terms in the objective function 240000
Biggest coefficient in the objective function 129631
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 8127626384
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 129631
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 8127626384
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T22:45:53+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-4107114-1466282752.opb"]
0.00/0.01	c use --random-gen="3116555420 1719645153 3144522565 3164062868 270703598 2479679482 1285018817 1339837456 790557625 1132192827 1043081927 1716519469 2458579959 512904752 2601346380 64817250 619089421 3699624039 1677677232 1913854863 1158659223 1574165569 1637507420 2753415752 3351926970 1255659384 2819527742 3056359028 2704713991 2746821841 3878023865 784992558 3780656493 543837612 3341309379 4235525748 4021009790 1611355894 1763813653 1757406644 1501840523 1388574266 1921393207 3628923221 2440231867 3836826670 3091122821 2723862855 2456683434 699460274 1991602105 1065990041 3696123676 1010892426 3199477619 624154790 996607884 1618721918 3025734813 2535628791 1267508954 3461672027 2520120762 3356955803 2694354474 3842933265 2876277325 1808352279 3272347386 2722627230 2835775434 1734908504 112201867 4155239130 4272672650 2288697930 443071670 1014066927 2416404282 587299979 607171809 2077423537 2092338268 3042392698 499703573 2287683237 1150309124 3179090834 648819102 2304531919 151615807 2281788032 285793612 2554534807 3815452915 3727163631 1132801088 4108195532 2623704269 130097757 1340811957 3837413614 4250167353 45383269 3913236072 3188869642 3487989812 73262529 2343450215 3071856817 1161612665 3871768473 2606189619 2046612675 3800966601 377983230 129348669 3583701682 3968856576 4235288338 2465234659 2957604023 1235788067 1476596878 2429845134 1524454263 3063563628 349969593 3919026762 772494390 705285975 2828012930 877249501 3369876604 464118863 3975558337 1294778001 3679130245 2438561705 3522345415 3433121090 1462421948 1326506353 1295476449 3512773016 3022953234 429189357 2095248180 101952869 1880129568 3674319241 1377793570 1592587906 2448725992 3743997302 2116405192 2858105053 3099734165 2147375741 762221494 265651489 1848632556 1646153700 3109474761 776767049 1796648997 1192949216 2754696592 3477101231 4190014460 666733319 10642718 1372242305 709715671 1315971686 1690753739 2580552967 2732038393 2193678335 1557261464 3039453257 340762177 727301436 155797402 1620362410 3092758449 2120226759 435970118 1350582158 3451438046 987221583 51237114 4116401671 3075885965 956653069 321247215 1344776997 3875179577 3412124999 3209324846 4038188375 1477675359 2764986769 3917303835 4287732535 1662219528 1649126303 2428552541 3658741122 3377104086 1305915554 1643839922 2531006649 1879754429 1604919562 3484653654 1560469026 1453699622 4164702804 3219317468 4136924528 4270847606 1389641576 2215701743 2357610770 2887000320 2914463597 4122552926 375241744 148250065 3916799118 3721023028 1288086163 2152054356 2827852351 2415792094 1825697969 481822423 2752031629 400532209 1151908819 4038894402 2239903208 3761136825 2245891673 35212743 712568296 2565923430 298279438 2126251109 1314873253 155260886 3450355893 2642544518 3023697112 303231370 255 362436" option to reproduce the execution
1.69/1.75	c #vars 242998
1.69/1.75	c #constraints 18000
5.99/6.07	c BCD2: Hardening is enabled.
5.99/6.07	c BCD2: BiasedSearch is enabled.
5.99/6.07	c Solving starts ...
5.99/6.07	c ============================[ Search Statistics ]============================
5.99/6.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.99/6.07	c       |         |          |          |    Limit     GC | Var      | Constra 
5.99/6.07	c =============================================================================
6.09/6.13	c  0.0s |       0 |        0 |        0 |    87999      0 |        0 |        0
7.39/7.46	c  1.3s |       1 |    12378 |      100 |    87999      0 |        0 |        0
8.59/8.66	c  2.5s |       2 |    30960 |      250 |    96799      0 |        0 |        0
10.09/10.15	c  4.0s |       3 |    70915 |      475 |   106479      0 |        0 |        0
12.29/12.36	c  6.2s |       4 |   194614 |      813 |   117127      0 |        0 |        0
14.59/14.60	c  8.5s |       4 |   367653 |     1213 |   128840      0 |        0 |        0
14.99/15.02	c  8.9s |       5 |   380615 |     1320 |   128840      0 |        0 |        0
17.19/17.20	c 11.1s |       5 |   545877 |     1820 |   141724      0 |        0 |        0
17.69/17.79	c 11.7s |       6 |   560510 |     2081 |   155897      0 |        0 |        0
19.79/19.87	c 13.7s |       6 |   684944 |     2681 |   155897      0 |        0 |        0
20.89/20.92	c 14.8s |       7 |   705189 |     3223 |   171487      0 |        0 |        0
22.29/22.32	c 16.2s |       7 |   800813 |     3326 |   171487      0 |        0 |        0
22.29/22.32	c #cpu_time = 15.856s
22.29/22.32	c #wall_clock_time = 15.897s
22.29/22.32	c #decision = 800813
22.29/22.32	c #random_decision = 2200
22.29/22.32	c #conflict = 3326
22.29/22.32	c #restart = 7
22.29/22.32	o 99730081
22.79/22.81	c BCD2: updating upper bound: 8127626384 -> 99730080
24.88/24.93	c BCD2: 0 <= obj <= 99730080
24.88/24.96	c BCD2: #cores=0, #unrelaxed=240000, #relaxed=0, #hardened=0
24.88/24.96	c BCD2: #sat=1 #unsat=1 bias=1/2
24.88/24.97	c Solving starts ...
24.88/24.97	c ============================[ Search Statistics ]============================
24.88/24.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.88/24.97	c       |         |          |          |    Limit     GC | Var      | Constra 
24.88/24.97	c =============================================================================
24.88/24.97	c  0.0s |       0 |        0 |        0 |   171487      0 |        0 |        0
25.18/25.24	c  0.3s |       0 |    15252 |        0 |   171487      0 |        0 |        0
25.18/25.24	c #cpu_time = 0.258s
25.18/25.24	c #wall_clock_time = 0.259s
25.18/25.24	c #decision = 15252
25.18/25.24	c #random_decision = 0
25.18/25.24	c #conflict = 0
25.18/25.24	c #restart = 0
25.18/25.24	c BCD2: found a new core of size 80: cost of the new core is >=17963
25.18/25.24	c lower bound updated to 17963
25.29/25.34	c BCD2: 17963 <= obj <= 99730080
25.29/25.34	c BCD2: #cores=1, #unrelaxed=239920, #relaxed=80, #hardened=0
25.29/25.34	c BCD2: #sat=1 #unsat=2 bias=2/3
25.29/25.36	c Solving starts ...
25.29/25.36	c ============================[ Search Statistics ]============================
25.29/25.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
25.29/25.36	c       |         |          |          |    Limit     GC | Var      | Constra 
25.29/25.36	c =============================================================================
25.29/25.36	c  0.0s |       0 |        0 |        0 |   171487      0 |        0 |        1
26.18/26.29	c  0.9s |       0 |   227318 |        0 |   171487      0 |        0 |        1
26.18/26.29	c #cpu_time = 0.769s
26.18/26.29	c #wall_clock_time = 0.771s
26.18/26.29	c #decision = 227318
26.18/26.29	c #random_decision = 0
26.18/26.29	c #conflict = 0
26.18/26.29	c #restart = 0
26.18/26.30	c BCD2: found a new core of size 1049: cost of the new core is >=3536
26.18/26.30	c lower bound updated to 21499
26.39/26.41	c BCD2: 21499 <= obj <= 99730080
26.39/26.41	c BCD2: #cores=2, #unrelaxed=238871, #relaxed=1129, #hardened=0
26.39/26.41	c BCD2: #sat=1 #unsat=3 bias=3/4
102.97/103.09	c Solving starts ...
102.97/103.09	c ============================[ Search Statistics ]============================
102.97/103.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
102.97/103.09	c       |         |          |          |    Limit     GC | Var      | Constra 
102.97/103.09	c =============================================================================
102.97/103.09	c  0.0s |       0 |        0 |        0 |   171487      0 |        0 |        1
104.17/104.27	c  1.2s |       0 |   236502 |       44 |   171487      0 |        0 |        1
104.17/104.27	c #cpu_time = 0.975s
104.17/104.27	c #wall_clock_time = 0.977s
104.17/104.27	c #decision = 236502
104.17/104.27	c #random_decision = 1
104.17/104.27	c #conflict = 44
104.17/104.27	c #restart = 0
104.17/104.27	c BCD2: relaxing 365 and merging with 1 cores into a new core of size 445: cost of the new core is >=22013
104.17/104.27	c lower bound updated to 25549
104.27/104.39	c BCD2: 25549 <= obj <= 99730080
104.27/104.39	c BCD2: #cores=2, #unrelaxed=238506, #relaxed=1494, #hardened=0
104.27/104.39	c BCD2: #sat=1 #unsat=4 bias=4/5
511.21/511.34	c Solving starts ...
511.21/511.34	c ============================[ Search Statistics ]============================
511.21/511.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
511.21/511.34	c       |         |          |          |    Limit     GC | Var      | Constra 
511.21/511.34	c =============================================================================
511.21/511.34	c  0.0s |       0 |        0 |        0 |   171487      0 |        2 |        1
512.51/512.63	c  1.3s |       1 |   237457 |      100 |   171487      0 |        2 |        4
515.01/515.14	c  3.8s |       2 |   895284 |      250 |   171487      0 |        2 |        4
516.61/516.71	c  5.4s |       3 |  1193265 |      475 |   171487      0 |        2 |        4
519.21/519.32	c  8.0s |       3 |  2056603 |      575 |   171487      0 |        2 |        4
519.51/519.61	c  8.3s |       4 |  2057229 |      813 |   171487      0 |        2 |        4
521.91/522.04	c 10.7s |       4 |  2858882 |      913 |   171487      0 |        2 |        4
525.21/525.31	c 14.0s |       4 |  3958637 |     1113 |   171487      0 |        2 |        4
525.90/526.07	c 14.7s |       4 |  3959869 |     1298 |   171487      0 |        2 |        4
525.90/526.07	c #cpu_time = 14.383s
525.90/526.07	c #wall_clock_time = 14.420s
525.90/526.07	c #decision = 3959869
525.90/526.07	c #random_decision = 4
525.90/526.07	c #conflict = 1298
525.90/526.07	c #restart = 4
525.90/526.08	o 199980
526.00/526.19	c BCD2: updating upper bound: 99730080 -> 199979
528.40/528.59	c BCD2: 25549 <= obj <= 199979
528.40/528.59	c BCD2: #cores=2, #unrelaxed=238506, #relaxed=1494, #hardened=0
528.40/528.59	c BCD2: #sat=2 #unsat=4 bias=4/6

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

pid=16002
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.23 2.19 2.15 3/179 16005
/proc/meminfo: memFree=24135112/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 2870 0 0 0 0 0 0 0 20 0 4 0 30324502 785838080 3231 33554432000 4194304 16246674 140735756181056 140735756180480 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 192623 3240 441 2943 0 189517 0
[pid=16005/tid=16006] ppid=16002 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 803663872 3299 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 807858176 3315 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30324502 813101056 3333 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.23 2.19 2.15 3/179 16005
/proc/meminfo: memFree=24135112/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 31133 0 0 0 5 4 0 0 20 0 4 0 30324502 1333334016 31432 33554432000 4194304 16246674 140735756181056 140735756180368 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 325521 31448 799 2943 0 322415 0
[pid=16005/tid=16006] ppid=16002 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1333334016 31459 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1333334016 31471 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1333334016 31481 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200524 s]
/proc/loadavg: 2.23 2.19 2.15 3/179 16005
/proc/meminfo: memFree=24135112/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 44069 0 0 0 13 5 0 0 20 0 4 0 30324502 1343819776 44879 33554432000 4194304 16246674 140735756181056 140735756180368 4206615 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 328081 44879 799 2943 0 324975 0
[pid=16005/tid=16006] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 44879 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 44879 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 44879 33554432000 4194304 16246674 140735756181056 139668970527920 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.300488 s]
/proc/loadavg: 2.23 2.19 2.15 3/179 16005
/proc/meminfo: memFree=24135112/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 44858 0 0 0 23 6 0 0 20 0 4 0 30324502 1343819776 45668 33554432000 4194304 16246674 140735756181056 140735756180368 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 328081 45668 799 2943 0 324975 0
[pid=16005/tid=16006] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 45668 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 45668 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 45668 33554432000 4194304 16246674 140735756181056 139668970527920 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.700406 s]
/proc/loadavg: 2.23 2.19 2.15 3/179 16005
/proc/meminfo: memFree=24135112/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 68184 0 0 0 60 9 0 0 20 0 4 0 30324502 1343819776 68994 33554432000 4194304 16246674 140735756181056 140735756180152 7371511 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 328081 68994 801 2943 0 324975 0
[pid=16005/tid=16006] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 68994 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 68994 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 68994 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.21 2.18 2.15 3/183 16009
/proc/meminfo: memFree=23687808/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 79435 0 0 0 138 11 0 0 20 0 4 0 30324502 1343819776 80245 33554432000 4194304 16246674 140735756181056 140735756180152 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 328081 80245 802 2943 0 324975 0
[pid=16005/tid=16006] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 80245 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 80245 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1343819776 80245 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.21 2.18 2.15 3/183 16009
/proc/meminfo: memFree=22821652/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1421892 CPUtime=3.09 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 164592 0 0 0 288 21 0 0 20 0 4 0 30324502 1456017408 165402 33554432000 4194304 16246674 140735756181056 140735756180152 6727187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 355473 165402 839 2943 0 352367 0
[pid=16005/tid=16006] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 165402 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 165402 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 165402 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1421892

[startup+6.30035 s]
/proc/loadavg: 2.21 2.18 2.15 3/183 16009
/proc/meminfo: memFree=21918048/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1421892 CPUtime=6.29 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 287002 0 0 0 591 38 0 0 20 0 4 0 30324502 1456017408 287812 33554432000 4194304 16246674 140735756181056 140735756180368 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 355473 287812 876 2943 0 352367 0
[pid=16005/tid=16006] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 287812 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 287812 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 287812 33554432000 4194304 16246674 140735756181056 139668970527920 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) 1421892

[startup+12.7004 s]
/proc/loadavg: 2.18 2.18 2.15 3/183 16009
/proc/meminfo: memFree=21917964/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1421892 CPUtime=12.69 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 287018 0 0 0 1231 38 0 0 20 0 4 0 30324502 1456017408 287828 33554432000 4194304 16246674 140735756181056 140735756162944 5600048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 355473 287828 891 2943 0 352367 0
[pid=16005/tid=16006] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 287828 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 287828 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1421892 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1456017408 287828 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1421892

[startup+25.5005 s]
/proc/loadavg: 2.15 2.17 2.15 3/183 16009
/proc/meminfo: memFree=21614744/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=1688132 CPUtime=25.48 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 362226 0 0 0 2501 47 0 0 20 0 4 0 30324502 1728647168 363547 33554432000 4194304 16246674 140735756181056 140735756178880 5842566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 422033 363547 918 2943 0 418927 0
[pid=16005/tid=16006] ppid=16002 vsize=1688132 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 1728647168 363547 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=1688132 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 1728647168 363547 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=1688132 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 1728647168 363547 33554432000 4194304 16246674 140735756181056 139668970527920 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) 1688132

[startup+51.1005 s]
/proc/loadavg: 2.23 2.19 2.15 3/183 16009
/proc/meminfo: memFree=20666860/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=2634308 CPUtime=51.08 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 598770 0 0 0 5027 81 0 0 20 0 4 0 30324502 2697531392 600091 33554432000 4194304 16246674 140735756181056 140735756180232 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 658577 600091 918 2943 0 655471 0
[pid=16005/tid=16006] ppid=16002 vsize=2634308 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 2697531392 600091 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=2634308 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 2697531392 600091 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=2634308 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 2697531392 600091 33554432000 4194304 16246674 140735756181056 139668970527920 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) 2634308

[startup+102.3 s]
/proc/loadavg: 2.22 2.19 2.15 3/183 16010
/proc/meminfo: memFree=20200784/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=3099204 CPUtime=102.28 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 714994 0 0 0 10127 101 0 0 20 0 4 0 30324502 3173584896 716315 33554432000 4194304 16246674 140735756181056 140735756178880 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 774801 716315 918 2943 0 771695 0
[pid=16005/tid=16006] ppid=16002 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 3173584896 716315 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 3173584896 716315 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 3173584896 716315 33554432000 4194304 16246674 140735756181056 139668970527920 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) 3099204


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

/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 5986914304 1403168 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=5846596 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 5986914304 1403168 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=5846596 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 5986914304 1403168 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 5846596

[startup+1362.3 s]
/proc/loadavg: 2.18 2.15 2.16 3/183 16064
/proc/meminfo: memFree=17041476/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=5882436 CPUtime=1362.07 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 3828215 0 0 0 135497 710 0 0 20 0 4 0 30324502 6023614464 1412128 33554432000 4194304 16246674 140735756181056 140735756178880 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1470609 1412128 919 2943 0 1467503 0
[pid=16005/tid=16006] ppid=16002 vsize=5882436 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6023614464 1412128 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=5882436 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6023614464 1412128 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=5882436 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6023614464 1412128 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 5882436

[startup+1422.3 s]
/proc/loadavg: 2.26 2.18 2.17 3/183 16065
/proc/meminfo: memFree=16893088/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6030916 CPUtime=1422.07 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 3865335 0 0 0 141484 723 0 0 20 0 4 0 30324502 6175657984 1449248 33554432000 4194304 16246674 140735756181056 140735756178880 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1507729 1449248 919 2943 0 1504623 0
[pid=16005/tid=16006] ppid=16002 vsize=6030916 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6175657984 1449248 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6030916 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6175657984 1449248 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6030916 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6175657984 1449248 33554432000 4194304 16246674 140735756181056 139668970527920 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) 6030916

[startup+1482.3 s]
/proc/loadavg: 2.19 2.17 2.17 3/184 16070
/proc/meminfo: memFree=16798624/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6125124 CPUtime=1482.04 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 3888887 0 0 0 147471 733 0 0 20 0 4 0 30324502 6272126976 1472800 33554432000 4194304 16246674 140735756181056 140735756180152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1531281 1472800 919 2943 0 1528175 0
[pid=16005/tid=16006] ppid=16002 vsize=6125124 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6272126976 1472800 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6125124 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6272126976 1472800 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6125124 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6272126976 1472800 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 6125124

[startup+1542.31 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 16071
/proc/meminfo: memFree=16649616/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6273604 CPUtime=1542.04 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 3926007 0 0 0 153459 745 0 0 20 0 4 0 30324502 6424170496 1509920 33554432000 4194304 16246674 140735756181056 140735756178944 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1568401 1509920 919 2943 0 1565295 0
[pid=16005/tid=16006] ppid=16002 vsize=6273604 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6424170496 1509920 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6273604 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6424170496 1509920 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6273604 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6424170496 1509920 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 6273604

[startup+1602.3 s]
/proc/loadavg: 2.11 2.15 2.16 4/183 16072
/proc/meminfo: memFree=16689440/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6233668 CPUtime=1602.03 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 4016632 0 0 0 159438 765 0 0 20 0 4 0 30324502 6383276032 1499937 33554432000 4194304 16246674 140735756181056 140735756180152 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1558417 1499937 919 2943 0 1555311 0
[pid=16005/tid=16006] ppid=16002 vsize=6233668 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6383276032 1499937 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6233668 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6383276032 1499937 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6233668 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6383276032 1499937 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 6233668

[startup+1662.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/182 16122
/proc/meminfo: memFree=23699456/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6562372 CPUtime=1662.02 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 4240633 0 0 0 165397 805 0 0 20 0 4 0 30324502 6719868928 1582369 33554432000 4194304 16246674 140735756181056 140735756180152 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1640593 1582369 919 2943 0 1637487 0
[pid=16005/tid=16006] ppid=16002 vsize=6562372 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6719868928 1582369 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6562372 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6719868928 1582369 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6562372 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6719868928 1582369 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 6562372

[startup+1722.3 s]
/proc/loadavg: 2.12 2.15 2.16 4/183 16124
/proc/meminfo: memFree=23637696/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6622788 CPUtime=1722 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 4442107 0 0 0 171357 843 0 0 20 0 4 0 30324502 6781734912 1597473 33554432000 4194304 16246674 140735756181056 140735756178880 4221137 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1655697 1597473 919 2943 0 1652591 0
[pid=16005/tid=16006] ppid=16002 vsize=6622788 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6781734912 1597473 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6622788 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6781734912 1597473 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6622788 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6781734912 1597473 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 6622788

[startup+1782.3 s]
/proc/loadavg: 2.08 2.13 2.16 3/183 16126
/proc/meminfo: memFree=23597708/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6662724 CPUtime=1781.99 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 4605947 0 0 0 177324 875 0 0 20 0 4 0 30324502 6822629376 1607457 33554432000 4194304 16246674 140735756181056 140735756180368 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1665681 1607457 919 2943 0 1662575 0
[pid=16005/tid=16006] ppid=16002 vsize=6662724 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6822629376 1607457 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6662724 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6822629376 1607457 33554432000 4194304 16246674 140735756181056 139668981001456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6662724 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6822629376 1607457 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 6662724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.14 2.16 3/183 16126
/proc/meminfo: memFree=23884476/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=6486596 CPUtime=1800.09 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) R 16002 16005 13233 0 -1 4202496 4633583 0 0 0 179128 881 0 0 20 0 4 0 30324502 6642274304 1563413 33554432000 4194304 16246674 140735756181056 140735756178880 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 1621649 1563421 919 2943 0 1618543 0
[pid=16005/tid=16006] ppid=16002 vsize=6486596 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16006/stat : 16006 (toysat) S 16002 16005 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30324502 6642274304 1563425 33554432000 4194304 16246674 140735756181056 139669065936112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=6487620 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) S 16002 16005 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30324502 6643322880 1563432 33554432000 4194304 16246674 140735756181056 139668981001232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16005/tid=16008] ppid=16002 vsize=6487620 CPUtime=0 cores=0,2,4,6
/proc/16005/task/16008/stat : 16008 (toysat) S 16002 16005 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30324502 6643322880 1563438 33554432000 4194304 16246674 140735756181056 139668970527920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 6486596

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

[startup+1800.81 s]
/proc/loadavg: 2.13 2.14 2.16 3/181 16126
/proc/meminfo: memFree=28329096/32872528 swapFree=681964/737152
[pid=16005] ppid=16002 vsize=0 CPUtime=1800.5 cores=0,2,4,6
/proc/16005/stat : 16005 (toysat) Z 16002 16005 13233 0 -1 4203532 4634297 0 0 0 179128 922 0 0 20 0 2 0 30324502 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16005/statm: 0 0 0 0 0 0 0
[pid=16005/tid=16007] ppid=16002 vsize=0 CPUtime=0.4 cores=0,2,4,6
/proc/16005/task/16007/stat : 16007 (toysat) R 16002 16005 13233 0 -1 4203588 7 0 0 0 0 40 0 0 20 0 2 0 30324502 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.82
CPU time (s): 1800.52
CPU user time (s): 1791.28
CPU system time (s): 9.23559
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 6662724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.28
system time used= 9.23559
maximum resident set size= 6429828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4634297
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= 1150
involuntary context switches= 1802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6043 second user time and 6.86996 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 22:45:53
IDJOB=4107114
IDBENCH=71883
IDSOLVER=2542
FILE ID=node112/4107114-1466282752
RUNJOBID= node112-1466264161-13249
PBS_JOBID= 19918218
Free space on /tmp= 71616 MiB

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

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

MD5SUM BENCH= 50c46af9fb7047a2695734d4451d8396
RANDOM SEED=497479255

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        24135756 kB
Buffers:           84388 kB
Cached:           256064 kB
SwapCached:         2028 kB
Active:          7088992 kB
Inactive:         159844 kB
Active(anon):    6908560 kB
Inactive(anon):     2096 kB
Active(file):     180432 kB
Inactive(file):   157748 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             27200 kB
Writeback:             0 kB
AnonPages:       7646784 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             605448 kB
SReclaimable:      48848 kB
SUnreclaim:       556600 kB
KernelStack:        1464 kB
PageTables:        19096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7787416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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= 71668 MiB
End job on node112 at 2016-06-18 23:15:54