Trace number 4093118

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.07 1800.36

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
academics/normalized-slangford-3-11_wcsp.wbo
MD5SUM6f58e736787ec730241fe31cbfb7f2ba
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark281
Best CPU time to get the best result obtained on this benchmark359.941
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints53185
Number of soft constraints53152
Number of constraints which are clauses53152
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 976
Min constraint cost 1
Max constraint cost 976
Sum of constraints costs 37740146
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
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-16T18:38:51+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-4093118-1466095131.wbo"]
0.00/0.01	c use --random-gen="907993671 2502096567 386477380 1151666263 471086859 302232746 1665018622 117599918 1991674294 2394440200 2253934566 2466065664 3601564151 2231047722 2598498461 2311203994 2024388952 2350390999 4044239571 191461211 1593970633 274250328 454453054 1542384374 1230333055 4070548449 135449806 821037547 3093729336 4097568801 1089263715 1516740342 2473492108 2753790885 1966566790 2796795210 1422882336 2329050520 3158434157 3441661869 1021088152 1368752453 1361912329 3832057789 3146989480 2774236977 882405805 335721565 2086121455 722537028 3558248951 1253149868 725454170 4135394831 2150153860 2539073467 3724455568 1667977143 143983953 803551221 2560106562 3675257389 1162971695 1912417749 4233106490 1784274854 3922136577 2581652219 3974001811 2758056705 1835837173 3901148854 402952885 1442733758 3883805343 2297880830 2897367455 815863394 2509715419 643891033 1458094735 2823880740 52072858 3420092159 3069450946 2310153967 3262610511 3049062211 3021635017 1161854874 2418817292 4256261327 351637497 4248213980 1564943594 2962569344 1458776993 3266657666 3015781202 2757585481 1905245158 1118084284 1404826924 2581755619 2846368643 1512235692 3844652862 60860182 1063275817 1636817856 1081327488 2223232369 995381794 3498836593 1824107588 1887121384 3198352324 1157327039 3572468344 3064544997 3678907666 205849623 1131945785 1954824013 751345139 1361874669 2358521033 4231846909 1338841460 3146622795 1906905691 1814157286 2099337091 4222204816 4283708657 2302933625 2443535231 3333780003 3196033561 2248229732 202352995 1244530440 1832791305 652350885 433933467 43967828 432656468 2471363294 3634208701 3499100327 899696389 2221322252 144200105 3067463100 3903363619 1164940713 3497428533 3023960010 160528722 1043091258 3771452311 3186308436 1540683435 2861741554 1373104828 2795305744 244422537 520820461 2503210205 2816823938 2948457176 1304051181 2170535144 2243067604 3128920716 2336107418 3197413821 1801451636 1180722682 2332837764 2233548318 4250398508 2188205706 1819517248 2165260901 3955401706 3586358787 2353000900 116200043 1493723674 2183083466 1680860697 2794484391 2383934363 717113119 3436720619 199174421 3376186633 1369911024 1462725627 3831730837 1101350413 1878848269 3218344286 3347935349 3637095084 353362374 2199353337 2995810034 186244239 1240171793 180316468 1927314302 1067956465 3647870415 4218829956 2430544405 1389454086 1046444639 2464182494 3933224950 1395292691 2775537623 1910751971 3974296702 704168928 3478118374 95426103 3973472026 3313242957 1434652437 3480441564 3607116974 1632250824 953744333 3738908754 4075672773 2871223696 1157101162 1845437130 1547882905 4079508688 1198456868 448440882 1697500013 4189728165 2792937977 4054785616 943100093 1152029225 4075847700 3645174903 1898356234 924843976 2315137971 1517132544 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-4093118-1466095131/watcher-4093118-1466095131 -o /tmp/evaluation-result-4093118-1466095131/solver-4093118-1466095131 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093118-1466095131.wbo 

