Trace number 4093230

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/
scens/normalized-scen06-22_wcsp.wbo
MD5SUMa17cc9631cce6dbec0a98622ec920de1
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark21427
Best CPU time to get the best result obtained on this benchmark304.366
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1810
Total number of constraints164594
Number of soft constraints164495
Number of constraints which are clauses164495
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Top cost 252932
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 28915211
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
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-16T22:31:31+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-4093230-1466109091.wbo"]
0.00/0.01	c use --random-gen="936620605 1799870106 640255042 589648756 1327050306 268903963 2923765439 2867539617 1537541277 2682806731 2842650609 2321551771 3445649878 1676280222 3134967907 693881864 1816269652 2388447133 2445508257 2453688753 1830765735 1828004364 3987510720 2347498201 508042157 829932214 820161127 354093705 1963939836 4148842876 4070971258 3780507057 2618452682 1674537346 2760104505 413751421 1430282127 4115018135 3828286485 325844554 123447920 3060101541 2073937772 1502991729 2010656804 3598739452 2112270904 727716526 1340580738 3205537796 1881031463 2524386122 788162028 608549405 3621321255 2178789314 570576765 3033409466 3500037861 3594103967 2043588938 657262421 478700808 4046659720 2345413077 668873000 2788176671 1544538691 2118432551 980431025 3582389182 3723608768 3001144710 2973421627 2330375029 1576131244 664694789 1565146926 1997065105 15035820 4054071531 674673748 1614927061 2931733189 2264218202 5517822 134389766 1516036288 1931268935 752916060 1551174610 3458621954 1487839775 2343666602 2620066179 2914860077 3807437208 853794075 3264047726 1707363671 1681519764 2140773074 870980283 4071452273 828011993 2429337824 3049852855 149724174 2322693965 1801222108 3363470182 472489331 3180095591 2437702502 1722078521 3322156532 2462863231 1295166095 3098802223 1243605701 3741569181 1144158650 2453036705 3814446134 1182442307 3369346920 172265264 3016043088 2103837650 1821444479 1150573754 3710333570 256059352 1993202507 2006054287 2785136496 497913962 2032850938 4074052984 2671335648 3139788076 2389401174 469566593 1401936608 352330317 2789125785 4034545003 1570111515 1794597393 4111103856 1331622403 3587871117 565340299 781781700 3493023374 112581586 3945449021 1360378801 3358045358 3636154371 1759047937 2507287201 3027125011 807771730 2600112971 3164329141 3563322236 4235545351 1769546618 1575084634 3612744895 1492964235 2218211499 3524363150 912023492 2648434327 3693037448 2538834809 1446041997 239939313 2160828649 2828322729 1803376189 4027709219 2492697979 1367207050 4285849765 3036880022 525524105 46703251 2127993074 1469605719 2406482182 3305660770 4170298404 3364808877 760091142 2734745698 2512982784 2717968899 2398278830 2640815600 719336172 1694670586 3113167207 868653967 3694829026 322542992 887911749 2914022824 537940568 4172258220 480813940 2527885662 1529360794 4116586164 1462037938 1109528125 2164391620 11945989 2321910991 1309465058 1699299946 79029195 897636472 2325372610 1279205228 2758388036 2480484160 3877613982 1636416045 2101189808 605779776 417595160 4199220341 3998072989 567000906 1488108879 1524533997 379840432 652429582 3169078659 549890040 2605276876 167898658 3288235147 1406914423 1028294638 2574878321 1424682452 3085345 3933512712 811482481 2515465043 216190845 3373461050 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-4093230-1466109091/watcher-4093230-1466109091 -o /tmp/evaluation-result-4093230-1466109091/solver-4093230-1466109091 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466109090-787 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093230-1466109091.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.33 1.53 1.85 3/179 819
/proc/meminfo: memFree=29968260/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=470460 CPUtime=0 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 1712 0 0 0 0 0 0 0 20 0 4 0 12955765 481751040 2072 33554432000 4194304 16246674 140736691894448 140736691893872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 118383 2081 441 2943 0 115277 0
[pid=819/tid=820] ppid=816 vsize=755268 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 773394432 3185 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=759364 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 777588736 3202 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=764484 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12955765 782831616 3219 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 1.33 1.53 1.85 3/179 819
/proc/meminfo: memFree=29968260/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1222212 CPUtime=0.08 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 25573 0 0 0 6 2 0 0 20 0 4 0 12955765 1251545088 25874 33554432000 4194304 16246674 140736691894448 140736691893760 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 305553 25879 804 2943 0 302447 0
[pid=819/tid=820] ppid=816 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1251545088 25884 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1251545088 25890 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1251545088 25894 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212

