Trace number 4093287

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.04 1800.33

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-capmp1_wcsp.wbo
MD5SUM741f37f00d13c62b4f0b1409f82c4642
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 variables40400
Total number of constraints80600
Number of soft constraints80200
Number of constraints which are clauses80200
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint200
Top cost 68755531
Min constraint cost 1
Max constraint cost 68755531
Sum of constraints costs 2750823703914
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T21:11:03+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-4093287-1466104263.wbo"]
0.00/0.01	c use --random-gen="3184492934 2668517256 1183689872 89277589 600407973 2836959987 2470667176 1461007545 3517577508 850998513 3061636504 2963300333 254013271 2133335174 1988998230 251994848 2624995035 2542653040 4261307555 677971231 960815595 3334493068 1912772415 498311755 1865408972 928759596 2728607801 1019937702 1320877927 3269357292 3139028615 2445485589 3856028798 4086660177 3064640503 259229937 3732138771 3926093628 3778118741 317044705 829269961 829694993 1750494123 1982548864 2251267978 4063319897 277899196 3611277002 1196014797 89444163 543478568 1011942384 866604564 559020429 659476483 3192694762 3905777515 829213690 2831960147 3491864100 1924531 1784578739 846571142 735955971 2738455346 2971921658 1339377410 968566886 3296494815 1917891966 3644603128 1006811045 1453794288 4097514041 3180271141 3885469469 2720392942 2368487135 4197619687 2066131870 3764862582 66464612 4221637544 1910682809 3123604644 2551380638 3190247302 1584925005 1389719969 2225789985 3054598722 1035225174 2167852149 1091796426 3108626569 2278099774 4150456142 4082155182 3701345864 540857304 3152222019 1148941344 3160278111 3766384119 4267736190 3923558767 3105294607 1249768261 1211685807 1761399452 3190270847 2185977151 2599458652 1277694656 2213116789 3778425544 3288877810 1239579019 2209913775 402930031 1317648067 4195397081 890037261 1017621156 3471312543 3123474361 1577741497 557517226 3274688594 1562142367 810528851 1079533603 293240367 3544490391 4223130280 298386865 46004468 3444368058 470445121 2447185935 1455486631 3513666256 843622541 4243723610 1664214007 1113904789 4047249292 666844421 3469963193 3953639718 1075362102 2781973737 3738123340 2464371272 1614396762 4040219445 4096884104 2309574372 1876625319 2973531031 3124799977 4054692865 3634838886 3535596518 3571260226 2905716465 3138164943 2580512713 1126091479 3218368969 1216840912 2752582185 902404743 2650807271 932081976 2802271454 1764859493 4191635841 3988929965 2721397439 3489228621 3595630136 3186268159 962875835 1469768495 417168586 663888884 1951837443 2149682768 397211739 995273578 1130587896 760565312 3179335768 2066343531 2224744229 2625723841 2076710401 222170632 2047764527 2479535884 619288208 1207093566 2765361022 404319204 882680040 2615928478 349365435 2507994780 2893240635 1727871325 4161960357 3677676966 152788321 3830134338 3833708575 329421247 803704038 3785187653 560645681 2220542219 3677997648 90450994 2140442538 1038183075 3255724267 3299717997 738477736 1769068531 2948117482 1404993882 2032594571 4165661586 1930270232 4079488621 3417584053 1578699266 47584715 1854017092 3057104085 3317477343 2021978687 1825778453 2805292478 3214844535 690192862 605627277 1481329742 3268955389 457966368 2129652709 481699988 2156211313 629697399 4266217072 2685410088 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-4093287-1466104263/watcher-4093287-1466104263 -o /tmp/evaluation-result-4093287-1466104263/solver-4093287-1466104263 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466104263-25263 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093287-1466104263.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.17 1.30 1.70 3/170 25283
/proc/meminfo: memFree=30248132/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 2794 0 0 0 0 0 0 0 20 0 4 0 12472034 765915136 3156 33554432000 4194304 16246674 140735479259808 140735479259232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 187759 3165 441 2943 0 184653 0
[pid=25283/tid=25284] ppid=25280 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 783740928 3224 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 787935232 3239 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=773564 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12472034 792129536 3255 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 1.17 1.30 1.70 3/170 25283
/proc/meminfo: memFree=30248132/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 29342 0 0 0 5 4 0 0 20 0 4 0 12472034 1333334016 29644 33554432000 4194304 16246674 140735479259808 140735479259120 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 325521 29656 801 2943 0 322415 0
[pid=25283/tid=25284] ppid=25280 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1333334016 29663 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1333334016 29674 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1333334016 29685 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200514 s]
/proc/loadavg: 1.17 1.30 1.70 3/170 25283
/proc/meminfo: memFree=30248132/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 48547 0 0 0 12 7 0 0 20 0 4 0 12472034 1344868352 49359 33554432000 4194304 16246674 140735479259808 140735479259120 13784984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 328337 49359 802 2943 0 325231 0
[pid=25283/tid=25284] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 49359 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 49359 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 49359 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300491 s]
/proc/loadavg: 1.17 1.30 1.70 3/170 25283
/proc/meminfo: memFree=30248132/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 54210 0 0 0 22 7 0 0 20 0 4 0 12472034 1344868352 55022 33554432000 4194304 16246674 140735479259808 140735479259120 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 328337 55022 802 2943 0 325231 0
[pid=25283/tid=25284] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 55022 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 55022 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 55022 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700345 s]
/proc/loadavg: 1.17 1.30 1.70 3/170 25283
/proc/meminfo: memFree=30248132/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 86574 0 0 0 57 12 0 0 20 0 4 0 12472034 1344868352 87386 33554432000 4194304 16246674 140735479259808 140735479241728 12486453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 328337 87393 829 2943 0 325231 0
[pid=25283/tid=25284] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 87397 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 87403 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 87408 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50038 s]
/proc/loadavg: 1.17 1.30 1.70 3/183 25300
/proc/meminfo: memFree=29011524/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 230195 0 0 0 117 32 0 0 20 0 4 0 12472034 1344868352 231007 33554432000 4194304 16246674 140735479259808 140735479241728 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 328337 231018 829 2943 0 325231 0
[pid=25283/tid=25284] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 231025 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 231032 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1344868352 231038 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 1.17 1.30 1.70 3/183 25300
/proc/meminfo: memFree=28079508/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1319492 CPUtime=3.09 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 270493 0 0 0 271 38 0 0 20 0 4 0 12472034 1351159808 271305 33554432000 4194304 16246674 140735479259808 140735479241728 12459037 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 329873 271305 837 2943 0 326767 0
[pid=25283/tid=25284] ppid=25280 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1351159808 271305 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1351159808 271305 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1351159808 271305 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1319492

