Trace number 4079123

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.38 1800.66

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__128.opb
MD5SUMc60a8914afda75f67db3a97e49d1591e
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.85456
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5138
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 constraint128
Maximum length of a constraint1025
Number of terms in the objective function 5120
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 223303936
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 223303936
Number of bits of the biggest sum of numbers28
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-07T04:34:10+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-4079123-1465266850.opb"]
0.00/0.01	c use --random-gen="3152078152 3929554255 4274393605 2174006353 1487803356 3911564422 1197252176 4077248625 411953931 289014922 4028113420 2729982964 4091249329 3680548446 2505836823 3426746223 1968865170 3849049869 1652285219 2121773360 1965990653 4000542328 2770658332 2263179634 3509749234 1884718513 868814135 1098986379 3504194122 2497389019 2149087060 4079845728 1362817883 2772906203 3274980176 3086563371 1919404359 1941487096 1889349571 2148920119 2976916199 3868099616 4221604557 2755889245 1424770514 3631209625 3417375597 653512927 1748183753 831832594 1098304269 1057344765 4261656610 740360715 556631297 753801897 1483599637 1023129884 2382115490 3765277201 4168770418 3735185066 4044840762 2737254925 2808779984 3028456286 1970752153 4051516026 260976942 2350383616 2948748419 250014727 1732610292 2090477323 1362156283 829962176 1547788281 1703353992 1693421982 2254081357 2523046950 52522876 1184254016 570705180 1227212144 1002012363 3777366267 2237838969 3712067356 1230607299 2949455658 1495409741 66165941 4209609654 2189647612 547733976 939044892 3332232727 84738599 2579058572 1762054111 3276461499 1708287258 1231549531 1073296403 4083120816 394009177 404810918 1336179931 1299188863 3121391218 583770483 161186814 1303317052 2334769634 4078665362 4161055326 2622052137 833286249 647868113 1289698884 953324141 2653050678 1373111515 3886497947 3307290932 1091086857 548005912 1403412596 19757402 2832121034 1074345919 849097511 417611432 2558168876 2825089308 290239626 175067317 1470847231 3657220 3655676389 4251268676 1660320984 1819432271 1992544989 1042133105 4230493340 1483865400 1674107650 3763390549 3691771046 3063926242 2159704855 1495210197 161925505 2032063287 3458825346 1449864158 2355365232 1535184312 1062170399 3940126246 3521128612 1678204876 1600586989 2698555838 608910547 2517410319 1255641018 615206801 587165687 2113964204 4225426936 3148116352 3456590295 1014058884 3020461288 3069202315 3191602201 662049950 1442440635 3841261627 808824965 324337377 974828613 1731424987 2271422885 63628159 3731644829 3708421097 1432876682 112235489 1425930035 3799655490 147804389 3021068727 3030075719 1010390860 2713229083 1162087917 2608756087 3709769671 1917660207 98269164 2623313506 1504316471 1277651366 1033009475 3242992869 640190038 4218025366 4037830261 2967999586 3039204885 3242075269 500205372 1003655145 494211128 2197008499 1324910010 2019746613 1470121183 3242377766 3827755 4288976632 1522446976 408574085 958702682 3517433178 634829144 3152305267 1797216683 1679554016 3189462163 3795642227 3788761273 538351962 3144471284 1671152797 4106601840 721090315 3614985073 1401238054 2438207388 2562102483 1370425089 397157282 3623397354 1609865144 2382429305 416707787 353572186 2703759493 1196550069 1507183475 3231583404 255 362436" option to reproduce the execution
0.00/0.05	c #vars 5138
0.00/0.05	c #constraints 60
0.08/0.12	c BCD2: Hardening is enabled.
0.08/0.12	c BCD2: BiasedSearch is enabled.
0.08/0.12	c Solving starts ...
0.08/0.12	c ============================[ Search Statistics ]============================
0.08/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.12	c =============================================================================
0.08/0.12	c  0.0s |       0 |        0 |        0 |     1739      0 |        0 |        0
0.49/0.50	c  0.4s |       1 |      151 |      100 |     1739      0 |        0 |        0
1.19/1.23	c  1.1s |       2 |     3702 |      250 |     1913      0 |        0 |        0
2.59/2.65	c  2.5s |       3 |    15506 |      475 |     2105      0 |        0 |        0
2.79/2.85	c  2.7s |       3 |    17580 |      510 |     2316      0 |        0 |        0
2.79/2.85	c #cpu_time = 2.721s
2.79/2.85	c #wall_clock_time = 2.721s
2.79/2.85	c #decision = 17580
2.79/2.85	c #random_decision = 34
2.79/2.85	c #conflict = 510
2.79/2.85	c #restart = 3
2.79/2.85	o 627990
5.98/6.01	c BCD2: updating upper bound: 223303936 -> 627989
9.18/9.20	c BCD2: 0 <= obj <= 627989
9.18/9.20	c BCD2: #cores=0, #unrelaxed=5120, #relaxed=0, #hardened=0
9.18/9.20	c BCD2: #sat=1 #unsat=1 bias=1/2
9.18/9.20	c Solving starts ...
9.18/9.20	c ============================[ Search Statistics ]============================
9.18/9.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.18/9.20	c       |         |          |          |    Limit     GC | Var      | Constra 
9.18/9.20	c =============================================================================
9.18/9.20	c  0.0s |       0 |        0 |        0 |     2316      0 |        0 |        0
9.18/9.21	c  0.0s |       0 |     1277 |        0 |     2316      0 |        0 |        0
9.18/9.21	c #cpu_time = 0.011s
9.18/9.21	c #wall_clock_time = 0.011s
9.18/9.21	c #decision = 1277
9.18/9.21	c #random_decision = 0
9.18/9.21	c #conflict = 0
9.18/9.21	c #restart = 0
9.18/9.21	c BCD2: found a new core of size 256: cost of the new core is >=8301
9.18/9.21	c lower bound updated to 8301
12.29/12.33	c BCD2: 8301 <= obj <= 627989
12.29/12.33	c BCD2: #cores=1, #unrelaxed=4864, #relaxed=256, #hardened=0
12.29/12.33	c BCD2: #sat=1 #unsat=2 bias=2/3
12.29/12.33	c Solving starts ...
12.29/12.33	c ============================[ Search Statistics ]============================
12.29/12.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.29/12.33	c       |         |          |          |    Limit     GC | Var      | Constra 
12.29/12.33	c =============================================================================
12.29/12.33	c  0.0s |       0 |        0 |        0 |     2316      0 |        0 |        1
12.29/12.34	c  0.0s |       0 |     2298 |        0 |     2316      0 |        0 |        1
12.29/12.34	c #cpu_time = 0.016s
12.29/12.34	c #wall_clock_time = 0.016s
12.29/12.34	c #decision = 2298
12.29/12.34	c #random_decision = 0
12.29/12.34	c #conflict = 0
12.29/12.34	c #restart = 0
12.29/12.34	c BCD2: found a new core of size 1022: cost of the new core is >=1005
12.29/12.34	c lower bound updated to 9306
15.38/15.49	c BCD2: 9306 <= obj <= 627989
15.38/15.49	c BCD2: #cores=2, #unrelaxed=3842, #relaxed=1278, #hardened=0
15.38/15.49	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-4079123-1465266850/watcher-4079123-1465266850 -o /tmp/evaluation-result-4079123-1465266850/solver-4079123-1465266850 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079123-1465266850.opb 