[startup+0.200513 s]
/proc/loadavg: 1.33 1.53 1.85 3/179 819
/proc/meminfo: memFree=29968260/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 47980 0 0 0 13 6 0 0 20 0 4 0 12955765 1344868352 48791 33554432000 4194304 16246674 140736691894448 140736691893760 14807008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 328337 48791 805 2943 0 325231 0
[pid=819/tid=820] ppid=816 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1344868352 48791 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1344868352 48791 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1344868352 48791 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300472 s]
/proc/loadavg: 1.33 1.53 1.85 3/179 819
/proc/meminfo: memFree=29968260/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 63701 0 0 0 21 8 0 0 20 0 4 0 12955765 1344868352 64512 33554432000 4194304 16246674 140736691894448 140736691893760 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 328337 64512 805 2943 0 325231 0
[pid=819/tid=820] ppid=816 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1344868352 64512 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1344868352 64512 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1344868352 64512 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70037 s]
/proc/loadavg: 1.33 1.53 1.85 3/179 819
/proc/meminfo: memFree=29968260/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 72844 0 0 0 59 9 0 0 20 0 4 0 12955765 1345916928 73655 33554432000 4194304 16246674 140736691894448 140736691893760 13962128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 328593 73655 805 2943 0 325487 0
[pid=819/tid=820] ppid=816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1345916928 73655 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1345916928 73655 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1345916928 73655 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50035 s]
/proc/loadavg: 1.33 1.53 1.85 3/183 823
/proc/meminfo: memFree=29584532/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 83996 0 0 0 138 11 0 0 20 0 4 0 12955765 1345916928 84807 33554432000 4194304 16246674 140736691894448 140736691893760 6725176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 328593 84807 836 2943 0 325487 0
[pid=819/tid=820] ppid=816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1345916928 84807 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1345916928 84807 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1345916928 84807 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10038 s]
/proc/loadavg: 1.33 1.53 1.85 3/183 823
/proc/meminfo: memFree=28614332/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1404484 CPUtime=3.09 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 291566 0 0 0 269 40 0 0 20 0 4 0 12955765 1438191616 292377 33554432000 4194304 16246674 140736691894448 140736691893112 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351121 292380 839 2943 0 348015 0
[pid=819/tid=820] ppid=816 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1438191616 292382 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1438191616 292383 33554432000 4194304 16246674 140736691894448 139779173751824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1404484 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1438191616 292385 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1404484

[startup+6.30033 s]
/proc/loadavg: 1.38 1.54 1.85 3/183 823
/proc/meminfo: memFree=27917844/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1406532 CPUtime=6.28 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 292262 0 0 0 588 40 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 140736691876352 13807616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351633 293073 845 2943 0 348527 0
[pid=819/tid=820] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1406532

[startup+12.7003 s]
/proc/loadavg: 1.43 1.54 1.85 3/183 823
/proc/meminfo: memFree=27918500/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1406532 CPUtime=12.68 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 292262 0 0 0 1228 40 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 140736691876352 6132539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351633 293073 845 2943 0 348527 0
[pid=819/tid=820] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1406532

[startup+25.5004 s]
/proc/loadavg: 1.56 1.56 1.85 3/183 823
/proc/meminfo: memFree=27918032/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1406532 CPUtime=25.48 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 292262 0 0 0 2508 40 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 140736691876352 6132488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351633 293073 845 2943 0 348527 0
[pid=819/tid=820] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1406532

[startup+51.1004 s]
/proc/loadavg: 1.77 1.61 1.86 3/183 823
/proc/meminfo: memFree=27918484/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1406532 CPUtime=51.08 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 292262 0 0 0 5068 40 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 140736691876352 13774084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351633 293073 845 2943 0 348527 0
[pid=819/tid=820] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293073 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1406532

[startup+102.3 s]
/proc/loadavg: 2.14 1.73 1.89 3/183 824
/proc/meminfo: memFree=27917560/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1406532 CPUtime=102.28 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 292263 0 0 0 10187 41 0 0 20 0 4 0 12955765 1440288768 293074 33554432000 4194304 16246674 140736691894448 140736691876352 13807457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351633 293074 845 2943 0 348527 0
[pid=819/tid=820] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293074 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293074 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293074 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1406532


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

/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1406532

