Trace number 4093266

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.75 1801.03

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap113_wcsp.wbo
MD5SUMea836e0f976b6c1eccda327c2ccf56b9
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark11826857
Best CPU time to get the best result obtained on this benchmark1800.1
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2600
Total number of constraints5148
Number of soft constraints5048
Number of constraints which are clauses5048
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 66206436
Min constraint cost 1
Max constraint cost 66206436
Sum of constraints costs 166802246300
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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-16T20:56:49+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","--wbo","--search=bcd2","HOME/instance-4093266-1466103409.wbo"]
0.00/0.01	c use --random-gen="2497132701 425643683 630403217 2772389767 459317078 1235227150 2739545453 3961856007 2199073864 3768014556 3390757365 1764474725 1807172374 3622584951 1447432681 2816017586 905901711 1414871216 3712290873 2225758625 36532279 1284132992 1019426430 28440103 2558671412 3088355046 1733064236 586845408 648902799 865761925 765720861 2971106735 719315107 3774285808 452680572 2555614587 2599607022 2508887470 2733615344 1296917905 957833481 3086758266 1006479986 903265139 1498389197 441511684 4016772702 2365701794 1798631114 2846877609 2567480600 2200023656 1601340621 1484284652 3916223016 1256233970 3035133745 3332055030 3463467207 1274639566 597251788 2217040344 3107454716 440877331 1015454411 3246959728 3790831953 758473080 4154704251 2379024321 2235825186 942477177 1560242576 3482158946 4052739505 263062360 484046746 3063996463 3845577879 2991204980 171083251 1809553613 3406648651 397409807 2461745048 4255338644 4038935192 287311551 199319943 689649595 563371473 3279265258 2109107646 2474223336 926687176 3082155549 3622457698 4159229852 1113098293 1805843890 2858493389 1773872444 963506997 2164535193 1072807916 1017436892 236907541 1973925828 421014035 2963387650 2794105541 3096833321 323172706 3176360180 1314710728 2649391060 3767402929 2303965530 1027410457 2853034491 2832086288 1844412755 1382277866 2698023414 3001996964 1682767907 3878194689 1985542147 4113509390 3578319792 157774986 2946185338 76874293 3424922857 2717894110 3861813475 1398429543 1339916384 2487141256 2574260810 3780618735 2009359341 645719574 3709900672 1617269691 654657583 2370815648 1874304403 2964874669 3678710256 165296063 4179853812 2958488888 771386439 4202673013 2965250674 3467777060 1638377323 1923308019 948910328 2872353861 3664976345 3859735720 1856320088 3656071104 4229692922 2147402935 616470812 203076018 3686179220 3870617423 2133260147 54225196 3987211291 3407990278 1774202989 1399267499 2965015070 1219490275 2636681184 4207706294 2573710864 1112930815 1431468686 1902075284 1004970069 3920675211 522273721 367615195 2260623611 2977728972 2422349655 1964672425 4120982809 3172326509 2209671128 2994644370 2889753621 4217231968 2571051124 3256003357 3920782045 3740053489 2827465778 909631150 3541365968 420224983 751078848 565388992 3264750370 809369392 1726359862 2630337755 2395739633 600421555 1262865414 4221379200 100308807 785876729 3818606398 2660313516 2636222426 3053853445 1643408331 1040193707 2403577600 3269542866 1948488903 1961739797 645625135 3315623169 2593275182 2309063733 1976791109 3833632049 2801176951 1503752932 106378107 4042345033 3680363242 2276638969 3074993032 2619467588 1114901939 4099615774 2640610181 1679097441 1212424525 535938078 2591591322 3265875345 621153443 363222595 3270718437 114674617 1671601667 255 362436" option to reproduce the execution

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-4093266-1466103409/watcher-4093266-1466103409 -o /tmp/evaluation-result-4093266-1466103409/solver-4093266-1466103409 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466103409-1689 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093266-1466103409.wbo 

