Trace number 4107530

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.01 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-kdessh.cudf.paranoid.opb
MD5SUMdaf4da6710ff45b14309a16c43dd1da1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141778
Best CPU time to get the best result obtained on this benchmark26.277
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
Number of bits of the biggest sum of numbers24
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-18T23:41:15+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-4107530-1466286075.opb"]
0.00/0.01	c use --random-gen="1296617670 3549074556 1329747633 4279277681 611063934 2753976112 90055087 274588632 2279109771 4030900607 721181580 1819362660 1590736235 2303918889 525799517 2949663774 380769904 2342222936 310481999 1819785397 1126080691 1884208361 2227941801 149859127 3107440341 1089794875 3631019346 2218130266 1758361772 2669699037 1207819310 1872642911 1253761257 3577716179 3757047260 216492424 2974273563 2743307442 4062948617 4254386397 4274542546 2730380219 1430664869 951827954 3025973486 3850826933 2698209729 1871705813 2176551517 1834293174 838611009 2934812843 4039334298 2268739193 2901012678 2567811384 294197912 1941653374 2275347028 1017515200 2249131320 1773949273 1781695809 1171990301 4164480307 2245257198 2963096849 880297354 4177630651 743052524 582166341 2649265573 1821033636 1584771943 4168906104 2749749859 548326825 1024815408 18746450 1938174389 4230788116 1253693010 869111433 758708976 4147693770 1672645609 3470946365 2188571287 2151852647 1978452249 2804041518 84654244 451469451 415574424 1623017318 1127566504 3329100945 849940448 2126703722 1826361802 3573207820 3235279308 1504063453 4160250518 102063468 887646077 2116350774 3782254401 2674338489 3719928795 904897083 2879110095 2070840161 3768393049 2092782364 3529298786 3507964256 1682099935 1593188942 501398170 1595565815 611325417 2276819331 4212395007 3506897680 1434445961 1510748051 4130677636 52077854 1608282275 3897454202 4194624074 359220305 3790978871 1579739318 4282175536 2413939205 1273177007 4115265247 761840005 2414079390 787452683 324897950 3570529584 703570052 2765616797 4151592503 3561049885 1018359523 2466901783 1321728038 67571038 2105595875 1493567862 3487852533 1652599833 1276369586 3198081424 6745629 2408900384 4278779167 3445101621 3900204030 4020418560 1673939437 2728905900 900041869 2703009687 3287847849 28392067 2549995579 2134097003 2137235963 2118439726 986403094 2831322022 1008604010 1686279858 289314362 2108112248 2929625372 2825119475 3905812387 3657078163 4232698683 189485371 2330273273 1112255852 1879462117 933854963 3343280889 2516169828 163539226 2864662037 901471001 1067158877 65324250 304692439 114781679 2890654017 96286564 741960314 2041715442 511820275 3660139593 3194108668 2314608193 3356233558 3264676010 3653087698 223928597 487131994 809327077 2347220141 4071737973 3954856796 344394256 4248047299 2213343624 1102938678 962756872 2006047237 1313085965 3409164606 3851795420 3261002977 4011246282 1598300183 3364106641 3509395766 170367506 2506330965 630384201 256037214 2022570218 1630558040 2573305074 2210521037 43381521 3336577352 3918516691 3592037111 3445504914 1320235672 2368228812 4103693978 2247313253 2258491291 227832317 473051753 1219756 1318285047 871325584 2032641333 1464203363 431467972 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.19/2.24	c BCD2: Hardening is enabled.
2.19/2.24	c BCD2: BiasedSearch is enabled.
2.19/2.24	c Solving starts ...
2.19/2.24	c ============================[ Search Statistics ]============================
2.19/2.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.24	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.24	c =============================================================================
2.19/2.24	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.79/2.82	c  0.6s |       1 |    95088 |      100 |    38664      0 |       52 |      141
4.49/4.51	c  2.3s |       2 |   301157 |      250 |    42531      0 |       52 |      141
7.48/7.51	c  5.3s |       2 |   642865 |      409 |    46785      0 |       52 |      141
7.48/7.51	c #cpu_time = 5.243s
7.48/7.51	c #wall_clock_time = 5.257s
7.48/7.51	c #decision = 642865
7.48/7.51	c #random_decision = 2031
7.48/7.51	c #conflict = 409
7.48/7.51	c #restart = 2
7.48/7.51	o 6780948
186.26/186.33	c BCD2: updating upper bound: 12717493 -> 6780947
372.94/373.03	c BCD2: 0 <= obj <= 6780947
372.94/373.03	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
372.94/373.03	c BCD2: #sat=1 #unsat=1 bias=1/2
372.94/373.03	c Solving starts ...
372.94/373.03	c ============================[ Search Statistics ]============================
372.94/373.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
372.94/373.03	c       |         |          |          |    Limit     GC | Var      | Constra 
372.94/373.03	c =============================================================================
372.94/373.03	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
372.94/373.08	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
372.94/373.08	c #cpu_time = 0.054s
372.94/373.08	c #wall_clock_time = 0.054s
372.94/373.08	c #decision = 382
372.94/373.08	c #random_decision = 0
372.94/373.08	c #conflict = 0
372.94/373.08	c #restart = 0
372.94/373.08	c BCD2: found a new core of size 2: cost of the new core is >=1
372.94/373.08	c lower bound updated to 1
560.61/560.76	c BCD2: 1 <= obj <= 6780947
560.61/560.76	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
560.61/560.76	c BCD2: #sat=1 #unsat=2 bias=2/3
560.61/560.76	c Solving starts ...
560.61/560.76	c ============================[ Search Statistics ]============================
560.61/560.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
560.61/560.76	c       |         |          |          |    Limit     GC | Var      | Constra 
560.61/560.76	c =============================================================================
560.61/560.77	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
560.71/560.83	c  0.1s |       0 |      750 |        0 |    46785      0 |       52 |      141
560.71/560.83	c #cpu_time = 0.062s
560.71/560.83	c #wall_clock_time = 0.062s
560.71/560.83	c #decision = 750
560.71/560.83	c #random_decision = 0
560.71/560.83	c #conflict = 0
560.71/560.83	c #restart = 0
560.71/560.83	c BCD2: found a new core of size 2: cost of the new core is >=1
560.71/560.83	c lower bound updated to 2
756.17/756.33	c BCD2: 2 <= obj <= 6780947
756.17/756.33	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
756.17/756.33	c BCD2: #sat=1 #unsat=3 bias=3/4
756.17/756.33	c Solving starts ...
756.17/756.33	c ============================[ Search Statistics ]============================
756.17/756.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
756.17/756.33	c       |         |          |          |    Limit     GC | Var      | Constra 
756.17/756.33	c =============================================================================
756.17/756.33	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
756.17/756.39	c  0.1s |       0 |      780 |        0 |    46785      0 |       52 |      141
756.17/756.39	c #cpu_time = 0.058s
756.17/756.39	c #wall_clock_time = 0.059s
756.17/756.39	c #decision = 780
756.17/756.39	c #random_decision = 0
756.17/756.39	c #conflict = 0
756.17/756.39	c #restart = 0
756.17/756.39	c BCD2: found a new core of size 2: cost of the new core is >=1
756.17/756.39	c lower bound updated to 3
938.93/939.19	c BCD2: 3 <= obj <= 6780947
938.93/939.19	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
938.93/939.19	c BCD2: #sat=1 #unsat=4 bias=4/5
938.93/939.19	c Solving starts ...
938.93/939.19	c ============================[ Search Statistics ]============================
938.93/939.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
938.93/939.19	c       |         |          |          |    Limit     GC | Var      | Constra 
938.93/939.19	c =============================================================================
938.93/939.19	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
939.03/939.25	c  0.1s |       0 |      827 |        0 |    46785      0 |       52 |      141
939.03/939.25	c #cpu_time = 0.059s
939.03/939.25	c #wall_clock_time = 0.059s
939.03/939.25	c #decision = 827
939.03/939.25	c #random_decision = 0
939.03/939.25	c #conflict = 0
939.03/939.25	c #restart = 0
939.03/939.25	c BCD2: found a new core of size 2: cost of the new core is >=1
939.03/939.25	c lower bound updated to 4
1132.36/1132.65	c BCD2: 4 <= obj <= 6780947
1132.36/1132.65	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
1132.36/1132.65	c BCD2: #sat=1 #unsat=5 bias=5/6
1132.36/1132.65	c Solving starts ...
1132.36/1132.65	c ============================[ Search Statistics ]============================
1132.36/1132.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1132.36/1132.65	c       |         |          |          |    Limit     GC | Var      | Constra 
1132.36/1132.65	c =============================================================================
1132.36/1132.65	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1132.46/1132.71	c  0.1s |       0 |      916 |        0 |    46785      0 |       52 |      141
1132.46/1132.71	c #cpu_time = 0.056s
1132.46/1132.71	c #wall_clock_time = 0.056s
1132.46/1132.71	c #decision = 916
1132.46/1132.71	c #random_decision = 0
1132.46/1132.71	c #conflict = 0
1132.46/1132.71	c #restart = 0
1132.46/1132.71	c BCD2: found a new core of size 1: cost of the new core is >=1
1132.46/1132.71	c lower bound updated to 5
1309.59/1309.98	c BCD2: 5 <= obj <= 6780947
1309.59/1309.98	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
1309.59/1309.98	c BCD2: #sat=1 #unsat=6 bias=6/7
1309.59/1309.98	c Solving starts ...
1309.59/1309.98	c ============================[ Search Statistics ]============================
1309.59/1309.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1309.59/1309.98	c       |         |          |          |    Limit     GC | Var      | Constra 
1309.59/1309.98	c =============================================================================
1309.59/1309.98	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1309.69/1310.04	c  0.1s |       0 |     1047 |        0 |    46785      0 |       52 |      141
1309.69/1310.04	c #cpu_time = 0.057s
1309.69/1310.04	c #wall_clock_time = 0.058s
1309.69/1310.04	c #decision = 1047
1309.69/1310.04	c #random_decision = 0
1309.69/1310.04	c #conflict = 0
1309.69/1310.04	c #restart = 0
1309.69/1310.04	c BCD2: found a new core of size 2: cost of the new core is >=1
1309.69/1310.04	c lower bound updated to 6
1481.15/1481.56	c BCD2: 6 <= obj <= 6780947
1481.15/1481.56	c BCD2: #cores=6, #unrelaxed=7242, #relaxed=11, #hardened=0
1481.15/1481.56	c BCD2: #sat=1 #unsat=7 bias=7/8
1481.15/1481.56	c Solving starts ...
1481.15/1481.56	c ============================[ Search Statistics ]============================
1481.15/1481.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1481.15/1481.56	c       |         |          |          |    Limit     GC | Var      | Constra 
1481.15/1481.56	c =============================================================================
1481.15/1481.56	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1481.25/1481.62	c  0.1s |       0 |     1201 |        0 |    46785      0 |       52 |      141
1481.25/1481.62	c #cpu_time = 0.061s
1481.25/1481.62	c #wall_clock_time = 0.061s
1481.25/1481.62	c #decision = 1201
1481.25/1481.62	c #random_decision = 0
1481.25/1481.62	c #conflict = 0
1481.25/1481.62	c #restart = 0
1481.25/1481.62	c BCD2: found a new core of size 2: cost of the new core is >=1
1481.25/1481.62	c lower bound updated to 7
1663.02/1663.44	c BCD2: 7 <= obj <= 6780947
1663.02/1663.44	c BCD2: #cores=7, #unrelaxed=7240, #relaxed=13, #hardened=0
1663.02/1663.44	c BCD2: #sat=1 #unsat=8 bias=8/9
1663.02/1663.44	c Solving starts ...
1663.02/1663.44	c ============================[ Search Statistics ]============================
1663.02/1663.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1663.02/1663.44	c       |         |          |          |    Limit     GC | Var      | Constra 
1663.02/1663.44	c =============================================================================
1663.02/1663.44	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1663.12/1663.51	c  0.1s |       0 |     2171 |        1 |    46785      0 |       52 |      141
1663.12/1663.51	c #cpu_time = 0.070s
1663.12/1663.51	c #wall_clock_time = 0.071s
1663.12/1663.51	c #decision = 2171
1663.12/1663.51	c #random_decision = 0
1663.12/1663.51	c #conflict = 1
1663.12/1663.51	c #restart = 0
1663.12/1663.51	c BCD2: found a new core of size 2: cost of the new core is >=1
1663.12/1663.51	c lower bound updated to 8

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4107530-1466286075/watcher-4107530-1466286075 -o /tmp/evaluation-result-4107530-1466286075/solver-4107530-1466286075 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107530-1466286075.opb 