pid=28359
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.02 2.09 2.19 2/179 28362
/proc/meminfo: memFree=30284676/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 2752 0 0 0 0 0 0 0 20 0 4 0 108618299 754380800 2601 33554432000 4194304 16246674 140735651073360 140735651072784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 184687 2611 441 2943 0 181581 0
[pid=28362/tid=28363] ppid=28359 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 772206592 2670 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 776400896 2686 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108618299 780595200 2703 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.02 2.09 2.19 2/179 28362
/proc/meminfo: memFree=30284676/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1308228 CPUtime=0.08 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 23451 0 0 0 6 2 0 0 20 0 4 0 108618299 1339625472 23238 33554432000 4194304 16246674 140735651073360 140735651072672 12369641 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 327057 23238 837 2943 0 323951 0
[pid=28362/tid=28363] ppid=28359 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1339625472 23238 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1339625472 23238 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1339625472 23238 33554432000 4194304 16246674 140735651073360 140377968331952 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) 1308228

[startup+0.200553 s]
/proc/loadavg: 2.02 2.09 2.19 2/179 28362
/proc/meminfo: memFree=30284676/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 28449 0 0 0 16 3 0 0 20 0 4 0 108618299 1340674048 28236 33554432000 4194304 16246674 140735651073360 140735651072672 13780640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 327313 28236 884 2943 0 324207 0
[pid=28362/tid=28363] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 28237 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 28237 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 28237 33554432000 4194304 16246674 140735651073360 140377968331952 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) 1309252

