Trace number 4108974

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (MO) 361.244 361.308

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-178.opb
MD5SUMc8d6406d9171f43a410d04b94af97b71
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables334369
Total number of constraints7853489
Number of constraints which are clauses7054921
Number of constraints which are cardinality constraints (but not clauses)24655
Number of constraints which are nor clauses,nor cardinality constraints773913
Minimum length of a constraint1
Maximum length of a constraint2580
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2581
Number of bits of the biggest sum of numbers12
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-19T01:36:02+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-4108974-1466292953.opb"]
0.00/0.01	c use --random-gen="77253254 3564410366 3885181057 3406309292 1400479787 3675379860 2796197698 201163957 3703798030 1900269135 2616137680 48601977 1808360943 1061871545 1885795609 962695020 4078070981 4108201128 3067610875 1201305039 4170724598 3076586929 3305667967 1290228922 2244622706 4223943442 1316420521 1606472196 388646584 1626180531 1050190885 3082116736 303331666 2016459406 2010595172 1163691691 448346706 2061903922 2948825204 418799154 4018002394 3160136372 3797713782 4085525563 199535427 759844070 2553037647 3649538389 3704912069 1171046640 2458360933 3204390906 2688484850 661864100 2438626269 1311427195 250042045 81181636 3158981897 2864345580 22331696 3927639842 1972298996 1045362129 3579338295 2978341575 2306846226 2295325848 2258488879 1224199593 3615198876 1525098110 1452580184 1478875240 2967659249 3079677614 1515964458 2025748188 1975325164 4246358102 3027877202 286629986 702357882 1491562082 4139870596 3411970409 2936657903 3419468663 3716910768 2919296190 3103551710 53936616 3908712346 4170370732 2310662665 1065828148 1466956944 3790054883 3144295434 459790169 3347773713 3827451759 3134367331 1428219115 1512859158 959137690 1270323631 1945390562 4079045375 3135258107 3716693642 2714519479 2927176826 2839170787 176436115 2335674368 378582014 2068401222 122720912 2000099902 2861286566 2756319983 2469919092 1636621284 1144783163 2566020426 502639950 1424569465 4049444465 153798436 1036128697 3050881485 2397620265 4052392955 164476885 3148509199 347205224 3629780822 2980969854 4281791346 3570509841 2956292315 770124083 363791144 2768397726 3092371350 3792010126 1668277709 3857492870 3835247642 4291981778 2609405128 573596620 1401945176 2465495084 1752790247 1323413054 2307971006 2018715982 2615454104 3791683517 994225780 2938232054 3638427066 205466049 2923114156 1565322165 3125033047 3141731524 2515123473 2101597622 186957678 2487479870 4165285961 1928342616 2549887922 1567677077 3347855655 1556430838 3590436250 1104827143 3367963208 2367175239 2673219573 1952595867 4242629392 4215566241 2125853003 1322735844 3845660938 609349855 3643842462 2458910489 3988218123 3610065428 3815233091 716136447 3107618028 4035947763 95809292 269322645 3815406984 395915803 2537035978 3048139667 3905712607 3306124019 1223187517 1238057580 2820846655 458659390 2478075508 1196556094 3769405327 3008555216 3373002592 2723281560 1837906561 2071957058 3358563464 882656528 1785855235 444281446 1976895456 3429981079 3985504540 2618065263 3805276397 3439753956 1791932376 2870163816 2077657244 2566033699 2817886115 1155878070 1595397626 4290961457 3729267493 3558640637 2295638718 3134914269 3131399004 928414893 1991113119 2836294860 3174960533 145845859 2589472567 3239155943 270581325 2853668560 3416110701 761003716 3861529080 977701250 117419453 255 362436" option to reproduce the execution
62.58/62.61	c #vars 334369
62.58/62.61	c #constraints 7853489
248.45/248.54	c Solving starts ...
248.45/248.54	c ============================[ Search Statistics ]============================
248.45/248.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
248.45/248.54	c       |         |          |          |    Limit     GC | Var      | Constra 
248.45/248.54	c =============================================================================
248.55/248.66	c  0.0s |       0 |        0 |        0 |  2708513      0 |     4636 |        0
254.05/254.11	c  5.6s |       0 |      171 |      100 |  2708513      0 |     4636 |    55056
254.05/254.16	c  5.6s |       1 |      171 |      100 |  2708513      0 |     4636 |    55056
284.05/284.16	c 35.6s |       1 |    26674 |      200 |  2979365      0 |     4639 |    55643
285.34/285.44	c 36.9s |       2 |    27888 |      250 |  2979365      0 |     4639 |    55643
291.55/291.61	c 43.1s |       2 |    29226 |      350 |  3277302      0 |     4639 |    55643
293.64/293.72	c 45.2s |       2 |    29344 |      450 |  3277302      0 |     4639 |    55643
294.14/294.28	c 45.7s |       3 |    29376 |      475 |  3277302      0 |     4639 |    55643
300.34/300.41	c 51.9s |       3 |    31068 |      575 |  3605033      0 |     4639 |    55643
302.64/302.76	c 54.2s |       3 |    31256 |      675 |  3605033      0 |     4639 |    55643
305.04/305.13	c 56.6s |       3 |    31420 |      775 |  3605033      0 |     4639 |    55643
305.85/306.00	c 57.5s |       4 |    31465 |      813 |  3605033      0 |     4639 |    55643
340.43/340.50	c 92.0s |       4 |    63380 |      913 |  3965537      0 |     4643 |    56027
342.74/342.86	c 94.3s |       4 |    63523 |     1013 |  3965537      0 |     4643 |    56027
344.83/344.94	c 96.4s |       4 |    63648 |     1113 |  3965537      0 |     4643 |    56027
347.53/347.64	c 99.1s |       4 |    63797 |     1213 |  3965537      0 |     4643 |    56027
349.73/349.90	c  101s |       4 |    63919 |     1313 |  3965537      0 |     4643 |    56027
349.93/350.08	c  101s |       5 |    63927 |     1320 |  3965537      0 |     4643 |    56027

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

