Trace number 4110598

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.63 1800.93

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap93_wcsp.wbo
MD5SUM731e2b3d085e2d31d63a0bd0dc294faf
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13818626
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 61786724
Min constraint cost 1
Max constraint cost 61786724
Sum of constraints costs 77838680126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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-19T16:37:36+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-4110598-1466347056.wbo"]
0.00/0.01	c use --random-gen="67428208 3261193157 2566740733 137695605 3780564983 1955223453 966667112 1219064169 2960280643 2889804669 1732832782 48043852 69263738 1276548514 3198044762 1210910574 3593304062 1064131691 2772174443 3018946659 2283505330 437708228 261103792 142466311 2476516789 3298056221 562973218 239184969 3493526975 1728064306 1849524017 4128679262 2955194552 1868779108 3968478580 736557231 3876509214 2280975751 3962898651 1156033203 2901171320 2959990382 2173420706 689639731 1556056957 2679716400 2769978262 445711304 3527699262 3162729562 3217036479 3022277255 3365872883 3221279935 1936547851 4260346315 739544225 3954521855 4108229389 135351976 1039029054 3309916797 3829672441 2058711864 384388137 2852574412 2631724896 2671487538 2401592323 2686612160 4118818373 1056160437 3610572824 1429083025 2440603891 3911330261 921894498 3762022475 33118529 279285011 2236331880 1264182513 1113632530 2712665588 2666051135 3646796781 421681797 3861203561 125989301 2976108067 1991661120 745730851 377977453 766250677 548245137 3099701206 2775437227 1587714864 2566682819 3477709190 3108048741 947084370 1195244774 4008175111 317615063 3718563730 3092371998 2045644268 1880417771 2755282670 2440872423 2656661838 862255104 3440366247 2141195898 459432326 3449498603 1576375099 110850873 2939054431 3109184747 3589248438 656200894 739983051 1128877487 3780535826 895318105 868406491 357047993 3384652968 1392064688 2045599935 1600568035 3957200957 1621355902 2871369778 1571266703 3225772402 2347527523 2386897061 3259066052 2457785631 3625735995 919170489 3203274487 306540364 490838595 3698618638 3259319307 3256018211 4100429853 2964260531 3403157400 3471674609 864335368 2724001395 1639730626 1871713118 1702453244 1263191200 3416605829 784120241 1142434650 1062727262 2724927227 4240183681 1263948679 3165070414 3850281759 2773929164 2590509463 1688369295 3112502235 81638240 3317211416 2276942132 175071305 3143462150 3027612534 640132348 559242184 537396681 614777657 3094777425 634303669 3350095421 1826697706 3060645834 1884684832 3888810147 2174387038 1602077078 2864709485 1979038840 1703800732 109203324 4112508297 2907643105 2022156721 3655612338 3158843657 2074039766 100022849 342112087 3366210390 3250074355 500290644 3654412912 3870108702 1300336592 1339776024 3474132818 2124840511 3980450123 3676566770 1053359507 4202252626 3676180318 3049128556 975204411 1833139005 3595074611 3764384792 2819209722 1004103912 67495179 3563463063 9367696 358154474 430144456 1383301534 3081357732 266961666 44588280 1946189879 2148045529 2044144891 274639697 3941198018 1010498821 3263718856 2566793052 1061721668 2771629053 2749140643 1642518541 2782934638 3068783636 3307113363 1096640511 3449138784 3124933140 3338920300 2450031630 3924589011 25204120 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-4110598-1466347056/watcher-4110598-1466347056 -o /tmp/evaluation-result-4110598-1466347056/solver-4110598-1466347056 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1235 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110598-1466347056.wbo 

pid=3657
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.09 2.13 2.16 3/177 3660
/proc/meminfo: memFree=28895628/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=658876 CPUtime=0 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 2450 0 0 0 0 0 0 0 20 0 4 0 36752517 674689024 2300 33554432000 4194304 16246674 140736399299904 140736399299328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 165487 2308 441 2943 0 162381 0
[pid=3660/tid=3661] ppid=3657 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 691466240 2364 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 696709120 2381 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=684476 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36752517 700903424 2397 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.09 2.13 2.16 3/177 3660
/proc/meminfo: memFree=28895628/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 26898 0 0 0 5 4 0 0 20 0 4 0 36752517 1247350784 26740 33554432000 4194304 16246674 140736399299904 140736399299328 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 304529 26749 614 2943 0 301423 0
[pid=3660/tid=3661] ppid=3657 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1247350784 26755 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1247350784 26761 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36752517 1247350784 26768 33554432000 4194304 16246674 140736399299904 139851432185008 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) 1218116