pid=1719
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: 1.34 1.29 1.57 4/179 1722
/proc/meminfo: memFree=30372604/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=618940 CPUtime=0 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 2293 0 0 0 0 0 0 0 20 0 4 0 12386130 633794560 2654 33554432000 4194304 16246674 140737429791248 140737429790672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 155503 2664 441 2943 0 152397 0
[pid=1722/tid=1723] ppid=1719 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 749137920 3090 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 753332224 3108 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 757526528 3125 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 1.34 1.29 1.57 4/179 1722
/proc/meminfo: memFree=30372604/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 21834 0 0 0 6 3 0 0 20 0 4 0 12386130 1249447936 22136 33554432000 4194304 16246674 140737429791248 140737429790560 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 305041 22145 829 2943 0 301935 0
[pid=1722/tid=1723] ppid=1719 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1249447936 22152 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1249447936 22159 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1249447936 22165 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200537 s]
/proc/loadavg: 1.34 1.29 1.57 4/179 1722
/proc/meminfo: memFree=30372604/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 42032 0 0 0 13 6 0 0 20 0 4 0 12386130 1249447936 42333 33554432000 4194304 16246674 140737429791248 140737429790560 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 305041 42333 834 2943 0 301935 0
[pid=1722/tid=1723] ppid=1719 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1249447936 42333 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1249447936 42333 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1249447936 42333 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300502 s]
/proc/loadavg: 1.34 1.29 1.57 4/179 1722
/proc/meminfo: memFree=30372604/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 51542 0 0 0 22 7 0 0 20 0 4 0 12386130 1338576896 51843 33554432000 4194304 16246674 140737429791248 140737429790560 13807598 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 326801 51843 840 2943 0 323695 0
[pid=1722/tid=1723] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 51843 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 51843 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 51843 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700408 s]
/proc/loadavg: 1.34 1.29 1.57 4/179 1722
/proc/meminfo: memFree=30372604/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 55502 0 0 0 61 8 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140737429773120 13807601 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 326801 55803 840 2943 0 323695 0
[pid=1722/tid=1723] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50036 s]
/proc/loadavg: 1.34 1.29 1.57 3/183 1726
/proc/meminfo: memFree=29966096/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 55502 0 0 0 141 8 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140737429773120 13807548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 326801 55803 840 2943 0 323695 0
[pid=1722/tid=1723] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10036 s]
/proc/loadavg: 1.34 1.29 1.57 4/183 1726
/proc/meminfo: memFree=29965344/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 55502 0 0 0 301 8 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140737429773120 13774072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 326801 55803 840 2943 0 323695 0
[pid=1722/tid=1723] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 55803 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 1.48 1.32 1.57 4/183 1726
/proc/meminfo: memFree=29922224/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 61732 0 0 0 620 9 0 0 20 0 4 0 12386130 1338576896 62033 33554432000 4194304 16246674 140737429791248 140737429789056 13807608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 326801 62033 840 2943 0 323695 0
[pid=1722/tid=1723] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 62033 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 62033 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1338576896 62033 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.60 1.35 1.58 3/183 1726
/proc/meminfo: memFree=29895960/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 64111 0 0 0 1260 9 0 0 20 0 4 0 12386130 1340674048 64412 33554432000 4194304 16246674 140737429791248 140737429790424 12481188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 327313 64412 842 2943 0 324207 0
[pid=1722/tid=1723] ppid=1719 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1340674048 64412 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1340674048 64412 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1340674048 64412 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 1.69 1.38 1.59 3/183 1726
/proc/meminfo: memFree=29892768/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 71159 0 0 0 2539 10 0 0 20 0 4 0 12386130 1342771200 71460 33554432000 4194304 16246674 140737429791248 140737429773120 13774229 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 327825 71460 842 2943 0 324719 0
[pid=1722/tid=1723] ppid=1719 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1342771200 71460 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1342771200 71460 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1342771200 71460 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.01 1.48 1.61 4/183 1726
/proc/meminfo: memFree=29517928/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 111480 0 0 0 5093 15 0 0 20 0 4 0 12386130 1342771200 111781 33554432000 4194304 16246674 140737429791248 140737429790424 13809224 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 327825 111781 842 2943 0 324719 0
[pid=1722/tid=1723] ppid=1719 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1342771200 111781 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12386130 1342771200 111781 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1342771200 111781 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.14 1.59 1.64 3/183 1727
/proc/meminfo: memFree=28753592/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 206971 0 0 0 10198 30 0 0 20 0 4 0 12386130 1343819776 207272 33554432000 4194304 16246674 140737429791248 140737429790424 13809288 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 328081 207272 842 2943 0 324975 0
[pid=1722/tid=1723] ppid=1719 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1343819776 207272 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 1343819776 207272 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 1343819776 207272 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

[pid=1722] ppid=1719 vsize=10443332 CPUtime=1362.08 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 2551974 0 0 0 135783 425 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140737429790424 6132521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 2610833 2552275 843 2943 0 2607727 0
[pid=1722/tid=1723] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 10443332

[startup+1422.3 s]
/proc/loadavg: 2.07 2.13 2.01 4/184 1791
/proc/meminfo: memFree=9954932/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=10443332 CPUtime=1422.08 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 2551974 0 0 0 141777 431 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140737429790424 6132539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 2610833 2552275 843 2943 0 2607727 0
[pid=1722/tid=1723] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 10443332

[startup+1482.3 s]
/proc/loadavg: 2.02 2.10 2.01 3/183 1792
/proc/meminfo: memFree=9955096/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=10443332 CPUtime=1482.07 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 2551974 0 0 0 147772 435 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140737429790424 13807453 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 2610833 2552275 843 2943 0 2607727 0
[pid=1722/tid=1723] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=10443332 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 10693971968 2552275 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 10443332

[startup+1542.31 s]
/proc/loadavg: 2.09 2.10 2.01 3/183 1793
/proc/meminfo: memFree=3874756/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=13477444 CPUtime=1542.06 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 3310500 0 0 0 153668 538 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140737429790424 13774216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 3369361 3310801 844 2943 0 3366255 0
[pid=1722/tid=1723] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 13477444

