Trace number 4093236

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.14 1800.42

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06_wcsp.wbo
MD5SUM90857ecb9aeacb8642741d0114c4e950
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 variables4010
Total number of constraints828064
Number of soft constraints827964
Number of constraints which are clauses827964
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 255194
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 158723721
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:30:55+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-4093236-1466109054.wbo"]
0.00/0.01	c use --random-gen="2876312178 263325719 1691180368 1687450007 4095773732 4195039279 537005135 1662114973 1862976685 4247176255 232204990 1743027615 1636601564 416027759 520296045 561350477 2733846855 4149464325 2948314264 1340535975 280393928 2844380625 2819739511 116459204 3050505887 2646394069 1641710451 3161324712 335866184 174086338 2826294041 3290949830 390073696 9734364 3236460333 468801097 2527917609 4230888098 2927892103 1627772022 2173308024 4227979887 727044668 331408514 1341913101 2896130443 524555803 3812331870 2506457337 3283997690 171012277 2385216554 234183392 3309168337 205600912 4025222839 1187357654 3141664931 1135489114 3072000596 2414890159 4027305264 3179059811 3907461106 2675102972 4022453829 847595602 38582406 469204339 2316900614 41090156 2623068298 596763358 4211742981 4082813280 1160539923 1596446889 2257464899 279275748 265812040 195532446 2876537641 3279408209 3098321335 2007212932 745303346 809934437 3659741194 4292558631 3360479031 2688851940 1816816294 9040448 845345945 1618072442 3121292399 2957845765 3732394452 3864737168 631283965 577209924 4251292766 2113045078 2758871288 1503071152 1407677076 2536329464 3784332586 1884578622 276021714 2238507760 2483281078 3410898078 220212944 172617076 1912294704 2053391424 713340453 4253605012 3361694361 1604156725 488661252 4150532723 1441318301 4109099240 2494797269 1694915427 1941499128 3144029804 2920925600 3959369033 2406023839 1364533966 2388002417 1617277743 891154976 1742973874 295910598 60734105 3737158303 4084149620 4226242438 47100506 169734400 3625935860 1903496941 2775358679 1197729467 4234700265 3740387040 3317315358 2473045020 2057440022 1452563603 1729685092 2731386467 1567797974 748077194 3809213146 3455844116 171534956 1690731557 633180421 2316999589 2621116629 1233757698 2024706242 716436443 2754651231 3394891379 1362299588 4222870003 3299176276 3065293344 2977429483 1515533524 2034386901 595305814 3149048247 3641448091 1302156673 2541629974 4128077919 1263480926 713142131 2397780506 3770938888 640180153 2807131834 2295895617 4230583877 3371283409 1314384103 1707956577 490321285 3075678902 2675468946 858346969 1718186355 3151689691 2222682565 4018870932 3025059373 1966278911 2296033297 4270742724 536903849 494221814 898155375 3299266069 2552626509 3304252741 2119616845 4290840801 3758309746 1150974086 4149909719 2978058687 1240133062 327478865 1094592052 325929400 880067640 2977631664 4140096285 1925446314 2527074277 1823222797 3868558586 3001756220 4214459027 2414038547 1282439938 3877564487 3511336637 2096918864 366497586 3078575641 3302957692 3734010073 3819138132 4247921238 4179698104 2592910795 1065433440 1220409638 153444228 2842205035 273500350 3682753751 3255864041 1219062562 3283129794 3731081017 1926030624 2178739790 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-4093236-1466109054/watcher-4093236-1466109054 -o /tmp/evaluation-result-4093236-1466109054/solver-4093236-1466109054 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466109054-17192 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093236-1466109054.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.62 2.04 2.15 4/176 17220
/proc/meminfo: memFree=30285916/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=667068 CPUtime=0 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 2478 0 0 0 0 0 0 0 20 0 4 0 12952324 683077632 3350 33554432000 4194304 16246674 140734302877104 140734302876528 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 167535 3358 441 2943 0 164429 0
[pid=17220/tid=17224] ppid=17214 vsize=684476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 700903424 3417 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 705097728 3433 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12952324 709292032 3450 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 1.62 2.04 2.15 4/176 17220
/proc/meminfo: memFree=30285916/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 29455 0 0 0 6 3 0 0 20 0 4 0 12952324 1249447936 30267 33554432000 4194304 16246674 140734302877104 140734302876416 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 305041 30268 802 2943 0 301935 0
[pid=17220/tid=17224] ppid=17214 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1249447936 30268 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1249447936 30269 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1249447936 30269 33554432000 4194304 16246674 140734302877104 139912777030832 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.200435 s]
/proc/loadavg: 1.62 2.04 2.15 4/176 17220
/proc/meminfo: memFree=30285916/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1307204 CPUtime=0.19 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 50527 0 0 0 13 6 0 0 20 0 4 0 12952324 1338576896 51850 33554432000 4194304 16246674 140734302877104 140734302876416 4223718 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 326801 51853 802 2943 0 323695 0
[pid=17220/tid=17224] ppid=17214 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1338576896 51855 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1338576896 51858 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1338576896 51860 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204

