Trace number 4093505

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.32

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-le450-5a-2_wcsp.wbo
MD5SUMf22a0f0686559d8ded0c30a6073a8ba7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark2724
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 variables900
Total number of constraints11878
Number of soft constraints11428
Number of constraints which are clauses11428
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Top cost 5715
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 11428
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3
Number of bits of the biggest sum of numbers2
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T18:38:47+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-4093505-1466095127.wbo"]
0.00/0.01	c use --random-gen="1420720856 2562288244 416282563 3494632114 1656753496 1287472256 1785920964 2683035955 349528393 862843357 3001095236 1546678919 82924528 3153564888 833978513 3396527938 2947011983 4108477118 2131241624 2339143646 1901967979 2440763619 467356392 3389043209 2294881313 1128290637 1094346601 3594170543 999151339 289119858 413932373 796594853 2482289338 4057999128 1216132663 371538509 1692256802 660390691 347892554 1495117934 2482261943 838977281 1357284855 2076679329 953282721 2877026018 1248886872 29744908 1543830968 2115990617 2252323553 1848415862 3175114710 807979174 12607663 2114602811 809263505 2132672751 687942221 3749713079 2256820347 947678899 849252650 1870994924 269555596 402332344 2734109046 37328306 3790178370 3207574898 65411218 366392816 414111341 3224139689 1051552392 1789651671 107982765 3505279405 1451748028 3633626252 1084953940 3343622447 1913892756 1470642591 200331123 60647992 37844564 294643590 456663204 4081748906 3339693382 3164475491 510430659 3287036416 2332078214 895254186 1647151694 1667163561 3950940179 4026399849 354426496 3990415510 1954655659 2536477775 1727301656 1930195091 603880893 816052499 692658089 663159966 1080802191 1541526996 737405345 943023967 3226047188 1436946930 4255367362 1512963293 2853870781 4152483396 2451724588 1314427618 1387907462 2322270409 1093853888 2660763889 1252560928 1320240489 1821669924 3769621178 2681711037 715762623 404242703 664312501 25990434 1155306580 1030696132 109432899 1586562849 2741310766 244755608 4023018430 1776633187 1394373513 2650174303 2010562838 3759804070 2148329984 2221802799 3258221284 836662178 110504190 1533501831 3246632013 1822336851 98118323 3479136236 330999870 1450647014 407649705 337751449 1476663262 1332846374 2092418554 613818020 3092012780 933289854 1199703900 3231975474 698947421 1834558301 4145703603 3906786412 2342133308 2338118992 252515168 3687597872 1784850487 3995631212 1704132727 2535021807 1831531620 3992854294 1899441654 2955833623 2310960237 1266824442 2960846366 2613516942 859757292 3025390078 424136892 728330465 1027612583 1744832970 2742232157 978018583 3154253771 984163420 2638914303 559597353 4141997934 3783146524 240177915 2197201833 3987746019 3855889152 3721489785 2621742775 2913456817 2587979360 20467617 4406677 3792292929 1979349300 3353614537 547663312 3508381605 2562377020 1849935555 1716371804 1354833466 1912481391 3394162077 1971309224 941524841 3363195766 2873211638 1595933909 1099466519 1609938639 484839967 3206217141 3658066051 2551624934 164109112 861149656 1290032666 1024672725 3982217714 1190882814 1263275952 2859802553 1369307948 1010787510 2374339000 1259085729 2897361226 2405505405 899212173 1387697192 541120250 1674410878 2520375384 2128286982 3851796628 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-4093505-1466095127/watcher-4093505-1466095127 -o /tmp/evaluation-result-4093505-1466095127/solver-4093505-1466095127 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466092999-31054 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093505-1466095127.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.22 2.41 3/179 31577
/proc/meminfo: memFree=29742360/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 2560 0 0 0 0 0 0 0 20 0 4 0 11559306 704049152 2920 33554432000 4194304 16246674 140736495992464 140736495991888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 172655 2929 441 2943 0 169549 0
[pid=31577/tid=31578] ppid=31574 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 722923520 2990 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 727117824 3006 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11559306 731312128 3022 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100207 s]
/proc/loadavg: 2.10 2.22 2.41 3/179 31577
/proc/meminfo: memFree=29742360/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 28322 0 0 0 6 3 0 0 20 0 4 0 11559306 1250496512 28622 33554432000 4194304 16246674 140736495992464 140736495991776 6756128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 305297 28629 823 2943 0 302191 0
[pid=31577/tid=31578] ppid=31574 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1250496512 28636 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1250496512 28642 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11559306 1250496512 28648 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200498 s]
/proc/loadavg: 2.10 2.22 2.41 3/179 31577
/proc/meminfo: memFree=29742360/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1301060 CPUtime=0.18 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 48562 0 0 0 13 5 0 0 20 0 4 0 11559306 1332285440 48863 33554432000 4194304 16246674 140736495992464 140736495991776 6192613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 325265 48873 834 2943 0 322159 0
[pid=31577/tid=31578] ppid=31574 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1332285440 48880 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1332285440 48887 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1332285440 48894 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300469 s]
/proc/loadavg: 2.10 2.22 2.41 3/179 31577
/proc/meminfo: memFree=29742360/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57043 0 0 0 22 7 0 0 20 0 4 0 11559306 1343819776 57343 33554432000 4194304 16246674 140736495992464 140736495991776 4220527 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57343 834 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57343 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57343 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57343 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1312324