[startup+0.20058 s]
/proc/loadavg: 2.09 2.13 2.16 3/177 3660
/proc/meminfo: memFree=28895628/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1221188 CPUtime=0.18 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 28784 0 0 0 14 4 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 140736399299216 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 305297 28580 841 2943 0 302191 0
[pid=3660/tid=3661] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300461 s]
/proc/loadavg: 2.09 2.13 2.16 3/177 3660
/proc/meminfo: memFree=28895628/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1221188 CPUtime=0.28 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 28784 0 0 0 24 4 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 140736399299216 13809308 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 305297 28580 841 2943 0 302191 0
[pid=3660/tid=3661] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 28580 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1221188

[startup+0.700409 s]
/proc/loadavg: 2.09 2.13 2.16 3/177 3660
/proc/meminfo: memFree=28895628/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 30176 0 0 0 64 5 0 0 20 0 4 0 36752517 1250496512 29972 33554432000 4194304 16246674 140736399299904 140736399281792 12500869 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 305297 29973 841 2943 0 302191 0
[pid=3660/tid=3661] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 29973 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 29973 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 29973 33554432000 4194304 16246674 140736399299904 139851432185008 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) 1221188

[startup+1.50039 s]
/proc/loadavg: 2.09 2.13 2.16 3/181 3664
/proc/meminfo: memFree=28743912/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1221188 CPUtime=1.48 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 48184 0 0 0 141 7 0 0 20 0 4 0 36752517 1250496512 47980 33554432000 4194304 16246674 140736399299904 140736399281792 6195017 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 305297 47982 841 2943 0 302191 0
[pid=3660/tid=3661] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 47982 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 47982 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 47982 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1221188

[startup+3.10033 s]
/proc/loadavg: 2.09 2.13 2.16 3/181 3664
/proc/meminfo: memFree=28635784/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1221188 CPUtime=3.09 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 96133 0 0 0 293 16 0 0 20 0 4 0 36752517 1250496512 95929 33554432000 4194304 16246674 140736399299904 140736399281792 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 305297 95929 841 2943 0 302191 0
[pid=3660/tid=3661] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 95929 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 95930 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1250496512 95930 33554432000 4194304 16246674 140736399299904 139851432185008 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) 1221188

[startup+6.3004 s]
/proc/loadavg: 2.09 2.13 2.15 3/181 3664
/proc/meminfo: memFree=27915056/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1277508 CPUtime=6.29 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 260368 0 0 0 590 39 0 0 20 0 4 0 36752517 1308168192 260164 33554432000 4194304 16246674 140736399299904 140736399297728 13008265 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 319377 260164 841 2943 0 316271 0
[pid=3660/tid=3661] ppid=3657 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1308168192 260164 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1308168192 260164 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1277508 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1308168192 260164 33554432000 4194304 16246674 140736399299904 139851432185008 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) 1277508

[startup+12.7004 s]
/proc/loadavg: 2.16 2.14 2.16 3/181 3664
/proc/meminfo: memFree=27826580/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 267715 0 0 0 1230 39 0 0 20 0 4 0 36752517 1338576896 267511 33554432000 4194304 16246674 140736399299904 140736399281792 6132663 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 326801 267511 843 2943 0 323695 0
[pid=3660/tid=3661] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267511 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267511 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267511 33554432000 4194304 16246674 140736399299904 139851432185008 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.19 2.15 2.16 4/181 3664
/proc/meminfo: memFree=27825480/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 267928 0 0 0 2509 39 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 140736399281792 12880448 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 326801 267724 843 2943 0 323695 0
[pid=3660/tid=3661] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.20 2.16 2.16 3/181 3664
/proc/meminfo: memFree=27825496/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 267928 0 0 0 5069 39 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 140736399281792 6132432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 326801 267724 843 2943 0 323695 0
[pid=3660/tid=3661] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.26 2.18 2.17 3/181 3665
/proc/meminfo: memFree=27825552/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 267928 0 0 0 10189 39 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 140736399299000 6132663 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 326801 267724 843 2943 0 323695 0
[pid=3660/tid=3661] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 1338576896 267724 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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


[startup+1422.3 s]
/proc/loadavg: 1.30 1.63 1.93 2/172 3756
/proc/meminfo: memFree=17060312/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1422.06 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258808 0 0 0 141701 505 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 140736399299080 12459037 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258834 845 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 13270596

[startup+1482.3 s]
/proc/loadavg: 1.16 1.53 1.88 2/171 3757
/proc/meminfo: memFree=17060616/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1482.04 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258811 0 0 0 147697 507 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 140736399299080 13807598 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258834 845 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 13270596

