Trace number 4118018

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-pb351535.opb
MD5SUM0c44f27b61d74e852a26e676b00a23a7
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5590266
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables525
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)35
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint15
Maximum length of a constraint35
Number of terms in the objective function 125475
Biggest coefficient in the objective function 349989
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 1280505302
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 349989
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1280505302
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)124950
Sum of products size (including duplicates)249900
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T18:25: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-4118018-1467217514.opb"]
0.00/0.01	c use --random-gen="3945243213 87135545 3356188583 1002822035 493139309 4147626556 1110086699 2078206453 1143745244 2036516891 96451882 3409672818 687264233 739929119 3767249551 3805566224 2148585676 1478181928 3763038394 4224537620 4149195921 3261919973 4200905249 812141614 3727713454 1594145066 3681031604 3813454324 667656851 994403766 167281694 1334621404 2270617638 1516594115 3955657239 397696572 3192510565 630113328 292968137 2698525214 245735996 4084943287 1264088049 2283629405 1211171241 2764509836 3781748429 1247733646 1256976687 2349258899 4224888731 3891602049 2952131403 3067993036 3191438056 2688258807 3571610054 567519209 542852958 1967760530 2474211712 4032437235 6361653 730258045 1351082192 825508663 1075242734 4286164985 561259054 1982469444 998455198 3684840214 910830270 4174343547 629025482 3325740999 499855752 3187458468 1101125620 1443664182 3065299353 3362173333 4131302513 1397400535 2614040644 3014282986 3000014895 201963133 2068467219 2306825206 2817938999 4227059562 4190335850 866376013 524856944 1817523380 540922075 2301671930 897970131 955643016 3568112585 3132428236 3301356502 828756230 1081061502 2996297825 575759599 2660781607 3378251620 3858540950 2060536541 3865633398 1320005218 88144162 2090727746 4015117505 4000948206 1531044486 1494610821 2466653515 2490767765 537162561 4018630406 1300932178 911098484 180444441 1481249525 770759010 605589890 1072039068 2090886797 949323545 3122356028 3678872891 733173733 54503183 4267379333 1571918427 2032977907 781861732 2992391726 800312026 1537286718 2128860078 1110140140 1202323992 449204741 1130200201 806568802 3305239372 656765766 3557035981 1330081656 1671187457 1790316900 1007459842 3958276222 393052528 1846101636 2013549376 4097674025 97728741 1598405483 2013779838 1644438426 727866115 1181430220 1481587731 2948945870 3230814715 3383859719 3867381293 2672677494 1932298032 2141677402 1781712081 927243474 2051604675 2646806673 3864072263 2464266932 3333444212 3233159013 282810310 2272580031 2204564016 779548395 2962090935 2950886075 2046349597 1304701397 2371789330 3693483515 3520462437 3234672095 3394679470 3823561927 2650392865 1169086942 923502156 203204045 2074684783 1906272479 3475998508 2321047515 2028277500 688364673 1713027930 1575629732 55607992 2616717150 3108270949 3391016205 168791476 1633883030 3497753970 2535190913 2871230137 917019441 1438452224 291784760 2065702036 1365489805 2044291177 845241127 2051486851 1170483492 3473772915 1132379982 228301946 230979559 1966025613 1030273752 4273604669 889324437 1722233533 894506473 1217504386 2723456795 3237286806 587847656 3615039141 1651675151 186719251 1480203467 1892707259 288639577 983860513 2089617839 622424028 1237464021 2065513577 2630929795 119554833 154804676 2691169220 255 362436" option to reproduce the execution
0.29/0.36	c #vars 525
0.29/0.36	c #constraints 50
2.79/2.87	c BCD2: Hardening is enabled.
2.79/2.87	c BCD2: BiasedSearch is enabled.
2.79/2.87	c Solving starts ...
2.79/2.87	c ============================[ Search Statistics ]============================
2.79/2.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.87	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.87	c =============================================================================
2.89/2.95	c  0.0s |       0 |        0 |        0 |    83503      0 |        0 |        0
3.19/3.24	c  0.3s |       0 |   124975 |        0 |    83503      0 |        0 |        0
3.19/3.24	c #cpu_time = 0.224s
3.19/3.24	c #wall_clock_time = 0.224s
3.19/3.24	c #decision = 124975
3.19/3.24	c #random_decision = 628
3.19/3.24	c #conflict = 0
3.19/3.24	c #restart = 0
3.19/3.24	o 11266266

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

