Trace number 4093134

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.02 1800.31

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub3_wcsp.wbo
MD5SUM7147229393bb1207f35c1dba942bbf83
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables776
Total number of constraints319436
Number of soft constraints319418
Number of constraints which are clauses319418
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 58724
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 41665382
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
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-16T21:43:22+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-4093134-1466106202.wbo"]
0.00/0.01	c use --random-gen="318496296 1279025718 2412645423 286311708 1869307047 1051322971 2058394439 497534173 397128545 325261749 1722483287 792577337 2227409413 1314255258 1178576592 897155988 1244375959 87484124 440856808 823216663 1911246942 55316572 104453532 2169089844 2745878818 1077735027 1784332174 1544618859 3899362651 3891907359 4077165001 2451624945 2636277047 3199812404 2852080620 4103101881 1236287939 935159093 2844474892 266033565 3408383939 4256812248 2352250491 262276296 1473668031 3504046734 1636641728 2809411160 1605651847 981414207 1887956519 569439127 2680166687 2662487764 1577829746 839789449 2014993430 3875112942 3943765935 2249035066 3591356256 3316194456 3105746303 2100150144 321493806 3479767952 1329300772 4196479826 167613236 2578513333 994900252 3149501576 1518700221 2650166508 3567186128 1261804357 1942105394 4129223042 1688466188 3795627919 1352172364 607709773 106939923 834498686 2333872863 3994549446 3384216772 1304766777 993247402 2550470213 3059488165 3377150760 1235507409 3089493049 1660878038 2350678052 2837478122 4159388883 2078479410 1813115205 69307090 1552144370 4017260150 3742163778 1665386387 3061413006 1891094230 3515922947 2741281605 3784678363 3195762477 3743191802 3990683954 2476017182 2214650626 2631038026 2019067528 653274946 4043278685 37879701 2963096863 3004710309 2017612272 1760575116 2420713974 3291935726 3755741896 961654526 2388709341 3466954838 850692044 2205843901 2331761547 3777795334 397809324 1027612928 1662867814 1563711718 500868027 1511840512 1641147196 1352707517 1168319346 3489980237 82619970 447610757 106684707 2188025697 251343286 4113877611 4225842765 966288764 1032348366 721135944 3106328149 3290246909 2993134023 95799377 1449763134 1067205868 1524547464 1921905410 281654519 323440092 2803041543 2678189978 2319721955 1480420939 1248704758 2785557375 1078830094 3419724442 190345542 694824058 242714203 1691284406 3000369841 2331213843 1879225645 899053983 2094587718 1124366855 2668559536 1652213168 2324322076 3765708592 3915605724 1803911875 2366048702 81719083 1787052015 3630400909 944163740 280178591 318674061 1822412457 2543557867 2753648388 2468230351 1341073738 2022287204 2093138920 3085299201 826860908 3134771184 971026278 882348414 2711123344 2889822838 1545214898 917344557 1314711702 550908309 2889298551 1229127718 3730238960 1147726643 3639530539 31662638 3141976734 105652787 3599664303 3196548888 576316878 3822098772 4057451745 3085279690 90642362 2657355449 3628437739 506302236 3729221248 577499458 2356385131 12028157 1386406264 1057101524 3345017109 4255506510 1741472341 1554508491 3687174688 2596899492 3670841916 2331945726 2029732760 2111040655 473145694 2505572267 2789107649 1503864992 2875781728 1440550525 3065553235 4079005317 160468932 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-4093134-1466106202/watcher-4093134-1466106202 -o /tmp/evaluation-result-4093134-1466106202/solver-4093134-1466106202 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466104401-6760 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093134-1466106202.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.23 2.16 3/179 6936
/proc/meminfo: memFree=30507720/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 2991 0 0 0 0 0 0 0 20 0 4 0 12668837 817295360 2841 33554432000 4194304 16246674 140734928950864 140734928950288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 200047 2852 441 2943 0 196941 0
[pid=6936/tid=6937] ppid=6933 vsize=816572 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 836169728 2916 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=821692 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 841412608 2934 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=825788 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12668837 845606912 2952 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100207 s]
/proc/loadavg: 2.30 2.23 2.16 3/179 6936
/proc/meminfo: memFree=30507720/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 30048 0 0 0 5 4 0 0 20 0 4 0 12668837 1249447936 29838 33554432000 4194304 16246674 140734928950864 140734928950176 7405654 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 305041 29852 802 2943 0 301935 0
[pid=6936/tid=6937] ppid=6933 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1249447936 29863 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1249447936 29874 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1249447936 29884 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200472 s]
/proc/loadavg: 2.30 2.23 2.16 3/179 6936
/proc/meminfo: memFree=30507720/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1307204 CPUtime=0.19 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 51420 0 0 0 12 7 0 0 20 0 4 0 12668837 1338576896 51720 33554432000 4194304 16246674 140734928950864 140734928950176 4223718 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 326801 51724 802 2943 0 323695 0
[pid=6936/tid=6937] ppid=6933 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1338576896 51726 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1338576896 51728 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1338576896 51731 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204