pid=12138
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.08 2.08 2.03 3/179 12141
/proc/meminfo: memFree=23519636/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 708 0 0 0 0 0 0 0 20 0 4 0 31346341 246870016 558 33554432000 4194304 16246674 140737092670544 140737092669968 13906216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 60271 562 424 2943 0 57165 0
[pid=12141/tid=12142] ppid=12138 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 246870016 588 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 246870016 597 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31346342 246870016 604 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.08 2.08 2.03 3/179 12141
/proc/meminfo: memFree=23519636/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 29511 0 0 0 5 3 0 0 20 0 4 0 31346341 1249447936 29299 33554432000 4194304 16246674 140737092670544 140737092669856 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 305041 29315 801 2943 0 301935 0
[pid=12141/tid=12142] ppid=12138 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1249447936 29326 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1249447936 29338 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1249447936 29349 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200515 s]
/proc/loadavg: 2.08 2.08 2.03 3/179 12141
/proc/meminfo: memFree=23519636/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1306180 CPUtime=0.18 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 51281 0 0 0 11 7 0 0 20 0 4 0 31346341 1337528320 51579 33554432000 4194304 16246674 140737092670544 140737092669856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 326545 51583 801 2943 0 323439 0
[pid=12141/tid=12142] ppid=12138 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1337528320 51585 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1337528320 51587 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1337528320 51589 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1306180

[startup+0.404741 s]
/proc/loadavg: 2.08 2.08 2.03 3/179 12141
/proc/meminfo: memFree=23519636/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1314372 CPUtime=0.38 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 58530 0 0 0 30 8 0 0 20 0 4 0 31346341 1345916928 58828 33554432000 4194304 16246674 140737092670544 140737092669640 7393357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 328593 58828 801 2943 0 325487 0
[pid=12141/tid=12142] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 58828 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 58828 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 58828 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1314372

[startup+0.700381 s]
/proc/loadavg: 2.08 2.08 2.03 3/179 12141
/proc/meminfo: memFree=23519636/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 70645 0 0 0 58 10 0 0 20 0 4 0 31346341 1345916928 70943 33554432000 4194304 16246674 140737092670544 140737092669640 7371538 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 328593 70943 801 2943 0 325487 0
[pid=12141/tid=12142] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 70943 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 70943 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 70943 33554432000 4194304 16246674 140737092670544 140197711826096 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) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.08 2.08 2.03 3/183 12145
/proc/meminfo: memFree=23181408/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 88382 0 0 0 136 13 0 0 20 0 4 0 31346341 1345916928 88680 33554432000 4194304 16246674 140737092670544 140737092668352 8055566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 328593 88680 802 2943 0 325487 0
[pid=12141/tid=12142] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 88680 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 88680 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1345916928 88680 33554432000 4194304 16246674 140737092670544 140197711826096 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) 1314372

[startup+3.10037 s]
/proc/loadavg: 2.08 2.08 2.03 4/183 12145
/proc/meminfo: memFree=23107136/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1321540 CPUtime=3.08 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 121891 0 0 0 290 18 0 0 20 0 4 0 31346341 1353256960 122189 33554432000 4194304 16246674 140737092670544 140737092668352 8057043 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 330385 122189 802 2943 0 327279 0
[pid=12141/tid=12142] ppid=12138 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1353256960 122189 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1353256960 122189 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1353256960 122189 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1321540