[startup+1362.3 s]
/proc/loadavg: 2.27 2.21 2.09 3/183 856
/proc/meminfo: memFree=27916936/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1406532 CPUtime=1362.08 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 292281 0 0 0 136166 42 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 140736691876352 6132663 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351633 293077 845 2943 0 348527 0
[pid=819/tid=820] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1406532

[startup+1422.3 s]
/proc/loadavg: 2.25 2.21 2.09 3/183 857
/proc/meminfo: memFree=27916824/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1406532 CPUtime=1422.07 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 292281 0 0 0 142165 42 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 140736691876352 6132432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 351633 293077 845 2943 0 348527 0
[pid=819/tid=820] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1440288768 293077 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1406532

[startup+1482.3 s]
/proc/loadavg: 2.32 2.23 2.10 3/183 858
/proc/meminfo: memFree=27845560/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1482.05 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310109 0 0 0 148161 44 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 13809305 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1478212

[startup+1542.31 s]
/proc/loadavg: 2.25 2.22 2.10 3/183 859
/proc/meminfo: memFree=27774516/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1542.05 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310113 0 0 0 154161 44 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 13807508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1478212

[startup+1602.3 s]
/proc/loadavg: 2.20 2.21 2.10 4/183 860
/proc/meminfo: memFree=27774760/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1602.03 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310113 0 0 0 160159 44 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 6132584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1478212

[startup+1662.3 s]
/proc/loadavg: 2.25 2.21 2.11 3/183 861
/proc/meminfo: memFree=27774636/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1662.02 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310113 0 0 0 166158 44 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 13817064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1478212

[startup+1722.3 s]
/proc/loadavg: 2.26 2.22 2.11 3/184 866
/proc/meminfo: memFree=27774356/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1722.02 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310113 0 0 0 172158 44 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1478212

[startup+1782.3 s]
/proc/loadavg: 2.22 2.21 2.11 4/184 889
/proc/meminfo: memFree=27773600/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1782.01 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310113 0 0 0 178156 45 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 13809242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1478212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.23 2.21 2.11 2/179 889
/proc/meminfo: memFree=29015468/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1800.01 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310113 0 0 0 179956 45 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 13807443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1478212

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

[startup+1800.3 s]
/proc/loadavg: 2.23 2.21 2.11 2/179 889
/proc/meminfo: memFree=29015468/32872528 swapFree=1541688/1694988
[pid=819] ppid=816 vsize=1478212 CPUtime=1800.01 cores=1,3,5,7
/proc/819/stat : 819 (toysat) R 816 819 31715 0 -1 4202496 310113 0 0 0 179956 45 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 140736691876352 13807443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/819/statm: 369553 310905 845 2943 0 366447 0
[pid=819/tid=820] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/820/stat : 820 (toysat) S 816 819 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779184241904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=819/tid=821] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/821/stat : 821 (toysat) S 816 819 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779173752048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=819/tid=822] ppid=816 vsize=1478212 CPUtime=0 cores=1,3,5,7
/proc/819/task/822/stat : 822 (toysat) S 816 819 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12955765 1513689088 310905 33554432000 4194304 16246674 140736691894448 139779163278512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1478212

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.57
CPU system time (s): 0.450931
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1478212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.450931
maximum resident set size= 1243620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310113
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= 46
involuntary context switches= 1894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75082 second user time and 12.4351 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 22:31:31
IDJOB=4093230
IDBENCH=79579
IDSOLVER=2553
FILE ID=node125/4093230-1466109091
RUNJOBID= node125-1466109090-787
PBS_JOBID= 19904034
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-22_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093230-1466109091/watcher-4093230-1466109091 -o /tmp/evaluation-result-4093230-1466109091/solver-4093230-1466109091 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466109090-787 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093230-1466109091.wbo

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

MD5SUM BENCH= a17cc9631cce6dbec0a98622ec920de1
RANDOM SEED=587196690

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29968788 kB
Buffers:           56916 kB
Cached:           148840 kB
SwapCached:         2660 kB
Active:           398332 kB
Inactive:         101032 kB
Active(anon):     293676 kB
Inactive(anon):     2116 kB
Active(file):     104656 kB
Inactive(file):    98916 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096844 kB
Dirty:             42108 kB
Writeback:             0 kB
AnonPages:       1987556 kB
Mapped:            10132 kB
Shmem:                 0 kB
Slab:             571616 kB
SReclaimable:      15336 kB
SUnreclaim:       556280 kB
KernelStack:        1392 kB
PageTables:         9532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2919616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71700 MiB
End job on node125 at 2016-06-16 23:01:32