[startup+1542.31 s]
/proc/loadavg: 1.16 1.46 1.83 2/171 3758
/proc/meminfo: memFree=17060368/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1542.04 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258811 0 0 0 153694 510 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 140736399299080 6143901 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258834 845 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851432185008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 13270596

[startup+1602.3 s]
/proc/loadavg: 1.29 1.43 1.79 2/171 3759
/proc/meminfo: memFree=17060336/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1602.03 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258812 0 0 0 159690 513 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 140736399299080 13774216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258834 845 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851432185008 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) 13270596

[startup+1662.3 s]
/proc/loadavg: 1.14 1.37 1.75 2/171 3760
/proc/meminfo: memFree=17060520/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1662.02 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258813 0 0 0 165686 516 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 140736399299080 6132488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258834 845 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258834 33554432000 4194304 16246674 140736399299904 139851432185008 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) 13270596

[startup+1722.3 s]
/proc/loadavg: 1.12 1.33 1.71 2/170 3761
/proc/meminfo: memFree=17060516/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1722.01 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258817 0 0 0 171684 517 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 140736399299080 13774200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258838 849 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851432185008 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) 13270596

[startup+1782.3 s]
/proc/loadavg: 1.11 1.28 1.67 2/171 3763
/proc/meminfo: memFree=17060328/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1782 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258817 0 0 0 177680 520 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 140736399299080 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258838 849 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851432185008 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) 13270596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.23 1.29 1.66 2/171 3763
/proc/meminfo: memFree=17060296/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=13270596 CPUtime=1800 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) R 3657 3660 1219 0 -1 4202496 3258817 0 0 0 179479 521 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 140736399299080 13774090 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 3317649 3258838 849 2943 0 3314543 0
[pid=3660/tid=3661] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3661/stat : 3661 (toysat) S 3657 3660 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851453148400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) S 3657 3660 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851442658544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3660/tid=3663] ppid=3657 vsize=13270596 CPUtime=0 cores=0,2,4,6
/proc/3660/task/3663/stat : 3663 (toysat) S 3657 3660 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36752517 13589090304 3258838 33554432000 4194304 16246674 140736399299904 139851432185008 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) 13270596

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

[startup+1800.4 s]
/proc/loadavg: 1.23 1.29 1.66 2/171 3763
/proc/meminfo: memFree=17060296/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=0 CPUtime=1800.1 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) Z 3657 3660 1219 0 -1 4203532 3258817 0 0 0 179479 531 0 0 20 0 2 0 36752517 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 0 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) R 3657 3660 1219 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 36752517 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 1.23 1.29 1.66 2/169 3763
/proc/meminfo: memFree=26001780/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=0 CPUtime=1800.5 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) Z 3657 3660 1219 0 -1 4203532 3258817 0 0 0 179479 571 0 0 20 0 2 0 36752517 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 0 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) R 3657 3660 1219 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 36752517 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.23 1.29 1.66 2/169 3763
/proc/meminfo: memFree=26001780/32872528 swapFree=1316768/1463936
[pid=3660] ppid=3657 vsize=0 CPUtime=1800.59 cores=0,2,4,6
/proc/3660/stat : 3660 (toysat) Z 3657 3660 1219 0 -1 4203532 3258817 0 0 0 179479 580 0 0 20 0 2 0 36752517 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3660/statm: 0 0 0 0 0 0 0
[pid=3660/tid=3662] ppid=3657 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/3660/task/3662/stat : 3662 (toysat) R 3657 3660 1219 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 36752517 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.93
CPU time (s): 1800.63
CPU user time (s): 1794.79
CPU system time (s): 5.83311
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 13270596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 5.83311
maximum resident set size= 13035352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3258817
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= 79
involuntary context switches= 2318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91449 second user time and 12.1801 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 16:37:36
IDJOB=4110598
IDBENCH=79545
IDSOLVER=2553
FILE ID=node121/4110598-1466347056
RUNJOBID= node121-1466341819-1235
PBS_JOBID= 19922032
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 731e2b3d085e2d31d63a0bd0dc294faf
RANDOM SEED=819155611

node121.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.691
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.38
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.691
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.691
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.691
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.691
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.691
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.691
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.691
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:        28895628 kB
Buffers:          183000 kB
Cached:           365908 kB
SwapCached:         1644 kB
Active:          1390016 kB
Inactive:         359784 kB
Active(anon):    1199384 kB
Inactive(anon):     3716 kB
Active(file):     190632 kB
Inactive(file):   356068 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       2663156 kB
Mapped:            12164 kB
Shmem:                 0 kB
Slab:             628980 kB
SReclaimable:      73116 kB
SUnreclaim:       555864 kB
KernelStack:        1488 kB
PageTables:         9500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2791528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71704 MiB
End job on node121 at 2016-06-19 17:07:37