Trace number 4079133

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.47 1800.76

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__64.opb
MD5SUMcc5cebabc199f10f08063890a2dc59f2
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark274955
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables96498
Total number of constraints2000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1502
Number of constraints which are nor clauses,nor cardinality constraints498
Minimum length of a constraint64
Maximum length of a constraint1345
Number of terms in the objective function 96000
Biggest coefficient in the objective function 114804
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 3283863936
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 114804
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 3283863936
Number of bits of the biggest sum of numbers32
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:31:48+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-4079133-1465266707.opb"]
0.00/0.01	c use --random-gen="910835169 973924785 1200288268 794074392 658244419 541582577 688219179 3343678127 1481819026 713550483 2426829981 2787043957 3596500085 652144541 3861811975 3468659529 1296760335 2188783386 870945481 3559869641 4048575586 1565872933 2980093317 2091658026 3236180663 3951954916 405407556 4218726510 2943707050 3594235036 553010346 1620431409 3671466670 386928294 1269783960 340165428 3611201565 3903885897 3953342047 1409702931 3387356812 2304188275 2365333373 2832971309 2679528691 1906147068 172835248 1239142488 3115402671 1101015263 2712415692 3089534546 1546738793 2823276341 3807454865 2267238582 1162211103 3928669249 964077425 1470117825 1637145804 2253268553 2140819987 661487465 1700224378 875679162 463183061 2644113880 1765111410 3313135915 2943774460 296583946 1143612030 1432207870 1933556983 540509756 856871559 2268248698 3231685845 2017300762 2526955074 1643190116 2192920861 1961212744 961959937 2299035919 3694376253 3733355486 4196905817 3963844102 1683143124 73496479 4074539184 4024467189 3712025568 1617904142 1736965289 1637188564 3565577140 159399692 3742640848 3299185122 4102354954 979964511 1727394575 2457751302 4028673150 3104126821 1007046275 1157811600 1969589188 774084400 125638178 1023958576 429219989 2153184142 3168185723 3232008579 3443773913 1366490911 3321294796 2366626870 2042143899 4182698947 3292886729 4276432846 2086212013 278639931 1005615021 2480020416 3141017332 1753612083 1623936736 3194702429 3770708438 1601625329 3138117264 3381245374 3345717436 1533138901 1631503515 2315014510 1092639984 1163559516 2808776415 1629656913 2928472779 2809334414 2943830407 3117677697 2076019673 2585015010 919941120 148390886 1667911786 4266479751 3888107730 3571078115 2572914392 2485305380 3387171480 2801619088 527512386 4092878324 2345109065 3422982808 3649257729 984421687 3089131089 1943614385 2985600758 440776846 4245808024 580903968 1191064734 3503475938 2841409079 2718596530 4097295458 3365503963 1550413566 355458089 305505324 1825463193 4178967277 2644392548 1629749653 653173538 2221055557 3868005201 3466353240 710751991 1586192512 2066302055 3252078061 636422532 4256747842 1706595277 749028248 1871169962 3079729340 3210569475 1213723183 3812075329 1302487210 2059942538 4139127261 2609305976 3645325897 173451923 3284650416 306459377 1057959809 1281692081 3632935582 3989069463 2318221114 2728491149 3989165940 4169333274 2067916325 3520909487 917404829 367435007 3947617376 3225955960 597548967 3830803836 1137477912 84392981 1750482239 3125275524 1690711067 803537091 1461723265 2734588877 1348331526 2945935465 2277011710 200797555 3351649673 3638367588 2566971840 1677470921 279189499 3581595586 2835258890 2176983692 2264347461 2828982964 2708524606 2669928577 1761546264 3451221204 328394470 1725373275 255 362436" option to reproduce the execution
0.59/0.67	c #vars 96498
0.59/0.67	c #constraints 2000
1.99/2.07	c BCD2: Hardening is enabled.
1.99/2.07	c BCD2: BiasedSearch is enabled.
1.99/2.07	c Solving starts ...
1.99/2.07	c ============================[ Search Statistics ]============================
1.99/2.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.99/2.07	c       |         |          |          |    Limit     GC | Var      | Constra 
1.99/2.07	c =============================================================================
2.09/2.14	c  0.0s |       0 |        0 |        0 |    32999      0 |        0 |        0
2.29/2.39	c  0.2s |       1 |     1859 |      100 |    32999      0 |        0 |        0
2.79/2.84	c  0.7s |       2 |     5969 |      250 |    36299      0 |        0 |        0
4.68/4.76	c  2.6s |       3 |    16166 |      475 |    39929      0 |        0 |        0
5.68/5.76	c  3.6s |       4 |    52790 |      813 |    43922      0 |        0 |        0
6.98/7.01	c  4.9s |       5 |    99738 |     1320 |    48315      0 |        0 |        0
8.49/8.60	c  6.5s |       6 |   138732 |     2081 |    58462      0 |        0 |        0
10.59/10.68	c  8.5s |       6 |   175315 |     2681 |    58462      0 |        0 |        0
12.99/13.03	c 10.9s |       6 |   205386 |     3181 |    58462      0 |        0 |        0
13.20/13.21	c 11.1s |       7 |   207073 |     3223 |    64309      0 |        0 |        0
15.40/15.40	c 13.3s |       7 |   267666 |     3823 |    64309      0 |        0 |        0
17.39/17.44	c 15.3s |       7 |   317260 |     4523 |    64309      0 |        0 |        0
18.19/18.29	c 16.1s |       8 |   320811 |     4936 |    70740      0 |        0 |        0
20.29/20.32	c 18.2s |       8 |   379322 |     5836 |    70740      0 |        0 |        0
22.29/22.32	c 20.2s |       8 |   384059 |     7036 |    70740      0 |        0 |        0
24.39/24.42	c 22.3s |       9 |   387618 |     7506 |    77814      0 |        0 |        0
26.78/26.89	c 24.7s |       9 |   432233 |     8106 |    77814      0 |        0 |        0
28.88/28.94	c 26.8s |       9 |   440693 |     8906 |    77814      0 |        0 |        0
30.90/30.97	c 28.8s |       9 |   447833 |    10206 |    77814      0 |        0 |        0
32.89/33.00	c 30.9s |      10 |   454118 |    11361 |    85596      0 |        0 |        0
35.19/35.22	c 33.1s |      10 |   498343 |    11861 |    85596      0 |        0 |        0
37.49/37.52	c 35.4s |      10 |   503303 |    12561 |    85596      0 |        0 |        0
39.48/39.53	c 37.4s |      10 |   504824 |    12961 |    85596      0 |        0 |        0
41.59/41.63	c 39.5s |      10 |   507292 |    13261 |    85596      0 |        0 |        0
44.28/44.39	c 42.2s |      10 |   513674 |    13761 |    85596      0 |        0 |        0
46.38/46.44	c 44.3s |      10 |   522778 |    14861 |    85596      0 |        0 |        0
48.49/48.51	c 46.4s |      10 |   526016 |    15961 |    85596      0 |        0 |        0
50.18/50.29	c 48.1s |      11 |   531341 |    17144 |    94156      0 |        0 |        0
51.58/51.60	c 49.5s |      11 |   575058 |    17293 |    94156      0 |        0 |        0
51.58/51.60	c #cpu_time = 49.349s
51.58/51.60	c #wall_clock_time = 49.350s
51.58/51.60	c #decision = 575058
51.58/51.60	c #random_decision = 2014
51.58/51.60	c #conflict = 17293
51.58/51.60	c #restart = 11
51.58/51.61	o 16083144
51.98/52.04	c BCD2: updating upper bound: 3283863936 -> 16083143
52.68/52.80	c BCD2: 0 <= obj <= 16083143
52.79/52.81	c BCD2: #cores=0, #unrelaxed=96000, #relaxed=0, #hardened=0
52.79/52.81	c BCD2: #sat=1 #unsat=1 bias=1/2
52.79/52.82	c Solving starts ...
52.79/52.82	c ============================[ Search Statistics ]============================
52.79/52.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
52.79/52.82	c       |         |          |          |    Limit     GC | Var      | Constra 
52.79/52.82	c =============================================================================
52.79/52.82	c  0.0s |       0 |        0 |        0 |    94156      0 |        0 |        0
53.38/53.41	c  0.6s |       0 |    26170 |        0 |    94156      0 |        0 |        0
53.38/53.41	c #cpu_time = 0.571s
53.38/53.41	c #wall_clock_time = 0.571s
53.38/53.41	c #decision = 26170
53.38/53.41	c #random_decision = 0
53.38/53.41	c #conflict = 0
53.38/53.41	c #restart = 0
53.38/53.41	c BCD2: found a new core of size 192: cost of the new core is >=9805
53.38/53.41	c lower bound updated to 9805
53.68/53.74	c BCD2: 9805 <= obj <= 16083143
53.68/53.74	c BCD2: #cores=1, #unrelaxed=95808, #relaxed=192, #hardened=0
53.68/53.74	c BCD2: #sat=1 #unsat=2 bias=2/3
53.68/53.78	c Solving starts ...
53.68/53.78	c ============================[ Search Statistics ]============================
53.68/53.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
53.68/53.78	c       |         |          |          |    Limit     GC | Var      | Constra 
53.68/53.78	c =============================================================================
53.68/53.78	c  0.0s |       0 |        0 |        0 |    94156      0 |        0 |        1
54.38/54.44	c  0.7s |       0 |    55325 |        0 |    94156      0 |        0 |        1
54.38/54.44	c #cpu_time = 0.621s
54.38/54.44	c #wall_clock_time = 0.621s
54.38/54.44	c #decision = 55325
54.38/54.44	c #random_decision = 0
54.38/54.44	c #conflict = 0
54.38/54.44	c #restart = 0
54.38/54.44	c BCD2: found a new core of size 830: cost of the new core is >=5818
54.38/54.44	c lower bound updated to 15623
54.99/55.05	c BCD2: 15623 <= obj <= 16083143
54.99/55.05	c BCD2: #cores=2, #unrelaxed=94978, #relaxed=1022, #hardened=0
54.99/55.05	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-4079133-1465266707/watcher-4079133-1465266707 -o /tmp/evaluation-result-4079133-1465266707/solver-4079133-1465266707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079133-1465266707.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.10 2.08 3/180 7134
/proc/meminfo: memFree=31580460/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 2593 0 0 0 0 0 0 0 20 0 4 0 108605507 713486336 2953 33554432000 4194304 16246674 140737437793264 140737437792688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 174959 2967 441 2943 0 171853 0
[pid=7134/tid=7135] ppid=7131 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 733409280 3027 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 736555008 3043 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605507 741797888 3061 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100226 s]
/proc/loadavg: 2.05 2.10 2.08 3/180 7134
/proc/meminfo: memFree=31580460/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 30936 0 0 0 5 3 0 0 20 0 4 0 108605507 1333334016 31234 33554432000 4194304 16246674 140737437793264 140737437792576 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 325521 31248 799 2943 0 322415 0
[pid=7134/tid=7135] ppid=7131 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1333334016 31259 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1333334016 31270 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1333334016 31282 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200505 s]
/proc/loadavg: 2.05 2.10 2.08 3/180 7134
/proc/meminfo: memFree=31580460/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 44061 0 0 0 14 5 0 0 20 0 4 0 108605507 1343819776 44870 33554432000 4194304 16246674 140737437793264 140737437792576 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 328081 44870 799 2943 0 324975 0
[pid=7134/tid=7135] ppid=7131 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1343819776 44870 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1343819776 44870 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1343819776 44870 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300459 s]
/proc/loadavg: 2.05 2.10 2.08 3/180 7134
/proc/meminfo: memFree=31580460/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 49501 0 0 0 23 6 0 0 20 0 4 0 108605507 1343819776 50310 33554432000 4194304 16246674 140737437793264 140737437792576 7889646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 328081 50330 801 2943 0 324975 0
[pid=7134/tid=7135] ppid=7131 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1343819776 50343 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1343819776 50354 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1343819776 50366 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700411 s]
/proc/loadavg: 2.05 2.10 2.08 3/180 7134
/proc/meminfo: memFree=31580460/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 67633 0 0 0 60 8 0 0 20 0 4 0 108605507 1344868352 68442 33554432000 4194304 16246674 140737437793264 140737437775168 4206649 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 328337 68442 807 2943 0 325231 0
[pid=7134/tid=7135] ppid=7131 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1344868352 68442 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1344868352 68442 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1344868352 68442 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.05 2.10 2.08 3/184 7138
/proc/meminfo: memFree=30423076/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1352260 CPUtime=1.49 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 77401 0 0 0 139 10 0 0 20 0 4 0 108605507 1384714240 78210 33554432000 4194304 16246674 140737437793264 140737437792576 13775088 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 338065 78210 839 2943 0 334959 0
[pid=7134/tid=7135] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 78210 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 78210 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 78210 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1352260

