Trace number 4093140

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

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub1_wcsp.wbo
MD5SUMffd43b20815bdb15a4cc4b3290fc84ae
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables616
Total number of constraints249748
Number of soft constraints249734
Number of constraints which are clauses249734
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 39275680
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 19104596930
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T22:00:18+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-4093140-1466107218.wbo"]
0.00/0.01	c use --random-gen="1820183556 1216925402 2306036256 989360165 332750133 1352701822 3757200697 1440580703 756027389 1105200937 601264699 1879029910 2182695433 3813581579 1193622241 1716100482 1102875795 1170307987 1443054377 1626109846 2398701224 452591969 2112247542 2120529952 4208361678 3811684486 2072776431 101444707 459770369 2620505807 2998939295 1769290590 582910712 3798930070 3085517048 3063157311 2927014440 2750816203 1601284963 3347158144 3710524218 3931205693 930847682 4215267908 3216726664 2354612741 2421033401 4161694850 2585940652 458088826 904097375 1845516917 246707322 604059236 1591864048 785829669 4226657076 1505076180 2313218080 3904531055 2917261379 345249777 700015116 223124257 598147663 943693812 1234365878 4195154370 3731507011 2856249537 966465547 4034266786 806464056 174428874 2297989318 3943759709 821627709 214918430 1025832590 849030864 3274738985 2694085881 4047425880 2026017946 2532242447 3684263411 2055507876 1105123864 2927240887 1810762461 732506131 2962738978 3840083311 2026250999 2056174228 364924740 3441662221 2661257775 1203022576 2789107935 4089281606 346396761 1200767863 2392398825 4226704449 1063296314 4130691879 1213317414 597468415 2715366925 4205509931 3220828464 3095062661 884622613 3385220965 3044899923 3215351478 1473611644 2752840269 3855602304 1799428372 4039097428 1825018114 731386536 2968057582 3996724506 256143697 2504805346 2547128611 1309017009 3258253873 2154037070 4042665404 2881044826 3774860594 2133785017 2828883371 1103700152 50088484 3319162053 2691871254 1829504009 2151972387 3387917716 3043896961 1858656966 3630318808 1808624154 3752674001 845146626 2132604850 1803002555 2046606189 1377163967 1948108428 2262852140 2062578727 1474153717 2226271808 876422974 4058823926 3058986555 3294036350 4037582748 3741618353 1771606603 2785173818 1716624588 174186640 551378396 3137377552 1136190811 3191845737 1227030299 2006258816 139893200 4049604187 480236607 3561818319 127648257 3819826993 1008280774 2044581501 1097883814 583629815 2131014561 2294672982 3784562449 1781942063 1822012479 3515498612 2479181942 1291544144 151378139 2104789367 4148343243 2567927324 640566317 1927470772 1800627563 4123085443 2127753554 1241457722 1222384321 4098096988 2967185086 3722384860 3887019614 539137540 594586235 1587323597 4120044065 2184018540 2073242881 2954921920 1888168194 412489138 3412200809 3376560397 1127065513 2218581487 1279003784 3422886290 1539804737 1588145234 1236299668 1141430487 4078418447 3470079863 2139681855 4022440239 1633260673 2324312229 1247317262 2789631554 4030391104 2615127618 2726859353 3334588779 3029766982 3791905820 4270075489 3822546041 2927159464 2024916434 2732849715 91519382 3762793172 2266304286 4162742874 4025599702 2334039702 840853375 3065741358 3916422980 1441211434 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-4093140-1466107218/watcher-4093140-1466107218 -o /tmp/evaluation-result-4093140-1466107218/solver-4093140-1466107218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466103615-21301 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093140-1466107218.wbo 

pid=21631
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.25 2.20 2.18 4/175 21634
/proc/meminfo: memFree=30285740/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 2894 0 0 0 0 0 0 0 20 0 4 0 12768236 792129536 3767 33554432000 4194304 16246674 140735191883216 140735191882640 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 194159 3777 441 2943 0 191053 0
[pid=21634/tid=21638] ppid=21631 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 817295360 3862 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=803260 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 822538240 3878 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 826732544 3896 33554432000 4194304 16246674 140735191883216 140265310383280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 2.25 2.20 2.18 4/175 21634
/proc/meminfo: memFree=30285740/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 29826 0 0 0 6 3 0 0 20 0 4 0 12768236 1249447936 30639 33554432000 4194304 16246674 140735191883216 140735191882528 7410953 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 305041 30653 802 2943 0 301935 0
[pid=21634/tid=21638] ppid=21631 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1249447936 30664 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1249447936 30675 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1249447936 30684 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1220164

