Trace number 4103397

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.64 1802.85

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUMb612476f726e564b5a94f02f6f689a8e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2739023033
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2753150964
Optimality of the best value was proved NO
Number of variables14101
Total number of constraints1739
Number of constraints which are clauses181
Number of constraints which are cardinality constraints (but not clauses)1140
Number of constraints which are nor clauses,nor cardinality constraints418
Minimum length of a constraint2
Maximum length of a constraint2463
Number of terms in the objective function 14101
Biggest coefficient in the objective function 292878668
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 975388850291
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 292878668
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 975388850291
Number of bits of the biggest sum of numbers40
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-18T09:48:18+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-4103397-1466236098.opb"]
0.00/0.01	c use --random-gen="682741784 1913829336 963259396 2228515678 3005766869 3578925964 1218258891 1285391790 662836685 2926711437 688498467 3389128964 552021472 14657093 1479059618 3515873671 3556277166 183085716 4060178770 2733023307 325517716 421264195 2750563577 1200979351 3548817384 374889582 2118854553 109449658 1703599863 62254271 189320511 3805865010 1626830432 2022562762 806305398 3413292659 653665479 230580688 1861626925 1804401762 527151830 1707511832 361539751 4216017434 1842037337 4293787278 3289436974 3200335608 1528941500 1541770592 2795414525 254174182 1445659953 2615842953 3823121966 1362945966 2694690855 723611566 1731445857 136859217 4125890217 3067947511 405519328 1984876454 1056859688 94679794 2730782053 2589991137 183426039 3315250719 2628695182 1117264007 2312309734 577332940 4142066581 2107871659 203125180 3312326910 322861138 3033921544 2662983799 1753916298 2556164196 3023395083 457981690 1838073172 2368096880 2535491781 3961311415 2320493259 4182406496 2332844951 4061024190 299805775 1388012595 250218647 1816057272 700829175 4094182752 2275637276 3210531161 3862530695 843118006 2947380499 989944158 3112795113 260804347 4264509981 1148546405 1556297255 1365588367 1829172997 4067688398 2181526827 1367806664 3162115037 1376763204 3648652476 145878553 220083536 745101742 1148588956 3477331032 3110159142 3144959726 1248843581 1920888221 287280780 2032943285 1195985497 1864793317 3736687714 4064264511 4176575299 793462219 2779586731 1812545202 774685058 2444412890 1137234464 1473974809 1260295537 829175831 1260323662 1334465839 3297400736 1192310156 153018462 1915779987 1304042230 3562547771 3932645525 1853615829 733185753 1264833436 3083069991 3392876431 3823512631 1822466894 3175100193 1793049778 1494593806 2247195612 1550356232 3609438302 1360385989 1964152748 2068996443 3810300812 1890343692 3624053772 4180711684 4145815132 2536696916 1137831416 2728090266 2754887467 3168408665 3842686468 989925777 2946887543 1422164944 2983497409 1448744163 1897452382 1137919035 1468257659 1548394337 3006149831 2807234382 616288196 1672325260 3742963635 2917426628 2574833277 1075508043 339573641 490727469 383491040 787946987 2725831332 1944897437 1736032667 3513538937 498546559 2635331382 3323964674 3053123547 2416442934 3324778531 1002168318 3899043584 4015376461 280726479 3286447748 1126128730 2762410101 3195526228 300148440 3040878847 1577132894 33294601 2881434100 3452293217 806507381 3572896700 506988807 4190101399 3254947180 1374414380 4234456948 2235379513 2178921586 358599781 4252456055 16490214 3940663175 1820960382 1575354280 315748403 2684131623 220002021 2771398287 3092317457 1515804973 2928883362 2085064956 3293787809 2129485705 1523451324 1290998902 3760141577 973536062 4069957389 3047185491 1973299940 255 362436" option to reproduce the execution
0.49/0.52	c #vars 14101
0.49/0.52	c #constraints 1739
1.59/1.61	c BCD2: Hardening is enabled.
1.59/1.61	c BCD2: BiasedSearch is enabled.
1.59/1.61	c Solving starts ...
1.59/1.61	c ============================[ Search Statistics ]============================
1.59/1.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.61	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.61	c =============================================================================
1.59/1.63	c  0.0s |       0 |        0 |        0 |     5280      0 |        0 |        0
1.79/1.80	c  0.2s |       0 |     1212 |        0 |     5280      0 |        0 |        0
1.79/1.80	c #cpu_time = 0.134s
1.79/1.80	c #wall_clock_time = 0.134s
1.79/1.80	c #decision = 1212
1.79/1.80	c #random_decision = 6
1.79/1.80	c #conflict = 0
1.79/1.81	c #restart = 0
1.79/1.81	o 143878387878
79.38/79.45	c BCD2: updating upper bound: 975388850291 -> 143878387877
157.97/158.06	c BCD2: 0 <= obj <= 143878387877
157.97/158.06	c BCD2: #cores=0, #unrelaxed=14101, #relaxed=0, #hardened=0
157.97/158.06	c BCD2: #sat=1 #unsat=1 bias=1/2
157.97/158.06	c Solving starts ...
157.97/158.06	c ============================[ Search Statistics ]============================
157.97/158.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
157.97/158.06	c       |         |          |          |    Limit     GC | Var      | Constra 
157.97/158.06	c =============================================================================
157.97/158.06	c  0.0s |       0 |        0 |        0 |     5280      0 |        0 |        0
158.07/158.10	c  0.0s |       0 |      971 |        0 |     5280      0 |        0 |        0
158.07/158.10	c #cpu_time = 0.042s
158.07/158.10	c #wall_clock_time = 0.042s
158.07/158.10	c #decision = 971
158.07/158.10	c #random_decision = 0
158.07/158.10	c #conflict = 0
158.07/158.10	c #restart = 0
158.07/158.10	c BCD2: found a new core of size 6: cost of the new core is >=17229002
158.07/158.10	c lower bound updated to 17229002
238.76/238.89	c BCD2: 17229002 <= obj <= 143878387877
238.76/238.89	c BCD2: #cores=1, #unrelaxed=14095, #relaxed=6, #hardened=0
238.76/238.89	c BCD2: #sat=1 #unsat=2 bias=2/3
238.76/238.89	c Solving starts ...
238.76/238.89	c ============================[ Search Statistics ]============================
238.76/238.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
238.76/238.89	c       |         |          |          |    Limit     GC | Var      | Constra 
238.76/238.89	c =============================================================================
238.76/238.89	c  0.0s |       0 |        0 |        0 |     5280      0 |        0 |        1
238.85/238.93	c  0.0s |       0 |      978 |        0 |     5280      0 |        0 |        1
238.85/238.93	c #cpu_time = 0.042s
238.85/238.93	c #wall_clock_time = 0.042s
238.85/238.93	c #decision = 978
238.85/238.93	c #random_decision = 0
238.85/238.93	c #conflict = 0
238.85/238.93	c #restart = 0
238.85/238.93	c BCD2: found a new core of size 4: cost of the new core is >=13065727
238.85/238.93	c lower bound updated to 30294729
317.64/317.78	c BCD2: 30294729 <= obj <= 143878387877
317.64/317.78	c BCD2: #cores=2, #unrelaxed=14091, #relaxed=10, #hardened=0
317.64/317.78	c BCD2: #sat=1 #unsat=3 bias=3/4
317.64/317.78	c Solving starts ...
317.64/317.78	c ============================[ Search Statistics ]============================
317.64/317.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
317.64/317.78	c       |         |          |          |    Limit     GC | Var      | Constra 
317.64/317.78	c =============================================================================
317.64/317.78	c  0.0s |       0 |        0 |        0 |     5280      0 |        0 |        4
317.74/317.84	c  0.1s |       0 |     2582 |        0 |     5280      0 |        0 |        4
317.74/317.84	c #cpu_time = 0.055s
317.74/317.84	c #wall_clock_time = 0.055s
317.74/317.84	c #decision = 2582
317.74/317.84	c #random_decision = 0
317.74/317.84	c #conflict = 0
317.74/317.84	c #restart = 0
317.74/317.84	c BCD2: found a new core of size 17: cost of the new core is >=4183601
317.74/317.84	c lower bound updated to 34478330
396.22/396.35	c BCD2: 34478330 <= obj <= 143878387877
396.22/396.35	c BCD2: #cores=3, #unrelaxed=14074, #relaxed=27, #hardened=0
396.22/396.35	c BCD2: #sat=1 #unsat=4 bias=4/5
396.22/396.35	c Solving starts ...
396.22/396.35	c ============================[ Search Statistics ]============================
396.22/396.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
396.22/396.35	c       |         |          |          |    Limit     GC | Var      | Constra 
396.22/396.35	c =============================================================================
396.22/396.35	c  0.0s |       0 |        0 |        0 |     5280      0 |        0 |        8
396.32/396.42	c  0.1s |       0 |     2852 |        0 |     5280      0 |        0 |        8
396.32/396.42	c #cpu_time = 0.057s
396.32/396.42	c #wall_clock_time = 0.057s
396.32/396.42	c #decision = 2852
396.32/396.42	c #random_decision = 0
396.32/396.42	c #conflict = 0
396.32/396.42	c #restart = 0
396.32/396.42	c BCD2: found a new core of size 11: cost of the new core is >=17004284
396.32/396.42	c lower bound updated to 51482614
476.22/476.39	c BCD2: 51482614 <= obj <= 143878387877
476.22/476.39	c BCD2: #cores=4, #unrelaxed=14063, #relaxed=38, #hardened=0
476.22/476.39	c BCD2: #sat=1 #unsat=5 bias=5/6
476.22/476.40	c Solving starts ...
476.22/476.40	c ============================[ Search Statistics ]============================
476.22/476.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
476.22/476.40	c       |         |          |          |    Limit     GC | Var      | Constra 
476.22/476.40	c =============================================================================
476.22/476.40	c  0.0s |       0 |        0 |        0 |     5280      0 |        0 |        9
476.32/476.49	c  0.1s |       0 |     4918 |        0 |     5280      0 |        0 |        9
476.32/476.49	c #cpu_time = 0.074s
476.32/476.49	c #wall_clock_time = 0.074s
476.32/476.49	c #decision = 4918
476.32/476.49	c #random_decision = 0
476.32/476.49	c #conflict = 0
476.32/476.49	c #restart = 0
476.32/476.49	c BCD2: found a new core of size 59: cost of the new core is >=8555143
476.32/476.49	c lower bound updated to 60037757
554.40/554.58	c BCD2: 60037757 <= obj <= 143878387877
554.40/554.58	c BCD2: #cores=5, #unrelaxed=14004, #relaxed=97, #hardened=0
554.40/554.58	c BCD2: #sat=1 #unsat=6 bias=6/7
556.50/556.62	c Solving starts ...
556.50/556.62	c ============================[ Search Statistics ]============================
556.50/556.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
556.50/556.62	c       |         |          |          |    Limit     GC | Var      | Constra 
556.50/556.62	c =============================================================================
556.50/556.62	c  0.0s |       0 |        0 |        0 |     5280      0 |        0 |       11
556.60/556.74	c  0.1s |       0 |     6865 |        4 |     5280      0 |        0 |       11
556.60/556.74	c #cpu_time = 0.091s
556.60/556.74	c #wall_clock_time = 0.091s
556.60/556.74	c #decision = 6865
556.60/556.74	c #random_decision = 0
556.60/556.74	c #conflict = 4
556.60/556.74	c #restart = 0
556.60/556.74	c BCD2: found a new core of size 135: cost of the new core is >=12126022
556.60/556.74	c lower bound updated to 72163779
634.46/634.65	c BCD2: 72163779 <= obj <= 143878387877
634.46/634.65	c BCD2: #cores=6, #unrelaxed=13869, #relaxed=232, #hardened=0
634.46/634.65	c BCD2: #sat=1 #unsat=7 bias=7/8

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

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.18 2.18 3/179 17336
/proc/meminfo: memFree=29305804/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 2682 0 0 0 0 0 0 0 20 0 4 0 25656570 736555008 3042 33554432000 4194304 16246674 140733304413328 140733304412752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 180335 3052 441 2943 0 177229 0
[pid=17336/tid=17337] ppid=17333 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 754380800 3111 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 758575104 3129 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 762769408 3145 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.21 2.18 2.18 3/179 17336
/proc/meminfo: memFree=29305804/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 31087 0 0 0 5 4 0 0 20 0 4 0 25656570 1335431168 31386 33554432000 4194304 16246674 140733304413328 140733304412640 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 326033 31402 799 2943 0 322927 0
[pid=17336/tid=17337] ppid=17333 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 1335431168 31414 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 1335431168 31424 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 1335431168 31436 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.20053 s]
/proc/loadavg: 2.21 2.18 2.18 3/179 17336
/proc/meminfo: memFree=29305804/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 46431 0 0 0 13 6 0 0 20 0 4 0 25656570 1344868352 47240 33554432000 4194304 16246674 140733304413328 140733304412640 8055578 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 328337 47240 799 2943 0 325231 0
[pid=17336/tid=17337] ppid=17333 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 1344868352 47240 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 1344868352 47240 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 1344868352 47240 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300515 s]
/proc/loadavg: 2.21 2.18 2.18 3/179 17336
/proc/meminfo: memFree=29305804/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 56312 0 0 0 22 7 0 0 20 0 4 0 25656570 1344868352 57121 33554432000 4194304 16246674 140733304413328 140733304412640 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 328337 57121 800 2943 0 325231 0
[pid=17336/tid=17337] ppid=17333 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 1344868352 57121 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 1344868352 57121 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 1344868352 57121 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700425 s]
/proc/loadavg: 2.21 2.18 2.18 3/179 17336
/proc/meminfo: memFree=29305804/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=1316420 CPUtime=0.69 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 65186 0 0 0 61 8 0 0 20 0 4 0 25656570 1348014080 65995 33554432000 4194304 16246674 140733304413328 140733304412640 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 329105 65995 843 2943 0 325999 0
[pid=17336/tid=17337] ppid=17333 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 1348014080 65995 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 1348014080 65995 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 1348014080 65995 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.50042 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 17340
/proc/meminfo: memFree=29042592/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 65698 0 0 0 141 8 0 0 20 0 4 0 25656570 1348014080 66507 33554432000 4194304 16246674 140733304413328 140733304395200 4225056 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 329105 66507 844 2943 0 325999 0
[pid=17336/tid=17337] ppid=17333 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 1348014080 66507 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 1348014080 66507 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 1348014080 66507 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10041 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 17340
/proc/meminfo: memFree=28788268/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=1412676 CPUtime=3.09 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 293791 0 0 0 271 38 0 0 20 0 4 0 25656570 1446580224 294600 33554432000 4194304 16246674 140733304413328 140733304411992 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 353169 294605 886 2943 0 350063 0
[pid=17336/tid=17337] ppid=17333 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 1446580224 294607 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 1446580224 294610 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=1412676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 1446580224 294612 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1412676

