Trace number 4107066

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.12 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__1024.opb
MD5SUM52ff77379d5ac91fab82f1dac91e539e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark883780
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables307298
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints98
Minimum length of a constraint1024
Maximum length of a constraint17409
Number of terms in the objective function 307200
Biggest coefficient in the objective function 94834
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 11086752768
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 11086752768
Number of bits of the biggest sum of numbers34
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-18T22:30:15+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107066-1466281814.opb"]
0.00/0.01	c use --random-gen="1590376562 4141785935 1190398235 532350558 4014090607 3955795339 1915282268 3208573914 1887358625 744130351 486348100 1324598840 1998022370 55438428 4163101601 3093514126 3165311436 1808909716 3236388832 1889541962 3747232617 3548511710 1308849510 1441977240 2103942498 2017705593 484524938 413155378 4121476734 4158904115 431258333 1883987195 1209200517 2500603238 263809303 2146038045 2729723656 2711566384 2225013687 1071932395 3019539406 2765403918 2554038173 3796483430 3083862583 4203140925 3389016126 2240525131 1361514909 174936490 1359266560 4138457393 3204943978 3357091242 2689271154 3332306418 293894446 2264402402 3841681 590469494 2370614556 3542856300 2108325649 3882471761 1380685976 4159646977 1837016990 461628743 1962556706 406616743 1453835205 225074491 899661267 113214541 2848911491 3848735848 3239931608 2868095431 2015613724 2160399272 3907548007 814655478 943150940 115793748 3043498735 2396430102 4292953713 2904863723 2628055346 2532761390 879897994 3509112976 1389463263 3316667512 2151064433 3859006695 4200309319 2261099017 2900884464 1751922057 1170961943 2240004732 37222813 864923193 2324428083 3189728880 1917952085 4196004137 814211908 77311014 2014843733 3796642256 2312953276 2423765798 3061772887 3855117210 3148498560 3677800756 784262348 2418337894 3260552805 702978139 4109665421 2860983721 3886507787 2354992400 3999377193 154232617 802533208 1522126785 3391895700 827201325 2383059171 4142563878 406005718 1168359608 830758852 2131699129 2041330133 1517423059 697106504 139313541 3981715455 2374573259 2100283094 2038456193 2005117002 2604249354 1242482314 1983744521 3350831146 1655088530 3421022677 79158851 998809049 3486471669 1649629132 4139903746 3137877085 2531000524 1691975961 1870080048 2539983566 121182683 4258753679 3581317989 1530481585 2610728431 133016964 4098552777 4115964760 3504082221 3807947918 2098720657 771332255 3465802948 2673654081 1377474285 2021383282 2462187169 1563651291 700012987 125868750 2098034900 2471736317 2107641322 2783428840 1332098384 1575807119 1593332657 4064056513 856292310 3137833039 1776070419 3297788737 3094467533 3855355474 1280934496 3573315863 2670697991 3630591101 1226195716 905336584 4200955913 1917621887 4020919889 1309395908 3903263278 2257011650 2338500384 1248427636 2663904262 3091483551 78098930 490371984 1627805656 239911739 3306970477 1311123948 3740360400 3899340576 3375393449 1894568691 194196743 1693071101 3956712876 3917599916 3822543387 3973523645 775860 1225355756 2935230368 4147811913 3349397969 3655212433 1519598458 2962145003 2532577573 3255652213 1959989120 57478611 1362721602 204239359 146635879 3065082137 2463637390 2575985077 643346768 4162066685 163156768 3604162962 649221664 4292804870 1750707681 744577474 2055149124 255 362436" option to reproduce the execution
1.49/2.12	c #vars 307298
1.49/2.12	c #constraints 400
7.59/7.69	c BCD2: Hardening is enabled.
7.59/7.69	c BCD2: BiasedSearch is enabled.
7.59/7.69	c Solving starts ...
7.59/7.69	c ============================[ Search Statistics ]============================
7.59/7.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.59/7.69	c       |         |          |          |    Limit     GC | Var      | Constra 
7.59/7.69	c =============================================================================
7.69/7.72	c  0.0s |       0 |        0 |        0 |   102599      0 |        0 |        0
54.08/54.16	c 46.4s |       0 |     1455 |      100 |   102599      0 |        0 |        0
54.18/54.21	c 46.5s |       1 |     1455 |      100 |   102599      0 |        0 |        0
54.78/54.84	c 47.1s |       2 |     6633 |      250 |   112859      0 |        0 |        0
63.38/63.47	c 55.7s |       2 |    14347 |      350 |   124145      0 |        0 |        0
71.38/71.47	c 63.8s |       2 |    14347 |      450 |   124145      0 |        0 |        0
73.48/73.57	c 65.9s |       3 |    14347 |      475 |   124145      0 |        0 |        0
94.27/94.35	c 86.6s |       3 |    34060 |      575 |   136560      0 |        0 |        0
114.77/114.82	c  107s |       3 |    34060 |      675 |   136560      0 |        0 |        0
135.27/135.32	c  127s |       3 |    34060 |      775 |   136560      0 |        0 |        0
143.17/143.23	c  135s |       4 |    34060 |      813 |   136560      0 |        0 |        0
149.37/149.40	c  141s |       4 |    41134 |      913 |   150216      0 |        0 |        0
155.16/155.27	c  147s |       4 |    41134 |     1013 |   150216      0 |        0 |        0
161.07/161.19	c  153s |       4 |    41134 |     1113 |   150216      0 |        0 |        0
167.06/167.17	c  159s |       4 |    41134 |     1213 |   150216      0 |        0 |        0
173.17/173.23	c  165s |       4 |    41134 |     1313 |   150216      0 |        0 |        0
173.56/173.68	c  165s |       5 |    41134 |     1320 |   150216      0 |        0 |        0
179.26/179.36	c  171s |       5 |    72218 |     1420 |   165238      0 |        0 |        0
184.16/184.29	c  176s |       5 |    72218 |     1520 |   165238      0 |        0 |        0
189.16/189.28	c  181s |       5 |    72218 |     1620 |   165238      0 |        0 |        0
194.26/194.35	c  186s |       5 |    72218 |     1720 |   165238      0 |        0 |        0
199.46/199.50	c  191s |       5 |    72218 |     1820 |   165238      0 |        0 |        0
204.66/204.75	c  197s |       5 |    72218 |     1920 |   165238      0 |        0 |        0
210.06/210.12	c  202s |       5 |    72218 |     2020 |   165238      0 |        0 |        0
213.46/213.59	c  205s |       6 |    72218 |     2081 |   181762      0 |        0 |        0
222.56/222.60	c  214s |       6 |   142188 |     2181 |   181762      0 |        0 |        0
230.55/230.64	c  222s |       6 |   142188 |     2281 |   181762      0 |        0 |        0
238.65/238.73	c  231s |       6 |   142188 |     2381 |   181762      0 |        0 |        0
246.75/246.89	c  239s |       6 |   142188 |     2481 |   181762      0 |        0 |        0
255.05/255.15	c  247s |       6 |   142188 |     2581 |   181762      0 |        0 |        0
263.36/263.48	c  255s |       6 |   142188 |     2681 |   181762      0 |        0 |        0
271.75/271.89	c  264s |       6 |   142188 |     2781 |   181762      0 |        0 |        0
280.35/280.43	c  272s |       6 |   142188 |     2881 |   181762      0 |        0 |        0
289.05/289.12	c  281s |       6 |   142188 |     2981 |   181762      0 |        0 |        0
297.85/297.98	c  290s |       6 |   142188 |     3081 |   181762      0 |        0 |        0
311.94/312.04	c  304s |       6 |   181403 |     3181 |   181762      0 |        0 |        0
320.44/320.51	c  312s |       7 |   209417 |     3223 |   199939      0 |        0 |        0
351.13/351.26	c  343s |       7 |   263233 |     3323 |   199939      0 |        0 |        0
381.04/381.12	c  373s |       7 |   263233 |     3423 |   199939      0 |        0 |        0
410.92/411.04	c  403s |       7 |   263233 |     3523 |   199939      0 |        0 |        0
491.21/491.35	c  483s |       7 |   283215 |     3623 |   199939      0 |        0 |        0
584.10/584.29	c  576s |       7 |   283215 |     3723 |   199939      0 |        0 |        0
677.09/677.28	c  669s |       7 |   283215 |     3823 |   199939      0 |        0 |        0
770.87/771.02	c  763s |       7 |   283215 |     3923 |   199939      0 |        0 |        0
864.25/864.50	c  856s |       7 |   283215 |     4023 |   199939      0 |        0 |        0
957.63/957.85	c  950s |       7 |   283215 |     4123 |   199939      0 |        0 |        0
1051.42/1051.67	c 1043s |       7 |   283215 |     4223 |   199939      0 |        0 |        0
1142.51/1142.76	c 1135s |       7 |   283215 |     4323 |   199939      0 |        0 |        0
1235.28/1235.59	c 1227s |       7 |   283215 |     4423 |   199939      0 |        0 |        0
1327.16/1327.42	c 1319s |       7 |   283215 |     4523 |   199939      0 |        0 |        0
1391.16/1391.41	c 1383s |       7 |   284236 |     4623 |   199939      0 |        0 |        0
1432.35/1432.65	c 1424s |       7 |   284236 |     4723 |   199939      0 |        0 |        0
1474.14/1474.48	c 1466s |       7 |   284236 |     4823 |   199939      0 |        0 |        0
1596.33/1596.64	c 1588s |       7 |   285261 |     4923 |   219933      0 |        0 |        0
1612.62/1612.94	c 1605s |       8 |   285261 |     4936 |   219933      0 |        0 |        0
1621.52/1621.84	c 1614s |       8 |   391072 |     5036 |   219933      0 |        0 |        0
1624.72/1625.06	c 1617s |       8 |   391072 |     5136 |   219933      0 |        0 |        0
1628.02/1628.35	c 1620s |       8 |   391072 |     5236 |   219933      0 |        0 |        0
1631.41/1631.75	c 1624s |       8 |   391072 |     5336 |   219933      0 |        0 |        0
1634.92/1635.22	c 1627s |       8 |   391072 |     5436 |   219933      0 |        0 |        0
1638.72/1639.00	c 1631s |       8 |   391072 |     5536 |   219933      0 |        0 |        0
1643.21/1643.51	c 1635s |       8 |   391072 |     5636 |   219933      0 |        0 |        0
1647.02/1647.36	c 1639s |       8 |   391072 |     5736 |   219933      0 |        0 |        0
1650.32/1650.64	c 1642s |       8 |   408909 |     5836 |   219933      0 |        0 |        0
1656.51/1656.87	c 1649s |       8 |   416082 |     5936 |   219933      0 |        0 |        0
1701.61/1701.90	c 1694s |       8 |   427145 |     6036 |   219933      0 |        0 |        0

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

