Trace number 4107170

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.21 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
MD5SUMc86c2bff8998e235e21b76d1aefb5162
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark107914
Best CPU time to get the best result obtained on this benchmark1800.62
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables24498
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 constraint16
Maximum length of a constraint337
Number of terms in the objective function 24000
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 820965984
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 114804
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 820965984
Number of bits of the biggest sum of numbers30
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:06:01+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-4107170-1466283961.opb"]
0.00/0.01	c use --random-gen="1196744902 3059794558 2091443194 2298264972 3274477253 682559710 3344874964 252013731 4068674530 1262610779 359014913 1251353584 380066315 2851059773 2114456593 1212335775 1555122156 2232045126 616670773 2819774484 2336639656 2623538070 2343002030 720051555 1060347383 1436234233 3722291184 1299907272 3989711548 4190898376 527122222 464318567 3457319803 1854911634 2294159904 656827025 3062464482 2083894705 2557308465 2611831591 3704958965 1749063763 146924747 2333934856 1738516343 862625375 629691727 2905637880 4220162874 629392968 416079507 1913568898 166140983 3660633371 2971731720 2167052495 2971298091 557761686 3185493025 4287107872 1293192218 3698185153 1777144711 151937520 1577761957 2050878639 3043209442 2099366344 1886833967 3591040038 3151197150 2944907360 4015974285 3040519612 26404545 1535395091 3336811721 2306564231 806074884 847193030 1794037534 1849510782 384646197 4076790980 525119949 1849541300 2237594830 3142060613 3763118174 2235793758 1118607535 244119692 3084484969 2472208623 3401899765 2426458026 706411966 3370633401 238584072 3550363963 4096504459 975854485 2167859728 1432656362 557504940 2151936529 1575848689 2936926310 1784382855 2950762453 402156568 4211977049 2973334445 1353026764 2291843605 1919655518 3348384179 2251333232 2550894995 1755037802 1215819390 828198268 2042720871 2230715372 4026165111 1562694388 2222317254 4186549861 11498515 2210662196 3199983800 4033150427 4183945610 495097228 2859333474 1434025981 2929605737 821461794 2904102564 1991605753 2610068975 3347853492 4030383873 692673493 218816728 4131458166 1330724119 4005964080 2943888352 1787970334 1837496233 3897105763 292677147 2043439269 992714498 330999289 20050805 1880528085 1110565850 514314297 2932159979 3447323391 2625264689 3905441197 4259037579 2819386074 2722833944 2015775369 4094225225 1343114238 2755488694 824889063 9024130 3433537719 1612468948 1974438214 2257324438 2431337099 2599247843 2856945670 2639334858 3740528820 4075992743 13266648 962789668 2473857563 2937966776 1157403369 2626462389 1373288325 495014651 1733402954 778197274 3311398464 2478641036 1218271923 3353689692 2531205005 1151821864 3580519509 3058427643 3586822157 811726364 1176690457 3816728041 954879466 1033297497 2303051646 2339160654 2228649936 1189877619 486080839 3680952252 856722539 2614900445 731637878 1491911937 3080532251 360570019 3179140516 1056843921 3768352545 1469498320 2553058326 4147897429 1245166921 1493005012 3644301362 115029587 3734017869 3435756109 911202050 3731168725 1308641921 2846111600 2306341933 104670686 3284821379 776075691 1616521819 359247370 1493116864 2048739201 722335179 3573079007 2900101189 2896914772 3530555790 3378542400 4248232217 4217815731 2351810923 793437047 576471120 3885049959 2085598624 255 362436" option to reproduce the execution
0.09/0.19	c #vars 24498
0.09/0.19	c #constraints 2000
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |     8999      0 |        0 |        0
0.59/0.68	c  0.2s |       1 |     4185 |      100 |     8999      0 |        0 |        0
0.79/0.88	c  0.4s |       2 |    10455 |      250 |     9899      0 |        0 |        0
0.99/1.10	c  0.6s |       3 |    17849 |      475 |    10889      0 |        0 |        0
1.49/1.58	c  1.1s |       4 |    40397 |      813 |    11978      0 |        0 |        0
1.88/1.95	c  1.5s |       5 |    57862 |     1320 |    13176      0 |        0 |        0
2.08/2.16	c  1.7s |       5 |    71037 |     1543 |    14494      0 |        0 |        0
2.08/2.16	c #cpu_time = 1.633s
2.08/2.16	c #wall_clock_time = 1.633s
2.08/2.16	c #decision = 71037
2.08/2.16	c #random_decision = 210
2.08/2.16	c #conflict = 1543
2.08/2.16	c #restart = 5
2.08/2.16	o 15535546
2.19/2.21	c BCD2: updating upper bound: 820965984 -> 15535545
2.29/2.32	c BCD2: 0 <= obj <= 15535545
2.29/2.32	c BCD2: #cores=0, #unrelaxed=24000, #relaxed=0, #hardened=0
2.29/2.32	c BCD2: #sat=1 #unsat=1 bias=1/2
2.29/2.33	c Solving starts ...
2.29/2.33	c ============================[ Search Statistics ]============================
2.29/2.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.29/2.33	c       |         |          |          |    Limit     GC | Var      | Constra 
2.29/2.33	c =============================================================================
2.29/2.33	c  0.0s |       0 |        0 |        0 |    14494      0 |        0 |        0
2.29/2.37	c  0.0s |       0 |     6442 |        0 |    14494      0 |        0 |        0
2.29/2.37	c #cpu_time = 0.037s
2.29/2.37	c #wall_clock_time = 0.037s
2.29/2.37	c #decision = 6442
2.29/2.37	c #random_decision = 0
2.29/2.37	c #conflict = 0
2.29/2.37	c #restart = 0
2.29/2.37	c BCD2: found a new core of size 48: cost of the new core is >=9805
2.29/2.37	c lower bound updated to 9805
2.29/2.39	c BCD2: 9805 <= obj <= 15535545
2.29/2.39	c BCD2: #cores=1, #unrelaxed=23952, #relaxed=48, #hardened=0
2.29/2.39	c BCD2: #sat=1 #unsat=2 bias=2/3
2.29/2.40	c Solving starts ...
2.29/2.40	c ============================[ Search Statistics ]============================
2.29/2.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.29/2.40	c       |         |          |          |    Limit     GC | Var      | Constra 
2.29/2.40	c =============================================================================
2.29/2.40	c  0.0s |       0 |        0 |        0 |    14494      0 |        0 |        1
2.38/2.45	c  0.1s |       0 |    13620 |        0 |    14494      0 |        0 |        1
2.38/2.45	c #cpu_time = 0.049s
2.38/2.45	c #wall_clock_time = 0.049s
2.38/2.45	c #decision = 13620
2.38/2.45	c #random_decision = 0
2.38/2.45	c #conflict = 0
2.38/2.45	c #restart = 0
2.38/2.45	c BCD2: found a new core of size 206: cost of the new core is >=5818
2.38/2.45	c lower bound updated to 15623
2.38/2.48	c BCD2: 15623 <= obj <= 15535545
2.38/2.48	c BCD2: #cores=2, #unrelaxed=23746, #relaxed=254, #hardened=0
2.38/2.48	c BCD2: #sat=1 #unsat=3 bias=3/4
284.14/284.25	c Solving starts ...
284.14/284.25	c ============================[ Search Statistics ]============================
284.14/284.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
284.14/284.25	c       |         |          |          |    Limit     GC | Var      | Constra 
284.14/284.25	c =============================================================================
284.14/284.25	c  0.0s |       0 |        0 |        0 |    14494      0 |        0 |        1
284.34/284.43	c  0.2s |       0 |    44626 |       32 |    14494      0 |        0 |        1
284.34/284.43	c #cpu_time = 0.158s
284.34/284.43	c #wall_clock_time = 0.158s
284.34/284.43	c #decision = 44626
284.34/284.43	c #random_decision = 0
284.34/284.43	c #conflict = 32
284.34/284.43	c #restart = 0
284.34/284.43	c BCD2: relaxing 286 and merging with 1 cores into a new core of size 334: cost of the new core is >=16411
284.34/284.43	c lower bound updated to 22229
284.34/284.45	c BCD2: 22229 <= obj <= 15535545
284.34/284.45	c BCD2: #cores=2, #unrelaxed=23460, #relaxed=540, #hardened=0
284.34/284.45	c BCD2: #sat=1 #unsat=4 bias=4/5
502.39/502.53	c Solving starts ...
502.39/502.53	c ============================[ Search Statistics ]============================
502.39/502.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
502.39/502.53	c       |         |          |          |    Limit     GC | Var      | Constra 
502.39/502.53	c =============================================================================
502.39/502.53	c  0.0s |       0 |        0 |        0 |    14494      0 |        2 |        1
502.60/502.72	c  0.2s |       1 |    33242 |      100 |    14494      0 |        2 |        4
502.89/503.03	c  0.5s |       2 |   127608 |      250 |    14494      0 |        2 |        4
503.19/503.31	c  0.8s |       3 |   197112 |      475 |    14494      0 |        2 |        4
503.59/503.79	c  1.3s |       4 |   325565 |      813 |    15944      0 |        2 |        4
504.90/505.09	c  2.6s |       5 |   708966 |     1320 |    15944      0 |        2 |        4
505.69/505.85	c  3.3s |       5 |   917426 |     1592 |    15944      0 |        2 |        4
505.69/505.85	c #cpu_time = 3.298s
505.69/505.85	c #wall_clock_time = 3.298s
505.69/505.85	c #decision = 917426
505.69/505.85	c #random_decision = 3
505.69/505.85	c #conflict = 1592
505.69/505.85	c #restart = 5
505.69/505.85	c BCD2: found a new core of size 5591: cost of the new core is >=2759
505.69/505.85	c lower bound updated to 24988
505.69/505.88	c BCD2: 24988 <= obj <= 15535545
505.69/505.88	c BCD2: #cores=3, #unrelaxed=17869, #relaxed=6131, #hardened=0
505.69/505.88	c BCD2: #sat=1 #unsat=5 bias=5/6
1116.30/1116.51	c Solving starts ...
1116.30/1116.51	c ============================[ Search Statistics ]============================
1116.30/1116.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1116.30/1116.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1116.30/1116.51	c =============================================================================
1116.30/1116.51	c  0.0s |       0 |        0 |        0 |    15944      0 |        2 |        4
1116.49/1116.72	c  0.2s |       1 |    33718 |      100 |    17539      0 |        2 |        4
1116.69/1116.91	c  0.4s |       2 |    55355 |      250 |    17539      0 |        2 |        4
1116.89/1117.15	c  0.6s |       3 |    86381 |      475 |    17539      0 |        2 |        4
1117.09/1117.39	c  0.9s |       3 |   109839 |      597 |    17539      0 |        2 |        4
1117.09/1117.39	c #cpu_time = 0.851s
1117.09/1117.39	c #wall_clock_time = 0.851s
1117.09/1117.39	c #decision = 109839
1117.09/1117.39	c #random_decision = 31
1117.09/1117.39	c #conflict = 597
1117.09/1117.39	c #restart = 3
1117.09/1117.39	o 1362565
1121.59/1121.82	c BCD2: updating upper bound: 15535545 -> 1362564
1124.79/1125.00	c BCD2: 24988 <= obj <= 1362564
1124.79/1125.00	c BCD2: #cores=3, #unrelaxed=17869, #relaxed=6131, #hardened=0
1124.79/1125.00	c BCD2: #sat=2 #unsat=5 bias=5/7

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