pid=13902
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.12 2.11 2.09 3/179 13905
/proc/meminfo: memFree=30707216/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 2679 0 0 0 0 0 0 0 20 0 4 0 11563162 736555008 3040 33554432000 4194304 16246674 140735523933008 140735523932432 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 180335 3050 441 2943 0 177229 0
[pid=13905/tid=13906] ppid=13902 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 755429376 3112 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 759623680 3128 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11563163 763817984 3147 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 13905
/proc/meminfo: memFree=30707216/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 26733 0 0 0 6 3 0 0 20 0 4 0 11563162 1332285440 27034 33554432000 4194304 16246674 140735523933008 140735523916000 7365526 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 325265 27047 802 2943 0 322159 0
[pid=13905/tid=13906] ppid=13902 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1332285440 27057 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1332285440 27068 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1332285440 27078 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200511 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 13905
/proc/meminfo: memFree=30707216/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1310276 CPUtime=0.18 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 49551 0 0 0 13 5 0 0 20 0 4 0 11563162 1341722624 50362 33554432000 4194304 16246674 140735523933008 140735523916000 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 327569 50369 802 2943 0 324463 0
[pid=13905/tid=13906] ppid=13902 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1341722624 50373 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1341722624 50377 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1341722624 50381 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300469 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 13905
/proc/meminfo: memFree=30707216/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 58952 0 0 0 22 7 0 0 20 0 4 0 11563162 1345916928 59763 33554432000 4194304 16246674 140735523933008 140735523916000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 328593 59763 802 2943 0 325487 0
[pid=13905/tid=13906] ppid=13902 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1345916928 59763 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1345916928 59763 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1345916928 59763 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700392 s]
/proc/loadavg: 2.12 2.11 2.09 3/179 13905
/proc/meminfo: memFree=30707216/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 59002 0 0 0 61 7 0 0 20 0 4 0 11563162 1345916928 59813 33554432000 4194304 16246674 140735523933008 140735523932320 12481037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 328593 59813 835 2943 0 325487 0
[pid=13905/tid=13906] ppid=13902 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1345916928 59813 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1345916928 59813 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1345916928 59813 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.12 2.11 2.09 4/183 13909
/proc/meminfo: memFree=30167424/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1339972 CPUtime=1.48 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 150234 0 0 0 127 21 0 0 20 0 4 0 11563162 1372131328 151045 33554432000 4194304 16246674 140735523933008 140735523914880 6139196 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 334993 151045 843 2943 0 331887 0
[pid=13905/tid=13906] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 151045 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 151045 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 151045 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1339972

[startup+3.10038 s]
/proc/loadavg: 2.19 2.12 2.09 3/183 13909
/proc/meminfo: memFree=30102324/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1339972 CPUtime=3.08 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 150234 0 0 0 287 21 0 0 20 0 4 0 11563162 1372131328 151045 33554432000 4194304 16246674 140735523933008 140735523914880 13809356 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 334993 151045 843 2943 0 331887 0
[pid=13905/tid=13906] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 151045 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 151045 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 151045 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1339972

[startup+6.30038 s]
/proc/loadavg: 2.19 2.12 2.09 3/183 13909
/proc/meminfo: memFree=29912116/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1339972 CPUtime=6.28 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 219462 0 0 0 597 31 0 0 20 0 4 0 11563162 1372131328 220273 33554432000 4194304 16246674 140735523933008 140735523914880 12486453 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 334993 220273 843 2943 0 331887 0
[pid=13905/tid=13906] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 220273 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 220273 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1372131328 220273 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1339972