pid=25171
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.10 2.09 2.07 3/180 25174
/proc/meminfo: memFree=29928016/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=719428 CPUtime=0 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 2687 0 0 0 0 0 0 0 20 0 4 0 30227122 736694272 3047 33554432000 4194304 16246674 140736651686000 140736651685424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 180625 3057 442 2943 0 177519 0
[pid=25174/tid=25175] ppid=25171 vsize=737860 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 755568640 3117 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=740932 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30227122 758714368 3131 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=746052 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 763957248 3148 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.10 2.09 2.07 3/180 25174
/proc/meminfo: memFree=29928016/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 31032 0 0 0 5 4 0 0 20 0 4 0 30227122 1333334016 31331 33554432000 4194304 16246674 140736651686000 140736651685312 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 325521 31348 802 2943 0 322415 0
[pid=25174/tid=25175] ppid=25171 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1333334016 31359 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30227122 1333334016 31371 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1333334016 31382 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200552 s]
/proc/loadavg: 2.10 2.09 2.07 3/180 25174
/proc/meminfo: memFree=29928016/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 43994 0 0 0 13 6 0 0 20 0 4 0 30227122 1343819776 44803 33554432000 4194304 16246674 140736651686000 140736651685312 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 328081 44803 802 2943 0 324975 0
[pid=25174/tid=25175] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 44803 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 44803 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 44803 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300508 s]
/proc/loadavg: 2.10 2.09 2.07 3/180 25174
/proc/meminfo: memFree=29928016/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 44759 0 0 0 23 6 0 0 20 0 4 0 30227122 1343819776 45568 33554432000 4194304 16246674 140736651686000 140736651685312 4222992 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 328081 45568 802 2943 0 324975 0
[pid=25174/tid=25175] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 45568 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 45568 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 45568 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700419 s]
/proc/loadavg: 2.10 2.09 2.07 3/180 25174
/proc/meminfo: memFree=29928016/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 67689 0 0 0 59 10 0 0 20 0 4 0 30227122 1343819776 68498 33554432000 4194304 16246674 140736651686000 140736651668992 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 328081 68518 804 2943 0 324975 0
[pid=25174/tid=25175] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 68530 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 68542 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 68553 33554432000 4194304 16246674 140736651686000 140724200795312 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) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.10 2.09 2.07 3/184 25178
/proc/meminfo: memFree=29636844/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 77864 0 0 0 137 12 0 0 20 0 4 0 30227122 1343819776 78673 33554432000 4194304 16246674 140736651686000 140736651683840 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 328081 78673 805 2943 0 324975 0
[pid=25174/tid=25175] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 78673 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 78673 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1343819776 78673 33554432000 4194304 16246674 140736651686000 140724200795312 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) 1312324