pid=16499
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.22 2.17 2.17 3/179 16502
/proc/meminfo: memFree=30002520/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=814524 CPUtime=0 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 3056 0 0 0 0 0 0 0 20 0 4 0 30656721 834072576 2907 33554432000 4194304 16246674 140734324340864 140734324340288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 204143 2916 441 2943 0 201037 0
[pid=16502/tid=16503] ppid=16499 vsize=831932 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 851898368 2976 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=836028 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 856092672 2992 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=840124 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30656721 860286976 3008 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.22 2.17 2.17 3/179 16502
/proc/meminfo: memFree=30002520/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 28861 0 0 0 5 4 0 0 20 0 4 0 30656721 1333334016 28650 33554432000 4194304 16246674 140734324340864 140734324340176 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 325521 28666 800 2943 0 322415 0
[pid=16502/tid=16503] ppid=16499 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1333334016 28676 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1333334016 28688 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1333334016 28699 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200529 s]
/proc/loadavg: 2.22 2.17 2.17 3/179 16502
/proc/meminfo: memFree=30002520/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 48630 0 0 0 12 7 0 0 20 0 4 0 30656721 1344868352 48929 33554432000 4194304 16246674 140734324340864 140734324340176 7378140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 328337 48929 800 2943 0 325231 0
[pid=16502/tid=16503] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 48929 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 48929 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 48929 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300467 s]
/proc/loadavg: 2.22 2.17 2.17 3/179 16502
/proc/meminfo: memFree=30002520/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 63293 0 0 0 20 9 0 0 20 0 4 0 30656721 1344868352 63592 33554432000 4194304 16246674 140734324340864 140734324340176 13967847 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 328337 63592 800 2943 0 325231 0
[pid=16502/tid=16503] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 63592 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 63592 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 63592 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700422 s]
/proc/loadavg: 2.22 2.17 2.17 3/179 16502
/proc/meminfo: memFree=30002520/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 73136 0 0 0 58 11 0 0 20 0 4 0 30656721 1344868352 73435 33554432000 4194304 16246674 140734324340864 140734324323856 7440264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 328337 73435 800 2943 0 325231 0
[pid=16502/tid=16503] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 73435 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 73435 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 73435 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.22 2.17 2.17 3/183 16506
/proc/meminfo: memFree=29549196/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 193360 0 0 0 121 28 0 0 20 0 4 0 30656721 1344868352 193660 33554432000 4194304 16246674 140734324340864 140734324322752 6973918 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 328337 193670 838 2943 0 325231 0
[pid=16502/tid=16503] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 193676 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 193683 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1344868352 193689 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.22 2.17 2.17 3/183 16506
/proc/meminfo: memFree=28911960/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 278768 0 0 0 268 41 0 0 20 0 4 0 30656721 1389957120 279067 33554432000 4194304 16246674 140734324340864 140734324322752 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 279073 889 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 279076 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 279080 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 279083 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1357380