pid=10174
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.16 2.09 2.07 3/179 10177
/proc/meminfo: memFree=27917128/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2877 0 0 0 0 0 0 0 20 0 4 0 30441496 786886656 2728 33554432000 4194304 16246674 140734713607312 140734713606736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 192879 2736 441 2943 0 189773 0
[pid=10177/tid=10178] ppid=10174 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 803663872 2792 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 807858176 2808 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30441496 814149632 2829 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.16 2.09 2.07 3/179 10177
/proc/meminfo: memFree=27917128/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 31297 0 0 0 5 4 0 0 20 0 4 0 30441496 1334382592 31086 33554432000 4194304 16246674 140734713607312 140734713606624 7889646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 325777 31100 800 2943 0 322671 0
[pid=10177/tid=10178] ppid=10174 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1334382592 31112 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1334382592 31123 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1334382592 31135 33554432000 4194304 16246674 140734713607312 140210898717872 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) 1303108

[startup+0.200539 s]
/proc/loadavg: 2.16 2.09 2.07 3/179 10177
/proc/meminfo: memFree=27917128/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 46027 0 0 0 13 6 0 0 20 0 4 0 30441496 1344868352 46326 33554432000 4194304 16246674 140734713607312 140734713606624 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 328337 46326 806 2943 0 325231 0
[pid=10177/tid=10178] ppid=10174 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1344868352 46326 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1344868352 46326 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1344868352 46326 33554432000 4194304 16246674 140734713607312 140210898717872 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.30047 s]
/proc/loadavg: 2.16 2.09 2.07 3/179 10177
/proc/meminfo: memFree=27917128/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1319492 CPUtime=0.29 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 47747 0 0 0 23 6 0 0 20 0 4 0 30441496 1351159808 48046 33554432000 4194304 16246674 140734713607312 140734713606624 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 329873 48046 838 2943 0 326767 0
[pid=10177/tid=10178] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 48046 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 48046 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 48046 33554432000 4194304 16246674 140734713607312 140210898717872 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) 1319492