[startup+3.10041 s]
/proc/loadavg: 2.10 2.09 2.07 4/184 25178
/proc/meminfo: memFree=29377568/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1453636 CPUtime=3.09 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 159857 0 0 0 285 24 0 0 20 0 4 0 30227122 1488523264 164243 33554432000 4194304 16246674 140736651686000 140736651684664 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 363409 164253 821 2943 0 360303 0
[pid=25174/tid=25175] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 164258 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 164264 33554432000 4194304 16246674 140736651686000 140724281515024 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 164269 33554432000 4194304 16246674 140736651686000 140724200795312 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) 1453636

[startup+6.30044 s]
/proc/loadavg: 2.09 2.08 2.07 3/184 25178
/proc/meminfo: memFree=28985284/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1453636 CPUtime=6.28 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 262097 0 0 0 590 38 0 0 20 0 4 0 30227122 1488523264 269038 33554432000 4194304 16246674 140736651686000 140736651685312 13955795 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 363409 269038 842 2943 0 360303 0
[pid=25174/tid=25175] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 269038 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 269038 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 269038 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1453636

[startup+12.7075 s]
/proc/loadavg: 2.08 2.08 2.07 3/184 25178
/proc/meminfo: memFree=28838396/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1453636 CPUtime=12.69 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 265731 0 0 0 1230 39 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140736651667904 5711369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 363409 272672 892 2943 0 360303 0
[pid=25174/tid=25175] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724200795312 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) 1453636