[startup+0.700285 s]
/proc/loadavg: 2.10 2.22 2.41 3/179 31577
/proc/meminfo: memFree=29742360/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57046 0 0 0 62 7 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140736495974336 13923665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57346 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50034 s]
/proc/loadavg: 2.01 2.20 2.40 3/183 31581
/proc/meminfo: memFree=29513748/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57046 0 0 0 142 7 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140736495974336 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57346 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1312324

[startup+3.10034 s]
/proc/loadavg: 2.01 2.20 2.40 3/183 31581
/proc/meminfo: memFree=29513252/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57046 0 0 0 302 7 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140736495974336 13809305 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57346 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1312324

[startup+6.30029 s]
/proc/loadavg: 2.09 2.21 2.41 4/183 31581
/proc/meminfo: memFree=29513036/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57046 0 0 0 622 7 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140736495990272 13809344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57346 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.16 2.22 2.41 4/183 31581
/proc/meminfo: memFree=29512980/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57046 0 0 0 1262 7 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140736495974336 13807544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57346 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5003 s]
/proc/loadavg: 2.12 2.21 2.40 3/183 31581
/proc/meminfo: memFree=29513700/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57046 0 0 0 2542 7 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140736495974336 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57346 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1003 s]
/proc/loadavg: 2.14 2.21 2.39 3/182 31581
/proc/meminfo: memFree=29513716/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 57046 0 0 0 5101 7 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140736495974336 13809224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 57346 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 57346 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1312324

[startup+102.3 s]
/proc/loadavg: 2.30 2.24 2.39 4/184 31586
/proc/meminfo: memFree=29501088/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 59441 0 0 0 10221 7 0 0 20 0 4 0 11559306 1343819776 59741 33554432000 4194304 16246674 140736495992464 140736495991640 6739176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 328081 59741 837 2943 0 324975 0
[pid=31577/tid=31578] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 59741 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 59741 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1343819776 59741 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1312324


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

/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1685060

[startup+1362.3 s]
/proc/loadavg: 2.26 2.28 2.27 3/184 31639
/proc/meminfo: memFree=27760556/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1362.08 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345135 0 0 0 136157 51 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140736495974336 6132597 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362821 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1685060

[startup+1422.3 s]
/proc/loadavg: 2.39 2.31 2.28 3/183 31640
/proc/meminfo: memFree=27760172/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1422.07 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345143 0 0 0 142156 51 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140736495974336 13809400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362821 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1685060

[startup+1482.3 s]
/proc/loadavg: 2.19 2.26 2.27 3/183 31641
/proc/meminfo: memFree=27760184/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1482.05 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345150 0 0 0 148154 51 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140736495974336 13774216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362821 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1685060

