Trace number 4107126

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.48 1800.79

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__64.opb
MD5SUM4c80e068345db0368fa952d17e3e770d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46877
Best CPU time to get the best result obtained on this benchmark2.27365
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2578
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)42
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint64
Maximum length of a constraint513
Number of terms in the objective function 2560
Biggest coefficient in the objective function 94409
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 111651968
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 111651968
Number of bits of the biggest sum of numbers27
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:49:45+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-4107126-1466282985.opb"]
0.00/0.01	c use --random-gen="1053867698 3394625187 3037824055 232828189 2604413836 4121691279 1059733575 1783248545 2980412178 601540334 1353201161 3892703059 3640165528 1506846807 3173314616 239993161 3602784953 4232575017 3070420485 2595852588 3340882174 1811440579 2193866193 2624201976 816128984 404552952 3146336476 1865779444 3243283696 2721535914 1390235283 4128041745 2755571173 2016583707 205600501 1373216822 3697522716 2709495880 3708455920 4230096790 1623143783 1476726644 990215622 2021551983 4285961025 2765866132 3470221725 3589662938 2422701773 2077831917 1708989097 2196516134 3914083965 392528124 424958730 3540871929 224963598 3066729474 4254493248 3350613040 3286575370 3033479888 3228859136 855708922 777933264 3876507920 687083756 2802097323 252759779 607789256 3726591944 2198286722 3552660391 601582082 1531490402 2495023846 430869502 941704914 3289891019 3777975414 692231747 952401175 3115810857 2302855533 3281166270 2554854729 2700251859 3530679546 3780514321 3366846386 3339564868 3759297257 408369517 2549424042 1291558343 1413496822 3249876739 3653511741 466947541 1662483638 1977730263 3072913407 117811699 645208347 80474955 863259301 4137465624 2281492737 685370942 678707679 381512772 1199147635 3696281519 3020678800 3408529699 3346315888 2134520508 131230689 2032645039 986681640 2817841783 4212177634 1508751036 451329316 3742872915 3607242320 1828243002 4137643123 991118262 4188706279 824490622 1871466420 1922987082 1070108400 2879398973 616079172 140044909 1301612879 1948490360 940233666 2275637355 205481914 3816048631 3729974875 3577297353 3393284593 373493028 5065757 4190596175 34287763 776218033 3295827196 2229516329 468632943 1926331279 3278449983 194631527 1636626067 2621531216 2259456232 2518831011 82163253 652382895 650669442 3130758053 3057906430 35800692 729313790 718384078 3147376815 4066232621 4140772880 882398821 4240546856 1006707701 1438031751 717241330 2449181219 2833337080 3271779052 1787192393 2517245017 1530598166 4171062287 1279102368 1805362420 2143543095 164859238 7834201 2848169727 583336858 3551399576 1164370137 4088285829 3908649255 1099847196 1998720306 41072647 3348496142 2958468511 232381700 1984287705 1270577608 3277904679 4202579856 1040519492 4269530118 177968281 1473772739 3648575227 418919845 2824431422 343475121 348069807 124741351 3774549572 1746525015 3955971569 3167171513 3341341622 1430806577 1339022494 216148268 893385705 1027191743 285041795 2024725334 2666552816 2983019766 2863507984 3808682290 2333627788 299903739 3680011408 3166509100 4176858408 2762253451 1148799355 1533713656 3184511138 3099184297 857779942 2164348088 1449648951 1103565287 439141029 905310836 1308231241 1001192313 1054666801 1478645344 726454185 225862407 802331321 3714800985 3842562860 255 362436" option to reproduce the execution
0.00/0.03	c #vars 2578
0.00/0.03	c #constraints 60
0.00/0.06	c BCD2: Hardening is enabled.
0.00/0.06	c BCD2: BiasedSearch is enabled.
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      886      0 |        0 |        0
0.08/0.13	c  0.1s |       1 |      411 |      100 |      886      0 |        0 |        0
0.19/0.24	c  0.2s |       2 |      963 |      250 |      975      0 |        0 |        0
0.29/0.38	c  0.3s |       2 |     2200 |      323 |     1073      0 |        0 |        0
0.29/0.38	c #cpu_time = 0.319s
0.29/0.38	c #wall_clock_time = 0.320s
0.29/0.38	c #decision = 2200
0.29/0.38	c #random_decision = 10
0.29/0.38	c #conflict = 323
0.29/0.38	c #restart = 2
0.29/0.38	o 656345
0.39/0.49	c BCD2: updating upper bound: 111651968 -> 656344
0.49/0.59	c BCD2: 0 <= obj <= 656344
0.49/0.59	c BCD2: #cores=0, #unrelaxed=2560, #relaxed=0, #hardened=0
0.49/0.59	c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.59	c Solving starts ...
0.49/0.59	c ============================[ Search Statistics ]============================
0.49/0.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.59	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.59	c =============================================================================
0.49/0.60	c  0.0s |       0 |        0 |        0 |     1073      0 |        0 |        0
0.59/0.60	c  0.0s |       0 |      575 |        0 |     1073      0 |        0 |        0
0.59/0.60	c #cpu_time = 0.004s
0.59/0.60	c #wall_clock_time = 0.004s
0.59/0.60	c #decision = 575
0.59/0.60	c #random_decision = 0
0.59/0.60	c #conflict = 0
0.59/0.60	c #restart = 0
0.59/0.60	c BCD2: found a new core of size 128: cost of the new core is >=8301
0.59/0.60	c lower bound updated to 8301
0.59/0.66	c BCD2: 8301 <= obj <= 656344
0.59/0.66	c BCD2: #cores=1, #unrelaxed=2432, #relaxed=128, #hardened=0
0.59/0.66	c BCD2: #sat=1 #unsat=2 bias=2/3
0.59/0.66	c Solving starts ...
0.59/0.66	c ============================[ Search Statistics ]============================
0.59/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.66	c =============================================================================
0.59/0.66	c  0.0s |       0 |        0 |        0 |     1073      0 |        0 |        1
0.59/0.67	c  0.0s |       0 |     1084 |        0 |     1073      0 |        0 |        1
0.59/0.67	c #cpu_time = 0.006s
0.59/0.67	c #wall_clock_time = 0.006s
0.59/0.67	c #decision = 1084
0.59/0.67	c #random_decision = 0
0.59/0.67	c #conflict = 0
0.59/0.67	c #restart = 0
0.59/0.67	c BCD2: found a new core of size 510: cost of the new core is >=1005
0.59/0.67	c lower bound updated to 9306
0.68/0.74	c BCD2: 9306 <= obj <= 656344
0.68/0.74	c BCD2: #cores=2, #unrelaxed=1922, #relaxed=638, #hardened=0
0.68/0.74	c BCD2: #sat=1 #unsat=3 bias=3/4

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