[startup+0.200491 s]
/proc/loadavg: 2.25 2.20 2.18 4/175 21634
/proc/meminfo: memFree=30285740/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1307204 CPUtime=0.18 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 50942 0 0 0 13 5 0 0 20 0 4 0 12768236 1338576896 52265 33554432000 4194304 16246674 140735191883216 140735191882528 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 326801 52269 802 2943 0 323695 0
[pid=21634/tid=21638] ppid=21631 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1338576896 52272 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1338576896 52274 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1338576896 52277 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1307204

[startup+0.300454 s]
/proc/loadavg: 2.25 2.20 2.18 4/175 21634
/proc/meminfo: memFree=30285740/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 62619 0 0 0 22 7 0 0 20 0 4 0 12768236 1345916928 63942 33554432000 4194304 16246674 140735191883216 140735191882528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 328593 63942 802 2943 0 325487 0
[pid=21634/tid=21638] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 63942 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 63942 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 63942 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1314372

[startup+0.700386 s]
/proc/loadavg: 2.25 2.20 2.18 4/175 21634
/proc/meminfo: memFree=30285740/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 70964 0 0 0 61 8 0 0 20 0 4 0 12768236 1345916928 72287 33554432000 4194304 16246674 140735191883216 140735191865088 4223721 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 328593 72287 802 2943 0 325487 0
[pid=21634/tid=21638] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 72287 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 72287 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 72287 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.25 2.20 2.18 4/186 21645
/proc/meminfo: memFree=29641392/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 88870 0 0 0 138 11 0 0 20 0 4 0 12768236 1345916928 90193 33554432000 4194304 16246674 140735191883216 140735191881024 4206653 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 328593 90193 803 2943 0 325487 0
[pid=21634/tid=21638] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 90193 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 90193 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1345916928 90193 33554432000 4194304 16246674 140735191883216 140265310383280 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.10041 s]
/proc/loadavg: 2.25 2.20 2.18 4/186 21645
/proc/meminfo: memFree=29567480/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1327684 CPUtime=3.09 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 141745 0 0 0 292 17 0 0 20 0 4 0 12768236 1359548416 143068 33554432000 4194304 16246674 140735191883216 140735191882528 6197796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 331921 143079 838 2943 0 328815 0
[pid=21634/tid=21638] ppid=21631 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1359548416 143086 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1359548416 143092 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1359548416 143099 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1327684

[startup+6.30044 s]
/proc/loadavg: 2.23 2.20 2.18 4/186 21645
/proc/meminfo: memFree=27952792/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1468996 CPUtime=6.29 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 307874 0 0 0 587 42 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140735191865088 12654542 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 367249 309197 844 2943 0 364143 0
[pid=21634/tid=21638] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1468996

[startup+12.7004 s]
/proc/loadavg: 2.21 2.20 2.18 3/186 21645
/proc/meminfo: memFree=27815568/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1468996 CPUtime=12.69 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 307874 0 0 0 1203 66 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140735191865088 12654241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 367249 309197 844 2943 0 364143 0
[pid=21634/tid=21638] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1468996

[startup+25.5005 s]
/proc/loadavg: 2.23 2.20 2.18 3/186 21645
/proc/meminfo: memFree=27817424/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=1468996 CPUtime=25.49 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 307874 0 0 0 2442 107 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140735191881024 4206674 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 367249 309197 844 2943 0 364143 0
[pid=21634/tid=21638] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=1468996 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 1504251904 309197 33554432000 4194304 16246674 140735191883216 140265310383280 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) 1468996

[startup+51.1005 s]
/proc/loadavg: 2.28 2.22 2.19 3/186 21668
/proc/meminfo: memFree=25895028/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=2427460 CPUtime=51.08 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 547490 0 0 0 4951 157 0 0 20 0 4 0 12768236 2485719040 548813 33554432000 4194304 16246674 140735191883216 140735191882392 4220978 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 606865 548813 844 2943 0 603759 0
[pid=21634/tid=21638] ppid=21631 vsize=2427460 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 2485719040 548813 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=2427460 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 2485719040 548813 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=2427460 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 2485719040 548813 33554432000 4194304 16246674 140735191883216 140265310383280 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) 2427460

[startup+102.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/186 21669
/proc/meminfo: memFree=23737644/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=3507780 CPUtime=102.28 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 817570 0 0 0 10024 204 0 0 20 0 4 0 12768236 3591966720 818893 33554432000 4194304 16246674 140735191883216 140735191882528 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 876945 818893 844 2943 0 873839 0
[pid=21634/tid=21638] ppid=21631 vsize=3507780 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 3591966720 818893 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=3507780 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 3591966720 818893 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=3507780 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 3591966720 818893 33554432000 4194304 16246674 140735191883216 140265310383280 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) 3507780


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

