Trace number 4079138

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

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__512.opb
MD5SUMd0ffef5b15f9518c13edbe4c212527f5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark6.94194
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51248
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint512
Maximum length of a constraint4609
Number of terms in the objective function 51200
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 1718545920
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 1718545920
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T04:29:46+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-4079138-1465266585.opb"]
0.00/0.01	c use --random-gen="3796267428 3071114291 2577784343 2502122008 1379269639 2107219588 3032736784 1107635624 3414909305 1639722432 931269107 749203350 924454761 3459985114 706246792 3694162702 4238252515 4108879785 960219830 2312519284 3782590943 3737799326 1126008302 1536622427 2560682555 3805699295 380278981 3643818878 2084665554 2105900288 1753646187 731918067 1301803304 3932193735 2603800954 2663805278 3008746843 1718358770 768205728 344633830 770381179 1474468880 2302971393 447463778 3456668512 3499709797 525508518 4253135159 2969342191 2667941955 4232476971 2520410132 1174517837 1180910348 1516985174 946831217 4223691627 946452168 3953995997 1940736374 112859473 3982644472 794634189 185408481 966409363 3924517421 2414039000 3784312149 1517388421 872129672 1035356726 1284347840 946786775 890450742 2858794814 3251960746 77019859 3628631038 2825991461 823066559 2822328217 3452561337 191057385 652702860 1576199567 3649122846 2984917959 2244050327 1779163479 1688748663 2702366843 547652628 2443892887 1613811699 3667617714 2206491181 3150700138 2912230253 2871154451 4134383962 1455046163 3959730336 1746749915 2526186520 283406326 1841791324 1001752334 2299550059 2148817308 1624365538 4182726030 2096675329 378794150 144038504 3766428668 2564468618 3529866984 947340432 1836090712 2582946386 3632672399 2660351909 152164764 1970877222 3140108882 2525478839 3666549069 3435386405 1322750694 2357615498 449253267 2708466898 417675187 428480075 1868078220 399945259 3839132640 1574527471 2825777145 542662175 1454808955 3200317886 369752797 3707131789 4289581062 987891715 2481118304 1976347374 2896662796 3032962826 2603831302 2797670408 698072304 433637768 2261291001 2535704876 3263718583 3984218678 270276638 80551676 463372348 3787044949 1329028657 3803116918 932213221 2707644635 1743084290 66990147 613821893 2101271226 2238909346 2729809975 2546391627 3504600653 1508313562 2361675938 2900666151 869421695 1555353593 2677204583 3549983988 2696758573 926151435 3730494066 1433635681 3670369560 1509389317 3089679478 3031578516 671587182 494414356 3653600684 2977754907 2416054772 3140060116 1010084608 1745197415 3868641261 708180470 3595853362 2562374889 2196724343 1654065545 3042459291 2732947652 3086429689 1499591396 3317998313 300808254 1335375746 1577457228 1333803285 2984048786 748934368 1789743734 204183835 2387461624 219535056 1721111336 3850944667 2838796834 3814977427 2537036031 2249968916 3127768418 1169601310 1633909187 780911517 190646065 232037629 2851553400 2611593233 624426614 1908209707 3269410637 1525888794 2592233322 3088571843 3688730723 3488507735 481396053 2013856299 586726866 1902588187 796145610 580853381 1464739094 388547952 2100562356 3487831522 2879846250 2909247833 2809279244 232275162 879939917 951813131 255 362436" option to reproduce the execution
0.29/0.38	c #vars 51248
0.29/0.38	c #constraints 150
1.10/1.19	c BCD2: Hardening is enabled.
1.10/1.19	c BCD2: BiasedSearch is enabled.
1.10/1.19	c Solving starts ...
1.10/1.19	c ============================[ Search Statistics ]============================
1.10/1.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.19	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.19	c =============================================================================
1.10/1.19	c  0.0s |       0 |        0 |        0 |    17149      0 |        0 |        0
5.60/5.66	c  4.5s |       0 |      568 |      100 |    17149      0 |        0 |        0
5.60/5.67	c  4.5s |       1 |      568 |      100 |    17149      0 |        0 |        0
5.99/6.02	c  4.8s |       2 |     6198 |      250 |    18864      0 |        0 |        0
6.29/6.33	c  5.1s |       3 |    13223 |      475 |    20751      0 |        0 |        0
8.99/9.09	c  7.9s |       3 |    30266 |      575 |    22827      0 |        0 |        0
11.59/11.69	c 10.5s |       3 |    30266 |      675 |    22827      0 |        0 |        0
14.29/14.35	c 13.2s |       3 |    30266 |      775 |    22827      0 |        0 |        0
15.39/15.41	c 14.2s |       4 |    30266 |      813 |    22827      0 |        0 |        0
16.78/16.82	c 15.6s |       5 |    35429 |     1320 |    25110      0 |        0 |        0
20.38/20.40	c 19.2s |       5 |    40027 |     1420 |    27622      0 |        0 |        0
23.78/23.80	c 22.6s |       5 |    40290 |     1520 |    27622      0 |        0 |        0
27.28/27.30	c 26.1s |       5 |    41373 |     1620 |    27622      0 |        0 |        0
30.79/30.87	c 29.7s |       5 |    55921 |     1720 |    27622      0 |        0 |        0
34.19/34.28	c 33.1s |       5 |    55921 |     1820 |    27622      0 |        0 |        0
37.68/37.72	c 36.5s |       5 |    55921 |     1920 |    27622      0 |        0 |        0
41.18/41.23	c 40.0s |       5 |    55921 |     2020 |    27622      0 |        0 |        0
43.38/43.43	c 42.2s |       6 |    55921 |     2081 |    30385      0 |        0 |        0
46.68/46.75	c 45.6s |       6 |    82763 |     2281 |    30385      0 |        0 |        0
50.38/50.49	c 49.3s |       6 |   102190 |     2381 |    30385      0 |        0 |        0
69.57/69.68	c 68.5s |       6 |   111211 |     2481 |    30385      0 |        0 |        0
72.18/72.29	c 71.1s |       6 |   124218 |     2581 |    30385      0 |        0 |        0
89.47/89.57	c 88.4s |       6 |   134901 |     2681 |    30385      0 |        0 |        0
138.26/138.35	c  137s |       6 |   140569 |     2781 |    30385      0 |        0 |        0
174.96/175.09	c  173s |       6 |   141578 |     2881 |    30385      0 |        0 |        0
177.76/177.84	c  176s |       6 |   143616 |     2981 |    30385      0 |        0 |        0
180.66/180.76	c  179s |       6 |   143616 |     3081 |    30385      0 |        0 |        0
183.76/183.80	c  182s |       6 |   144766 |     3181 |    30385      0 |        0 |        0
184.46/184.53	c  183s |       7 |   144838 |     3223 |    33424      0 |        0 |        0
187.26/187.37	c  186s |       7 |   148486 |     3323 |    33424      0 |        0 |        0
190.16/190.23	c  189s |       7 |   148636 |     3423 |    33424      0 |        0 |        0
194.15/194.26	c  193s |       7 |   149162 |     3523 |    33424      0 |        0 |        0
197.16/197.25	c  196s |       7 |   149452 |     3623 |    33424      0 |        0 |        0
200.65/200.79	c  199s |       7 |   154359 |     3823 |    33424      0 |        0 |        0
204.05/204.13	c  202s |       7 |   156270 |     4023 |    33424      0 |        0 |        0
206.36/206.41	c  205s |       7 |   157151 |     4123 |    33424      0 |        0 |        0
209.75/209.87	c  208s |       7 |   157688 |     4323 |    33424      0 |        0 |        0
215.66/215.79	c  214s |       7 |   160024 |     4523 |    33424      0 |        0 |        0
218.36/218.47	c  217s |       7 |   160329 |     4623 |    33424      0 |        0 |        0
221.16/221.28	c  220s |       7 |   161025 |     4723 |    33424      0 |        0 |        0
225.46/225.59	c  224s |       7 |   161351 |     4923 |    36767      0 |        0 |        0
225.85/225.96	c  224s |       8 |   161378 |     4936 |    36767      0 |        0 |        0
229.65/229.72	c  228s |       8 |   162927 |     5036 |    36767      0 |        0 |        0
232.95/233.01	c  231s |       8 |   162927 |     5136 |    36767      0 |        0 |        0
236.25/236.37	c  235s |       8 |   162927 |     5236 |    36767      0 |        0 |        0
239.65/239.80	c  238s |       8 |   162927 |     5336 |    36767      0 |        0 |        0
243.25/243.32	c  242s |       8 |   162927 |     5436 |    36767      0 |        0 |        0
246.35/246.45	c  245s |       8 |   163959 |     5536 |    36767      0 |        0 |        0
249.24/249.39	c  248s |       8 |   163959 |     5636 |    36767      0 |        0 |        0
252.15/252.28	c  251s |       8 |   163959 |     5736 |    36767      0 |        0 |        0
255.05/255.20	c  254s |       8 |   163959 |     5836 |    36767      0 |        0 |        0
258.05/258.17	c  256s |       8 |   163959 |     5936 |    36767      0 |        0 |        0
261.95/262.01	c  260s |       8 |   186440 |     6036 |    36767      0 |        0 |        0
263.35/263.47	c  262s |       8 |   188970 |     6135 |    36767      0 |        0 |        0
263.35/263.47	c #cpu_time = 261.556s
263.35/263.47	c #wall_clock_time = 262.226s
263.35/263.47	c #decision = 188970
263.35/263.47	c #random_decision = 649
263.35/263.47	c #conflict = 6135
263.35/263.47	c #restart = 8
263.35/263.47	o 1322512
312.24/312.33	c BCD2: updating upper bound: 1718545920 -> 1322511
360.63/360.71	c BCD2: 0 <= obj <= 1322511
360.63/360.72	c BCD2: #cores=0, #unrelaxed=51200, #relaxed=0, #hardened=0
360.63/360.72	c BCD2: #sat=1 #unsat=1 bias=1/2
360.74/360.85	c Solving starts ...
360.74/360.85	c ============================[ Search Statistics ]============================
360.74/360.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
360.74/360.85	c       |         |          |          |    Limit     GC | Var      | Constra 
360.74/360.85	c =============================================================================
360.74/360.85	c  0.0s |       0 |        0 |        0 |    36767      0 |        0 |        0
361.43/361.53	c  0.7s |       0 |     7163 |        0 |    36767      0 |        0 |        0
361.43/361.53	c #cpu_time = 0.671s
361.43/361.53	c #wall_clock_time = 0.673s
361.43/361.53	c #decision = 7163
361.43/361.53	c #random_decision = 0
361.43/361.53	c #conflict = 0
361.43/361.53	c #restart = 0
361.43/361.53	c BCD2: found a new core of size 1024: cost of the new core is >=10131
361.43/361.53	c lower bound updated to 10131
409.62/409.73	c BCD2: 10131 <= obj <= 1322511
409.62/409.73	c BCD2: #cores=1, #unrelaxed=50176, #relaxed=1024, #hardened=0
409.62/409.73	c BCD2: #sat=1 #unsat=2 bias=2/3
409.62/409.77	c Solving starts ...
409.62/409.77	c ============================[ Search Statistics ]============================
409.62/409.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
409.62/409.77	c       |         |          |          |    Limit     GC | Var      | Constra 
409.62/409.77	c =============================================================================
409.62/409.77	c  0.0s |       0 |        0 |        0 |    36767      0 |        0 |        1
410.82/410.99	c  1.2s |       0 |    43991 |        0 |    36767      0 |        0 |        1
410.82/410.99	c #cpu_time = 1.188s
410.82/410.99	c #wall_clock_time = 1.191s
410.82/410.99	c #decision = 43991
410.82/410.99	c #random_decision = 0
410.82/410.99	c #conflict = 0
410.82/410.99	c #restart = 0
410.82/410.99	c BCD2: found a new core of size 5631: cost of the new core is >=9426
410.82/410.99	c lower bound updated to 19557
459.72/459.86	c BCD2: 19557 <= obj <= 1322511
459.72/459.86	c BCD2: #cores=2, #unrelaxed=44545, #relaxed=6655, #hardened=0
459.72/459.86	c BCD2: #sat=1 #unsat=3 bias=3/4

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=13472
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.09 2.09 2.13 4/179 13475
/proc/meminfo: memFree=28222084/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 4 0 108593110 246870016 1117 33554432000 4194304 16246674 140737335317072 140737335316496 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 60271 1122 426 2943 0 57165 0
[pid=13475/tid=13476] ppid=13472 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 246870016 1146 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 246870016 1157 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108593111 246870016 1162 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.09 2.09 2.13 4/179 13475
/proc/meminfo: memFree=28222084/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 27573 0 0 0 4 4 0 0 20 0 4 0 108593110 1333334016 27872 33554432000 4194304 16246674 140737335317072 140737335316384 7367789 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 325521 27889 799 2943 0 322415 0
[pid=13475/tid=13476] ppid=13472 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1333334016 27901 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1333334016 27911 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1333334016 27922 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200556 s]
/proc/loadavg: 2.09 2.09 2.13 4/179 13475
/proc/meminfo: memFree=28222084/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1311300 CPUtime=0.18 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 43844 0 0 0 12 6 0 0 20 0 4 0 108593110 1342771200 44654 33554432000 4194304 16246674 140737335317072 140737335316384 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 327825 44672 801 2943 0 324719 0
[pid=13475/tid=13476] ppid=13472 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1342771200 44684 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1342771200 44695 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1342771200 44707 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1311300

