Trace number 4119643

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.59 1800.88

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
MD5SUM2465f7b15056cacc4ca9488f26ccb118
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2723840
Total number of constraints11664
Number of constraints which are clauses5319
Number of constraints which are cardinality constraints (but not clauses)5319
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint5319
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1971071
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4438491
Number of bits of the biggest sum of numbers23
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-30T10:06:47+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-4119643-1467274001.opb"]
0.00/0.01	c use --random-gen="4204241841 4042170699 3286984899 3066332403 3282243487 799198993 2430127104 4194775032 2562624874 630791648 244847377 1002258206 3872576816 1212427111 3866754710 256523857 1857397253 1867553486 2262939608 2484762221 258890275 1824691634 2274825825 1556632193 2516473751 2206014482 1697051161 2932710016 1974929195 917155979 3948843058 1486564624 4008615602 3468439353 1336288158 1491257735 2356934098 3090722951 2096733954 3673617127 2165577482 3298864899 3507179060 2724206282 3057738491 101212155 863884742 1126443072 96538791 4178533280 748593485 2554448737 1637111679 504007420 1168347404 2227537918 408233218 4069243537 253613402 1363509992 2494671464 1816862933 161329095 3503336399 3464886341 1473433950 2906718610 152326532 1091070121 1201662427 2197795103 3158704042 1020597996 546241501 969515269 1018862498 3202350059 3379502861 3589695900 2889732049 1671119644 3305956298 31817726 2423735002 207670672 3338755626 3255248320 1851990284 867221956 1545322649 1163295698 192556835 3336555579 2960468887 457313813 3752328130 2976075020 998810168 3648460972 1880380983 3111509446 4201575107 2430007125 3822008876 421957351 1637456194 1035450580 1942233700 399379082 34834914 4105515601 2377856172 3540158921 3148739692 3612606652 3996236087 1875828822 879874434 3199877041 2691594877 2570607624 2344692055 2644748053 958731404 2883221128 2669473541 951036584 2590468230 3508289684 1600899510 3311254808 1322719490 3302677317 2831195578 3160608737 2681520618 2410467013 1884347412 2718961505 1855748775 2601227239 3651183045 2126872830 4271822128 1634554423 4045082927 1582729639 1266345135 2834894585 89836240 2331000609 752066142 4196741552 571020228 1888598559 2886732159 2885274043 712073969 3226034498 183232363 1321683797 3854366560 3727726739 3077412167 3350252999 2180500949 473224705 3097949162 2951463089 799258963 2084518628 3033835675 1761304639 2933791345 3956199813 3059796280 1002114703 1057994841 1413633484 2951571455 2073481547 3681266954 1991922932 2501704329 461135874 2611185605 838232221 4084559435 807128712 3982498419 1689774598 2941661011 3186074047 2489939493 4183926776 2350862821 1857081329 1565826950 3132057590 3953956701 1909291513 4034543637 631463365 3176269954 1475798714 1274216486 3823077326 253234671 2418000573 1847752693 151372422 1463976972 3767403190 276983895 3656808090 138875149 3816612329 46876188 1789616426 770316141 3260818968 3930764962 1529342608 465922754 2289874338 2195888644 334536713 1173131055 2780046245 3655997331 3259883548 2424330316 1107341962 704374234 2243609064 3767540917 4136509601 923865685 3229583836 1441505114 2373946566 1007311872 3756085135 2707932834 4035052241 4236079400 1613949188 3286567516 1643533291 2339736293 3121874579 3151893881 3490765272 3453440466 3454732860 3891853221 255 362436" option to reproduce the execution
19.69/19.71	c #vars 2723840
19.69/19.71	c #constraints 11664
126.18/126.29	c Solving starts ...
126.18/126.29	c ============================[ Search Statistics ]============================
126.18/126.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
126.18/126.29	c       |         |          |          |    Limit     GC | Var      | Constra 
126.18/126.29	c =============================================================================
126.18/126.29	c  0.0s |       0 |        0 |        0 |   911834      0 |     3333 |        0
146.47/146.51	c 20.2s |       0 |     5020 |      100 |   911834      0 |     3333 |        0
148.17/148.29	c 22.0s |       1 |     5020 |      100 |   911834      0 |     3333 |        0
176.27/176.32	c 50.0s |       1 |    34720 |      200 |  1003018      0 |     3333 |        0
190.06/190.12	c 63.8s |       2 |    34776 |      250 |  1003018      0 |     3333 |        0
246.65/246.76	c  120s |       2 |    97054 |      350 |  1103320      0 |     3333 |        0
296.44/296.56	c  170s |       2 |    97175 |      450 |  1103320      0 |     3333 |        0
310.04/310.16	c  183s |       3 |    97199 |      475 |  1103320      0 |     3333 |        0
328.04/328.14	c  201s |       3 |   294006 |      575 |  1213652      0 |     3333 |        0
342.05/342.12	c  215s |       3 |   294118 |      675 |  1213652      0 |     3333 |        0
356.23/356.35	c  230s |       3 |   294228 |      775 |  1213652      0 |     3333 |        0
363.73/363.82	c  237s |       4 |   294267 |      813 |  1213652      0 |     3333 |        0
415.23/415.31	c  289s |       4 |   507606 |      913 |  1335018      0 |     3333 |        0
465.42/465.55	c  339s |       4 |   507719 |     1013 |  1335018      0 |     3333 |        0
517.71/517.86	c  391s |       4 |   507842 |     1113 |  1335018      0 |     3333 |        0
581.21/581.33	c  455s |       4 |   507964 |     1213 |  1335018      0 |     3333 |        0
634.70/634.86	c  508s |       4 |   508085 |     1313 |  1335018      0 |     3333 |        0
643.40/643.51	c  517s |       5 |   508099 |     1320 |  1335018      0 |     3333 |        0
689.39/689.52	c  563s |       5 |   860061 |     1420 |  1468520      0 |     3333 |        0
756.17/756.30	c  630s |       5 |   860242 |     1520 |  1468520      0 |     3333 |        0
841.06/841.24	c  714s |       5 |   860378 |     1620 |  1468520      0 |     3333 |        0
896.85/897.05	c  770s |       5 |   860561 |     1720 |  1468520      0 |     3333 |        0
959.15/959.36	c  833s |       5 |   860721 |     1820 |  1468520      0 |     3333 |        0
1021.94/1022.13	c  895s |       5 |   860838 |     1920 |  1468520      0 |     3333 |        0
1083.83/1084.06	c  957s |       5 |   860966 |     2020 |  1468520      0 |     3333 |        0
1134.12/1134.32	c 1008s |       6 |   861045 |     2081 |  1615373      0 |     3333 |        0
1189.11/1189.35	c 1063s |       6 |  1325083 |     2181 |  1615373      0 |     3333 |        0
1230.30/1230.54	c 1104s |       6 |  1325191 |     2281 |  1615373      0 |     3333 |        0
1277.01/1277.22	c 1150s |       6 |  1325299 |     2381 |  1615373      0 |     3333 |        0
1321.00/1321.24	c 1194s |       6 |  1325415 |     2481 |  1615373      0 |     3333 |        0
1369.48/1369.71	c 1243s |       6 |  1325528 |     2581 |  1615373      0 |     3333 |        0
1421.37/1421.69	c 1295s |       6 |  1325635 |     2681 |  1615373      0 |     3333 |        0
1481.76/1482.06	c 1355s |       6 |  1325761 |     2781 |  1615373      0 |     3333 |        0
1546.37/1546.68	c 1420s |       6 |  1325868 |     2881 |  1615373      0 |     3333 |        0
1609.24/1609.50	c 1483s |       6 |  1325982 |     2981 |  1615373      0 |     3333 |        0
1668.45/1668.78	c 1542s |       6 |  1326096 |     3081 |  1615373      0 |     3333 |        0
1729.92/1730.24	c 1603s |       6 |  1326207 |     3181 |  1615373      0 |     3333 |        0
1761.62/1761.92	c 1635s |       7 |  1326248 |     3223 |  1776911      0 |     3333 |        0
1793.42/1793.70	c 1667s |       7 |  1931196 |     3323 |  1776911      0 |     3333 |        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-4119643-1467274001/watcher-4119643-1467274001 -o /tmp/evaluation-result-4119643-1467274001/solver-4119643-1467274001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17325 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119643-1467274001.opb 