[startup+6.30033 s]
/proc/loadavg: 1.23 1.32 1.70 3/183 25300
/proc/meminfo: memFree=27988892/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1363524 CPUtime=6.29 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 281507 0 0 0 589 40 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140735479241728 13807696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 340881 282319 843 2943 0 337775 0
[pid=25283/tid=25284] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1363524

[startup+12.7003 s]
/proc/loadavg: 1.30 1.33 1.70 3/183 25300
/proc/meminfo: memFree=27990376/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1363524 CPUtime=12.69 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 281507 0 0 0 1229 40 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140735479241728 13774084 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 340881 282319 843 2943 0 337775 0
[pid=25283/tid=25284] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1363524

[startup+25.5004 s]
/proc/loadavg: 1.59 1.39 1.72 3/183 25300
/proc/meminfo: memFree=27991856/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1363524 CPUtime=25.49 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 281507 0 0 0 2509 40 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140735479241728 13809344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 340881 282319 843 2943 0 337775 0
[pid=25283/tid=25284] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1363524

[startup+51.1004 s]
/proc/loadavg: 1.80 1.45 1.73 3/183 25301
/proc/meminfo: memFree=27991868/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1363524 CPUtime=51.08 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 281507 0 0 0 5068 40 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140735479241728 13774216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 340881 282319 843 2943 0 337775 0
[pid=25283/tid=25284] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1363524

[startup+102.3 s]
/proc/loadavg: 2.04 1.57 1.75 3/183 25302
/proc/meminfo: memFree=27992232/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=1363524 CPUtime=102.28 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 281507 0 0 0 10188 40 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140735479241728 13807435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 340881 282319 843 2943 0 337775 0
[pid=25283/tid=25284] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 1396248576 282319 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1363524


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

/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459348 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2072132

[startup+1362.3 s]
/proc/loadavg: 2.15 2.18 2.07 3/183 25334
/proc/meminfo: memFree=26570172/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2072132 CPUtime=1362.07 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 458681 0 0 0 136140 67 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140735479241728 6132452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 518033 459474 843 2943 0 514927 0
[pid=25283/tid=25284] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2072132

[startup+1422.3 s]
/proc/loadavg: 2.28 2.21 2.09 4/183 25335
/proc/meminfo: memFree=26570184/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2072132 CPUtime=1422.07 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 458681 0 0 0 142140 67 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140735479241728 13807598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 518033 459474 843 2943 0 514927 0
[pid=25283/tid=25284] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2072132