[startup+1542.31 s]
/proc/loadavg: 2.25 2.27 2.27 3/183 31642
/proc/meminfo: memFree=27759232/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1542.06 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345152 0 0 0 154154 52 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140736495974336 13774229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362821 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1685060

[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.27 3/183 31644
/proc/meminfo: memFree=27758700/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1602.04 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345159 0 0 0 160152 52 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140736495974336 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362821 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1685060

[startup+1662.3 s]
/proc/loadavg: 1.82 2.16 2.23 2/173 31676
/proc/meminfo: memFree=28861952/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1662.03 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345160 0 0 0 166151 52 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140736495974336 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362821 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362821 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1685060

[startup+1722.3 s]
/proc/loadavg: 1.56 2.01 2.17 2/173 31677
/proc/meminfo: memFree=28861644/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1722.02 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345292 0 0 0 172150 52 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140736495974336 13923665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362952 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536228867248 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) 1685060

[startup+1782.3 s]
/proc/loadavg: 1.34 1.87 2.11 2/173 31678
/proc/meminfo: memFree=28861592/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1782 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345293 0 0 0 178148 52 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140736495991640 13807598 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362952 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1685060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.34 1.84 2.10 2/173 31678
/proc/meminfo: memFree=28861560/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1800 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345293 0 0 0 179948 52 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140736495974336 13809400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362952 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1685060

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

[startup+1800.3 s]
/proc/loadavg: 1.34 1.84 2.10 2/173 31678
/proc/meminfo: memFree=28861560/32872528 swapFree=1541688/1694988
[pid=31577] ppid=31574 vsize=1685060 CPUtime=1800 cores=1,3,5,7
/proc/31577/stat : 31577 (toysat) R 31574 31577 6847 0 -1 4202496 345293 0 0 0 179948 52 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140736495974336 13809400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31577/statm: 421265 362952 837 2943 0 418159 0
[pid=31577/tid=31578] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31578/stat : 31578 (toysat) S 31574 31577 6847 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536353631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31577/tid=31579] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31579/stat : 31579 (toysat) S 31574 31577 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536343141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31577/tid=31580] ppid=31574 vsize=1685060 CPUtime=0 cores=1,3,5,7
/proc/31577/task/31580/stat : 31580 (toysat) S 31574 31577 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559306 1725501440 362952 33554432000 4194304 16246674 140736495992464 140536228867248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1685060

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.02
CPU user time (s): 1799.49
CPU system time (s): 0.533918
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1685060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.533918
maximum resident set size= 1451808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345293
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= 57
involuntary context switches= 1986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00324 second user time and 6.67798 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 18:38:47
IDJOB=4093505
IDBENCH=79444
IDSOLVER=2553
FILE ID=node125/4093505-1466095127
RUNJOBID= node125-1466092999-31054
PBS_JOBID= 19904014
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-le450-5a-2_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093505-1466095127/watcher-4093505-1466095127 -o /tmp/evaluation-result-4093505-1466095127/solver-4093505-1466095127 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466092999-31054 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093505-1466095127.wbo

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

MD5SUM BENCH= f22a0f0686559d8ded0c30a6073a8ba7
RANDOM SEED=1294731376

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:        29742740 kB
Buffers:           47192 kB
Cached:           122356 kB
SwapCached:         2664 kB
Active:           642248 kB
Inactive:          86820 kB
Active(anon):     559904 kB
Inactive(anon):     2116 kB
Active(file):      82344 kB
Inactive(file):    84704 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096840 kB
Dirty:             16916 kB
Writeback:             0 kB
AnonPages:       2253136 kB
Mapped:            10980 kB
Shmem:                 0 kB
Slab:             571128 kB
SReclaimable:      14304 kB
SUnreclaim:       556824 kB
KernelStack:        1520 kB
PageTables:         9288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2917632 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= 71728 MiB
End job on node125 at 2016-06-16 19:08:47