[startup+0.300507 s]
/proc/loadavg: 2.09 2.09 2.13 4/179 13475
/proc/meminfo: memFree=28222084/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 52942 0 0 0 21 8 0 0 20 0 4 0 108593110 1343819776 53751 33554432000 4194304 16246674 140737335317072 140737335316384 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 328081 53751 802 2943 0 324975 0
[pid=13475/tid=13476] ppid=13472 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1343819776 53751 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1343819776 53751 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1343819776 53751 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70043 s]
/proc/loadavg: 2.09 2.09 2.13 4/179 13475
/proc/meminfo: memFree=28222084/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=0.69 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 62488 0 0 0 60 9 0 0 20 0 4 0 108593110 1362694144 63297 33554432000 4194304 16246674 140737335317072 140737335316168 4206664 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 63297 839 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63297 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63297 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63297 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1330756

[startup+1.50043 s]
/proc/loadavg: 2.08 2.08 2.13 3/183 13479
/proc/meminfo: memFree=27969800/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=1.49 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 62540 0 0 0 140 9 0 0 20 0 4 0 108593110 1362694144 63349 33554432000 4194304 16246674 140737335317072 140737335316168 13781202 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 63349 889 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1330756

[startup+3.10041 s]
/proc/loadavg: 2.08 2.08 2.13 4/183 13479
/proc/meminfo: memFree=27969304/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=3.09 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 62540 0 0 0 300 9 0 0 20 0 4 0 108593110 1362694144 63349 33554432000 4194304 16246674 140737335317072 140737335298944 13780660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 63349 889 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1330756