[startup+1482.3 s]
/proc/loadavg: 2.21 2.20 2.09 3/183 25336
/proc/meminfo: memFree=26569952/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2072132 CPUtime=1482.06 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 458681 0 0 0 148138 68 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140735479241728 6132584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 518033 459474 843 2943 0 514927 0
[pid=25283/tid=25284] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2072132 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2121863168 459474 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2072132

[startup+1542.31 s]
/proc/loadavg: 2.24 2.22 2.10 3/183 25337
/proc/meminfo: memFree=25787916/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2463300 CPUtime=1542.05 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 556234 0 0 0 154125 80 0 0 20 0 4 0 12472034 2522419200 557027 33554432000 4194304 16246674 140735479259808 140735479241728 13809305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 615825 557027 843 2943 0 612719 0
[pid=25283/tid=25284] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557027 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557027 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557027 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2463300

[startup+1602.3 s]
/proc/loadavg: 2.20 2.20 2.10 3/183 25339
/proc/meminfo: memFree=25786076/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2463300 CPUtime=1602.04 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 556473 0 0 0 160123 81 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140735479241728 13807770 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 615825 557266 843 2943 0 612719 0
[pid=25283/tid=25284] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2463300

[startup+1662.3 s]
/proc/loadavg: 2.17 2.20 2.10 4/183 25340
/proc/meminfo: memFree=25785968/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2463300 CPUtime=1662.03 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 556473 0 0 0 166122 81 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140735479241728 13807435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 615825 557266 843 2943 0 612719 0
[pid=25283/tid=25284] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2463300

[startup+1722.3 s]
/proc/loadavg: 2.18 2.19 2.10 3/183 25341
/proc/meminfo: memFree=25785868/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2463300 CPUtime=1722.02 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 556473 0 0 0 172120 82 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140735479241728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 615825 557266 843 2943 0 612719 0
[pid=25283/tid=25284] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2463300

[startup+1782.3 s]
/proc/loadavg: 2.18 2.18 2.10 3/184 25345
/proc/meminfo: memFree=25785572/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2463300 CPUtime=1782.01 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 556473 0 0 0 178119 82 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140735479241728 13807544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 615825 557266 843 2943 0 612719 0
[pid=25283/tid=25284] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2463300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.19 2.10 4/183 25345
/proc/meminfo: memFree=25785924/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2463300 CPUtime=1800.01 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 556473 0 0 0 179918 83 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140735479241728 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 615825 557266 843 2943 0 612719 0
[pid=25283/tid=25284] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2463300

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

[startup+1800.3 s]
/proc/loadavg: 2.22 2.19 2.10 4/183 25345
/proc/meminfo: memFree=25785924/32872528 swapFree=1499116/1695340
[pid=25283] ppid=25280 vsize=2463300 CPUtime=1800.01 cores=0,2,4,6
/proc/25283/stat : 25283 (toysat) R 25280 25283 24593 0 -1 4202496 556473 0 0 0 179918 83 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140735479241728 13923640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 615825 557266 843 2943 0 612719 0
[pid=25283/tid=25284] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25284/stat : 25284 (toysat) S 25280 25283 24593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133812645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25283/tid=25285] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25285/stat : 25285 (toysat) S 25280 25283 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133802155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25283/tid=25286] ppid=25280 vsize=2463300 CPUtime=0 cores=0,2,4,6
/proc/25283/task/25286/stat : 25286 (toysat) S 25280 25283 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12472034 2522419200 557266 33554432000 4194304 16246674 140735479259808 140133791681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2463300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.04
CPU user time (s): 1799.19
CPU system time (s): 0.85387
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 2463300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.85387
maximum resident set size= 2229064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556473
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= 55
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74028 second user time and 6.73498 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 21:11:03
IDJOB=4093287
IDBENCH=79544
IDSOLVER=2553
FILE ID=node137/4093287-1466104263
RUNJOBID= node137-1466104263-25263
PBS_JOBID= 19904058
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 741f37f00d13c62b4f0b1409f82c4642
RANDOM SEED=1881435612

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        30249048 kB
Buffers:           55948 kB
Cached:           163320 kB
SwapCached:         2444 kB
Active:           119120 kB
Inactive:         103444 kB
Active(anon):       3828 kB
Inactive(anon):     1780 kB
Active(file):     115292 kB
Inactive(file):   101664 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099396 kB
Dirty:             38032 kB
Writeback:             0 kB
AnonPages:       1789316 kB
Mapped:             6988 kB
Shmem:                 0 kB
Slab:             570656 kB
SReclaimable:      15204 kB
SUnreclaim:       555452 kB
KernelStack:        1416 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1790324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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= 71668 MiB
End job on node137 at 2016-06-16 21:41:03