pid=24330
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.16 2.22 2.24 3/181 24333
/proc/meminfo: memFree=20930200/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 2883 0 0 0 0 0 0 0 20 0 4 0 30344418 788983808 2733 33554432000 4194304 16246674 140734497941776 140734497941200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 193135 2742 441 2943 0 190029 0
[pid=24333/tid=24334] ppid=24330 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 806809600 2803 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=793020 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 812052480 2820 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30344418 816246784 2836 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.16 2.22 2.24 3/181 24333
/proc/meminfo: memFree=20930200/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 19723 0 0 0 6 2 0 0 20 0 4 0 30344418 1250496512 19519 33554432000 4194304 16246674 140734497941776 140734497941088 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 305297 19524 885 2943 0 302191 0
[pid=24333/tid=24334] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 19526 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 19530 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 19533 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200538 s]
/proc/loadavg: 2.16 2.22 2.24 3/181 24333
/proc/meminfo: memFree=20930200/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 29512 0 0 0 15 4 0 0 20 0 4 0 30344418 1250496512 29308 33554432000 4194304 16246674 140734497941776 140734497941088 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 305297 29309 885 2943 0 302191 0
[pid=24333/tid=24334] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 29309 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 29309 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 29309 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300464 s]
/proc/loadavg: 2.16 2.22 2.24 3/181 24333
/proc/meminfo: memFree=20930200/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 39551 0 0 0 23 6 0 0 20 0 4 0 30344418 1250496512 39347 33554432000 4194304 16246674 140734497941776 140734497941088 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 305297 39352 885 2943 0 302191 0
[pid=24333/tid=24334] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 39354 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 39357 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1250496512 39361 33554432000 4194304 16246674 140734497941776 140139830430896 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) 1221188