[startup+3.10043 s]
/proc/loadavg: 2.04 2.10 2.08 3/184 7138
/proc/meminfo: memFree=29973700/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1352260 CPUtime=3.09 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 210899 0 0 0 283 26 0 0 20 0 4 0 108605507 1384714240 211708 33554432000 4194304 16246674 140737437793264 140737437775168 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 338065 211719 888 2943 0 334959 0
[pid=7134/tid=7135] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 211725 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 211731 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 211737 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1352260

[startup+6.30043 s]
/proc/loadavg: 2.04 2.10 2.08 3/184 7138
/proc/meminfo: memFree=29483960/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1352260 CPUtime=6.28 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 278747 0 0 0 594 34 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 140737437775168 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 338065 279556 895 2943 0 334959 0
[pid=7134/tid=7135] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1352260

[startup+12.7004 s]
/proc/loadavg: 2.04 2.10 2.08 3/184 7138
/proc/meminfo: memFree=29483632/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1352260 CPUtime=12.69 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 278747 0 0 0 1234 35 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 140737437775168 5712672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 338065 279556 895 2943 0 334959 0
[pid=7134/tid=7135] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1352260

[startup+25.5005 s]
/proc/loadavg: 2.03 2.09 2.08 3/184 7138
/proc/meminfo: memFree=29103872/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1352260 CPUtime=25.49 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 278747 0 0 0 2513 36 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 140737437775168 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 338065 279556 895 2943 0 334959 0
[pid=7134/tid=7135] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1352260