[startup+0.300467 s]
/proc/loadavg: 2.02 2.09 2.19 2/179 28362
/proc/meminfo: memFree=30284676/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1309252 CPUtime=0.29 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 31429 0 0 0 25 4 0 0 20 0 4 0 108618299 1340674048 31216 33554432000 4194304 16246674 140735651073360 140735651072672 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 327313 31216 884 2943 0 324207 0
[pid=28362/tid=28363] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 31217 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 31217 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 31217 33554432000 4194304 16246674 140735651073360 140377968331952 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) 1309252

[startup+0.700408 s]
/proc/loadavg: 2.02 2.09 2.19 2/179 28362
/proc/meminfo: memFree=30284676/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1309252 CPUtime=0.69 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 38993 0 0 0 64 5 0 0 20 0 4 0 108618299 1340674048 38780 33554432000 4194304 16246674 140735651073360 140735651072672 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 327313 38780 884 2943 0 324207 0
[pid=28362/tid=28363] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 38780 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 38780 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 38780 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1309252

[startup+1.50042 s]
/proc/loadavg: 2.02 2.09 2.19 4/183 28366
/proc/meminfo: memFree=30088244/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1309252 CPUtime=1.49 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 66551 0 0 0 140 9 0 0 20 0 4 0 108618299 1340674048 66339 33554432000 4194304 16246674 140735651073360 140735651055232 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 327313 66361 891 2943 0 324207 0
[pid=28362/tid=28363] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 66371 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 66382 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 66392 33554432000 4194304 16246674 140735651073360 140377968331952 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) 1309252

[startup+3.10043 s]
/proc/loadavg: 2.02 2.09 2.19 3/183 28366
/proc/meminfo: memFree=29133808/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 268513 0 0 0 275 34 0 0 20 0 4 0 108618299 1340674048 268300 33554432000 4194304 16246674 140735651073360 140735651055232 12653033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 327313 268300 899 2943 0 324207 0
[pid=28362/tid=28363] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 268300 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 268300 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1340674048 268300 33554432000 4194304 16246674 140735651073360 140377968331952 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) 1309252

[startup+6.30041 s]
/proc/loadavg: 2.02 2.09 2.19 3/183 28366
/proc/meminfo: memFree=29130872/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1312324 CPUtime=6.28 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 269284 0 0 0 594 34 0 0 20 0 4 0 108618299 1343819776 269071 33554432000 4194304 16246674 140735651073360 140735651055232 12417472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 328081 269071 902 2943 0 324975 0
[pid=28362/tid=28363] ppid=28359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1343819776 269071 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1343819776 269071 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1343819776 269071 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.02 2.09 2.19 3/183 28366
/proc/meminfo: memFree=28829440/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 269300 0 0 0 1234 34 0 0 20 0 4 0 108618299 1343819776 269087 33554432000 4194304 16246674 140735651073360 140735651055232 13949808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 328081 269087 918 2943 0 324975 0
[pid=28362/tid=28363] ppid=28359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1343819776 269087 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1343819776 269087 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1343819776 269087 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.02 2.08 2.19 3/183 28366
/proc/meminfo: memFree=28453124/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1333828 CPUtime=25.49 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 274676 0 0 0 2514 35 0 0 20 0 4 0 108618299 1365839872 274463 33554432000 4194304 16246674 140735651073360 140735651055232 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 333457 274463 918 2943 0 330351 0
[pid=28362/tid=28363] ppid=28359 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1365839872 274463 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1365839872 274463 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1365839872 274463 33554432000 4194304 16246674 140735651073360 140377968331952 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) 1333828

[startup+51.1004 s]
/proc/loadavg: 2.01 2.08 2.18 3/183 28366
/proc/meminfo: memFree=27691048/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=1738308 CPUtime=51.08 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 375796 0 0 0 5059 49 0 0 20 0 4 0 108618299 1780027392 375583 33554432000 4194304 16246674 140735651073360 140735651071168 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 434577 375583 918 2943 0 431471 0
[pid=28362/tid=28363] ppid=28359 vsize=1738308 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 1780027392 375583 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=1738308 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 1780027392 375583 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=1738308 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 1780027392 375583 33554432000 4194304 16246674 140735651073360 140377968331952 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) 1738308