pid=17354
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.55 3.61 3.96 3/181 17357
/proc/meminfo: memFree=27954656/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=893372 CPUtime=0 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 3364 0 0 0 0 0 0 0 20 0 4 0 8353269 914812928 3215 33554432000 4194304 16246674 140733727649600 140733727649024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 223855 3223 441 2943 0 220749 0
[pid=17357/tid=17358] ppid=17354 vsize=911804 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 933687296 3287 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=915900 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8353269 937881600 3303 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=919996 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8353269 942075904 3319 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.55 3.61 3.96 3/181 17357
/proc/meminfo: memFree=27954656/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 30555 0 0 0 6 3 0 0 20 0 4 0 8353269 1332285440 30344 33554432000 4194304 16246674 140733727649600 140733727648912 7376813 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 325265 30361 801 2943 0 322159 0
[pid=17357/tid=17358] ppid=17354 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1332285440 30372 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8353269 1332285440 30383 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1332285440 30395 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200502 s]
/proc/loadavg: 2.55 3.61 3.96 3/181 17357
/proc/meminfo: memFree=27954656/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 44408 0 0 0 14 5 0 0 20 0 4 0 8353269 1344868352 44708 33554432000 4194304 16246674 140733727649600 140733727648912 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 328337 44728 801 2943 0 325231 0
[pid=17357/tid=17358] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 44739 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 44751 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 44762 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300502 s]
/proc/loadavg: 2.55 3.61 3.96 3/181 17357
/proc/meminfo: memFree=27954656/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 50401 0 0 0 23 6 0 0 20 0 4 0 8353269 1344868352 50700 33554432000 4194304 16246674 140733727649600 140733727648912 8058611 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 328337 50700 801 2943 0 325231 0
[pid=17357/tid=17358] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 50700 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 50700 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 50700 33554432000 4194304 16246674 140733727649600 139833426037936 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) 1313348