[startup+25.5003 s]
/proc/loadavg: 2.15 2.10 2.07 3/184 25178
/proc/meminfo: memFree=28838792/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1453636 CPUtime=25.49 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 265731 0 0 0 2510 39 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140736651667904 5712536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 363409 272672 892 2943 0 360303 0
[pid=25174/tid=25175] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1453636

[startup+51.1004 s]
/proc/loadavg: 2.10 2.09 2.07 3/183 25178
/proc/meminfo: memFree=28838928/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1453636 CPUtime=51.09 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 265731 0 0 0 5070 39 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140736651685096 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 363409 272672 892 2943 0 360303 0
[pid=25174/tid=25175] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 272672 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1453636

[startup+102.3 s]
/proc/loadavg: 2.09 2.09 2.07 3/183 25179
/proc/meminfo: memFree=28836412/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=1453636 CPUtime=102.27 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 266279 0 0 0 10188 39 0 0 20 0 4 0 30227122 1488523264 273220 33554432000 4194304 16246674 140736651686000 140736651667904 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 363409 273220 892 2943 0 360303 0
[pid=25174/tid=25175] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 273220 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 273220 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 1488523264 273220 33554432000 4194304 16246674 140736651686000 140724200795312 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) 1453636


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

/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2206797824 480506 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2155076

[startup+1362.3 s]
/proc/loadavg: 2.18 2.19 2.13 3/183 25260
/proc/meminfo: memFree=27429780/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2155076 CPUtime=1362.07 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 443353 0 0 0 136114 93 0 0 20 0 4 0 30227122 2206797824 480520 33554432000 4194304 16246674 140736651686000 140736651667904 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 538769 480520 896 2943 0 535663 0
[pid=25174/tid=25175] ppid=25171 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2206797824 480520 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2206797824 480520 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2206797824 480520 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2155076

[startup+1422.3 s]
/proc/loadavg: 2.32 2.23 2.15 3/183 25261
/proc/meminfo: memFree=27394836/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2190916 CPUtime=1422.05 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 452155 0 0 0 142109 96 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140736651685176 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 547729 489321 896 2943 0 544623 0
[pid=25174/tid=25175] ppid=25171 vsize=2190916 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2190916 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2190916 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2190916

[startup+1482.31 s]
/proc/loadavg: 2.18 2.20 2.14 3/183 25262
/proc/meminfo: memFree=27395004/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2190916 CPUtime=1482.04 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 452157 0 0 0 148105 99 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140736651667904 5522929 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 547729 489321 896 2943 0 544623 0
[pid=25174/tid=25175] ppid=25171 vsize=2190916 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2190916 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2190916 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2243497984 489321 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2190916