[startup+0.300438 s]
/proc/loadavg: 2.30 2.23 2.16 3/179 6936
/proc/meminfo: memFree=30507720/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 67821 0 0 0 20 9 0 0 20 0 4 0 12668837 1345916928 68121 33554432000 4194304 16246674 140734928950864 140734928950176 7368729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 328593 68139 802 2943 0 325487 0
[pid=6936/tid=6937] ppid=6933 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1345916928 68150 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1345916928 68160 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1345916928 68171 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700423 s]
/proc/loadavg: 2.30 2.23 2.16 3/179 6936
/proc/meminfo: memFree=30507720/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 73960 0 0 0 59 10 0 0 20 0 4 0 12668837 1346965504 74260 33554432000 4194304 16246674 140734928950864 140734928948672 4206864 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 328849 74260 802 2943 0 325743 0
[pid=6936/tid=6937] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 74260 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 74260 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 74260 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50042 s]
/proc/loadavg: 2.30 2.23 2.16 3/183 6940
/proc/meminfo: memFree=29907584/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 87176 0 0 0 137 12 0 0 20 0 4 0 12668837 1346965504 87476 33554432000 4194304 16246674 140734928950864 140734928948736 7372000 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 328849 87476 803 2943 0 325743 0
[pid=6936/tid=6937] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 87476 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 87476 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 87476 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10041 s]
/proc/loadavg: 2.27 2.23 2.16 3/183 6940
/proc/meminfo: memFree=29795116/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 102790 0 0 0 295 14 0 0 20 0 4 0 12668837 1346965504 103090 33554432000 4194304 16246674 140734928950864 140734928950176 6966848 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 328849 103090 835 2943 0 325743 0
[pid=6936/tid=6937] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 103090 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 103090 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1346965504 103090 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30041 s]
/proc/loadavg: 2.27 2.23 2.16 3/183 6940
/proc/meminfo: memFree=28252832/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1392196 CPUtime=6.29 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 288674 0 0 0 590 39 0 0 20 0 4 0 12668837 1425608704 288974 33554432000 4194304 16246674 140734928950864 140734928932736 12481404 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 348049 288974 838 2943 0 344943 0
[pid=6936/tid=6937] ppid=6933 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1425608704 288974 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1425608704 288974 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1425608704 288974 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1392196

[startup+12.7004 s]
/proc/loadavg: 2.23 2.22 2.16 3/183 6940
/proc/meminfo: memFree=27996256/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=12.69 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320680 0 0 0 1224 45 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 140734928932736 13807508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 320980 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1520196

[startup+25.5004 s]
/proc/loadavg: 2.27 2.23 2.16 3/183 6940
/proc/meminfo: memFree=27997004/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=25.49 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320680 0 0 0 2504 45 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 140734928932736 6132467 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 320980 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1520196

[startup+51.1004 s]
/proc/loadavg: 2.24 2.23 2.16 3/183 6940
/proc/meminfo: memFree=27996864/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=51.09 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320680 0 0 0 5064 45 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 140734928932736 6132605 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 320980 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1520196