[startup+0.700441 s]
/proc/loadavg: 2.55 3.61 3.96 3/181 17357
/proc/meminfo: memFree=27954656/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 61396 0 0 0 62 7 0 0 20 0 4 0 8353269 1344868352 61695 33554432000 4194304 16246674 140733727649600 140733727648912 4220482 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 328337 61695 802 2943 0 325231 0
[pid=17357/tid=17358] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 61695 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 61695 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 61695 33554432000 4194304 16246674 140733727649600 139833426037936 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) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.55 3.61 3.96 3/185 17361
/proc/meminfo: memFree=27499516/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 79403 0 0 0 139 10 0 0 20 0 4 0 8353269 1344868352 79702 33554432000 4194304 16246674 140733727649600 140733727632592 8058631 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 328337 79702 802 2943 0 325231 0
[pid=17357/tid=17358] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 79702 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 79702 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1344868352 79702 33554432000 4194304 16246674 140733727649600 139833426037936 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) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.55 3.61 3.96 3/185 17361
/proc/meminfo: memFree=27139168/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 147844 0 0 0 288 21 0 0 20 0 4 0 8353269 1370034176 153253 33554432000 4194304 16246674 140733727649600 140733727647488 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 334481 153253 802 2943 0 331375 0
[pid=17357/tid=17358] ppid=17354 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1370034176 153253 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8353269 1370034176 153253 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1370034176 153253 33554432000 4194304 16246674 140733727649600 139833426037936 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) 1337924