[startup+51.1005 s]
/proc/loadavg: 2.02 2.08 2.08 4/184 7138
/proc/meminfo: memFree=29116344/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=1352260 CPUtime=51.08 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 278747 0 0 0 5070 38 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 140737437775168 5598928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 338065 279556 895 2943 0 334959 0
[pid=7134/tid=7135] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 1384714240 279556 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1352260

[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/184 7140
/proc/meminfo: memFree=26821136/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=3010116 CPUtime=102.28 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 693098 0 0 0 10118 110 0 0 20 0 4 0 108605507 3082358784 693907 33554432000 4194304 16246674 140737437793264 140737437792360 4221122 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 752529 693907 922 2943 0 749423 0
[pid=7134/tid=7135] ppid=7131 vsize=3010116 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 3082358784 693907 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=3010116 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 3082358784 693907 33554432000 4194304 16246674 140737437793264 139999357934608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=3010116 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 3082358784 693907 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3010116


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

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/183 7375
/proc/meminfo: memFree=18093492/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=8792644 CPUtime=1422.06 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 9437813 0 0 0 139473 2733 0 0 20 0 4 0 108605507 9003667456 2139550 33554432000 4194304 16246674 140737437793264 140737437792360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2198161 2139550 923 2943 0 2195055 0
[pid=7134/tid=7135] ppid=7131 vsize=8792644 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 9003667456 2139550 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=8792644 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 9003667456 2139550 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=8792644 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 9003667456 2139550 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 8792644

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/183 7376
/proc/meminfo: memFree=16783924/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=8845892 CPUtime=1482.05 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 9572981 0 0 0 145433 2772 0 0 20 0 4 0 108605507 9058193408 2152862 33554432000 4194304 16246674 140737437793264 140737437792360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2211473 2152862 923 2943 0 2208367 0
[pid=7134/tid=7135] ppid=7131 vsize=8845892 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 9058193408 2152862 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=8845892 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 9058193408 2152862 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=8845892 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 9058193408 2152862 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 8845892

[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.04 3/183 7377
/proc/meminfo: memFree=16481844/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=8899140 CPUtime=1542.05 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 9700725 0 0 0 151357 2848 0 0 20 0 4 0 108605507 9112719360 2166174 33554432000 4194304 16246674 140737437793264 140737437791104 4220990 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2224785 2166174 923 2943 0 2221679 0
[pid=7134/tid=7135] ppid=7131 vsize=8899140 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 9112719360 2166174 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=8899140 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 9112719360 2166174 33554432000 4194304 16246674 140737437793264 139999357934608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=8899140 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 9112719360 2166174 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 8899140

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.04 3/183 7378
/proc/meminfo: memFree=21321748/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=8943172 CPUtime=1602.03 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 9824885 0 0 0 157249 2954 0 0 20 0 4 0 108605507 9157808128 2177182 33554432000 4194304 16246674 140737437793264 140737437792360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2235793 2177182 923 2943 0 2232687 0
[pid=7134/tid=7135] ppid=7131 vsize=8943172 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 9157808128 2177182 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=8943172 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 9157808128 2177182 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=8943172 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 9157808128 2177182 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 8943172

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.04 3/183 7380
/proc/meminfo: memFree=21156036/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=8522308 CPUtime=1662.01 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 9827957 0 0 0 163215 2986 0 0 20 0 4 0 108605507 8726843392 2071966 33554432000 4194304 16246674 140737437793264 140737437792360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2130577 2071966 923 2943 0 2127471 0
[pid=7134/tid=7135] ppid=7131 vsize=8522308 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 8726843392 2071966 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=8522308 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 8726843392 2071966 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=8522308 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 8726843392 2071966 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 8522308

[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.04 3/184 7384
/proc/meminfo: memFree=21444180/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=8991300 CPUtime=1722 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 9945205 0 0 0 169180 3020 0 0 20 0 4 0 108605507 9207091200 2189214 33554432000 4194304 16246674 140737437793264 140737437791104 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2247825 2189214 923 2943 0 2244719 0
[pid=7134/tid=7135] ppid=7131 vsize=8991300 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 9207091200 2189214 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=8991300 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 9207091200 2189214 33554432000 4194304 16246674 140737437793264 139999357934608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=8991300 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 9207091200 2189214 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 8991300

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/184 7408
/proc/meminfo: memFree=21275736/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=9019972 CPUtime=1782 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 10060405 0 0 0 175105 3095 0 0 20 0 4 0 108605507 9236451328 2196382 33554432000 4194304 16246674 140737437793264 140737437792440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2254993 2196382 923 2943 0 2251887 0
[pid=7134/tid=7135] ppid=7131 vsize=9019972 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 9236451328 2196382 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=9019972 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 9236451328 2196382 33554432000 4194304 16246674 140737437793264 139999357934832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=9019972 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 9236451328 2196382 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 9019972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/184 7408
/proc/meminfo: memFree=21514548/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=8616516 CPUtime=1800 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) R 7131 7134 5566 0 -1 4202496 10060405 0 0 0 176871 3129 0 0 20 0 4 0 108605507 8823312384 2095518 33554432000 4194304 16246674 140737437793264 140737437791104 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 2154129 2095518 923 2943 0 2151023 0
[pid=7134/tid=7135] ppid=7131 vsize=8616516 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7135/stat : 7135 (toysat) S 7131 7134 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605507 8823312384 2095518 33554432000 4194304 16246674 140737437793264 139999368424688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=8616516 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) S 7131 7134 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605507 8823312384 2095518 33554432000 4194304 16246674 140737437793264 139999357934608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7134/tid=7137] ppid=7131 vsize=8616516 CPUtime=0 cores=1,3,5,7
/proc/7134/task/7137/stat : 7137 (toysat) S 7131 7134 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108605507 8823312384 2095518 33554432000 4194304 16246674 140737437793264 139999347461296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 8616516

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

