Trace number 4103385

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.61 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-van.opb
MD5SUM39e0cd41dc245360dae65b9c547829b7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24193312742
Best CPU time to get the best result obtained on this benchmark1801.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24193312742
Optimality of the best value was proved NO
Number of variables135360
Total number of constraints39616
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint2
Maximum length of a constraint496
Number of terms in the objective function 192
Biggest coefficient in the objective function 2427002644
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 319999999936
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 226795425792
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 973128929893
Number of bits of the biggest sum of numbers40
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-18T09:43:44+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-4103385-1466235821.opb"]
0.00/0.01	c use --random-gen="1643349189 3261548424 1639282624 3304113843 1656951554 1814709528 3449135842 4195154964 4140964970 1053309266 2996609271 1374394179 1670285349 1094569718 3762482125 2272669631 3672612700 733066648 168666125 3005079682 2953649986 298399783 1544726921 23601646 1741987171 4011814568 3089830793 479246342 3477249644 4292477912 959996662 2728678194 827840128 2755986516 3256866423 1620990684 3367526827 3165124848 2448806626 844450417 1150171936 3484064832 440136321 1947670758 2154732987 2415007691 2690105190 4255899847 1668083943 1867560433 843037574 757305971 788236667 2268368406 660852920 1870285277 2310029990 2744395749 2147410841 3055482653 1943880328 1132224523 1370398338 428387556 10841826 2166610136 1354695303 2479443912 1580846395 59458621 3497181231 3277796868 3930783632 3184079278 1781278176 280630784 2982024172 3193166504 1812103346 2758868876 112565721 2408784720 451435834 1987737353 971816337 3081530523 1810498359 540255534 1174296460 2800792935 3893089371 758584692 3314987180 3072888193 1658976342 2775030150 4205912852 1661564753 1272818406 3109264413 2921773141 3600962515 4237558777 4046740555 301792936 4081000702 2055157587 1067223757 3669898979 268670054 3997379056 827773497 2078878779 3376163177 2290568429 4107895657 1688785933 97764341 1968857310 462371827 3185624826 1181308674 1404720656 434122330 2483374384 2819254550 1807162454 3023516354 734700044 3764287624 1814421310 971038138 3334054159 3105317458 2893766635 166897990 3123996414 2077056715 693857555 2409569883 4160710362 555040456 2796528948 3548128138 858037966 1157018002 3257532874 2447814018 869338977 2309904184 3880670079 3930450242 514384389 677860912 851880732 1550061577 2184679699 287678753 3465603902 2037223208 3803574178 4062073411 2053384166 3830459329 2455946513 2206189733 2395041540 3407436336 1498813882 4083663671 2965796271 2477708062 3592297158 3277925149 1669687123 3378497218 3562937462 4235433004 2368445752 2061989926 1523307749 4220567956 4027798154 3673761380 4035147897 3473275506 257581648 3041289389 60676240 309324404 3114296507 2349999264 484987398 1760142526 3146988755 2056774337 2489549633 3557112521 3991480288 2420224547 48871118 684615587 1165120724 1662690112 1409180447 2389798273 41083033 2498644956 839994933 185339637 2980354614 1376427638 534240455 3238504516 273153951 3711271041 632129118 3998382168 1190445715 3945951313 3912778297 1063386766 1919527361 2916653233 1336052023 432535661 3913915048 3573797752 986387642 1760196668 4248725702 1817417729 1895927940 2952366817 1970114693 3026753566 3410776486 3897214572 511821099 1260584905 1171369231 3440174175 1936988786 2316170102 2259855534 267901434 961338136 2389146312 234580542 3634120962 3130846348 925381345 3854672955 857802511 1484750892 1535935419 255 362436" option to reproduce the execution
9.49/9.51	c #vars 135360
9.49/9.51	c #constraints 39616

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