[startup+1602.3 s]
/proc/loadavg: 2.24 2.14 2.02 3/183 1794
/proc/meminfo: memFree=3874588/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=13477444 CPUtime=1602.04 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 3310500 0 0 0 159660 544 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140737429790424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 3369361 3310801 844 2943 0 3366255 0
[pid=1722/tid=1723] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 13477444

[startup+1662.3 s]
/proc/loadavg: 2.13 2.13 2.02 3/183 1795
/proc/meminfo: memFree=3874316/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=13477444 CPUtime=1662.04 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 3310500 0 0 0 165653 551 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140737429790424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 3369361 3310801 844 2943 0 3366255 0
[pid=1722/tid=1723] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 13477444

[startup+1722.3 s]
/proc/loadavg: 2.21 2.15 2.03 4/183 1797
/proc/meminfo: memFree=3874136/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=13477444 CPUtime=1722.03 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 3310500 0 0 0 171650 553 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140737429773120 13809352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 3369361 3310801 844 2943 0 3366255 0
[pid=1722/tid=1723] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 13477444

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.03 3/183 1799
/proc/meminfo: memFree=3873900/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=13477444 CPUtime=1782.02 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 3310500 0 0 0 177647 555 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140737429790424 6131280 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 3369361 3310801 844 2943 0 3366255 0
[pid=1722/tid=1723] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 13477444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.17 2.14 2.04 3/183 1799
/proc/meminfo: memFree=3874116/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=13477444 CPUtime=1800.02 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) R 1719 1722 29546 0 -1 4202496 3310500 0 0 0 179446 556 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140737429773120 6132467 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 3369361 3310801 844 2943 0 3366255 0
[pid=1722/tid=1723] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) S 1719 1722 29546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618398412016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1722/tid=1724] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (toysat) S 1719 1722 29546 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618387922160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1722/tid=1725] ppid=1719 vsize=13477444 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (toysat) S 1719 1722 29546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12386130 13800902656 3310801 33554432000 4194304 16246674 140737429791248 140618303007920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13477444

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

[startup+1800.81 s]
/proc/loadavg: 2.17 2.14 2.04 3/179 1799
/proc/meminfo: memFree=18266096/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=0 CPUtime=1800.51 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) Z 1719 1722 29546 0 -1 4203532 3310500 0 0 0 179446 605 0 0 20 0 2 0 12386130 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 0 0 0 0 0 0 0
[pid=1722/tid=1723] ppid=1719 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) R 1719 1722 29546 0 -1 4203588 10 0 0 0 0 48 0 0 20 0 2 0 12386130 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.17 2.14 2.04 3/179 1799
/proc/meminfo: memFree=18266096/32872528 swapFree=1399392/1569044
[pid=1722] ppid=1719 vsize=0 CPUtime=1800.71 cores=1,3,5,7
/proc/1722/stat : 1722 (toysat) Z 1719 1722 29546 0 -1 4203532 3310500 0 0 0 179446 625 0 0 20 0 2 0 12386130 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1722/statm: 0 0 0 0 0 0 0
[pid=1722/tid=1723] ppid=1719 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/1722/task/1723/stat : 1723 (toysat) R 1719 1722 29546 0 -1 4203588 10 0 0 0 0 68 0 0 20 0 2 0 12386130 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.03
CPU time (s): 1800.75
CPU user time (s): 1794.47
CPU system time (s): 6.28004
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 13477444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 6.28005
maximum resident set size= 13243204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3310500
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= 69
involuntary context switches= 2004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73882 second user time and 10.1935 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-16 20:56:49
IDJOB=4093266
IDBENCH=79536
IDSOLVER=2553
FILE ID=node140/4093266-1466103409
RUNJOBID= node140-1466103409-1689
PBS_JOBID= 19904032
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap113_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093266-1466103409/watcher-4093266-1466103409 -o /tmp/evaluation-result-4093266-1466103409/solver-4093266-1466103409 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466103409-1689 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093266-1466103409.wbo

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

MD5SUM BENCH= ea836e0f976b6c1eccda327c2ccf56b9
RANDOM SEED=1752324573

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30400876 kB
Buffers:           53708 kB
Cached:           129720 kB
SwapCached:         2564 kB
Active:           106728 kB
Inactive:          90188 kB
Active(anon):      14172 kB
Inactive(anon):     1792 kB
Active(file):      92556 kB
Inactive(file):    88396 kB
Unevictable:     1569044 kB
Mlocked:         1399392 kB
SwapTotal:      67108856 kB
SwapFree:       67096820 kB
Dirty:             32604 kB
Writeback:             0 kB
AnonPages:       1683096 kB
Mapped:             8944 kB
Shmem:                 0 kB
Slab:             570700 kB
SReclaimable:      15068 kB
SUnreclaim:       555632 kB
KernelStack:        1416 kB
PageTables:         7556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2120848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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= 71708 MiB
End job on node140 at 2016-06-16 21:26:50