pid=2836
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.11 2.18 2.17 3/179 2839
/proc/meminfo: memFree=28434260/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=638396 CPUtime=0 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 2365 0 0 0 0 0 0 0 20 0 4 0 779083 653717504 2726 33554432000 4194304 16246674 140736890831216 140736890830640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 160111 2735 441 2943 0 157005 0
[pid=2839/tid=2840] ppid=2836 vsize=654780 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 670494720 2792 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=659900 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 675737600 2812 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=665020 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 680980480 2829 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.11 2.18 2.17 3/179 2839
/proc/meminfo: memFree=28434260/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 29446 0 0 0 5 4 0 0 20 0 4 0 779083 1332285440 29745 33554432000 4194304 16246674 140736890831216 140736890830528 7364033 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 325265 29762 800 2943 0 322159 0
[pid=2839/tid=2840] ppid=2836 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1332285440 29773 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1332285440 29784 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1332285440 29795 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200543 s]
/proc/loadavg: 2.11 2.18 2.17 3/179 2839
/proc/meminfo: memFree=28434260/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1315396 CPUtime=0.19 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 44907 0 0 0 13 6 0 0 20 0 4 0 779083 1346965504 45717 33554432000 4194304 16246674 140736890831216 140736890830528 12752352 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 328849 45717 800 2943 0 325743 0
[pid=2839/tid=2840] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 45717 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 45717 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 45717 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1315396

[startup+0.300509 s]
/proc/loadavg: 2.11 2.18 2.17 3/179 2839
/proc/meminfo: memFree=28434260/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1315396 CPUtime=0.29 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 50826 0 0 0 22 7 0 0 20 0 4 0 779083 1346965504 51636 33554432000 4194304 16246674 140736890831216 140736890830528 14073329 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 328849 51636 800 2943 0 325743 0
[pid=2839/tid=2840] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 51636 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 51636 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 51636 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.700409 s]
/proc/loadavg: 2.11 2.18 2.17 3/179 2839
/proc/meminfo: memFree=28434260/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 58316 0 0 0 60 9 0 0 20 0 4 0 779083 1346965504 59126 33554432000 4194304 16246674 140736890831216 140736890830528 13811582 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 328849 59126 850 2943 0 325743 0
[pid=2839/tid=2840] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 59126 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 59126 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 59126 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50042 s]
/proc/loadavg: 2.10 2.17 2.17 3/183 2843
/proc/meminfo: memFree=27841076/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 104101 0 0 0 134 15 0 0 20 0 4 0 779083 1346965504 104912 33554432000 4194304 16246674 140736890831216 140736890829056 12481124 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 328849 104924 850 2943 0 325743 0
[pid=2839/tid=2840] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 104930 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 104937 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1346965504 104944 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10042 s]
/proc/loadavg: 2.10 2.17 2.17 3/183 2843
/proc/meminfo: memFree=27228020/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1363524 CPUtime=3.09 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 183687 0 0 0 282 27 0 0 20 0 4 0 779083 1396248576 184497 33554432000 4194304 16246674 140736890831216 140736890813120 13898695 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 340881 184497 888 2943 0 337775 0
[pid=2839/tid=2840] ppid=2836 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1396248576 184497 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1396248576 184497 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1396248576 184497 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1363524

[startup+6.30044 s]
/proc/loadavg: 2.10 2.17 2.17 3/183 2843
/proc/meminfo: memFree=26380900/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1368644 CPUtime=6.28 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 282720 0 0 0 590 38 0 0 20 0 4 0 779083 1401491456 283530 33554432000 4194304 16246674 140736890831216 140736890813120 12429241 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2839/statm: 342161 283530 891 2943 0 339055 0
[pid=2839/tid=2840] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283530 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283530 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283530 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1368644

[startup+12.7004 s]
/proc/loadavg: 2.16 2.18 2.18 4/183 2843
/proc/meminfo: memFree=26379860/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1368644 CPUtime=12.68 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 282840 0 0 0 1229 39 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140736890829056 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2839/statm: 342161 283650 891 2943 0 339055 0
[pid=2839/tid=2840] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1368644