[startup+102.3 s]
/proc/loadavg: 2.00 2.06 2.17 3/183 28367
/proc/meminfo: memFree=24657056/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=4234820 CPUtime=102.28 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 999926 0 0 0 10094 134 0 0 20 0 4 0 108618299 4336455680 999713 33554432000 4194304 16246674 140735651073360 140735651072456 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1058705 999713 919 2943 0 1055599 0
[pid=28362/tid=28363] ppid=28359 vsize=4234820 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 4336455680 999713 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=4234820 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 4336455680 999713 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=4234820 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 4336455680 999713 33554432000 4194304 16246674 140735651073360 140377968331952 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) 4234820


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

/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6197678080 1454118 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6052420 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6197678080 1454118 33554432000 4194304 16246674 140735651073360 140377978805264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6052420 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6197678080 1454118 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 6052420

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/183 28399
/proc/meminfo: memFree=20209120/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6064708 CPUtime=1362.08 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 5059323 0 0 0 135330 878 0 0 20 0 4 0 108618299 6210260992 1457190 33554432000 4194304 16246674 140735651073360 140735651072536 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1516177 1457190 919 2943 0 1513071 0
[pid=28362/tid=28363] ppid=28359 vsize=6064708 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6210260992 1457190 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6064708 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6210260992 1457190 33554432000 4194304 16246674 140735651073360 140377978805264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6064708 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6210260992 1457190 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 6064708

[startup+1422.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/183 28401
/proc/meminfo: memFree=19907324/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6074948 CPUtime=1422.07 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 5230075 0 0 0 141298 909 0 0 20 0 4 0 108618299 6220746752 1459750 33554432000 4194304 16246674 140735651073360 140735651071168 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1518737 1459750 919 2943 0 1515631 0
[pid=28362/tid=28363] ppid=28359 vsize=6074948 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6220746752 1459750 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6074948 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6220746752 1459750 33554432000 4194304 16246674 140735651073360 140377978805264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6074948 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6220746752 1459750 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 6074948

[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/183 28402
/proc/meminfo: memFree=19657124/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6085188 CPUtime=1482.06 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 5232635 0 0 0 147289 917 0 0 20 0 4 0 108618299 6231232512 1462310 33554432000 4194304 16246674 140735651073360 140735651072456 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1521297 1462310 919 2943 0 1518191 0
[pid=28362/tid=28363] ppid=28359 vsize=6085188 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6231232512 1462310 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6085188 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6231232512 1462310 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6085188 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6231232512 1462310 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 6085188

[startup+1542.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/183 28403
/proc/meminfo: memFree=19493716/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6096452 CPUtime=1542.05 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 5555963 0 0 0 153233 972 0 0 20 0 4 0 108618299 6242766848 1465126 33554432000 4194304 16246674 140735651073360 140735651072672 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1524113 1465126 919 2943 0 1521007 0
[pid=28362/tid=28363] ppid=28359 vsize=6096452 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6242766848 1465126 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6096452 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6242766848 1465126 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6096452 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6242766848 1465126 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 6096452

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/184 28407
/proc/meminfo: memFree=19441584/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6067780 CPUtime=1602.04 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 5641211 0 0 0 159212 992 0 0 20 0 4 0 108618299 6213406720 1457958 33554432000 4194304 16246674 140735651073360 140735651072672 4225151 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1516945 1457958 919 2943 0 1513839 0
[pid=28362/tid=28363] ppid=28359 vsize=6067780 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6213406720 1457958 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6067780 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6213406720 1457958 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6067780 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6213406720 1457958 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 6067780

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/184 28431
/proc/meminfo: memFree=19034000/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6422084 CPUtime=1662.03 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 5729787 0 0 0 165192 1011 0 0 20 0 4 0 108618299 6576214016 1546534 33554432000 4194304 16246674 140735651073360 140735651072456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1605521 1546534 919 2943 0 1602415 0
[pid=28362/tid=28363] ppid=28359 vsize=6422084 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6576214016 1546534 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6422084 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6576214016 1546534 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6422084 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6576214016 1546534 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 6422084

[startup+1722.3 s]
/proc/loadavg: 1.90 2.02 2.03 3/183 28433
/proc/meminfo: memFree=18865888/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6550084 CPUtime=1722.02 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 6163452 0 0 0 171118 1084 0 0 20 0 4 0 108618299 6707286016 1578535 33554432000 4194304 16246674 140735651073360 140735651072456 4220924 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1637521 1578535 919 2943 0 1634415 0
[pid=28362/tid=28363] ppid=28359 vsize=6550084 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6707286016 1578535 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6550084 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6707286016 1578535 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6550084 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6707286016 1578535 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 6550084

[startup+1782.31 s]
/proc/loadavg: 1.96 2.01 2.02 3/183 28483
/proc/meminfo: memFree=23958896/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6720068 CPUtime=1782.02 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 6268924 0 0 0 177097 1105 0 0 20 0 4 0 108618299 6881349632 1621031 33554432000 4194304 16246674 140735651073360 140735651072456 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1680017 1621031 919 2943 0 1676911 0
[pid=28362/tid=28363] ppid=28359 vsize=6720068 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6881349632 1621031 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6720068 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6881349632 1621031 33554432000 4194304 16246674 140735651073360 140377978805264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6720068 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6881349632 1621031 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 6720068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.97 2.01 2.02 3/183 28483
/proc/meminfo: memFree=23854564/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=6741572 CPUtime=1800.01 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) R 28359 28362 20210 0 -1 4202496 6274301 0 0 0 178893 1108 0 0 20 0 4 0 108618299 6903369728 1626663 33554432000 4194304 16246674 140735651073360 140735651072536 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 1685393 1626663 919 2943 0 1682287 0
[pid=28362/tid=28363] ppid=28359 vsize=6741572 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) S 28359 28362 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108618299 6903369728 1626663 33554432000 4194304 16246674 140735651073360 140377989295344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28362/tid=28364] ppid=28359 vsize=6741572 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (toysat) S 28359 28362 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108618299 6903369728 1626663 33554432000 4194304 16246674 140735651073360 140377978805488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28362/tid=28365] ppid=28359 vsize=6741572 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (toysat) S 28359 28362 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108618299 6903369728 1626663 33554432000 4194304 16246674 140735651073360 140377968331952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6741572

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