[startup+1800.4 s]
/proc/loadavg: 2.03 2.04 2.03 3/184 7408
/proc/meminfo: memFree=21514548/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=0 CPUtime=1800.1 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) Z 7131 7134 5566 0 -1 4203532 10060405 0 0 0 176871 3139 0 0 20 0 2 0 108605507 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 0 0 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=0 CPUtime=0.1 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) R 7131 7134 5566 0 -1 4203588 8 0 0 0 0 10 0 0 20 0 2 0 108605507 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.03 2.04 2.03 3/184 7408
/proc/meminfo: memFree=21514548/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) Z 7131 7134 5566 0 -1 4203532 10060405 0 0 0 176871 3158 0 0 20 0 2 0 108605507 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 0 0 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=0 CPUtime=0.29 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) R 7131 7134 5566 0 -1 4203588 8 0 0 0 0 29 0 0 20 0 2 0 108605507 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.03 2.04 2.03 3/174 7444
/proc/meminfo: memFree=30563392/32872528 swapFree=12744/274376
[pid=7134] ppid=7131 vsize=0 CPUtime=1800.4 cores=1,3,5,7
/proc/7134/stat : 7134 (toysat) Z 7131 7134 5566 0 -1 4203532 10060405 0 0 0 176871 3169 0 0 20 0 2 0 108605507 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7134/statm: 0 0 0 0 0 0 0
[pid=7134/tid=7136] ppid=7131 vsize=0 CPUtime=0.4 cores=1,3,5,7
/proc/7134/task/7136/stat : 7136 (toysat) R 7131 7134 5566 0 -1 4203588 8 0 0 0 0 40 0 0 20 0 2 0 108605507 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.76
CPU time (s): 1800.47
CPU user time (s): 1768.72
CPU system time (s): 31.7492
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 9019972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.72
system time used= 31.7492
maximum resident set size= 8785528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10060405
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= 887
involuntary context switches= 2070

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53031 second user time and 6.95294 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 04:31:48
IDJOB=4079133
IDBENCH=71876
IDSOLVER=2542
FILE ID=node107/4079133-1465266707
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= cc5cebabc199f10f08063890a2dc59f2
RANDOM SEED=454714101

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        31590512 kB
Buffers:           64684 kB
Cached:           157272 kB
SwapCached:         1724 kB
Active:           197748 kB
Inactive:         105252 kB
Active(anon):      82464 kB
Inactive(anon):      440 kB
Active(file):     115284 kB
Inactive(file):   104812 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:             36544 kB
Writeback:             4 kB
AnonPages:        352456 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             571420 kB
SReclaimable:      14520 kB
SUnreclaim:       556900 kB
KernelStack:        1432 kB
PageTables:         6568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1404104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node107 at 2016-06-07 05:01:48