[startup+6.30044 s]
/proc/loadavg: 2.58 3.60 3.96 3/185 17361
/proc/meminfo: memFree=26256568/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1387076 CPUtime=6.29 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 225173 0 0 0 596 33 0 0 20 0 4 0 8353269 1420365824 241824 33554432000 4194304 16246674 140733727649600 140733727632592 7440520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 346769 241824 802 2943 0 343663 0
[pid=17357/tid=17358] ppid=17354 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1420365824 241824 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 1420365824 241824 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1420365824 241824 33554432000 4194304 16246674 140733727649600 139833426037936 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) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.54 3.57 3.95 3/185 17361
/proc/meminfo: memFree=25613532/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=1591876 CPUtime=12.68 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 296645 0 0 0 1223 45 0 0 20 0 4 0 8353269 1630081024 336802 33554432000 4194304 16246674 140733727649600 140733727647424 4220982 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 397969 336802 802 2943 0 394863 0
[pid=17357/tid=17358] ppid=17354 vsize=1591876 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 1630081024 336802 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1591876 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 1630081024 336802 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1591876 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 1630081024 336802 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1591876

[startup+25.5005 s]
/proc/loadavg: 2.50 3.51 3.92 3/185 17361
/proc/meminfo: memFree=19847784/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=4555332 CPUtime=25.49 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 1037524 0 0 0 2401 148 0 0 20 0 4 0 8353269 4664659968 1079725 33554432000 4194304 16246674 140733727649600 140733727648912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 1138833 1079725 811 2943 0 1135727 0
[pid=17357/tid=17358] ppid=17354 vsize=4555332 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 4664659968 1079725 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=4555332 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 4664659968 1079725 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=4555332 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 4664659968 1079725 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4555332

[startup+51.1006 s]
/proc/loadavg: 2.46 3.42 3.88 3/185 17361
/proc/meminfo: memFree=12101760/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=8214084 CPUtime=51.08 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 1952245 0 0 0 4846 262 0 0 20 0 4 0 8353269 8411222016 1994446 33554432000 4194304 16246674 140733727649600 140733727647488 4225120 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2053521 1994446 834 2943 0 2050415 0
[pid=17357/tid=17358] ppid=17354 vsize=8214084 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 8411222016 1994446 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=8214084 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 8411222016 1994446 33554432000 4194304 16246674 140733727649600 139833436511248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=8214084 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 8411222016 1994446 33554432000 4194304 16246674 140733727649600 139833426037936 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) 8214084

[startup+102.301 s]
/proc/loadavg: 2.32 3.23 3.79 3/185 17362
/proc/meminfo: memFree=11024192/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=8845892 CPUtime=102.28 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2110200 0 0 0 9938 290 0 0 20 0 4 0 8353269 9058193408 2152401 33554432000 4194304 16246674 140733727649600 140733727648776 12516365 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2211473 2152401 837 2943 0 2208367 0
[pid=17357/tid=17358] ppid=17354 vsize=8845892 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 9058193408 2152401 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=8845892 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 9058193408 2152401 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=8845892 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 9058193408 2152401 33554432000 4194304 16246674 140733727649600 139833426037936 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) 8845892


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

[pid=17357] ppid=17354 vsize=11047492 CPUtime=1362.08 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 135775 433 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727631488 13781202 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 11047492

[startup+1422.3 s]
/proc/loadavg: 2.16 2.24 2.60 3/186 17399
/proc/meminfo: memFree=8034968/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1422.08 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 141771 437 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727631488 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 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) 11047492

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.57 3/185 17400
/proc/meminfo: memFree=8171156/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1482.07 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 147767 440 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727648776 5711439 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 11047492

[startup+1542.31 s]
/proc/loadavg: 2.26 2.24 2.55 3/185 17401
/proc/meminfo: memFree=8305920/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1542.07 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 153764 443 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727648776 5712600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 11047492