pid=21498
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 21501
/proc/meminfo: memFree=25558900/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 2602 0 0 0 0 0 0 0 20 0 4 0 25632289 715583488 2963 33554432000 4194304 16246674 140737281169392 140737281168816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 175215 2973 441 2943 0 172109 0
[pid=21501/tid=21502] ppid=21498 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 733409280 3034 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 738652160 3052 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25632290 742846464 3069 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 21501
/proc/meminfo: memFree=25558900/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 30100 0 0 0 5 4 0 0 20 0 4 0 25632289 1333334016 30399 33554432000 4194304 16246674 140737281169392 140737281168704 8055525 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 325521 30416 800 2943 0 322415 0
[pid=21501/tid=21502] ppid=21498 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1333334016 30427 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1333334016 30438 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1333334016 30449 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200538 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 21501
/proc/meminfo: memFree=25558900/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 44428 0 0 0 13 6 0 0 20 0 4 0 25632289 1344868352 45238 33554432000 4194304 16246674 140737281169392 140737281168704 12752197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 328337 45238 800 2943 0 325231 0
[pid=21501/tid=21502] ppid=21498 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1344868352 45238 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1344868352 45238 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1344868352 45238 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300513 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 21501
/proc/meminfo: memFree=25558900/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 51572 0 0 0 22 7 0 0 20 0 4 0 25632289 1344868352 52382 33554432000 4194304 16246674 140737281169392 140737281168704 7377013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 328337 52382 800 2943 0 325231 0
[pid=21501/tid=21502] ppid=21498 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1344868352 52382 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1344868352 52382 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1344868352 52382 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.15 2.14 2.09 3/179 21501
/proc/meminfo: memFree=25558900/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 52204 0 0 0 62 7 0 0 20 0 4 0 25632289 1351159808 54547 33554432000 4194304 16246674 140737281169392 140737281168704 7371572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 329873 54547 800 2943 0 326767 0
[pid=21501/tid=21502] ppid=21498 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1351159808 54547 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1351159808 54547 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1351159808 54547 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1319492

