Trace number 4103629

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? (MO) 446.986 447.065

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standgub.opb
MD5SUMd9d4457b33bb6978c15b3abc72f33e33
Bench CategoryOPT-BIGINT (optimisation, big integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33244
Total number of constraints456
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints456
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 53687091200
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 326417514192
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 77387257610240
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 2427818341201528
Number of bits of the biggest sum of numbers52
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-18T10:24:17+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-4103629-1466238256.opb"]
0.00/0.01	c use --random-gen="2409901348 2254139378 3619774720 321953305 4290933483 1213346777 3718725872 3958411082 2036269909 2928613040 3007826511 596370479 1494489340 1477995137 1636183450 1319060526 3775237771 3420721353 2707370046 3463735746 2426055442 3016482718 371669860 3983207942 3773622395 3365546797 2035454171 1578451104 892324097 2281334613 4045517614 282403438 2320215503 2552717880 439490680 2594667069 2239227326 3757050972 1266545164 2179234636 3983028223 2991313202 145912927 956661825 4145871120 416268540 2399255057 3933002553 2800358776 3416429140 431781850 1590090788 4152120952 3451725269 21894946 99301837 1104377908 2002941124 2472162107 479662696 294211417 1503777749 1768120090 2382742444 1704684702 182481202 1444812745 1572062474 228211591 2155888617 3276663379 389651473 2471508093 1108650497 1831723136 373033264 3252241685 110529042 2330682924 3658537257 2625476499 2564265005 3864260543 3004636520 660604006 3494102553 3092535262 2816497333 2353531616 3812618897 844345720 1286339629 2382107332 4086931476 1503606247 311711505 1418390437 1458675039 3169825427 2951688425 2480990684 3498776849 1556780409 3310984121 3686701871 2254019027 2532371713 833402528 3755311047 3454854906 3775935828 3456348562 312332426 303095131 754384206 465538105 2721529889 2879497052 2358757127 1454336436 3794306669 3306593101 2618153233 878452407 2196162375 1435646980 879767358 106495872 4260060196 2335151102 828850302 2453472675 3591010143 859134056 704200799 1007752163 3433070357 856949454 2748490107 1067027739 820448379 239335806 487695954 3996009595 2134443173 1966836173 2982250532 2539061724 2155300060 623315715 3932807614 321963176 694383994 3476699461 3805904215 2843319395 4028019023 3705339159 2126334703 990158951 2810736683 3961109792 727217149 2382693168 1352305080 2719425982 2226984523 1029515541 736103610 4201426609 263908638 4024103437 3782594080 4253514369 2933707971 171472787 1149569334 2944446976 1325951249 1149014391 2031024135 3064025916 4093372845 2210784302 107638512 2372407520 2243539184 739797595 2298248388 916479460 107869428 305967747 3040971976 3825093437 1384129685 4078451936 4233070577 3326341540 1759709653 4007857908 670111962 2341812325 4112662082 2480932516 960418321 4076929228 1189429744 2452904103 2052475755 3694623514 4120668813 917280005 1395533120 1004443310 155058911 3038669364 1171135541 2649160564 1495441384 52907164 2419311472 4028395030 3400244868 1879100397 3899427537 1453555690 1342795914 1466015265 1626486474 3763713782 2688937435 2491052475 2928473490 1079435535 2458727636 3515497261 426556245 2959277338 1411586003 1544538408 1277099475 1063996747 1392322465 1118338610 4190233402 3459467034 57711751 3532999570 841017465 1962180852 798772599 2089063594 127302110 3782928077 1024396274 2269168308 255 362436" option to reproduce the execution
0.19/0.21	c #vars 33244
0.19/0.21	c #constraints 456

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

pid=5701
running on 4 cores: 0,2,4,6

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.04 2.05 2.04 3/179 5704
/proc/meminfo: memFree=29770120/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 2715 0 0 0 0 0 0 0 20 0 4 0 25874891 744943616 2565 33554432000 4194304 16246674 140736515578096 140736515577520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 182383 2575 441 2943 0 179277 0
[pid=5704/tid=5705] ppid=5701 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 762769408 2633 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 766963712 2649 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25874891 771158016 2667 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.04 2.05 2.04 3/179 5704
/proc/meminfo: memFree=29770120/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 29788 0 0 0 5 4 0 0 20 0 4 0 25874891 1334382592 29576 33554432000 4194304 16246674 140736515578096 140736515577408 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 325777 29592 801 2943 0 322671 0
[pid=5704/tid=5705] ppid=5701 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1334382592 29603 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1334382592 29614 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1334382592 29624 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200517 s]
/proc/loadavg: 2.04 2.05 2.04 3/179 5704
/proc/meminfo: memFree=29770120/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 43976 0 0 0 13 6 0 0 20 0 4 0 25874891 1342771200 44275 33554432000 4194304 16246674 140736515578096 140736515577408 4223648 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 327825 44275 801 2943 0 324719 0
[pid=5704/tid=5705] ppid=5701 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1342771200 44275 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1342771200 44275 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1342771200 44275 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300487 s]
/proc/loadavg: 2.04 2.05 2.04 3/179 5704
/proc/meminfo: memFree=29770120/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1322564 CPUtime=0.29 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 46833 0 0 0 23 6 0 0 20 0 4 0 25874891 1354305536 47132 33554432000 4194304 16246674 140736515578096 140736515577408 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 330641 47132 832 2943 0 327535 0
[pid=5704/tid=5705] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 47132 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 47132 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 47132 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1322564