[startup+12.7004 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 13909
/proc/meminfo: memFree=29600280/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1340996 CPUtime=12.68 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 275819 0 0 0 1228 40 0 0 20 0 4 0 11563162 1373179904 276630 33554432000 4194304 16246674 140735523933008 140735523914880 13807435 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 335249 276630 843 2943 0 332143 0
[pid=13905/tid=13906] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276630 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276630 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276630 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1340996

[startup+25.5004 s]
/proc/loadavg: 2.21 2.13 2.09 3/183 13909
/proc/meminfo: memFree=29581916/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1340996 CPUtime=25.48 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 275875 0 0 0 2508 40 0 0 20 0 4 0 11563162 1373179904 276686 33554432000 4194304 16246674 140735523933008 140735523914880 6132467 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 335249 276686 843 2943 0 332143 0
[pid=13905/tid=13906] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1340996

[startup+51.1004 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 13909
/proc/meminfo: memFree=29573136/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1340996 CPUtime=51.08 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 275875 0 0 0 5068 40 0 0 20 0 4 0 11563162 1373179904 276686 33554432000 4194304 16246674 140735523933008 140735523914880 6132605 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 335249 276686 843 2943 0 332143 0
[pid=13905/tid=13906] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/184 13913
/proc/meminfo: memFree=29568484/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=1340996 CPUtime=102.29 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 275875 0 0 0 10188 41 0 0 20 0 4 0 11563162 1373179904 276686 33554432000 4194304 16246674 140735523933008 140735523914880 13807598 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 335249 276686 843 2943 0 332143 0
[pid=13905/tid=13906] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 1373179904 276686 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1340996


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

/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2684484

[startup+1362.3 s]
/proc/loadavg: 2.13 2.08 2.07 4/184 14017
/proc/meminfo: memFree=16125596/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1362.07 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 136116 91 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523914880 13807758 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2684484

[startup+1422.3 s]
/proc/loadavg: 2.11 2.08 2.07 3/182 14018
/proc/meminfo: memFree=16125752/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1422.07 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 142116 91 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523932184 13809312 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2684484

[startup+1482.3 s]
/proc/loadavg: 2.10 2.08 2.07 3/183 14020
/proc/meminfo: memFree=16125644/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1482.05 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 148114 91 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523914880 13817064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2684484

[startup+1542.31 s]
/proc/loadavg: 2.11 2.08 2.07 3/183 14021
/proc/meminfo: memFree=16125668/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1542.05 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 154113 92 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523932184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2684484

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 14022
/proc/meminfo: memFree=16125684/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1602.04 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 160111 93 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523932184 13774024 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2684484

[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 14023
/proc/meminfo: memFree=16125780/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1662.02 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 166109 93 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523914880 13807594 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2684484

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.06 4/183 14024
/proc/meminfo: memFree=16125092/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1722.02 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 172108 94 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523932184 6132539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2684484

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/183 14026
/proc/meminfo: memFree=16125040/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1782 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 178106 94 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523932184 13809305 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2684484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/183 14026
/proc/meminfo: memFree=16125136/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1800 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 179906 94 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523914880 13807488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2684484

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

[startup+1800.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/183 14026
/proc/meminfo: memFree=16125136/32872528 swapFree=240572/273276
[pid=13905] ppid=13902 vsize=2684484 CPUtime=1800 cores=1,3,5,7
/proc/13905/stat : 13905 (toysat) R 13902 13905 7549 0 -1 4202496 611778 0 0 0 179906 94 0 0 20 0 4 0 11563162 2748911616 612561 33554432000 4194304 16246674 140735523933008 140735523914880 13807488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13905/statm: 671121 612561 843 2943 0 668015 0
[pid=13905/tid=13906] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13906/stat : 13906 (toysat) S 13902 13905 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355487902960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13905/tid=13907] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13907/stat : 13907 (toysat) S 13902 13905 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355477413104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13905/tid=13908] ppid=13902 vsize=2684484 CPUtime=0 cores=1,3,5,7
/proc/13905/task/13908/stat : 13908 (toysat) S 13902 13905 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11563163 2748911616 612561 33554432000 4194304 16246674 140735523933008 140355466939568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2684484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.07
CPU user time (s): 1799.07
CPU system time (s): 0.995848
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 2684484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 0.995848
maximum resident set size= 2450244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611778
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= 54
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54416 second user time and 8.94364 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 18:38:51
IDJOB=4093118
IDBENCH=79445
IDSOLVER=2553
FILE ID=node107/4093118-1466095131
RUNJOBID= node107-1466074715-9714
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093118-1466095131/watcher-4093118-1466095131 -o /tmp/evaluation-result-4093118-1466095131/solver-4093118-1466095131 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9714 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093118-1466095131.wbo

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

MD5SUM BENCH= 6f58e736787ec730241fe31cbfb7f2ba
RANDOM SEED=134498890

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30707372 kB
Buffers:           50776 kB
Cached:           120660 kB
SwapCached:         2508 kB
Active:          1100052 kB
Inactive:          89912 kB
Active(anon):    1018616 kB
Inactive(anon):     2156 kB
Active(file):      81436 kB
Inactive(file):    87756 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             34756 kB
Writeback:             0 kB
AnonPages:       1292732 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             568780 kB
SReclaimable:      12288 kB
SUnreclaim:       556492 kB
KernelStack:        1520 kB
PageTables:         6556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1437160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71680 MiB
End job on node107 at 2016-06-16 19:08:52