[startup+1.50043 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 21505
/proc/meminfo: memFree=25261620/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1356356 CPUtime=1.49 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 69532 0 0 0 139 10 0 0 20 0 4 0 25632289 1388908544 78518 33554432000 4194304 16246674 140737281169392 140737281152384 8058688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 339089 78518 801 2943 0 335983 0
[pid=21501/tid=21502] ppid=21498 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1388908544 78518 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1388908544 78518 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1388908544 78518 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1356356

[startup+3.10044 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 21505
/proc/meminfo: memFree=25126100/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1405508 CPUtime=3.09 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 132687 0 0 0 290 19 0 0 20 0 4 0 25632289 1439240192 150871 33554432000 4194304 16246674 140737281169392 140737281152384 4223652 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 351377 150871 801 2943 0 348271 0
[pid=21501/tid=21502] ppid=21498 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1439240192 150871 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1439240192 150871 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1439240192 150871 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1405508

[startup+6.30043 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 21505
/proc/meminfo: memFree=23605428/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1503812 CPUtime=6.29 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 216217 0 0 0 596 33 0 0 20 0 4 0 25632289 1539903488 253308 33554432000 4194304 16246674 140737281169392 140737281168704 7364240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 375953 253308 801 2943 0 372847 0
[pid=21501/tid=21502] ppid=21498 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1539903488 253308 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1539903488 253308 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1539903488 253308 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1503812

[startup+12.7004 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 21505
/proc/meminfo: memFree=22306188/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=1503812 CPUtime=12.69 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 235272 0 0 0 1232 37 0 0 20 0 4 0 25632289 1539903488 279006 33554432000 4194304 16246674 140737281169392 140737281168568 12655167 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 375953 279006 834 2943 0 372847 0
[pid=21501/tid=21502] ppid=21498 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 1539903488 279006 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 1539903488 279006 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 1539903488 279006 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1503812

[startup+25.5005 s]
/proc/loadavg: 2.10 2.12 2.08 3/183 21505
/proc/meminfo: memFree=18342140/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=3026500 CPUtime=25.49 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 649725 0 0 0 2455 94 0 0 20 0 4 0 25632289 3099136000 698058 33554432000 4194304 16246674 140737281169392 140737281168488 4225157 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 756625 698058 835 2943 0 753519 0
[pid=21501/tid=21502] ppid=21498 vsize=3026500 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 3099136000 698058 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=3026500 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 3099136000 698058 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=3026500 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 3099136000 698058 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3026500

[startup+51.1005 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 21505
/proc/meminfo: memFree=12333664/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=6638148 CPUtime=51.08 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 1552442 0 0 0 4893 215 0 0 20 0 4 0 25632289 6797463552 1600775 33554432000 4194304 16246674 140737281169392 140737281168056 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 1659537 1600781 835 2943 0 1656431 0
[pid=21501/tid=21502] ppid=21498 vsize=6638148 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 6797463552 1600786 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=6638148 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 6797463552 1600789 33554432000 4194304 16246674 140737281169392 139949764484112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=6638148 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 6797463552 1600792 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6638148

[startup+102.301 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 21506
/proc/meminfo: memFree=6183708/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=11687492 CPUtime=102.28 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 2814977 0 0 0 9834 394 0 0 20 0 4 0 25632289 11967991808 2863310 33554432000 4194304 16246674 140737281169392 140737281167232 13880815 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2921873 2863310 835 2943 0 2918767 0
[pid=21501/tid=21502] ppid=21498 vsize=11687492 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11967991808 2863310 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11687492 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11967991808 2863310 33554432000 4194304 16246674 140737281169392 139949764484112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11687492 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11967991808 2863310 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11687492


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

[pid=21501] ppid=21498 vsize=11641412 CPUtime=1362.08 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 5339908 0 0 0 135264 944 0 0 20 0 4 0 25632289 11920805888 2851793 33554432000 4194304 16246674 140737281169392 140737281168704 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2910353 2851793 836 2943 0 2907247 0
[pid=21501/tid=21502] ppid=21498 vsize=11641412 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11920805888 2851793 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11641412 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11920805888 2851793 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11641412 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11920805888 2851793 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 11641412

[startup+1422.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/183 21562
/proc/meminfo: memFree=21163428/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=4059716 CPUtime=1422.08 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 5384708 0 0 0 141208 1000 0 0 20 0 4 0 25632289 4157149184 956369 33554432000 4194304 16246674 140737281169392 140737281168488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 1014929 956369 836 2943 0 1011823 0
[pid=21501/tid=21502] ppid=21498 vsize=4059716 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 4157149184 956369 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=4059716 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 4157149184 956369 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=4059716 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 4157149184 956369 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4059716

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 21563
/proc/meminfo: memFree=10475704/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=7040580 CPUtime=1482.06 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 6792454 0 0 0 146998 1208 0 0 20 0 4 0 25632289 7209553920 1701587 33554432000 4194304 16246674 140737281169392 140737281168568 4221035 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 1760145 1701587 836 2943 0 1757039 0
[pid=21501/tid=21502] ppid=21498 vsize=7040580 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 7209553920 1701587 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=7040580 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 7209553920 1701587 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=7040580 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 7209553920 1701587 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 7040580

[startup+1542.31 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 21613
/proc/meminfo: memFree=19068628/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=11634244 CPUtime=1542.06 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 7940871 0 0 0 152846 1360 0 0 20 0 4 0 25632289 11913465856 2850004 33554432000 4194304 16246674 140737281169392 140737281168488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2908561 2850004 836 2943 0 2905455 0
[pid=21501/tid=21502] ppid=21498 vsize=11634244 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11913465856 2850004 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11634244 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11913465856 2850004 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11634244 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11913465856 2850004 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 11634244

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/184 21617
/proc/meminfo: memFree=18941860/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=11635268 CPUtime=1602.05 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 7941127 0 0 0 158837 1368 0 0 20 0 4 0 25632289 11914514432 2850260 33554432000 4194304 16246674 140737281169392 140737281167232 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2908817 2850260 836 2943 0 2905711 0
[pid=21501/tid=21502] ppid=21498 vsize=11635268 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11914514432 2850260 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11635268 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11914514432 2850260 33554432000 4194304 16246674 140737281169392 139949764484112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11635268 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11914514432 2850260 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 11635268

[startup+1662.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 21619
/proc/meminfo: memFree=18940836/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=11636292 CPUtime=1662.04 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 7941383 0 0 0 164828 1376 0 0 20 0 4 0 25632289 11915563008 2850516 33554432000 4194304 16246674 140737281169392 140737281168488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2909073 2850516 836 2943 0 2905967 0
[pid=21501/tid=21502] ppid=21498 vsize=11636292 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11915563008 2850516 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11636292 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11915563008 2850516 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11636292 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11915563008 2850516 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 11636292

[startup+1722.3 s]
/proc/loadavg: 2.09 2.08 2.09 3/182 21620
/proc/meminfo: memFree=18939380/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=11637316 CPUtime=1722.02 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 7941639 0 0 0 170820 1382 0 0 20 0 4 0 25632289 11916611584 2850772 33554432000 4194304 16246674 140737281169392 140737281167232 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2909329 2850772 836 2943 0 2906223 0
[pid=21501/tid=21502] ppid=21498 vsize=11637316 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11916611584 2850772 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11637316 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11916611584 2850772 33554432000 4194304 16246674 140737281169392 139949764484112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11637316 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11916611584 2850772 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 11637316

[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/183 21622
/proc/meminfo: memFree=18936916/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=11638340 CPUtime=1782.01 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 7941895 0 0 0 176812 1389 0 0 20 0 4 0 25632289 11917660160 2851028 33554432000 4194304 16246674 140737281169392 140737281168488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2909585 2851028 836 2943 0 2906479 0
[pid=21501/tid=21502] ppid=21498 vsize=11638340 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11917660160 2851028 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11638340 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11917660160 2851028 33554432000 4194304 16246674 140737281169392 139949764484336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11638340 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11917660160 2851028 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 11638340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 21622
/proc/meminfo: memFree=15822676/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=11638340 CPUtime=1800.01 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) R 21498 21501 20760 0 -1 4202496 7941895 0 0 0 178609 1392 0 0 20 0 4 0 25632289 11917660160 2851028 33554432000 4194304 16246674 140737281169392 140737281167232 4225100 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 2909585 2851028 836 2943 0 2906479 0
[pid=21501/tid=21502] ppid=21498 vsize=11638340 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) S 21498 21501 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25632290 11917660160 2851028 33554432000 4194304 16246674 140737281169392 139949774974192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21501/tid=21503] ppid=21498 vsize=11638340 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21503/stat : 21503 (toysat) S 21498 21501 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25632290 11917660160 2851028 33554432000 4194304 16246674 140737281169392 139949764484112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21501/tid=21504] ppid=21498 vsize=11638340 CPUtime=0 cores=1,3,5,7
/proc/21501/task/21504/stat : 21504 (toysat) S 21498 21501 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25632290 11917660160 2851028 33554432000 4194304 16246674 140737281169392 139949754010800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 11638340

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

[startup+1800.41 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 21622
/proc/meminfo: memFree=15822676/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) Z 21498 21501 20760 0 -1 4203532 7941895 0 0 0 178610 1401 0 0 20 0 2 0 25632289 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 0 0 0 0 0 0 0
[pid=21501/tid=21502] ppid=21498 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) R 21498 21501 20760 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 25632290 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.11 2.09 2.09 3/181 21622
/proc/meminfo: memFree=22917464/32872528 swapFree=163656/177964
[pid=21501] ppid=21498 vsize=0 CPUtime=1800.51 cores=1,3,5,7
/proc/21501/stat : 21501 (toysat) Z 21498 21501 20760 0 -1 4203532 7941895 0 0 0 178610 1441 0 0 20 0 2 0 25632289 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21501/statm: 0 0 0 0 0 0 0
[pid=21501/tid=21502] ppid=21498 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/21501/task/21502/stat : 21502 (toysat) R 21498 21501 20760 0 -1 4203588 9 0 0 0 0 49 0 0 20 0 2 0 25632290 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.9
CPU time (s): 1800.61
CPU user time (s): 1786.1
CPU system time (s): 14.5058
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 11696708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.1
system time used= 14.5058
maximum resident set size= 11462460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7941895
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= 539
involuntary context switches= 1803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46232 second user time and 7.01093 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 09:43:44
IDJOB=4103385
IDBENCH=2345
IDSOLVER=2542
FILE ID=node105/4103385-1466235821
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71624 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103385-1466235821/watcher-4103385-1466235821 -o /tmp/evaluation-result-4103385-1466235821/solver-4103385-1466235821 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103385-1466235821.opb

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

MD5SUM BENCH= 39e0cd41dc245360dae65b9c547829b7
RANDOM SEED=1127334742

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25559544 kB
Buffers:           89904 kB
Cached:           287260 kB
SwapCached:         1484 kB
Active:          6196040 kB
Inactive:         185076 kB
Active(anon):    5997076 kB
Inactive(anon):     9144 kB
Active(file):     198964 kB
Inactive(file):   175932 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             94304 kB
Writeback:             0 kB
AnonPages:       6181592 kB
Mapped:            10500 kB
Shmem:                 0 kB
Slab:             609092 kB
SReclaimable:      52412 kB
SUnreclaim:       556680 kB
KernelStack:        1456 kB
PageTables:        16148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6324976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71632 MiB
End job on node105 at 2016-06-18 10:13:45