[startup+102.3 s]
/proc/loadavg: 2.20 2.22 2.16 3/183 6941
/proc/meminfo: memFree=27996508/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=102.29 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320680 0 0 0 10184 45 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 140734928932736 13809396 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 320980 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 320980 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1520196


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

/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1520196

[startup+1362.3 s]
/proc/loadavg: 2.22 2.26 2.21 3/183 6994
/proc/meminfo: memFree=27993576/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1362.08 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320689 0 0 0 136163 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 13807608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1520196

[startup+1422.3 s]
/proc/loadavg: 2.11 2.22 2.20 3/183 6996
/proc/meminfo: memFree=27993224/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1422.08 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320689 0 0 0 142163 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 13774229 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1520196

[startup+1482.3 s]
/proc/loadavg: 2.15 2.21 2.19 3/183 6997
/proc/meminfo: memFree=27993380/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1482.05 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320701 0 0 0 148160 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 13807754 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1520196

[startup+1542.31 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 6998
/proc/meminfo: memFree=27993584/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1542.05 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320702 0 0 0 154160 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 6132521 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1520196

[startup+1602.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/184 7002
/proc/meminfo: memFree=27992836/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1602.03 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320704 0 0 0 160158 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 13807598 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1520196

[startup+1662.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 7003
/proc/meminfo: memFree=27993980/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1662.02 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320704 0 0 0 166157 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 13774090 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1520196

[startup+1722.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 7005
/proc/meminfo: memFree=27993976/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1722.01 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320704 0 0 0 172156 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 6132605 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1520196

[startup+1782.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 7006
/proc/meminfo: memFree=27993848/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1782 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320704 0 0 0 178155 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928932736 13807696 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1520196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 7006
/proc/meminfo: memFree=27993852/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1800 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320704 0 0 0 179955 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928950040 13809305 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1520196

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

[startup+1800.3 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 7006
/proc/meminfo: memFree=27993852/32872528 swapFree=1243920/1391088
[pid=6936] ppid=6933 vsize=1520196 CPUtime=1800 cores=0,2,4,6
/proc/6936/stat : 6936 (toysat) R 6933 6936 3284 0 -1 4202496 320704 0 0 0 179955 45 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 140734928950040 13809305 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6936/statm: 380049 321236 844 2943 0 376943 0
[pid=6936/tid=6937] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6937/stat : 6937 (toysat) S 6933 6936 3284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943197256944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6936/tid=6938] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6938/stat : 6938 (toysat) S 6933 6936 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943186767088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6936/tid=6939] ppid=6933 vsize=1520196 CPUtime=0 cores=0,2,4,6
/proc/6936/task/6939/stat : 6939 (toysat) S 6933 6936 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12668837 1556680704 321236 33554432000 4194304 16246674 140734928950864 139943176293552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1520196

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.56
CPU system time (s): 0.45693
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1520196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.45693
maximum resident set size= 1284944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320704
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= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.06623 second user time and 6.552 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-16 21:43:22
IDJOB=4093134
IDBENCH=79555
IDSOLVER=2553
FILE ID=node119/4093134-1466106202
RUNJOBID= node119-1466104401-6760
PBS_JOBID= 19904040
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub3_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093134-1466106202/watcher-4093134-1466106202 -o /tmp/evaluation-result-4093134-1466106202/solver-4093134-1466106202 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466104401-6760 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093134-1466106202.wbo

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

MD5SUM BENCH= 7147229393bb1207f35c1dba942bbf83
RANDOM SEED=670020563

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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.56
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.456
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:        30533652 kB
Buffers:           55928 kB
Cached:           152588 kB
SwapCached:         1048 kB
Active:           143136 kB
Inactive:          97468 kB
Active(anon):      32240 kB
Inactive(anon):     1560 kB
Active(file):     110896 kB
Inactive(file):    95908 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:             50496 kB
Writeback:             0 kB
AnonPages:       1421196 kB
Mapped:             9440 kB
Shmem:                 0 kB
Slab:             572008 kB
SReclaimable:      16336 kB
SUnreclaim:       555672 kB
KernelStack:        1528 kB
PageTables:         8664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2519792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71688 MiB
End job on node119 at 2016-06-16 22:13:23