[pid=21634] ppid=21631 vsize=7236164 CPUtime=1362.07 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 135781 426 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 6132712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 7236164

[startup+1422.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/185 21702
/proc/meminfo: memFree=16268920/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1422.08 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 141781 427 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 6132671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 7236164

[startup+1482.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/185 21703
/proc/meminfo: memFree=16268656/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1482.06 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 147779 427 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 13807758 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 7236164

[startup+1542.31 s]
/proc/loadavg: 2.30 2.26 2.19 3/185 21704
/proc/meminfo: memFree=16269028/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1542.05 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 153778 427 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 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) 7236164

[startup+1602.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/185 21705
/proc/meminfo: memFree=16268756/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1602.04 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 159777 427 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 6132667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 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) 7236164

[startup+1662.3 s]
/proc/loadavg: 2.37 2.28 2.20 4/185 21706
/proc/meminfo: memFree=16268416/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1662.03 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 165776 427 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 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) 7236164

[startup+1722.3 s]
/proc/loadavg: 2.32 2.28 2.20 3/185 21708
/proc/meminfo: memFree=16268496/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1722.02 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 171774 428 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 13955806 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 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) 7236164

[startup+1782.3 s]
/proc/loadavg: 2.27 2.27 2.20 3/185 21709
/proc/meminfo: memFree=16268128/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1782.01 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 177773 428 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 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) 7236164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.41 2.30 2.21 3/186 21712
/proc/meminfo: memFree=16268724/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=7236164 CPUtime=1800.01 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) R 21631 21634 20832 0 -1 4202496 1971877 0 0 0 179573 428 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140735191865088 13955810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 1809041 1750994 845 2943 0 1805935 0
[pid=21634/tid=21638] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21638/stat : 21638 (toysat) S 21631 21634 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265434098928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) S 21631 21634 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265423609072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21634/tid=21640] ppid=21631 vsize=7236164 CPUtime=0 cores=1,3,5,7
/proc/21634/task/21640/stat : 21640 (toysat) S 21631 21634 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12768236 7409831936 1750994 33554432000 4194304 16246674 140735191883216 140265310383280 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) 7236164

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

[startup+1800.4 s]
/proc/loadavg: 2.41 2.30 2.21 3/186 21712
/proc/meminfo: memFree=16268724/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) Z 21631 21634 20832 0 -1 4203532 1971877 0 0 0 179573 438 0 0 20 0 2 0 12768236 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 0 0 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) R 21631 21634 20832 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 12768236 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.41 2.30 2.21 3/186 21712
/proc/meminfo: memFree=16268724/32872528 swapFree=1481856/1661728
[pid=21634] ppid=21631 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/21634/stat : 21634 (toysat) Z 21631 21634 20832 0 -1 4203532 1971877 0 0 0 179573 457 0 0 20 0 2 0 12768236 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21634/statm: 0 0 0 0 0 0 0
[pid=21634/tid=21639] ppid=21631 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/21634/task/21639/stat : 21639 (toysat) R 21631 21634 20832 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 12768236 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.32
CPU user time (s): 1795.74
CPU system time (s): 4.5833
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 7236164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.74
system time used= 4.5833
maximum resident set size= 7003976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1971877
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= 298
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96124 second user time and 7.40187 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-16 22:00:18
IDJOB=4093140
IDBENCH=79559
IDSOLVER=2553
FILE ID=node134/4093140-1466107218
RUNJOBID= node134-1466103615-21301
PBS_JOBID= 19904059
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub1_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093140-1466107218/watcher-4093140-1466107218 -o /tmp/evaluation-result-4093140-1466107218/solver-4093140-1466107218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466103615-21301 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093140-1466107218.wbo

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

MD5SUM BENCH= ffd43b20815bdb15a4cc4b3290fc84ae
RANDOM SEED=697722169

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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		: 2667.020
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.54
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		: 2667.020
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		: 2667.020
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:        30286432 kB
Buffers:           44204 kB
Cached:           163228 kB
SwapCached:         8904 kB
Active:           136272 kB
Inactive:          81132 kB
Active(anon):       4648 kB
Inactive(anon):     8200 kB
Active(file):     131624 kB
Inactive(file):    72932 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092048 kB
Dirty:             47404 kB
Writeback:             0 kB
AnonPages:       1663464 kB
Mapped:             7084 kB
Shmem:                 0 kB
Slab:             570864 kB
SReclaimable:      14832 kB
SUnreclaim:       556032 kB
KernelStack:        1464 kB
PageTables:         7020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1758224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71672 MiB
End job on node134 at 2016-06-16 22:30:19