[startup+1800.6 s]
/proc/loadavg: 1.97 2.01 2.02 3/183 28483
/proc/meminfo: memFree=23854564/32872528 swapFree=11320/319964
[pid=28362] ppid=28359 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/28362/stat : 28362 (toysat) Z 28359 28362 20210 0 -1 4203532 6274301 0 0 0 178894 1138 0 0 20 0 2 0 108618299 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28362/statm: 0 0 0 0 0 0 0
[pid=28362/tid=28363] ppid=28359 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (toysat) R 28359 28362 20210 0 -1 4203588 10 0 0 0 0 28 0 0 20 0 2 0 108618299 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.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.38
CPU user time (s): 1788.94
CPU system time (s): 11.4373
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 6741572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.95
system time used= 11.4373
maximum resident set size= 6506652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6274301
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= 967
involuntary context switches= 1814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8539 second user time and 15.4357 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-07 04:34:10
IDJOB=4079123
IDBENCH=71887
IDSOLVER=2542
FILE ID=node128/4079123-1465266850
RUNJOBID= node128-1465264781-27959
PBS_JOBID= 19843253
Free space on /tmp= 71732 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__128.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079123-1465266850/watcher-4079123-1465266850 -o /tmp/evaluation-result-4079123-1465266850/solver-4079123-1465266850 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079123-1465266850.opb

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

MD5SUM BENCH= c60a8914afda75f67db3a97e49d1591e
RANDOM SEED=1995734955

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30285220 kB
Buffers:          108352 kB
Cached:           247956 kB
SwapCached:         1668 kB
Active:          1303440 kB
Inactive:         227144 kB
Active(anon):    1175652 kB
Inactive(anon):      588 kB
Active(file):     127788 kB
Inactive(file):   226556 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:             33756 kB
Writeback:             0 kB
AnonPages:       1492876 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             603140 kB
SReclaimable:      46460 kB
SUnreclaim:       556680 kB
KernelStack:        1488 kB
PageTables:         6692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1637684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    313344 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= 71716 MiB
End job on node128 at 2016-06-07 05:04:11