[startup+6.30038 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 17340
/proc/meminfo: memFree=28123548/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=1416772 CPUtime=6.29 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 294867 0 0 0 591 38 0 0 20 0 4 0 25656570 1450774528 295676 33554432000 4194304 16246674 140733304413328 140733304411200 4220501 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 354193 295676 886 2943 0 351087 0
[pid=17336/tid=17337] ppid=17333 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 1450774528 295676 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 1450774528 295676 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 1450774528 295676 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1416772

[startup+12.7004 s]
/proc/loadavg: 2.23 2.19 2.18 4/183 17340
/proc/meminfo: memFree=27466500/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=2073156 CPUtime=12.69 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 458963 0 0 0 1207 62 0 0 20 0 4 0 25656570 2122911744 459772 33554432000 4194304 16246674 140733304413328 140733304412504 13892464 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 518289 459772 886 2943 0 515183 0
[pid=17336/tid=17337] ppid=17333 vsize=2073156 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 2122911744 459772 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=2073156 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25656570 2122911744 459772 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=2073156 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 2122911744 459772 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2073156

[startup+25.5005 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 17340
/proc/meminfo: memFree=26018416/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=3505732 CPUtime=25.49 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 817107 0 0 0 2438 111 0 0 20 0 4 0 25656570 3589869568 817916 33554432000 4194304 16246674 140733304413328 140733304412640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 876433 817916 886 2943 0 873327 0
[pid=17336/tid=17337] ppid=17333 vsize=3505732 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 3589869568 817916 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=3505732 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 3589869568 817916 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=3505732 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 3589869568 817916 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3505732

[startup+51.1005 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 17340
/proc/meminfo: memFree=23719160/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=5800516 CPUtime=51.08 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 1390805 0 0 0 4917 191 0 0 20 0 4 0 25656570 5939728384 1391614 33554432000 4194304 16246674 140733304413328 140733304412424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 1450129 1391614 887 2943 0 1447023 0
[pid=17336/tid=17337] ppid=17333 vsize=5800516 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 5939728384 1391614 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=5800516 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 5939728384 1391614 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=5800516 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 5939728384 1391614 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5800516

[startup+102.301 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 17341
/proc/meminfo: memFree=26445176/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=3078724 CPUtime=102.28 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 1899480 0 0 0 9936 292 0 0 20 0 4 0 25656570 3152613376 711169 33554432000 4194304 16246674 140733304413328 140733304411200 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 769681 711169 890 2943 0 766575 0
[pid=17336/tid=17337] ppid=17333 vsize=3078724 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 3152613376 711169 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=3078724 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 3152613376 711169 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=3078724 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 3152613376 711169 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3078724


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


[startup+1422.3 s]
/proc/loadavg: 2.30 2.23 2.19 4/182 17448
/proc/meminfo: memFree=1279060/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=14186052 CPUtime=1422.03 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13837723 0 0 0 140024 2179 0 0 20 0 4 0 25656570 14526517248 3488300 33554432000 4194304 16246674 140733304413328 140733304411264 14016596 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 3546513 3488300 920 2943 0 3543407 0
[pid=17336/tid=17337] ppid=17333 vsize=14186052 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 14526517248 3488300 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=14186052 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 14526517248 3488300 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=14186052 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 14526517248 3488300 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 14186052

[startup+1482.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 17499
/proc/meminfo: memFree=13401236/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=14594628 CPUtime=1482.02 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13885356 0 0 0 146008 2194 0 0 20 0 4 0 25656570 14944899072 3590099 33554432000 4194304 16246674 140733304413328 140733304411264 14016585 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 3648657 3590099 920 2943 0 3645551 0
[pid=17336/tid=17337] ppid=17333 vsize=14594628 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 14944899072 3590099 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=14594628 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 14944899072 3590099 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=14594628 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 14944899072 3590099 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 14594628

[startup+1542.31 s]
/proc/loadavg: 2.16 2.20 2.18 4/183 17500
/proc/meminfo: memFree=2138288/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=14594628 CPUtime=1542.01 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13885703 0 0 0 152005 2196 0 0 20 0 4 0 25656570 14944899072 3590444 33554432000 4194304 16246674 140733304413328 140733304411264 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 3648657 3590444 920 2943 0 3645551 0
[pid=17336/tid=17337] ppid=17333 vsize=14594628 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 14944899072 3590444 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=14594628 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 14944899072 3590444 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=14594628 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 14944899072 3590444 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 14594628

[startup+1602.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 17501
/proc/meminfo: memFree=1845748/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=14886468 CPUtime=1602 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13903399 0 0 0 157995 2205 0 0 20 0 4 0 25656570 15243743232 3663328 33554432000 4194304 16246674 140733304413328 140733304411264 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17336/statm: 3721617 3663328 920 2943 0 3718511 0
[pid=17336/tid=17337] ppid=17333 vsize=14886468 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 15243743232 3663328 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=14886468 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 15243743232 3663328 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=14886468 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 15243743232 3663328 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 14886468

[startup+1662.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 17550
/proc/meminfo: memFree=7541880/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=15108676 CPUtime=1661.89 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13904190 0 61 0 163978 2211 0 0 20 0 4 0 25656570 15471284224 3718865 33554432000 4194304 16246674 140733304413328 140733304411264 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 9 0 0
/proc/17336/statm: 3777169 3718865 920 2943 0 3774063 0
[pid=17336/tid=17337] ppid=17333 vsize=15108676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 15471284224 3718865 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=15108676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 15471284224 3718865 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=15108676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 15471284224 3718865 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 15108676

[startup+1722.3 s]
/proc/loadavg: 2.10 2.16 2.17 3/183 17551
/proc/meminfo: memFree=1363508/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=15108676 CPUtime=1721.88 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13904281 0 61 0 169973 2215 0 0 20 0 4 0 25656570 15471284224 3718956 33554432000 4194304 16246674 140733304413328 140733304411264 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 9 0 0
/proc/17336/statm: 3777169 3718956 920 2943 0 3774063 0
[pid=17336/tid=17337] ppid=17333 vsize=15108676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 15471284224 3718956 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=15108676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 15471284224 3718956 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=15108676 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 15471284224 3718956 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 15108676

[startup+1782.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/183 17553
/proc/meminfo: memFree=1134280/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=15337028 CPUtime=1781.87 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13904648 0 61 0 175965 2222 0 0 20 0 4 0 25656570 15705116672 3776044 33554432000 4194304 16246674 140733304413328 140733304411200 14013920 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 9 0 0
/proc/17336/statm: 3834257 3776044 920 2943 0 3831151 0
[pid=17336/tid=17337] ppid=17333 vsize=15337028 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 15705116672 3776044 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=15337028 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 15705116672 3776044 33554432000 4194304 16246674 140733304413328 140630899530768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=15337028 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 15705116672 3776044 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 15337028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.21 s]
/proc/loadavg: 2.40 2.22 2.19 3/183 17603
/proc/meminfo: memFree=14251256/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=15337028 CPUtime=1800 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) R 17333 17336 12983 0 -1 4202496 13905275 0 146 0 177776 2224 0 0 20 0 4 0 25656570 15705116672 3749671 33554432000 4194304 16246674 140733304413328 140733304412424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 187 0 0
/proc/17336/statm: 3834257 3749671 920 2943 0 3831151 0
[pid=17336/tid=17337] ppid=17333 vsize=15337028 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17337/stat : 17337 (toysat) S 17333 17336 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25656570 15705116672 3749671 33554432000 4194304 16246674 140733304413328 140630910020848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=15337028 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) S 17333 17336 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25656570 15705116672 3749671 33554432000 4194304 16246674 140733304413328 140630899530992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17336/tid=17339] ppid=17333 vsize=15337028 CPUtime=0 cores=1,3,5,7
/proc/17336/task/17339/stat : 17339 (toysat) S 17333 17336 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25656570 15705116672 3749671 33554432000 4194304 16246674 140733304413328 140630785256624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 15337028

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

[startup+1802.3 s]
/proc/loadavg: 2.40 2.22 2.19 3/183 17603
/proc/meminfo: memFree=14251256/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=0 CPUtime=1800.1 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) Z 17333 17336 12983 0 -1 4203532 13905275 0 146 0 177776 2234 0 0 20 0 2 0 25656570 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 187 0 0
/proc/17336/statm: 0 0 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) R 17333 17336 12983 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 25656570 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1802.7 s]
/proc/loadavg: 2.40 2.22 2.19 3/183 17603
/proc/meminfo: memFree=14251256/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=0 CPUtime=1800.49 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) Z 17333 17336 12983 0 -1 4203532 13905275 0 146 0 177776 2273 0 0 20 0 2 0 25656570 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 187 0 0
/proc/17336/statm: 0 0 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) R 17333 17336 12983 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 25656570 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0