[startup+0.700389 s]
/proc/loadavg: 2.16 2.09 2.07 3/179 10177
/proc/meminfo: memFree=27917128/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 110580 0 0 0 54 15 0 0 20 0 4 0 30441496 1351159808 110879 33554432000 4194304 16246674 140734713607312 140734713606624 5586485 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 329873 110888 885 2943 0 326767 0
[pid=10177/tid=10178] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 110893 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 110898 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 110903 33554432000 4194304 16246674 140734713607312 140210898717872 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) 1319492

[startup+1.50037 s]
/proc/loadavg: 2.15 2.08 2.07 3/183 10181
/proc/meminfo: memFree=27264760/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 207641 0 0 0 122 27 0 0 20 0 4 0 30441496 1351159808 207940 33554432000 4194304 16246674 140734713607312 140734713589184 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 329873 207940 886 2943 0 326767 0
[pid=10177/tid=10178] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 207940 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 207940 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1351159808 207940 33554432000 4194304 16246674 140734713607312 140210898717872 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) 1319492

[startup+3.10039 s]
/proc/loadavg: 2.15 2.08 2.07 3/183 10181
/proc/meminfo: memFree=27070576/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1334852 CPUtime=3.09 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 243994 0 0 0 277 32 0 0 20 0 4 0 30441496 1366888448 244293 33554432000 4194304 16246674 140734713607312 140734713589184 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 333713 244298 918 2943 0 330607 0
[pid=10177/tid=10178] ppid=10174 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1366888448 244302 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1366888448 244305 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1366888448 244308 33554432000 4194304 16246674 140734713607312 140210898717872 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) 1334852