[startup+0.30045 s]
/proc/loadavg: 1.62 2.04 2.15 4/176 17220
/proc/meminfo: memFree=30285916/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 59076 0 0 0 21 7 0 0 20 0 4 0 12952324 1345916928 60399 33554432000 4194304 16246674 140734302877104 140734302876416 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 328593 60399 802 2943 0 325487 0
[pid=17220/tid=17224] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 60399 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 60399 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 60399 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700338 s]
/proc/loadavg: 1.62 2.04 2.15 4/176 17220
/proc/meminfo: memFree=30285916/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 71510 0 0 0 59 10 0 0 20 0 4 0 12952324 1345916928 72833 33554432000 4194304 16246674 140734302877104 140734302860096 4206649 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 328593 72833 802 2943 0 325487 0
[pid=17220/tid=17224] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 72833 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 72833 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 72833 33554432000 4194304 16246674 140734302877104 139912777030832 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.50034 s]
/proc/loadavg: 1.62 2.04 2.15 5/184 17228
/proc/meminfo: memFree=29620572/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 85033 0 0 0 137 12 0 0 20 0 4 0 12952324 1345916928 86356 33554432000 4194304 16246674 140734302877104 140734302860096 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 328593 86356 803 2943 0 325487 0
[pid=17220/tid=17224] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 86356 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 86356 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1345916928 86356 33554432000 4194304 16246674 140734302877104 139912777030832 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.10033 s]
/proc/loadavg: 1.62 2.04 2.15 5/184 17228
/proc/meminfo: memFree=29455768/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1338948 CPUtime=3.09 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 143539 0 0 0 288 21 0 0 20 0 4 0 12952324 1371082752 148439 33554432000 4194304 16246674 140734302877104 140734302874944 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 334737 148439 803 2943 0 331631 0
[pid=17220/tid=17224] ppid=17214 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1371082752 148439 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1371082752 148439 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1371082752 148439 33554432000 4194304 16246674 140734302877104 139912777030832 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) 1338948

[startup+6.30038 s]
/proc/loadavg: 1.73 2.06 2.15 5/184 17228
/proc/meminfo: memFree=28310272/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1388100 CPUtime=6.29 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 233774 0 0 0 595 34 0 0 20 0 4 0 12952324 1421414400 246850 33554432000 4194304 16246674 140734302877104 140734302875008 6759797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 347025 246850 835 2943 0 343919 0
[pid=17220/tid=17224] ppid=17214 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1421414400 246850 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1421414400 246850 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1421414400 246850 33554432000 4194304 16246674 140734302877104 139912777030832 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) 1388100

[startup+12.7004 s]
/proc/loadavg: 1.75 2.06 2.15 5/183 17228
/proc/meminfo: memFree=27825316/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=1462852 CPUtime=12.69 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 288958 0 0 0 1228 41 0 0 20 0 4 0 12952324 1497960448 307655 33554432000 4194304 16246674 140734302877104 140734302859008 13811820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 365713 307655 838 2943 0 362607 0
[pid=17220/tid=17224] ppid=17214 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 1497960448 307655 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 1497960448 307655 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 1497960448 307655 33554432000 4194304 16246674 140734302877104 139912777030832 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) 1462852

[startup+25.5005 s]
/proc/loadavg: 1.89 2.07 2.16 4/183 17228
/proc/meminfo: memFree=26507316/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2121284 CPUtime=25.49 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 453573 0 0 0 2486 63 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 140734302859008 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 530321 472270 844 2943 0 527215 0
[pid=17220/tid=17224] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2121284

[startup+51.1004 s]
/proc/loadavg: 2.15 2.11 2.17 5/183 17229
/proc/meminfo: memFree=26507924/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2121284 CPUtime=51.08 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 453573 0 0 0 5045 63 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 140734302859008 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 530321 472270 844 2943 0 527215 0
[pid=17220/tid=17224] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2121284

[startup+102.3 s]
/proc/loadavg: 2.22 2.14 2.17 5/183 17230
/proc/meminfo: memFree=26507064/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2121284 CPUtime=102.28 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 453573 0 0 0 10165 63 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 140734302859008 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 530321 472270 844 2943 0 527215 0
[pid=17220/tid=17224] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2121284 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2172194816 472270 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2121284


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