[startup+1802.8 s]
/proc/loadavg: 2.40 2.22 2.19 3/183 17603
/proc/meminfo: memFree=14251256/32872528 swapFree=1286400/1433568
[pid=17336] ppid=17333 vsize=0 CPUtime=1800.59 cores=1,3,5,7
/proc/17336/stat : 17336 (toysat) Z 17333 17336 12983 0 -1 4203532 13905275 0 146 0 177776 2283 0 0 20 0 2 0 25656570 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 187 0 0
/proc/17336/statm: 0 0 0 0 0 0 0
[pid=17336/tid=17338] ppid=17333 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/17336/task/17338/stat : 17338 (toysat) R 17333 17336 12983 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 25656570 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.85
CPU time (s): 1800.64
CPU user time (s): 1777.76
CPU system time (s): 22.8815
CPU usage (%): 99.8775
Max. virtual memory (cumulated for all children) (KiB): 15337028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.76
system time used= 22.8815
maximum resident set size= 15104176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13905275
page faults= 146
swaps= 0
block input operations= 9264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 726
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69029 second user time and 7.2419 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 09:48:18
IDJOB=4103397
IDBENCH=2348
IDSOLVER=2542
FILE ID=node130/4103397-1466236098
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103397-1466236098/watcher-4103397-1466236098 -o /tmp/evaluation-result-4103397-1466236098/solver-4103397-1466236098 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103397-1466236098.opb

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

MD5SUM BENCH= b612476f726e564b5a94f02f6f689a8e
RANDOM SEED=953021270

node130.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.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.73
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.365
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.365
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.365
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.365
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.365
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.53
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.365
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        29305936 kB
Buffers:          122940 kB
Cached:           133080 kB
SwapCached:         1804 kB
Active:          1232976 kB
Inactive:         155572 kB
Active(anon):    1133292 kB
Inactive(anon):     1604 kB
Active(file):      99684 kB
Inactive(file):   153968 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             19064 kB
Writeback:             0 kB
AnonPages:       2569596 kB
Mapped:            10664 kB
Shmem:                 0 kB
Slab:             603620 kB
SReclaimable:      47304 kB
SUnreclaim:       556316 kB
KernelStack:        1480 kB
PageTables:         8668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2712356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    600064 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= 71712 MiB
End job on node130 at 2016-06-18 10:18:21