[startup+1542.3 s]
/proc/loadavg: 2.11 2.18 2.14 3/183 25263
/proc/meminfo: memFree=27361420/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2223684 CPUtime=1542.03 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 460279 0 0 0 154099 104 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140736651667904 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 555921 497443 896 2943 0 552815 0
[pid=25174/tid=25175] ppid=25171 vsize=2223684 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2223684 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2223684 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2223684

[startup+1602.3 s]
/proc/loadavg: 2.16 2.17 2.14 3/183 25264
/proc/meminfo: memFree=27362068/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2223684 CPUtime=1602.03 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 460279 0 0 0 160096 107 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140736651667904 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 555921 497443 896 2943 0 552815 0
[pid=25174/tid=25175] ppid=25171 vsize=2223684 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2223684 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2223684 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2277052416 497443 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2223684

[startup+1662.3 s]
/proc/loadavg: 2.06 2.14 2.12 3/183 25266
/proc/meminfo: memFree=27323908/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2261572 CPUtime=1662.01 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 469846 0 0 0 166090 111 0 0 20 0 4 0 30227122 2315849728 507010 33554432000 4194304 16246674 140736651686000 140736651667904 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 565393 507010 896 2943 0 562287 0
[pid=25174/tid=25175] ppid=25171 vsize=2261572 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2315849728 507010 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2261572 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2315849728 507010 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2261572 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2315849728 507010 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2261572

[startup+1722.3 s]
/proc/loadavg: 2.09 2.13 2.12 3/183 25267
/proc/meminfo: memFree=27311288/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2337348 CPUtime=1722 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 488896 0 0 0 172070 130 0 0 20 0 4 0 30227122 2393444352 526060 33554432000 4194304 16246674 140736651686000 140736651685312 12483222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 584337 526060 896 2943 0 581231 0
[pid=25174/tid=25175] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526060 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526060 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526060 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2337348

[startup+1782.3 s]
/proc/loadavg: 2.09 2.12 2.11 4/183 25268
/proc/meminfo: memFree=27246720/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2337348 CPUtime=1781.99 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 488924 0 0 0 178055 144 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140736651685176 5722972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 584337 526088 896 2943 0 581231 0
[pid=25174/tid=25175] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2337348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.11 2.11 3/184 25272
/proc/meminfo: memFree=27246428/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2337348 CPUtime=1800.09 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 488924 0 0 0 179857 152 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140736651685176 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 584337 526088 896 2943 0 581231 0
[pid=25174/tid=25175] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2337348

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

[startup+1800.4 s]
/proc/loadavg: 2.06 2.11 2.11 3/184 25272
/proc/meminfo: memFree=27246428/32872528 swapFree=534252/566956
[pid=25174] ppid=25171 vsize=2337348 CPUtime=1800.09 cores=1,3,5,7
/proc/25174/stat : 25174 (toysat) R 25171 25174 24407 0 -1 4202496 488924 0 0 0 179857 152 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140736651685176 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25174/statm: 584337 526088 896 2943 0 581231 0
[pid=25174/tid=25175] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25175/stat : 25175 (toysat) S 25171 25174 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724292005104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25174/tid=25176] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (toysat) S 25171 25174 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724281515248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25174/tid=25177] ppid=25171 vsize=2337348 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25177/stat : 25177 (toysat) S 25171 25174 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30227122 2393444352 526088 33554432000 4194304 16246674 140736651686000 140724200795312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2337348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.12
CPU user time (s): 1798.58
CPU system time (s): 1.53677
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 2337348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.53677
maximum resident set size= 2104352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488924
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= 87
involuntary context switches= 1968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5963 second user time and 6.90195 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 22:30:15
IDJOB=4107066
IDBENCH=71861
IDSOLVER=2542
FILE ID=node138/4107066-1466281814
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 52ff77379d5ac91fab82f1dac91e539e
RANDOM SEED=915941567

node138.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.395
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.79
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.395
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.395
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.395
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.395
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.395
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.395
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.395
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:        29928932 kB
Buffers:          152112 kB
Cached:           296408 kB
SwapCached:         1060 kB
Active:          1333204 kB
Inactive:         301200 kB
Active(anon):    1186108 kB
Inactive(anon):     1696 kB
Active(file):     147096 kB
Inactive(file):   299504 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             30320 kB
Writeback:             0 kB
AnonPages:       1751980 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             609348 kB
SReclaimable:      52564 kB
SUnreclaim:       556784 kB
KernelStack:        1456 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1896848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1210368 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= 71684 MiB
End job on node138 at 2016-06-18 23:00:15