[startup+6.30039 s]
/proc/loadavg: 2.07 2.08 2.03 3/183 12145
/proc/meminfo: memFree=22607144/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1370692 CPUtime=6.29 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 222031 0 0 0 596 33 0 0 20 0 4 0 31346341 1403588608 230505 33554432000 4194304 16246674 140737092670544 140737092653536 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 342673 230505 802 2943 0 339567 0
[pid=12141/tid=12142] ppid=12138 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1403588608 230505 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1403588608 230505 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1403588608 230505 33554432000 4194304 16246674 140737092670544 140197711826096 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) 1370692

[startup+12.7004 s]
/proc/loadavg: 2.07 2.08 2.03 3/183 12145
/proc/meminfo: memFree=22242712/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=1518148 CPUtime=12.68 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 307857 0 0 0 1221 47 0 0 20 0 4 0 31346341 1554583552 320419 33554432000 4194304 16246674 140737092670544 140737092669720 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 379537 320419 802 2943 0 376431 0
[pid=12141/tid=12142] ppid=12138 vsize=1518148 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 1554583552 320419 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=1518148 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 1554583552 320419 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=1518148 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 1554583552 320419 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1518148

[startup+25.5074 s]
/proc/loadavg: 2.05 2.07 2.03 3/183 12145
/proc/meminfo: memFree=20908684/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=2911812 CPUtime=25.49 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 656133 0 0 0 2447 102 0 0 20 0 4 0 31346341 2981695488 668695 33554432000 4194304 16246674 140737092670544 140737092669208 4223718 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 727953 668702 802 2943 0 724847 0
[pid=12141/tid=12142] ppid=12138 vsize=2911812 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 2981695488 668707 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=2911812 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 2981695488 668711 33554432000 4194304 16246674 140737092670544 140197722299408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=2911812 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 2981695488 668716 33554432000 4194304 16246674 140737092670544 140197711826096 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) 2911812

[startup+51.1004 s]
/proc/loadavg: 2.11 2.08 2.03 3/183 12146
/proc/meminfo: memFree=11279168/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=7802436 CPUtime=51.08 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 1878930 0 0 0 4835 273 0 0 20 0 4 0 31346341 7989694464 1891492 33554432000 4194304 16246674 140737092670544 140737092669640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 1950609 1891492 803 2943 0 1947503 0
[pid=12141/tid=12142] ppid=12138 vsize=7802436 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 7989694464 1891492 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=7802436 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 7989694464 1891492 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=7802436 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 7989694464 1891492 33554432000 4194304 16246674 140737092670544 140197711826096 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) 7802436

[startup+102.3 s]
/proc/loadavg: 2.11 2.08 2.03 3/183 12146
/proc/meminfo: memFree=4523900/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=12835396 CPUtime=102.27 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 3137179 0 0 0 9760 467 0 0 20 0 4 0 31346341 13143445504 3149741 33554432000 4194304 16246674 140737092670544 140737092669208 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 3208849 3149747 849 2943 0 3205743 0
[pid=12141/tid=12142] ppid=12138 vsize=12835396 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 13143445504 3149751 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=12835396 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 13143445504 3149755 33554432000 4194304 16246674 140737092670544 140197722299408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=12835396 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 13143445504 3149758 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12835396

[startup+162.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/183 12147
/proc/meminfo: memFree=3820964/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=13300292 CPUtime=162.26 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 3253454 0 0 0 15715 511 0 0 20 0 4 0 31346341 13619499008 3266016 33554432000 4194304 16246674 140737092670544 140737092669640 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 3325073 3266016 851 2943 0 3321967 0
[pid=12141/tid=12142] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266016 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266016 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266016 33554432000 4194304 16246674 140737092670544 140197711826096 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) 13300292

[startup+222.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/183 12148
/proc/meminfo: memFree=3821020/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=13300292 CPUtime=222.25 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 3253459 0 0 0 21707 518 0 0 20 0 4 0 31346341 13619499008 3266021 33554432000 4194304 16246674 140737092670544 140737092669720 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 3325073 3266021 855 2943 0 3321967 0
[pid=12141/tid=12142] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266021 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266021 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266021 33554432000 4194304 16246674 140737092670544 140197711826096 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) 13300292

[startup+282.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/184 12153
/proc/meminfo: memFree=3819948/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=13300292 CPUtime=282.24 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 3253501 0 0 0 27691 533 0 0 20 0 4 0 31346341 13619499008 3266063 33554432000 4194304 16246674 140737092670544 140737092669640 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 3325073 3266063 897 2943 0 3321967 0
[pid=12141/tid=12142] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266063 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266063 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=13300292 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 13619499008 3266063 33554432000 4194304 16246674 140737092670544 140197711826096 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) 13300292