[startup+6.30039 s]
/proc/loadavg: 2.15 2.08 2.07 3/183 10181
/proc/meminfo: memFree=26804400/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1349188 CPUtime=6.29 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 278005 0 0 0 593 36 0 0 20 0 4 0 30441496 1381568512 278304 33554432000 4194304 16246674 140734713607312 140734713589184 12654339 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 337297 278304 918 2943 0 334191 0
[pid=10177/tid=10178] ppid=10174 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1381568512 278304 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1381568512 278304 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1381568512 278304 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1349188

[startup+12.7004 s]
/proc/loadavg: 2.13 2.08 2.07 3/183 10181
/proc/meminfo: memFree=26594880/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1535556 CPUtime=12.69 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 324597 0 0 0 1226 43 0 0 20 0 4 0 30441496 1572409344 324896 33554432000 4194304 16246674 140734713607312 140734713606624 6955142 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 383889 324896 918 2943 0 380783 0
[pid=10177/tid=10178] ppid=10174 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1572409344 324896 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1572409344 324896 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1535556 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1572409344 324896 33554432000 4194304 16246674 140734713607312 140210898717872 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) 1535556

[startup+25.5005 s]
/proc/loadavg: 2.11 2.08 2.07 3/182 10181
/proc/meminfo: memFree=26365140/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1731140 CPUtime=25.48 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 373493 0 0 0 2499 49 0 0 20 0 4 0 30441496 1772687360 373792 33554432000 4194304 16246674 140734713607312 140734713606624 4206568 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 432785 373792 918 2943 0 429679 0
[pid=10177/tid=10178] ppid=10174 vsize=1731140 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 1772687360 373792 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1731140 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 1772687360 373792 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1731140 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 1772687360 373792 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1731140

[startup+51.1005 s]
/proc/loadavg: 2.07 2.07 2.07 3/183 10182
/proc/meminfo: memFree=26831932/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=1975876 CPUtime=51.08 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 434677 0 0 0 5049 59 0 0 20 0 4 0 30441496 2023297024 434976 33554432000 4194304 16246674 140734713607312 140734713605120 4206597 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 493969 434976 918 2943 0 490863 0
[pid=10177/tid=10178] ppid=10174 vsize=1975876 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2023297024 434976 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=1975876 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 2023297024 434976 33554432000 4194304 16246674 140734713607312 140210909191184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=1975876 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2023297024 434976 33554432000 4194304 16246674 140734713607312 140210898717872 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) 1975876