[startup+1602.3 s]
/proc/loadavg: 2.22 2.22 2.52 4/185 17402
/proc/meminfo: memFree=8402920/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1602.05 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 159759 446 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727631488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 11047492

[startup+1662.3 s]
/proc/loadavg: 2.24 2.23 2.50 3/185 17403
/proc/meminfo: memFree=8414228/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1662.04 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 165755 449 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727648776 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 11047492

[startup+1722.3 s]
/proc/loadavg: 2.23 2.23 2.48 3/185 17405
/proc/meminfo: memFree=8417104/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1722.03 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 171750 453 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727648776 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 11047492

[startup+1782.3 s]
/proc/loadavg: 2.29 2.23 2.47 3/185 17406
/proc/meminfo: memFree=8416792/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1782.02 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 177745 457 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727648776 4225201 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 11047492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.28 2.23 2.46 3/183 17407
/proc/meminfo: memFree=10105968/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=11047492 CPUtime=1800.02 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) R 17354 17357 15921 0 -1 4202496 2660656 0 0 0 179543 459 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 140733727648776 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 2761873 2702857 892 2943 0 2758767 0
[pid=17357/tid=17358] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 15921 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833447001328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833436511472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=11047492 CPUtime=0 cores=1,3,5,7
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8353269 11312631808 2702857 33554432000 4194304 16246674 140733727649600 139833426037936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 11047492

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

[startup+1800.4 s]
/proc/loadavg: 2.28 2.23 2.46 3/183 17407
/proc/meminfo: memFree=10105968/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) Z 17354 17357 15921 0 -1 4203532 2660656 0 0 0 179543 469 0 0 20 0 2 0 8353269 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 0 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) R 17354 17357 15921 0 -1 4203588 9 0 0 0 0 9 0 0 20 0 2 0 8353269 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.12
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.28 2.23 2.46 2/175 17437
/proc/meminfo: memFree=26656868/32872528 swapFree=1484408/1662236
[pid=17357] ppid=17354 vsize=0 CPUtime=1800.52 cores=1,3,5,7
/proc/17357/stat : 17357 (toysat) Z 17354 17357 15921 0 -1 4203532 2660656 0 0 0 179543 509 0 0 20 0 2 0 8353269 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17357/statm: 0 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/17357/task/17359/stat : 17359 (toysat) R 17354 17357 15921 0 -1 4203588 9 0 0 0 0 49 0 0 20 0 2 0 8353269 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.52
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.88
CPU time (s): 1800.59
CPU user time (s): 1795.44
CPU system time (s): 5.15222
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 11047492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.44
system time used= 5.15222
maximum resident set size= 10811428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2660656
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= 85
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6191 second user time and 16.0306 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-30 10:06:47
IDJOB=4119643
IDBENCH=111780
IDSOLVER=2542
FILE ID=node134/4119643-1467274001
RUNJOBID= node134-1467274001-17325
PBS_JOBID= 20004500
Free space on /tmp= 71432 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119643-1467274001/watcher-4119643-1467274001 -o /tmp/evaluation-result-4119643-1467274001/solver-4119643-1467274001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17325 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119643-1467274001.opb

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

MD5SUM BENCH= 2465f7b15056cacc4ca9488f26ccb118
RANDOM SEED=1603698825

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.738
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27955044 kB
Buffers:          171924 kB
Cached:          2055732 kB
SwapCached:            0 kB
Active:           752632 kB
Inactive:        1736208 kB
Active(anon):     264144 kB
Inactive(anon):        0 kB
Active(file):     488488 kB
Inactive(file):  1736208 kB
Unevictable:     1662236 kB
Mlocked:         1484408 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:            301672 kB
Writeback:             0 kB
AnonPages:       1919892 kB
Mapped:            16300 kB
Shmem:               216 kB
Slab:             631040 kB
SReclaimable:      71064 kB
SUnreclaim:       559976 kB
KernelStack:        1416 kB
PageTables:         9524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2890848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71564 MiB
End job on node134 at 2016-06-30 10:36:48