[startup+342.307 s]
/proc/loadavg: 2.16 2.11 2.04 3/183 12154
/proc/meminfo: memFree=2057748/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=15133252 CPUtime=342.24 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 3711699 0 0 0 33592 632 0 0 20 0 4 0 31346341 15496450048 3724261 33554432000 4194304 16246674 140737092670544 140737092669720 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 3783313 3724261 897 2943 0 3780207 0
[pid=12141/tid=12142] ppid=12138 vsize=15133252 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 15496450048 3724261 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=15133252 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 15496450048 3724261 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=15133252 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 15496450048 3724261 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 15133252



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+360.4 s]
/proc/loadavg: 2.11 2.11 2.04 3/183 12155
/proc/meminfo: memFree=1407688/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=15873604 CPUtime=360.33 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) R 12138 12141 10280 0 -1 4202496 3896760 0 0 0 35366 667 0 0 20 0 4 0 31346341 16254570496 3909322 33554432000 4194304 16246674 140737092670544 140737092669640 5674919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 3968401 3909322 897 2943 0 3965295 0
[pid=12141/tid=12142] ppid=12138 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12142/stat : 12142 (toysat) S 12138 12141 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31346342 16254570496 3909322 33554432000 4194304 16246674 140737092670544 140197732789488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) S 12138 12141 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31346342 16254570496 3909322 33554432000 4194304 16246674 140737092670544 140197722299632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12141/tid=12144] ppid=12138 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/12141/task/12144/stat : 12144 (toysat) S 12138 12141 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31346342 16254570496 3909324 33554432000 4194304 16246674 140737092670544 140197711826096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 360.33
Current children cumulated vsize (KiB) 15873604

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

[startup+360.9 s]
/proc/loadavg: 2.11 2.11 2.04 3/181 12155
/proc/meminfo: memFree=10126984/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=0 CPUtime=360.84 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) Z 12138 12141 10280 0 -1 4203532 3896793 0 0 0 35367 717 0 0 20 0 2 0 31346341 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 0 0 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) R 12138 12141 10280 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 31346342 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 360.84
Current children cumulated vsize (KiB) 0

[startup+361.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/181 12155
/proc/meminfo: memFree=10126984/32872528 swapFree=526336/559040
[pid=12141] ppid=12138 vsize=0 CPUtime=361.23 cores=0,2,4,6
/proc/12141/stat : 12141 (toysat) Z 12138 12141 10280 0 -1 4203532 3896793 0 0 0 35367 756 0 0 20 0 2 0 31346341 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12141/statm: 0 0 0 0 0 0 0
[pid=12141/tid=12143] ppid=12138 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/12141/task/12143/stat : 12143 (toysat) R 12138 12141 10280 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 31346342 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 361.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 361.308
CPU time (s): 361.244
CPU user time (s): 353.671
CPU system time (s): 7.57285
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 15873604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.671
system time used= 7.57285
maximum resident set size= 15637420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3896793
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= 36
involuntary context switches= 428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.967852 second user time and 1.37579 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-19 01:36:02
IDJOB=4108974
IDBENCH=89771
IDSOLVER=2542
FILE ID=node106/4108974-1466292953
RUNJOBID= node106-1466277111-10296
PBS_JOBID= 19918270
Free space on /tmp= 71040 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-178.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108974-1466292953/watcher-4108974-1466292953 -o /tmp/evaluation-result-4108974-1466292953/solver-4108974-1466292953 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108974-1466292953.opb

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

MD5SUM BENCH= c8d6406d9171f43a410d04b94af97b71
RANDOM SEED=1151343469

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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.56
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		: 2667.073
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		: 2667.073
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.56
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		: 2667.073
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.38
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		: 2667.073
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:        23520808 kB
Buffers:          117012 kB
Cached:           936316 kB
SwapCached:         1736 kB
Active:          7725776 kB
Inactive:         284816 kB
Active(anon):    6956484 kB
Inactive(anon):     3048 kB
Active(file):     769292 kB
Inactive(file):   281768 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:            390652 kB
Writeback:             0 kB
AnonPages:       7515684 kB
Mapped:            10428 kB
Shmem:                 0 kB
Slab:             637876 kB
SReclaimable:      81096 kB
SUnreclaim:       556780 kB
KernelStack:        1448 kB
PageTables:        18680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7657520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 71024 MiB
End job on node106 at 2016-06-19 01:42:04