[startup+6.30042 s]
/proc/loadavg: 2.08 2.08 2.13 4/183 13479
/proc/meminfo: memFree=27966328/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=6.29 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 62540 0 0 0 620 9 0 0 20 0 4 0 108593110 1362694144 63349 33554432000 4194304 16246674 140737335317072 140737335298944 5823101 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 63349 889 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 63349 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1330756

[startup+12.7004 s]
/proc/loadavg: 2.15 2.10 2.13 4/183 13479
/proc/meminfo: memFree=27877408/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=12.69 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 76429 0 0 0 1258 11 0 0 20 0 4 0 108593110 1362694144 77238 33554432000 4194304 16246674 140737335317072 140737335298944 5712600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 77238 889 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 77238 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 77238 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 77238 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1330756

[startup+25.5005 s]
/proc/loadavg: 2.12 2.09 2.13 3/184 13482
/proc/meminfo: memFree=27688296/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=25.48 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 115618 0 0 0 2532 16 0 0 20 0 4 0 108593110 1362694144 116427 33554432000 4194304 16246674 140737335317072 140737335298944 13760162 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 116427 889 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 116427 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 116427 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 116427 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1330756

[startup+51.1005 s]
/proc/loadavg: 2.08 2.08 2.12 3/184 13482
/proc/meminfo: memFree=27502544/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=51.08 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 147685 0 0 0 5086 22 0 0 20 0 4 0 108593110 1362694144 148494 33554432000 4194304 16246674 140737335317072 140737335316248 12483286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 148494 889 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 148494 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 148494 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 148494 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1330756