[startup+0.700402 s]
/proc/loadavg: 2.04 2.05 2.04 3/179 5704
/proc/meminfo: memFree=29770120/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1322564 CPUtime=0.68 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 122944 0 0 0 53 15 0 0 20 0 4 0 25874891 1354305536 123243 33554432000 4194304 16246674 140736515578096 140736515577408 12657222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 330641 123248 833 2943 0 327535 0
[pid=5704/tid=5705] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 123252 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 123256 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 123259 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1322564

[startup+1.50041 s]
/proc/loadavg: 2.04 2.05 2.04 4/183 5708
/proc/meminfo: memFree=28914316/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1322564 CPUtime=1.49 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 271264 0 0 0 114 35 0 0 20 0 4 0 25874891 1354305536 271563 33554432000 4194304 16246674 140736515578096 140736515560000 12429829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 330641 271563 834 2943 0 327535 0
[pid=5704/tid=5705] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 271563 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 271563 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1354305536 271563 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1322564

[startup+3.1004 s]
/proc/loadavg: 2.04 2.05 2.04 3/183 5708
/proc/meminfo: memFree=28674484/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 274849 0 0 0 274 35 0 0 20 0 4 0 25874891 1368985600 275148 33554432000 4194304 16246674 140736515578096 140736515560000 12449408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 334225 275148 835 2943 0 331119 0
[pid=5704/tid=5705] ppid=5701 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1368985600 275148 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1368985600 275148 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1368985600 275148 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.04 2.05 2.04 3/183 5708
/proc/meminfo: memFree=28630472/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1376836 CPUtime=6.29 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 284833 0 0 0 592 37 0 0 20 0 4 0 25874891 1409880064 285132 33554432000 4194304 16246674 140736515578096 140736515575936 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 344209 285132 835 2943 0 341103 0
[pid=5704/tid=5705] ppid=5701 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1409880064 285132 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1409880064 285132 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1409880064 285132 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1376836

[startup+12.7004 s]
/proc/loadavg: 2.03 2.05 2.04 4/183 5708
/proc/meminfo: memFree=28609700/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=1439300 CPUtime=12.69 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 300449 0 0 0 1230 39 0 0 20 0 4 0 25874891 1473843200 300748 33554432000 4194304 16246674 140736515578096 140736515577408 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 359825 300748 835 2943 0 356719 0
[pid=5704/tid=5705] ppid=5701 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 1473843200 300748 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 1473843200 300748 33554432000 4194304 16246674 140736515578096 140156364364816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=1439300 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 1473843200 300748 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1439300

[startup+25.5005 s]
/proc/loadavg: 2.10 2.06 2.04 3/183 5708
/proc/meminfo: memFree=27915620/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=2133572 CPUtime=25.49 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 474019 0 0 0 2487 62 0 0 20 0 4 0 25874891 2184777728 474318 33554432000 4194304 16246674 140736515578096 140736515577408 4220894 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 533393 474318 836 2943 0 530287 0
[pid=5704/tid=5705] ppid=5701 vsize=2133572 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 2184777728 474318 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=2133572 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 2184777728 474318 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=2133572 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 2184777728 474318 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2133572