[startup+0.700403 s]
/proc/loadavg: 2.16 2.22 2.24 3/181 24333
/proc/meminfo: memFree=20930200/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1307204 CPUtime=0.68 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 99885 0 0 0 54 14 0 0 20 0 4 0 30344418 1338576896 99681 33554432000 4194304 16246674 140734497941776 140734497923648 12654376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 326801 99681 915 2943 0 323695 0
[pid=24333/tid=24334] ppid=24330 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1338576896 99681 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1338576896 99681 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1338576896 99681 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204

[startup+1.50039 s]
/proc/loadavg: 2.16 2.22 2.24 3/185 24337
/proc/meminfo: memFree=20296184/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 235008 0 0 0 116 33 0 0 20 0 4 0 30344418 1338576896 234804 33554432000 4194304 16246674 140734497941776 140734497923648 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 326801 234816 915 2943 0 323695 0
[pid=24333/tid=24334] ppid=24330 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1338576896 234825 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1338576896 234836 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1338576896 234845 33554432000 4194304 16246674 140734497941776 140139830430896 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) 1307204

[startup+3.1004 s]
/proc/loadavg: 2.14 2.21 2.24 3/185 24337
/proc/meminfo: memFree=19793168/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1324612 CPUtime=3.09 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 272342 0 0 0 271 38 0 0 20 0 4 0 30344418 1356402688 272138 33554432000 4194304 16246674 140734497941776 140734497923648 12371373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 331153 272138 915 2943 0 328047 0
[pid=24333/tid=24334] ppid=24330 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1356402688 272138 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1356402688 272138 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1356402688 272138 33554432000 4194304 16246674 140734497941776 140139830430896 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) 1324612

[startup+6.30041 s]
/proc/loadavg: 2.14 2.21 2.24 4/185 24337
/proc/meminfo: memFree=19728244/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1388100 CPUtime=6.29 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 288214 0 0 0 590 39 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140734497941088 12371171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 347025 288010 915 2943 0 343919 0
[pid=24333/tid=24334] ppid=24330 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140139830430896 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) 1388100

[startup+12.7004 s]
/proc/loadavg: 2.19 2.22 2.24 3/185 24337
/proc/meminfo: memFree=19728640/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1388100 CPUtime=12.69 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 288214 0 0 0 1230 39 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140734497941088 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 347025 288010 915 2943 0 343919 0
[pid=24333/tid=24334] ppid=24330 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1421414400 288010 33554432000 4194304 16246674 140734497941776 140139830430896 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) 1388100

[startup+25.5005 s]
/proc/loadavg: 2.32 2.25 2.25 3/186 24340
/proc/meminfo: memFree=19281596/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=1835588 CPUtime=25.49 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 434646 0 0 0 2490 59 0 0 20 0 4 0 30344418 1879642112 399882 33554432000 4194304 16246674 140734497941776 140734497941088 12449391 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 458897 399882 915 2943 0 455791 0
[pid=24333/tid=24334] ppid=24330 vsize=1835588 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 1879642112 399882 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=1835588 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 1879642112 399882 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=1835588 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 1879642112 399882 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1835588

[startup+51.1005 s]
/proc/loadavg: 2.21 2.22 2.24 4/186 24340
/proc/meminfo: memFree=18543024/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=2377284 CPUtime=51.08 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 570070 0 0 0 5032 76 0 0 20 0 4 0 30344418 2434338816 535306 33554432000 4194304 16246674 140734497941776 140734497923648 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 594321 535306 915 2943 0 591215 0
[pid=24333/tid=24334] ppid=24330 vsize=2377284 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 2434338816 535306 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=2377284 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 2434338816 535306 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=2377284 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 2434338816 535306 33554432000 4194304 16246674 140734497941776 140139830430896 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) 2377284

[startup+102.3 s]
/proc/loadavg: 2.30 2.24 2.25 3/185 24341
/proc/meminfo: memFree=18162608/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=2571844 CPUtime=102.28 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 618710 0 0 0 10143 85 0 0 20 0 4 0 30344418 2633568256 583946 33554432000 4194304 16246674 140734497941776 140734497940952 4225113 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 642961 583946 915 2943 0 639855 0
[pid=24333/tid=24334] ppid=24330 vsize=2571844 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 2633568256 583946 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=2571844 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30344418 2633568256 583946 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=2571844 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 2633568256 583946 33554432000 4194304 16246674 140734497941776 140139830430896 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) 2571844


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