[startup+102.301 s]
/proc/loadavg: 2.11 2.09 2.12 3/183 13483
/proc/meminfo: memFree=27373392/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=1330756 CPUtime=102.28 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 157998 0 0 0 10199 29 0 0 20 0 4 0 108593110 1362694144 158807 33554432000 4194304 16246674 140737335317072 140737335316248 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 332689 158807 893 2943 0 329583 0
[pid=13475/tid=13476] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 158807 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 158807 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 1362694144 158807 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1330756


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

[startup+1422.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 13517
/proc/meminfo: memFree=16612708/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=8808004 CPUtime=1422.08 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2317561 0 0 0 141775 433 0 0 20 0 4 0 108593110 9019396096 2143522 33554432000 4194304 16246674 140737335317072 140737335314880 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2202001 2143522 920 2943 0 2198895 0
[pid=13475/tid=13476] ppid=13472 vsize=8808004 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9019396096 2143522 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=8808004 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9019396096 2143522 33554432000 4194304 16246674 140737335317072 140324229848080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=8808004 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9019396096 2143522 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 8808004

[startup+1482.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/183 13518
/proc/meminfo: memFree=16878924/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=8952388 CPUtime=1482.06 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2353658 0 0 0 147762 444 0 0 20 0 4 0 108593110 9167245312 2179619 33554432000 4194304 16246674 140737335317072 140737335316248 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2238097 2179619 920 2943 0 2234991 0
[pid=13475/tid=13476] ppid=13472 vsize=8952388 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9167245312 2179619 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=8952388 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9167245312 2179619 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=8952388 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9167245312 2179619 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 8952388

[startup+1542.31 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 13519
/proc/meminfo: memFree=16321528/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=9055812 CPUtime=1542.06 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2379514 0 0 0 153751 455 0 0 20 0 4 0 108593110 9273151488 2205475 33554432000 4194304 16246674 140737335317072 140737335316168 13901575 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2263953 2205475 920 2943 0 2260847 0
[pid=13475/tid=13476] ppid=13472 vsize=9055812 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9273151488 2205475 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=9055812 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9273151488 2205475 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=9055812 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9273151488 2205475 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 9055812

[startup+1602.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 13569
/proc/meminfo: memFree=19849424/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=9207364 CPUtime=1602.04 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2417404 0 0 0 159739 465 0 0 20 0 4 0 108593110 9428340736 2243363 33554432000 4194304 16246674 140737335317072 140737335316248 4220489 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2301841 2243363 920 2943 0 2298735 0
[pid=13475/tid=13476] ppid=13472 vsize=9207364 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9428340736 2243363 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=9207364 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9428340736 2243363 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=9207364 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9428340736 2243363 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 9207364

[startup+1662.3 s]
/proc/loadavg: 2.20 2.12 2.10 3/183 13571
/proc/meminfo: memFree=19083344/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=9290308 CPUtime=1662.03 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2438144 0 0 0 165731 472 0 0 20 0 4 0 108593110 9513275392 2264099 33554432000 4194304 16246674 140737335317072 140737335314880 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2322577 2264099 920 2943 0 2319471 0
[pid=13475/tid=13476] ppid=13472 vsize=9290308 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9513275392 2264099 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=9290308 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9513275392 2264099 33554432000 4194304 16246674 140737335317072 140324229848080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=9290308 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9513275392 2264099 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 9290308

[startup+1722.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/183 13572
/proc/meminfo: memFree=18545464/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=9386564 CPUtime=1722.02 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2462208 0 0 0 171719 483 0 0 20 0 4 0 108593110 9611841536 2288163 33554432000 4194304 16246674 140737335317072 140737335316248 4206568 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2346641 2288163 920 2943 0 2343535 0
[pid=13475/tid=13476] ppid=13472 vsize=9386564 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9611841536 2288163 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=9386564 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9611841536 2288163 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=9386564 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9611841536 2288163 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 9386564

[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 13573
/proc/meminfo: memFree=17684484/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=9538116 CPUtime=1782.01 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2500096 0 0 0 177706 495 0 0 20 0 4 0 108593110 9767030784 2326051 33554432000 4194304 16246674 140737335317072 140737335314944 4221129 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2384529 2326051 920 2943 0 2381423 0
[pid=13475/tid=13476] ppid=13472 vsize=9538116 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9767030784 2326051 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=9538116 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9767030784 2326051 33554432000 4194304 16246674 140737335317072 140324229848080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=9538116 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9767030784 2326051 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 9538116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.09 2.09 2.09 4/183 13573
/proc/meminfo: memFree=17517688/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=9551428 CPUtime=1800.01 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) R 13472 13475 9895 0 -1 4202496 2503424 0 0 0 179504 497 0 0 20 0 4 0 108593110 9780662272 2329379 33554432000 4194304 16246674 140737335317072 140737335316168 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 2387857 2329379 920 2943 0 2384751 0
[pid=13475/tid=13476] ppid=13472 vsize=9551428 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13476/stat : 13476 (toysat) S 13472 13475 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108593111 9780662272 2329379 33554432000 4194304 16246674 140737335317072 140324240338160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13475/tid=13477] ppid=13472 vsize=9551428 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13477/stat : 13477 (toysat) S 13472 13475 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108593111 9780662272 2329379 33554432000 4194304 16246674 140737335317072 140324229848304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=9551428 CPUtime=0 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) S 13472 13475 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108593111 9780662272 2329379 33554432000 4194304 16246674 140737335317072 140324219374768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9551428

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

[startup+1800.4 s]
/proc/loadavg: 2.09 2.09 2.09 4/183 13573
/proc/meminfo: memFree=17517688/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) Z 13472 13475 9895 0 -1 4203532 2503424 0 0 0 179504 507 0 0 20 0 2 0 108593110 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 0 0 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) R 13472 13475 9895 0 -1 4203588 2 0 0 0 0 8 0 0 20 0 2 0 108593111 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.09 2.09 2.09 4/183 13573
/proc/meminfo: memFree=17517688/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) Z 13472 13475 9895 0 -1 4203532 2503424 0 0 0 179504 527 0 0 20 0 2 0 108593110 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 0 0 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) R 13472 13475 9895 0 -1 4203588 2 0 0 0 0 28 0 0 20 0 2 0 108593111 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.09 2.09 2.09 4/181 13573
/proc/meminfo: memFree=25223568/32872528 swapFree=12208/1156848
[pid=13475] ppid=13472 vsize=0 CPUtime=1800.41 cores=1,3,5,7
/proc/13475/stat : 13475 (toysat) Z 13472 13475 9895 0 -1 4203532 2503424 0 0 0 179504 537 0 0 20 0 2 0 108593110 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13475/statm: 0 0 0 0 0 0 0
[pid=13475/tid=13478] ppid=13472 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/13475/task/13478/stat : 13478 (toysat) R 13472 13475 9895 0 -1 4203588 2 0 0 0 0 39 0 0 20 0 2 0 108593111 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.79
CPU time (s): 1800.5
CPU user time (s): 1795.04
CPU system time (s): 5.45417
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 9551428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.04
system time used= 5.45417
maximum resident set size= 9317516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2503424
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= 736
involuntary context switches= 2570

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43233 second user time and 7.03493 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 04:29:45
IDJOB=4079138
IDBENCH=71871
IDSOLVER=2542
FILE ID=node114/4079138-1465266585
RUNJOBID= node114-1465241547-9912
PBS_JOBID= 19843245
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= d0ffef5b15f9518c13edbe4c212527f5
RANDOM SEED=1591425705

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28222844 kB
Buffers:          124944 kB
Cached:           231656 kB
SwapCached:         1696 kB
Active:          2535920 kB
Inactive:         215392 kB
Active(anon):    2395812 kB
Inactive(anon):     1252 kB
Active(file):     140108 kB
Inactive(file):   214140 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             18840 kB
Writeback:             0 kB
AnonPages:       3555248 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             601836 kB
SReclaimable:      45484 kB
SUnreclaim:       556352 kB
KernelStack:        1488 kB
PageTables:        11096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3700616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1271808 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= 71700 MiB
End job on node114 at 2016-06-07 04:59:46