[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.06 4/183 10183
/proc/meminfo: memFree=26471204/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=2360900 CPUtime=102.27 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 530933 0 0 0 10151 76 0 0 20 0 4 0 30441496 2417561600 531232 33554432000 4194304 16246674 140734713607312 140734713606488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 590225 531232 918 2943 0 587119 0
[pid=10177/tid=10178] ppid=10174 vsize=2360900 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2417561600 531232 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=2360900 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30441496 2417561600 531232 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=2360900 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2417561600 531232 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2360900


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

/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2899906560 648996 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=2831940 CPUtime=0.01 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30441496 2899906560 648996 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=2831940 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2899906560 648996 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2831940

[startup+1362.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 10362
/proc/meminfo: memFree=27138224/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=3169860 CPUtime=1362.05 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 1944826 0 0 0 135806 399 0 0 20 0 4 0 30441496 3245936640 733732 33554432000 4194304 16246674 140734713607312 140734713605184 4220498 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 792465 733732 919 2943 0 789359 0
[pid=10177/tid=10178] ppid=10174 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 3245936640 733732 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=3169860 CPUtime=0.01 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30441496 3245936640 733732 33554432000 4194304 16246674 140734713607312 140210909191184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=3169860 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 3245936640 733732 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 3169860

[startup+1422.3 s]
/proc/loadavg: 2.04 2.09 2.08 4/183 10363
/proc/meminfo: memFree=26872264/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=3435076 CPUtime=1422.04 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2011130 0 0 0 141789 415 0 0 20 0 4 0 30441496 3517517824 800036 33554432000 4194304 16246674 140734713607312 140734713606488 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 858769 800036 919 2943 0 855663 0
[pid=10177/tid=10178] ppid=10174 vsize=3435076 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 3517517824 800036 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=3435076 CPUtime=0.01 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30441496 3517517824 800036 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=3435076 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 3517517824 800036 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 3435076

[startup+1482.3 s]
/proc/loadavg: 2.01 2.07 2.08 4/184 10367
/proc/meminfo: memFree=26718248/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=3588676 CPUtime=1482.03 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2049530 0 0 0 147775 428 0 0 20 0 4 0 30441496 3674804224 838436 33554432000 4194304 16246674 140734713607312 140734713606408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 897169 838436 919 2943 0 894063 0
[pid=10177/tid=10178] ppid=10174 vsize=3588676 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 3674804224 838436 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=3588676 CPUtime=0.01 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30441496 3674804224 838436 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=3588676 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 3674804224 838436 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 3588676

[startup+1542.31 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 10368
/proc/meminfo: memFree=26615752/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=3691076 CPUtime=1542.02 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2075130 0 0 0 153763 439 0 0 20 0 4 0 30441496 3779661824 864036 33554432000 4194304 16246674 140734713607312 140734713605120 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 922769 864036 919 2943 0 919663 0
[pid=10177/tid=10178] ppid=10174 vsize=3691076 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 3779661824 864036 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=3691076 CPUtime=0.01 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 30441496 3779661824 864036 33554432000 4194304 16246674 140734713607312 140210909191184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=3691076 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 3779661824 864036 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 3691076

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/183 10370
/proc/meminfo: memFree=28248972/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=2060868 CPUtime=1602.01 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2079994 0 0 0 159752 449 0 0 20 0 4 0 30441496 2110328832 456484 33554432000 4194304 16246674 140734713607312 140734713606624 12652961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 515217 456484 919 2943 0 512111 0
[pid=10177/tid=10178] ppid=10174 vsize=2060868 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2110328832 456484 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=2060868 CPUtime=0.02 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 1 0 0 20 0 4 0 30441496 2110328832 456484 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=2060868 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2110328832 456484 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2060868

[startup+1662.3 s]
/proc/loadavg: 2.16 2.09 2.08 3/183 10371
/proc/meminfo: memFree=27894016/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=2415172 CPUtime=1662 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2168570 0 0 0 165735 465 0 0 20 0 4 0 30441496 2473136128 545060 33554432000 4194304 16246674 140734713607312 140734713605184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 603793 545060 919 2943 0 600687 0
[pid=10177/tid=10178] ppid=10174 vsize=2415172 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2473136128 545060 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=2415172 CPUtime=0.02 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 1 0 0 20 0 4 0 30441496 2473136128 545060 33554432000 4194304 16246674 140734713607312 140210909191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=2415172 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2473136128 545060 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2415172

[startup+1722.3 s]
/proc/loadavg: 2.11 2.08 2.08 3/183 10372
/proc/meminfo: memFree=27570052/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=2738756 CPUtime=1721.99 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2249466 0 0 0 171719 480 0 0 20 0 4 0 30441496 2804486144 625956 33554432000 4194304 16246674 140734713607312 140734713605184 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 684689 625956 919 2943 0 681583 0
[pid=10177/tid=10178] ppid=10174 vsize=2738756 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2804486144 625956 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=2738756 CPUtime=0.02 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 1 0 0 20 0 4 0 30441496 2804486144 625956 33554432000 4194304 16246674 140734713607312 140210909191184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=2738756 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2804486144 625956 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2738756

[startup+1782.3 s]
/proc/loadavg: 2.08 2.08 2.08 4/183 10373
/proc/meminfo: memFree=27452520/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=2855492 CPUtime=1781.98 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2278650 0 0 0 177707 491 0 0 20 0 4 0 30441496 2924023808 655140 33554432000 4194304 16246674 140734713607312 140734713605120 4220912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 713873 655140 919 2943 0 710767 0
[pid=10177/tid=10178] ppid=10174 vsize=2855492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2924023808 655140 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=2855492 CPUtime=0.02 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 1 0 0 20 0 4 0 30441496 2924023808 655140 33554432000 4194304 16246674 140734713607312 140210909191184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=2855492 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2924023808 655140 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2855492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 10373
/proc/meminfo: memFree=27411336/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=2897476 CPUtime=1800.07 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) R 10174 10177 7739 0 -1 4202496 2289146 0 0 0 179513 494 0 0 20 0 4 0 30441496 2967015424 665636 33554432000 4194304 16246674 140734713607312 140734713605120 4220978 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 724369 665636 919 2943 0 721263 0
[pid=10177/tid=10178] ppid=10174 vsize=2897476 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) S 10174 10177 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30441496 2967015424 665636 33554432000 4194304 16246674 140734713607312 140210919681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10177/tid=10179] ppid=10174 vsize=2897476 CPUtime=0.02 cores=1,3,5,7
/proc/10177/task/10179/stat : 10179 (toysat) S 10174 10177 7739 0 -1 4202560 8 0 0 0 1 1 0 0 20 0 4 0 30441496 2967015424 665636 33554432000 4194304 16246674 140734713607312 140210909191184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10177/tid=10180] ppid=10174 vsize=2897476 CPUtime=0 cores=1,3,5,7
/proc/10177/task/10180/stat : 10180 (toysat) S 10174 10177 7739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 30441496 2967015424 665636 33554432000 4194304 16246674 140734713607312 140210898717872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2897476

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