/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 3790301 0 0 0 135512 694 0 0 20 0 4 0 30344418 6752374784 1589774 33554432000 4194304 16246674 140734497941776 140734497940872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1648529 1589774 915 2943 0 1645423 0
[pid=24333/tid=24334] ppid=24330 vsize=6594116 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 6752374784 1589774 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=6594116 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 6752374784 1589774 33554432000 4194304 16246674 140734497941776 140139840904208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=6594116 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 6752374784 1589774 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 6594116

[startup+1422.3 s]
/proc/loadavg: 2.29 2.27 2.25 3/185 24445
/proc/meminfo: memFree=18908668/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=6727236 CPUtime=1422.05 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 4201694 0 0 0 141442 763 0 0 20 0 4 0 30344418 6888689664 1623054 33554432000 4194304 16246674 140734497941776 140734497940872 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1681809 1623054 915 2943 0 1678703 0
[pid=24333/tid=24334] ppid=24330 vsize=6727236 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 6888689664 1623054 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=6727236 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 6888689664 1623054 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=6727236 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 6888689664 1623054 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 6727236

[startup+1482.3 s]
/proc/loadavg: 2.28 2.27 2.25 3/185 24447
/proc/meminfo: memFree=17999272/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=6892100 CPUtime=1482.04 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 4338910 0 0 0 147411 793 0 0 20 0 4 0 30344418 7057510400 1664270 33554432000 4194304 16246674 140734497941776 140734497940952 4206597 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1723025 1664270 915 2943 0 1719919 0
[pid=24333/tid=24334] ppid=24330 vsize=6892100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 7057510400 1664270 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=6892100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 7057510400 1664270 33554432000 4194304 16246674 140734497941776 140139840904208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=6892100 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 7057510400 1664270 33554432000 4194304 16246674 140734497941776 140139830430896 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) 6892100

[startup+1542.31 s]
/proc/loadavg: 2.31 2.28 2.25 4/185 24448
/proc/meminfo: memFree=19047628/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=5245508 CPUtime=1542.04 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 4347358 0 0 0 153397 807 0 0 20 0 4 0 30344418 5371400192 1252622 33554432000 4194304 16246674 140734497941776 140734497941088 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1311377 1252622 915 2943 0 1308271 0
[pid=24333/tid=24334] ppid=24330 vsize=5245508 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 5371400192 1252622 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=5245508 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 5371400192 1252622 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=5245508 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 5371400192 1252622 33554432000 4194304 16246674 140734497941776 140139830430896 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) 5245508

[startup+1602.3 s]
/proc/loadavg: 2.25 2.26 2.24 4/185 24449
/proc/meminfo: memFree=16524952/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=7018052 CPUtime=1602.02 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 4947679 0 0 0 159302 900 0 0 20 0 4 0 30344418 7186485248 1695759 33554432000 4194304 16246674 140734497941776 140734497939648 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1754513 1695759 915 2943 0 1751407 0
[pid=24333/tid=24334] ppid=24330 vsize=7018052 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 7186485248 1695759 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=7018052 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 7186485248 1695759 33554432000 4194304 16246674 140734497941776 140139840904208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=7018052 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 7186485248 1695759 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 7018052

[startup+1662.3 s]
/proc/loadavg: 2.19 2.24 2.23 4/185 24450
/proc/meminfo: memFree=16387460/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=7297604 CPUtime=1662.01 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 5017567 0 0 0 165284 917 0 0 20 0 4 0 30344418 7472746496 1765647 33554432000 4194304 16246674 140734497941776 140734497941088 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1824401 1765647 915 2943 0 1821295 0
[pid=24333/tid=24334] ppid=24330 vsize=7297604 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 7472746496 1765647 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=7297604 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 7472746496 1765647 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=7297604 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 7472746496 1765647 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 7297604

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.23 5/185 24451
/proc/meminfo: memFree=15767928/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=7347780 CPUtime=1722 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 5286111 0 0 0 171240 960 0 0 20 0 4 0 30344418 7524126720 1778191 33554432000 4194304 16246674 140734497941776 140734497939584 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1836945 1778191 915 2943 0 1833839 0
[pid=24333/tid=24334] ppid=24330 vsize=7347780 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 7524126720 1778191 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=7347780 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 7524126720 1778191 33554432000 4194304 16246674 140734497941776 140139840904208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=7347780 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 7524126720 1778191 33554432000 4194304 16246674 140734497941776 140139830430896 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) 7347780