[startup+51.1005 s]
/proc/loadavg: 2.06 2.06 2.04 3/183 5708
/proc/meminfo: memFree=27542664/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=2505284 CPUtime=51.08 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 823715 0 0 0 4996 112 0 0 20 0 4 0 25874891 2565410816 567246 33554432000 4194304 16246674 140736515578096 140736515575936 13892767 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 626321 567246 836 2943 0 623215 0
[pid=5704/tid=5705] ppid=5701 vsize=2505284 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 2565410816 567246 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=2505284 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 2565410816 567246 33554432000 4194304 16246674 140736515578096 140156364364816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=2505284 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 2565410816 567246 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2505284

[startup+102.3 s]
/proc/loadavg: 2.07 2.06 2.04 3/183 5709
/proc/meminfo: memFree=25983824/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=3306052 CPUtime=102.28 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 1955216 0 0 0 9947 281 0 0 20 0 4 0 25874891 3385397248 767419 33554432000 4194304 16246674 140736515578096 140736515576760 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 826513 767423 836 2943 0 823407 0
[pid=5704/tid=5705] ppid=5701 vsize=3307076 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 3386445824 767446 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=3307076 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 3386445824 767452 33554432000 4194304 16246674 140736515578096 140156364364816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=3307076 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 3386445824 767457 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3306052

[startup+162.3 s]
/proc/loadavg: 2.16 2.09 2.05 3/183 5710
/proc/meminfo: memFree=27413424/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=2301508 CPUtime=162.26 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 3096742 0 0 0 15761 465 0 0 20 0 4 0 25874891 2356744192 516305 33554432000 4194304 16246674 140736515578096 140736515577192 4220965 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 575377 516305 836 2943 0 572271 0
[pid=5704/tid=5705] ppid=5701 vsize=2301508 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 2356744192 516305 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=2301508 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 2356744192 516305 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=2301508 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 2356744192 516305 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2301508

[startup+222.308 s]
/proc/loadavg: 2.14 2.10 2.06 3/183 5712
/proc/meminfo: memFree=26198312/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=2394692 CPUtime=222.25 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 4573864 0 0 0 21527 698 0 0 20 0 4 0 25874891 2452164608 539603 33554432000 4194304 16246674 140736515578096 140736515576000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 598673 539603 836 2943 0 595567 0
[pid=5704/tid=5705] ppid=5701 vsize=2394692 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 2452164608 539603 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=2394692 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 2452164608 539603 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=2394692 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 2452164608 539603 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2394692

[startup+282.3 s]
/proc/loadavg: 2.09 2.09 2.06 4/183 5713
/proc/meminfo: memFree=24784528/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=4574788 CPUtime=282.24 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 6374314 0 0 0 27256 968 0 0 20 0 4 0 25874891 4684582912 1084629 33554432000 4194304 16246674 140736515578096 140736515577408 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 1143697 1084629 837 2943 0 1140591 0
[pid=5704/tid=5705] ppid=5701 vsize=4574788 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 4684582912 1084629 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=4574788 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 4684582912 1084629 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=4574788 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 4684582912 1084629 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 4574788

[startup+342.3 s]
/proc/loadavg: 2.23 2.13 2.07 3/183 5714
/proc/meminfo: memFree=16129032/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=13459012 CPUtime=342.23 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 8595373 0 0 0 32959 1264 0 0 20 0 4 0 25874891 13782028288 3305688 33554432000 4194304 16246674 140736515578096 140736515576064 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 3364753 3305688 838 2943 0 3361647 0
[pid=5704/tid=5705] ppid=5701 vsize=13459012 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 13782028288 3305688 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=13459012 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 13782028288 3305688 33554432000 4194304 16246674 140736515578096 140156364364816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=13459012 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 13782028288 3305688 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 13459012