[startup+1800.5 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 10373
/proc/meminfo: memFree=27411336/32872528 swapFree=496868/529572
[pid=10177] ppid=10174 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/10177/stat : 10177 (toysat) Z 10174 10177 7739 0 -1 4203532 2289146 0 0 0 179515 504 0 0 20 0 2 0 30441496 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10177/statm: 0 0 0 0 0 0 0
[pid=10177/tid=10178] ppid=10174 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/10177/task/10178/stat : 10178 (toysat) R 10174 10177 7739 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 30441496 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.21
CPU user time (s): 1795.15
CPU system time (s): 5.05823
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 3964484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.15
system time used= 5.05823
maximum resident set size= 3728520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2289146
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= 2218
involuntary context switches= 1801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45632 second user time and 7.00593 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 23:06:01
IDJOB=4107170
IDBENCH=71909
IDSOLVER=2542
FILE ID=node141/4107170-1466283961
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71708 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__16.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107170-1466283961/watcher-4107170-1466283961 -o /tmp/evaluation-result-4107170-1466283961/solver-4107170-1466283961 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107170-1466283961.opb

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

MD5SUM BENCH= c86c2bff8998e235e21b76d1aefb5162
RANDOM SEED=91956364

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27917508 kB
Buffers:          164612 kB
Cached:           272536 kB
SwapCached:         2528 kB
Active:          3391512 kB
Inactive:         283052 kB
Active(anon):    3237516 kB
Inactive(anon):     2028 kB
Active(file):     153996 kB
Inactive(file):   281024 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       3767600 kB
Mapped:            10808 kB
Shmem:                 0 kB
Slab:             610788 kB
SReclaimable:      54304 kB
SUnreclaim:       556484 kB
KernelStack:        1448 kB
PageTables:        11740 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3911548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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= 71696 MiB
End job on node141 at 2016-06-18 23:36:01