/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2385476

[startup+1362.3 s]
/proc/loadavg: 2.35 2.30 2.24 5/183 17261
/proc/meminfo: memFree=25976064/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1362.08 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 136135 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 6132605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2385476

[startup+1422.3 s]
/proc/loadavg: 2.25 2.28 2.24 4/183 17262
/proc/meminfo: memFree=25975844/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1422.08 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 142135 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 13774072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2385476

[startup+1482.3 s]
/proc/loadavg: 2.27 2.28 2.24 4/183 17263
/proc/meminfo: memFree=25976060/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1482.06 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 148133 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 13774200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2385476

[startup+1542.31 s]
/proc/loadavg: 2.29 2.29 2.25 5/183 17264
/proc/meminfo: memFree=25975964/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1542.06 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 154133 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2385476

[startup+1602.3 s]
/proc/loadavg: 2.34 2.30 2.25 4/183 17266
/proc/meminfo: memFree=25975992/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1602.04 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 160131 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 6132663 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2385476

[startup+1662.3 s]
/proc/loadavg: 2.30 2.30 2.25 4/183 17267
/proc/meminfo: memFree=25975896/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1662.03 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 166130 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 13809224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2385476

[startup+1722.3 s]
/proc/loadavg: 2.23 2.27 2.25 4/183 17268
/proc/meminfo: memFree=25975920/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1722.03 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 172130 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 13807608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2385476

[startup+1782.3 s]
/proc/loadavg: 2.18 2.25 2.24 5/184 17272
/proc/meminfo: memFree=25975488/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1782.02 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 178129 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 13774229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2385476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.28 2.27 2.24 4/184 17272
/proc/meminfo: memFree=25975708/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=2385476 CPUtime=1800.01 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) R 17214 17220 15832 0 -1 4202496 519621 0 0 0 179928 73 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 140734302859008 13809344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 596369 538318 844 2943 0 593263 0
[pid=17220/tid=17224] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) S 17214 17220 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912873487600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17220/tid=17225] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17225/stat : 17225 (toysat) S 17214 17220 15832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912787504368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17220/tid=17226] ppid=17214 vsize=2385476 CPUtime=0 cores=1,3,5,7
/proc/17220/task/17226/stat : 17226 (toysat) S 17214 17220 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12952324 2442727424 538318 33554432000 4194304 16246674 140734302877104 139912777030832 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) 2385476

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

[startup+1800.4 s]
/proc/loadavg: 2.28 2.27 2.24 4/184 17272
/proc/meminfo: memFree=25975708/32872528 swapFree=1497568/1644736
[pid=17220] ppid=17214 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/17220/stat : 17220 (toysat) Z 17214 17220 15832 0 -1 4203532 519621 0 0 0 179929 83 0 0 20 0 2 0 12952324 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17220/statm: 0 0 0 0 0 0 0
[pid=17220/tid=17224] ppid=17214 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/17220/task/17224/stat : 17224 (toysat) R 17214 17220 15832 0 -1 4203588 8 0 0 0 0 8 0 0 20 0 2 0 12952324 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.14
CPU user time (s): 1799.29
CPU system time (s): 0.847871
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 2385476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.847871
maximum resident set size= 2153272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519621
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= 41
involuntary context switches= 1881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48632 second user time and 7.01693 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-16 22:30:55
IDJOB=4093236
IDBENCH=79575
IDSOLVER=2553
FILE ID=node124/4093236-1466109054
RUNJOBID= node124-1466109054-17192
PBS_JOBID= 19904063
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 90857ecb9aeacb8642741d0114c4e950
RANDOM SEED=1877149024

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.54
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.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30287096 kB
Buffers:           39792 kB
Cached:           190780 kB
SwapCached:         2436 kB
Active:           151776 kB
Inactive:          81816 kB
Active(anon):       3692 kB
Inactive(anon):     1976 kB
Active(file):     148084 kB
Inactive(file):    79840 kB
Unevictable:     1644736 kB
Mlocked:         1497568 kB
SwapTotal:      67108856 kB
SwapFree:       67099416 kB
Dirty:             82356 kB
Writeback:             0 kB
AnonPages:       1649204 kB
Mapped:             6996 kB
Shmem:                 0 kB
Slab:             571628 kB
SReclaimable:      15844 kB
SUnreclaim:       555784 kB
KernelStack:        1408 kB
PageTables:         7332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1739948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71640 MiB
End job on node124 at 2016-06-16 23:00:56