[startup+402.3 s]
/proc/loadavg: 2.14 2.12 2.07 3/184 5718
/proc/meminfo: memFree=8930688/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=13459012 CPUtime=402.22 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 8595377 0 0 0 38954 1268 0 0 20 0 4 0 25874891 13782028288 3305692 33554432000 4194304 16246674 140736515578096 140736515576000 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 3364753 3305692 842 2943 0 3361647 0
[pid=5704/tid=5705] ppid=5701 vsize=13459012 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 13782028288 3305692 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=13459012 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 13782028288 3305692 33554432000 4194304 16246674 140736515578096 140156364364816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=13459012 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 13782028288 3305692 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 13459012



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+446.2 s]
/proc/loadavg: 2.20 2.15 2.08 3/183 5719
/proc/meminfo: memFree=6568700/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=15877700 CPUtime=446.12 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) R 5701 5704 1377 0 -1 4202496 9199915 0 0 0 43254 1358 0 0 20 0 4 0 25874891 16258764800 3910230 33554432000 4194304 16246674 140736515578096 140736515577192 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 3969425 3910234 842 2943 0 3966319 0
[pid=5704/tid=5705] ppid=5701 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5705/stat : 5705 (toysat) S 5701 5704 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25874891 16258764800 3910234 33554432000 4194304 16246674 140736515578096 140156374854896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) S 5701 5704 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25874891 16258764800 3910234 33554432000 4194304 16246674 140736515578096 140156364365040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5704/tid=5707] ppid=5701 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/5704/task/5707/stat : 5707 (toysat) S 5701 5704 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25874891 16258764800 3910234 33554432000 4194304 16246674 140736515578096 140156353891504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 446.12
Current children cumulated vsize (KiB) 15877700

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

[startup+446.4 s]
/proc/loadavg: 2.20 2.15 2.08 3/183 5719
/proc/meminfo: memFree=6568700/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=0 CPUtime=446.31 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) Z 5701 5704 1377 0 -1 4203532 9200388 0 0 0 43254 1377 0 0 20 0 2 0 25874891 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 0 0 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) R 5701 5704 1377 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 25874891 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 446.31
Current children cumulated vsize (KiB) 0

[startup+446.8 s]
/proc/loadavg: 2.20 2.15 2.08 3/181 5719
/proc/meminfo: memFree=13423792/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=0 CPUtime=446.71 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) Z 5701 5704 1377 0 -1 4203532 9200388 0 0 0 43254 1417 0 0 20 0 2 0 25874891 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 0 0 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) R 5701 5704 1377 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 25874891 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 446.71
Current children cumulated vsize (KiB) 0

[startup+447 s]
/proc/loadavg: 2.20 2.15 2.08 3/181 5719
/proc/meminfo: memFree=13423792/32872528 swapFree=681964/737152
[pid=5704] ppid=5701 vsize=0 CPUtime=446.91 cores=0,2,4,6
/proc/5704/stat : 5704 (toysat) Z 5701 5704 1377 0 -1 4203532 9200388 0 0 0 43254 1437 0 0 20 0 2 0 25874891 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 0 0 0 0 0 0 0
[pid=5704/tid=5706] ppid=5701 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/5704/task/5706/stat : 5706 (toysat) R 5701 5704 1377 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25874891 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 446.91
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 447.065
CPU time (s): 446.986
CPU user time (s): 432.546
CPU system time (s): 14.4398
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 15877700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 432.546
system time used= 14.4398
maximum resident set size= 15642812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9200388
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= 421
involuntary context switches= 452

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10983 second user time and 1.75273 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:24:17
IDJOB=4103629
IDBENCH=2413
IDSOLVER=2542
FILE ID=node112/4103629-1466238256
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103629-1466238256/watcher-4103629-1466238256 -o /tmp/evaluation-result-4103629-1466238256/solver-4103629-1466238256 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103629-1466238256.opb

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

MD5SUM BENCH= d9d4457b33bb6978c15b3abc72f33e33
RANDOM SEED=1570879302

node112.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.734
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.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29770804 kB
Buffers:          111528 kB
Cached:           134208 kB
SwapCached:         1916 kB
Active:          1476548 kB
Inactive:         149044 kB
Active(anon):    1377680 kB
Inactive(anon):     4452 kB
Active(file):      98868 kB
Inactive(file):   144592 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             17448 kB
Writeback:             0 kB
AnonPages:       2116376 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             602328 kB
SReclaimable:      45980 kB
SUnreclaim:       556348 kB
KernelStack:        1440 kB
PageTables:         8112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2258584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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= 71676 MiB
End job on node112 at 2016-06-18 10:31:44