[startup+25.5005 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 2843
/proc/meminfo: memFree=26380292/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1368644 CPUtime=25.48 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 282840 0 0 0 2509 39 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140736890813120 12656203 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2839/statm: 342161 283650 891 2943 0 339055 0
[pid=2839/tid=2840] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1368644

[startup+51.1005 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 2843
/proc/meminfo: memFree=26380300/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1368644 CPUtime=51.07 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 282840 0 0 0 5068 39 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140736890813120 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2839/statm: 342161 283650 891 2943 0 339055 0
[pid=2839/tid=2840] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1401491456 283650 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1368644

[startup+102.3 s]
/proc/loadavg: 2.29 2.22 2.19 4/183 2845
/proc/meminfo: memFree=26369164/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=1379908 CPUtime=102.27 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 285656 0 0 0 10187 40 0 0 20 0 4 0 779083 1413025792 286466 33554432000 4194304 16246674 140736890831216 140736890813120 4225334 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2839/statm: 344977 286466 891 2943 0 341871 0
[pid=2839/tid=2840] ppid=2836 vsize=1379908 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 1413025792 286466 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=1379908 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 779083 1413025792 286466 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=1379908 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 1413025792 286466 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1379908


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

/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2349404160 515074 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2294340 CPUtime=0.01 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 779083 2349404160 515074 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2294340 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2349404160 515074 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2294340

[startup+1362.3 s]
/proc/loadavg: 2.18 2.22 2.19 4/183 2876
/proc/meminfo: memFree=22975080/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2319940 CPUtime=1362.05 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 520664 0 0 0 136106 99 0 0 20 0 4 0 779083 2375618560 521474 33554432000 4194304 16246674 140736890831216 140736890830432 4206604 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 579985 521474 891 2943 0 576879 0
[pid=2839/tid=2840] ppid=2836 vsize=2319940 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2375618560 521474 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2319940 CPUtime=0.01 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 779083 2375618560 521474 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2319940 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2375618560 521474 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2319940

[startup+1422.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 2877
/proc/meminfo: memFree=22924896/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2346564 CPUtime=1422.05 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 527320 0 0 0 142100 105 0 0 20 0 4 0 779083 2402881536 528130 33554432000 4194304 16246674 140736890831216 140736890829072 4220850 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 586641 528130 891 2943 0 583535 0
[pid=2839/tid=2840] ppid=2836 vsize=2346564 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2402881536 528130 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2346564 CPUtime=0.01 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 779083 2402881536 528130 33554432000 4194304 16246674 140736890831216 140028060605456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2346564 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2402881536 528130 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2346564

[startup+1482.3 s]
/proc/loadavg: 2.25 2.21 2.19 4/183 2878
/proc/meminfo: memFree=22904236/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2367044 CPUtime=1482.03 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 532440 0 0 0 148094 109 0 0 20 0 4 0 779083 2423853056 533250 33554432000 4194304 16246674 140736890831216 140736890830432 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 591761 533250 891 2943 0 588655 0
[pid=2839/tid=2840] ppid=2836 vsize=2367044 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2423853056 533250 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2367044 CPUtime=0.01 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 4 0 779083 2423853056 533250 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2367044 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2423853056 533250 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2367044

[startup+1542.31 s]
/proc/loadavg: 2.21 2.20 2.18 4/184 2882
/proc/meminfo: memFree=22809928/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2399812 CPUtime=1542.03 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 540632 0 0 0 154088 115 0 0 20 0 4 0 779083 2457407488 541442 33554432000 4194304 16246674 140736890831216 140736890830432 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 599953 541442 891 2943 0 596847 0
[pid=2839/tid=2840] ppid=2836 vsize=2399812 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2457407488 541442 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2399812 CPUtime=0.02 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 779083 2457407488 541442 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2399812 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2457407488 541442 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2399812

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/183 2883
/proc/meminfo: memFree=22704312/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2434628 CPUtime=1602.01 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 549336 0 0 0 160081 120 0 0 20 0 4 0 779083 2493059072 550146 33554432000 4194304 16246674 140736890831216 140736890829072 4206604 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 608657 550146 891 2943 0 605551 0
[pid=2839/tid=2840] ppid=2836 vsize=2434628 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2493059072 550146 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2434628 CPUtime=0.02 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 779083 2493059072 550146 33554432000 4194304 16246674 140736890831216 140028060605456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2434628 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2493059072 550146 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 2434628

[startup+1662.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 2885
/proc/meminfo: memFree=22645932/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2449988 CPUtime=1662 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 553176 0 0 0 166076 124 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140736890813120 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 612497 553986 891 2943 0 609391 0
[pid=2839/tid=2840] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2449988 CPUtime=0.02 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 2449988

[startup+1722.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/183 2886
/proc/meminfo: memFree=22618252/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2449988 CPUtime=1721.99 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 553176 0 0 0 172072 127 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140736890830432 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 612497 553986 891 2943 0 609391 0
[pid=2839/tid=2840] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2449988 CPUtime=0.02 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028060605680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2449988

[startup+1782.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/183 2887
/proc/meminfo: memFree=22584176/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2449988 CPUtime=1781.98 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 553176 0 0 0 178068 130 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140736890829072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 612497 553986 891 2943 0 609391 0
[pid=2839/tid=2840] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2449988 CPUtime=0.02 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028060605456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2449988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 2887
/proc/meminfo: memFree=22584288/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=2449988 CPUtime=1800.08 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) R 2836 2839 1984 0 -1 4202496 553176 0 0 0 179877 131 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140736890829072 4220965 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 612497 553986 891 2943 0 609391 0
[pid=2839/tid=2840] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) S 2836 2839 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028071095536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=2839/tid=2841] ppid=2836 vsize=2449988 CPUtime=0.02 cores=1,3,5,7
/proc/2839/task/2841/stat : 2841 (toysat) S 2836 2839 1984 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140028060605456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2839/tid=2842] ppid=2836 vsize=2449988 CPUtime=0 cores=1,3,5,7
/proc/2839/task/2842/stat : 2842 (toysat) S 2836 2839 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 779083 2508787712 553986 33554432000 4194304 16246674 140736890831216 140027946331312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2449988

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 2887
/proc/meminfo: memFree=22584288/32872528 swapFree=1553660/1717180
[pid=2839] ppid=2836 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/2839/stat : 2839 (toysat) Z 2836 2839 1984 0 -1 4203532 553176 0 0 0 179880 141 0 0 20 0 2 0 779083 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2839/statm: 0 0 0 0 0 0 0
[pid=2839/tid=2840] ppid=2836 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/2839/task/2840/stat : 2840 (toysat) R 2836 2839 1984 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 779083 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.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.23
CPU user time (s): 1798.8
CPU system time (s): 1.42478
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 2449988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.42478
maximum resident set size= 2215944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553176
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= 3284
involuntary context switches= 5060

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

The end

Launcher Data 

Begin job on node117 at 2016-06-29 18:25:15
IDJOB=4118018
IDBENCH=111430
IDSOLVER=2542
FILE ID=node117/4118018-1467217514
RUNJOBID= node117-1467210309-2001
PBS_JOBID= 19997597
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-pb351535.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118018-1467217514/watcher-4118018-1467217514 -o /tmp/evaluation-result-4118018-1467217514/solver-4118018-1467217514 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118018-1467217514.opb

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

MD5SUM BENCH= 0c44f27b61d74e852a26e676b00a23a7
RANDOM SEED=1825684481

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28434632 kB
Buffers:           41676 kB
Cached:          1729332 kB
SwapCached:            0 kB
Active:           352940 kB
Inactive:        1651680 kB
Active(anon):     236132 kB
Inactive(anon):        4 kB
Active(file):     116808 kB
Inactive(file):  1651676 kB
Unevictable:     1717180 kB
Mlocked:         1553660 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             36656 kB
Writeback:           128 kB
AnonPages:       1950856 kB
Mapped:            17428 kB
Shmem:               204 kB
Slab:             581008 kB
SReclaimable:      24832 kB
SUnreclaim:       556176 kB
KernelStack:        1504 kB
PageTables:         9868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2944316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71592 MiB
End job on node117 at 2016-06-29 18:55:15