[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.23 3/184 24452
/proc/meminfo: memFree=15173632/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=7377476 CPUtime=1782 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 5557984 0 0 0 177191 1009 0 0 20 0 4 0 30344418 7554535424 1785616 33554432000 4194304 16246674 140734497941776 140734497940872 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1844369 1785616 915 2943 0 1841263 0
[pid=24333/tid=24334] ppid=24330 vsize=7377476 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 7554535424 1785616 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=7377476 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 7554535424 1785616 33554432000 4194304 16246674 140734497941776 140139840904432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=7377476 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 7554535424 1785616 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 7377476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.21 2.22 3/185 24453
/proc/meminfo: memFree=14876488/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=7383620 CPUtime=1800.08 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) R 24330 24333 21389 0 -1 4202496 5559520 0 0 0 178998 1010 0 0 20 0 4 0 30344418 7560826880 1787152 33554432000 4194304 16246674 140734497941776 140734497940872 4206959 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 1845905 1787152 915 2943 0 1842799 0
[pid=24333/tid=24334] ppid=24330 vsize=7383620 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) S 24330 24333 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30344418 7560826880 1787152 33554432000 4194304 16246674 140734497941776 140139851394288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24333/tid=24335] ppid=24330 vsize=7383620 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24335/stat : 24335 (toysat) S 24330 24333 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30344418 7560826880 1787152 33554432000 4194304 16246674 140734497941776 140139840904208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24333/tid=24336] ppid=24330 vsize=7383620 CPUtime=0 cores=0,2,4,6
/proc/24333/task/24336/stat : 24336 (toysat) S 24330 24333 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30344418 7560826880 1787152 33554432000 4194304 16246674 140734497941776 140139830430896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 7383620

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

[startup+1800.6 s]
/proc/loadavg: 2.13 2.21 2.22 3/185 24453
/proc/meminfo: memFree=14876488/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) Z 24330 24333 21389 0 -1 4203532 5559520 0 0 0 178999 1030 0 0 20 0 2 0 30344418 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 0 0 0 0 0 0 0
[pid=24333/tid=24334] ppid=24330 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) R 24330 24333 21389 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 30344418 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.13 2.21 2.22 4/183 24453
/proc/meminfo: memFree=20451016/32872528 swapFree=1505436/1685308
[pid=24333] ppid=24330 vsize=0 CPUtime=1800.4 cores=0,2,4,6
/proc/24333/stat : 24333 (toysat) Z 24330 24333 21389 0 -1 4203532 5559520 0 0 0 178999 1041 0 0 20 0 2 0 30344418 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24333/statm: 0 0 0 0 0 0 0
[pid=24333/tid=24334] ppid=24330 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/24333/task/24334/stat : 24334 (toysat) R 24330 24333 21389 0 -1 4203588 10 0 0 0 0 29 0 0 20 0 2 0 30344418 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.79
CPU time (s): 1800.48
CPU user time (s): 1789.99
CPU system time (s): 10.4824
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 7383620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.99
system time used= 10.4824
maximum resident set size= 7148608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5559520
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= 1299
involuntary context switches= 1931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4763 second user time and 17.5463 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 22:49:45
IDJOB=4107126
IDBENCH=71889
IDSOLVER=2542
FILE ID=node135/4107126-1466282985
RUNJOBID= node135-1466266561-21405
PBS_JOBID= 19918237
Free space on /tmp= 71660 MiB

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

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

MD5SUM BENCH= 4c80e068345db0368fa952d17e3e770d
RANDOM SEED=584517168

node135.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		: 2667.004
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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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		: 2667.004
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.57
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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:        20930628 kB
Buffers:          168612 kB
Cached:           320788 kB
SwapCached:          716 kB
Active:          9183260 kB
Inactive:         315136 kB
Active(anon):    9009932 kB
Inactive(anon):     1308 kB
Active(file):     173328 kB
Inactive(file):   313828 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:      10628060 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             606812 kB
SReclaimable:      50744 kB
SUnreclaim:       556068 kB
KernelStack:        1512 kB
PageTables:        25064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10836312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1261568 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= 71664 MiB
End job on node135 at 2016-06-18 23:19:46