[startup+6.30038 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 16506
/proc/meminfo: memFree=28882200/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=6.28 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280029 0 0 0 587 41 0 0 20 0 4 0 30656721 1389957120 280328 33554432000 4194304 16246674 140734324340864 140734324322752 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280328 895 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280328 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280328 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280328 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.19 2.17 2.17 3/183 16506
/proc/meminfo: memFree=28883356/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=12.69 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280038 0 0 0 1227 42 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 140734324322752 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280337 904 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 16506
/proc/meminfo: memFree=28882552/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=25.49 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280038 0 0 0 2507 42 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 140734324322752 12371373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280337 904 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.22 2.17 2.17 3/183 16506
/proc/meminfo: memFree=28884588/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=51.08 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280038 0 0 0 5066 42 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 140734324339960 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280337 904 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1357380

[startup+102.301 s]
/proc/loadavg: 2.21 2.18 2.17 3/183 16507
/proc/meminfo: memFree=28884472/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=102.28 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280038 0 0 0 10186 42 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 140734324339960 12429056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280337 904 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280337 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1357380


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

/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.23 2.16 2.16 4/183 16717
/proc/meminfo: memFree=28912744/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1302 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280239 0 0 0 130156 44 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12371136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.08 2.12 2.15 3/183 16718
/proc/meminfo: memFree=28904036/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1361.98 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280260 0 0 0 136154 44 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12413920 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.08 2.11 2.14 3/183 16719
/proc/meminfo: memFree=28903920/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1421.97 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 142152 45 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.14 2.12 2.14 4/183 16721
/proc/meminfo: memFree=28893252/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1481.95 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 148150 45 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.15 2.13 2.14 3/183 16722
/proc/meminfo: memFree=28890704/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1541.95 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 154150 45 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.19 2.14 2.14 3/183 16723
/proc/meminfo: memFree=27463832/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1601.93 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 160148 45 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.22 2.16 2.15 4/183 16724
/proc/meminfo: memFree=25186292/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1661.92 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 166147 45 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12655212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.21 2.16 2.15 3/183 16725
/proc/meminfo: memFree=22853080/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1721.92 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 172146 46 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12429788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.17 2.16 2.15 4/184 16730
/proc/meminfo: memFree=20742288/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1781.91 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 178145 46 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12429744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.16 2.15 3/183 16731
/proc/meminfo: memFree=20634120/32872528 swapFree=681964/737152
[pid=16502] ppid=16499 vsize=1357380 CPUtime=1800 cores=1,3,5,7
/proc/16502/stat : 16502 (toysat) R 16499 16502 13233 0 -1 4202496 280280 0 0 0 179954 46 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 140734324322752 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16502/statm: 339345 280610 920 2943 0 336239 0
[pid=16502/tid=16503] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16503/stat : 16503 (toysat) S 16499 16502 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776087796976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16502/tid=16504] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16504/stat : 16504 (toysat) S 16499 16502 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776077307120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16502/tid=16505] ppid=16499 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/16502/task/16505/stat : 16505 (toysat) S 16499 16502 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30656721 1389957120 280610 33554432000 4194304 16246674 140734324340864 139776066833584 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) 1357380

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1799.55
CPU system time (s): 0.461929
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.461929
maximum resident set size= 1122440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280280
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= 249
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02493 second user time and 9.54155 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 23:41:15
IDJOB=4107530
IDBENCH=72285
IDSOLVER=2542
FILE ID=node112/4107530-1466286075
RUNJOBID= node112-1466264161-13250
PBS_JOBID= 19918218
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kdessh.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107530-1466286075/watcher-4107530-1466286075 -o /tmp/evaluation-result-4107530-1466286075/solver-4107530-1466286075 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107530-1466286075.opb

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

MD5SUM BENCH= daf4da6710ff45b14309a16c43dd1da1
RANDOM SEED=934825649

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30003164 kB
Buffers:           87608 kB
Cached:           181408 kB
SwapCached:         2028 kB
Active:          1228156 kB
Inactive:         164212 kB
Active(anon):    1123592 kB
Inactive(anon):     2096 kB
Active(file):     104564 kB
Inactive(file):   162116 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             19948 kB
Writeback:             4 kB
AnonPages:       1859400 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             603160 kB
SReclaimable:      46740 kB
SUnreclaim:       556420 kB
KernelStack:        1472 kB
PageTables:         8260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2005668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71676 MiB
End job on node112 at 2016-06-19 00:11:15