Trace number 4093274

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.63 1800.98

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap43_wcsp.wbo
MD5SUM6884eb16d9ca5647137a605a0e2a2e0d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13399398
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 57243026
Min constraint cost 1
Max constraint cost 57243026
Sum of constraints costs 46149905826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T02:30:46+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-4093274-1467246645.wbo"]
0.00/0.01	c use --random-gen="967698171 3405101032 3250405703 3898319907 1733214685 1664243774 2205587319 2348259835 1294217617 124594565 2201125479 2430361829 3184929302 3136214879 4140698525 347287573 3239578597 3943056335 2354664282 652102501 103520233 1192226810 1057446341 1907550524 3845814510 3398719894 3980110035 3546875633 2264323088 1962370929 2950512591 95680793 1728953704 4059914458 703670679 77032807 2157362815 1957342789 2934003808 2335514811 2181801438 1769837555 3034496700 760747514 3735881118 1160443674 3626494699 1413269811 2097095833 3148721321 1579665180 3904343833 2142011037 4024030497 664673192 325741998 2121395282 3024903480 1349356485 3196985802 2322627596 3410828991 3437090631 1758362867 1595530091 3766032990 3912548711 4193677620 3726308904 33588155 347984239 3490361030 1004926273 918085461 3690661382 1338798396 3295237675 3217886856 3726338515 1565427648 1950610299 3322520258 646873778 3543515275 1429621780 2473079791 2777923269 1899889785 3375683420 1260171102 2704099621 455981564 4041137142 2132577050 1835452122 651546876 3336610683 2207496205 1094679738 2126896757 1126257316 984575453 1179145674 812194280 148339189 3957676303 2614542168 1382413513 2498762596 3719795760 952122233 1357246876 1348339594 757000007 4060455718 733227425 3349037527 1805593501 3592880827 1150409327 2578759371 3110631827 2492007190 1981416374 1641273606 4250308184 2847832293 729411569 3501186961 2676993305 1287474785 882845037 4150195047 2662315282 702783360 2197893534 1377028221 2878445428 3376957635 2984035469 860851114 3231547766 2228415130 1458785331 4155778658 705203092 3597879675 3951232627 1225816425 1083992973 721944872 3883456401 658758023 1969571723 2370654453 676570181 844574316 801157781 3358624276 619091682 3247329072 584012091 1108660000 944172948 4025183148 4061474273 3396501470 2343377092 219387335 707404740 1949419608 2753654541 2112426127 727050575 1469694809 2844806647 1770437216 2772045838 1376327704 1420852949 898334160 2092146050 1805839662 1582171773 3689003883 3495684130 3319465866 2071395731 3072655656 1930759273 3025985614 3394481818 600739262 4151926031 2472269814 2715539914 2786275611 2047019342 2091586403 3607218785 1608616479 2700181955 4171463016 2762507028 1369986173 3963762097 2492474779 2262768828 1259937970 1057554852 3979766191 2450333711 1960748598 3887862688 2826629806 2953436040 3270877697 113161342 882436806 1587703869 3292770303 3201789983 19784212 360752181 296196258 2036422718 4247678101 4052577393 2572505858 2546670294 18400215 3855071143 2184778735 801583340 2439216129 4171888019 921565598 3009455627 3811563622 3857745406 598248343 3795501529 1553350203 2215711070 2316836940 3002608730 1519177859 1863291149 2683119723 375179339 954001566 73215818 3570065997 2974702845 4272972344 2832444378 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-4093274-1467246645/watcher-4093274-1467246645 -o /tmp/evaluation-result-4093274-1467246645/solver-4093274-1467246645 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467246645-7751 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093274-1467246645.wbo 

pid=7767
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: 0.33 0.54 0.87 3/171 7770
/proc/meminfo: memFree=28629260/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=543164 CPUtime=0 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 1994 0 0 0 0 0 0 0 20 0 4 0 5621381 556199936 2354 33554432000 4194304 16246674 140733250116592 140733250116016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7770/statm: 136559 2363 441 2943 0 133453 0
[pid=7770/tid=7771] ppid=7767 vsize=560572 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 574025728 2423 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=564668 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 578220032 2438 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=569788 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5621381 583462912 2456 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100216 s]
/proc/loadavg: 0.33 0.54 0.87 3/171 7770
/proc/meminfo: memFree=28629260/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 24054 0 0 0 5 4 0 0 20 0 4 0 5621381 1250496512 24361 33554432000 4194304 16246674 140733250116592 140733250115904 13811552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7770/statm: 305297 24361 843 2943 0 302191 0
[pid=7770/tid=7771] ppid=7767 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1250496512 24361 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1250496512 24361 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1250496512 24361 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200517 s]
/proc/loadavg: 0.33 0.54 0.87 3/171 7770
/proc/meminfo: memFree=28629260/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 24273 0 0 0 15 4 0 0 20 0 4 0 5621381 1250496512 24580 33554432000 4194304 16246674 140733250116592 140733250115904 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7770/statm: 305297 24586 843 2943 0 302191 0
[pid=7770/tid=7771] ppid=7767 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1250496512 24586 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1250496512 24586 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1250496512 24586 33554432000 4194304 16246674 140733250116592 139954250308784 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) 1221188

[startup+0.300493 s]
/proc/loadavg: 0.33 0.54 0.87 3/171 7770
/proc/meminfo: memFree=28629260/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1303108 CPUtime=0.29 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 30674 0 0 0 24 5 0 0 20 0 4 0 5621381 1334382592 30981 33554432000 4194304 16246674 140733250116592 140733250115904 6144966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7770/statm: 325777 30982 843 2943 0 322671 0
[pid=7770/tid=7771] ppid=7767 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1334382592 30983 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1334382592 30983 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1334382592 30985 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700409 s]
/proc/loadavg: 0.33 0.54 0.87 3/171 7770
/proc/meminfo: memFree=28629260/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 38266 0 0 0 63 6 0 0 20 0 4 0 5621381 1338576896 38573 33554432000 4194304 16246674 140733250116592 140733250115904 12459078 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7770/statm: 326801 38573 843 2943 0 323695 0
[pid=7770/tid=7771] ppid=7767 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1338576896 38573 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1338576896 38573 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1338576896 38573 33554432000 4194304 16246674 140733250116592 139954250308784 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) 1307204

[startup+1.50039 s]
/proc/loadavg: 0.33 0.54 0.87 3/184 7787
/proc/meminfo: memFree=28265012/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 45713 0 0 0 142 7 0 0 20 0 4 0 5621381 1338576896 46020 33554432000 4194304 16246674 140733250116592 140733250098496 13955814 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7770/statm: 326801 46020 843 2943 0 323695 0
[pid=7770/tid=7771] ppid=7767 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1338576896 46020 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1338576896 46020 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1338576896 46020 33554432000 4194304 16246674 140733250116592 139954250308784 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) 1307204

[startup+3.10042 s]
/proc/loadavg: 0.33 0.54 0.87 3/184 7787
/proc/meminfo: memFree=28262020/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 49165 0 0 0 302 7 0 0 20 0 4 0 5621381 1340674048 49472 33554432000 4194304 16246674 140733250116592 140733250098496 13809224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7770/statm: 327313 49472 843 2943 0 324207 0
[pid=7770/tid=7771] ppid=7767 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1340674048 49472 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1340674048 49472 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1340674048 49472 33554432000 4194304 16246674 140733250116592 139954250308784 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) 1309252

[startup+6.30038 s]
/proc/loadavg: 0.46 0.57 0.88 3/184 7787
/proc/meminfo: memFree=27931100/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1313348 CPUtime=6.28 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 99221 0 0 0 614 14 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 140733250098496 13807598 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 328337 99528 843 2943 0 325231 0
[pid=7770/tid=7771] ppid=7767 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 0.67 0.61 0.89 3/184 7787
/proc/meminfo: memFree=27835780/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 99221 0 0 0 1254 14 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 140733250098496 13817016 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 328337 99528 843 2943 0 325231 0
[pid=7770/tid=7771] ppid=7767 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1344868352 99528 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 0.96 0.68 0.91 3/183 7787
/proc/meminfo: memFree=27559956/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1317444 CPUtime=25.48 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 133876 0 0 0 2529 19 0 0 20 0 4 0 5621381 1349062656 134183 33554432000 4194304 16246674 140733250116592 140733250098496 13807766 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 329361 134183 843 2943 0 326255 0
[pid=7770/tid=7771] ppid=7767 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1349062656 134183 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1349062656 134183 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1349062656 134183 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 1.44 0.81 0.95 3/183 7787
/proc/meminfo: memFree=26904764/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 217984 0 0 0 5077 31 0 0 20 0 4 0 5621381 1356402688 218291 33554432000 4194304 16246674 140733250116592 140733250114432 13807457 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 331153 218291 843 2943 0 328047 0
[pid=7770/tid=7771] ppid=7767 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1356402688 218291 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1356402688 218291 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1356402688 218291 33554432000 4194304 16246674 140733250116592 139954250308784 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) 1324612

[startup+102.3 s]
/proc/loadavg: 1.82 1.01 1.01 3/183 7788
/proc/meminfo: memFree=26444784/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=1327684 CPUtime=102.27 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 267419 0 0 0 10188 39 0 0 20 0 4 0 5621381 1359548416 273607 33554432000 4194304 16246674 140733250116592 140733250098496 13807758 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 331921 273607 843 2943 0 328815 0
[pid=7770/tid=7771] ppid=7767 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 1359548416 273607 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 1359548416 273607 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 1359548416 273607 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684


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

[pid=7770] ppid=7767 vsize=13524548 CPUtime=1362.02 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316718 0 0 0 135639 563 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 140733250115768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322829 845 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 13524548

[startup+1422.3 s]
/proc/loadavg: 2.48 2.30 1.94 3/183 7820
/proc/meminfo: memFree=3155620/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1422.02 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316718 0 0 0 141633 569 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 140733250115768 13774200 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322829 845 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322829 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 13524548

[startup+1482.3 s]
/proc/loadavg: 2.44 2.32 1.97 4/183 7821
/proc/meminfo: memFree=3156016/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1482 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316722 0 0 0 147628 572 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 140733250115768 13774056 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322833 849 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 13524548

[startup+1542.31 s]
/proc/loadavg: 2.49 2.35 2.00 3/184 7823
/proc/meminfo: memFree=3155916/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1542.01 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316722 0 0 0 153623 578 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 140733250115768 13807435 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322833 849 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 13524548

[startup+1602.3 s]
/proc/loadavg: 2.41 2.37 2.03 3/183 7823
/proc/meminfo: memFree=3155952/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1601.99 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316722 0 0 0 159617 582 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 140733250115768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322833 849 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 13524548

[startup+1662.3 s]
/proc/loadavg: 2.33 2.36 2.04 4/183 7824
/proc/meminfo: memFree=3156100/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1661.98 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316722 0 0 0 165610 588 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 140733250115768 13809305 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322833 849 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 13524548

[startup+1722.3 s]
/proc/loadavg: 2.46 2.38 2.07 3/183 7825
/proc/meminfo: memFree=3156000/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1721.97 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316722 0 0 0 171603 594 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 140733250115688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322833 849 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 13524548

[startup+1782.3 s]
/proc/loadavg: 2.54 2.41 2.09 3/185 7829
/proc/meminfo: memFree=3154996/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1781.96 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316722 0 0 0 177597 599 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 140733250115768 6139196 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322833 849 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 13524548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.59 2.43 2.11 4/184 7829
/proc/meminfo: memFree=3155344/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=13524548 CPUtime=1800.06 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) R 7767 7770 7734 0 -1 4202496 3316722 0 0 0 179406 600 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 140733250115768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 3381137 3322833 849 2943 0 3378031 0
[pid=7770/tid=7771] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) S 7767 7770 7734 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954341522672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7770/tid=7772] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7772/stat : 7772 (toysat) S 7767 7770 7734 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954260782320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7770/tid=7773] ppid=7767 vsize=13524548 CPUtime=0 cores=1,3,5,7
/proc/7770/task/7773/stat : 7773 (toysat) S 7767 7770 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5621381 13849137152 3322833 33554432000 4194304 16246674 140733250116592 139954250308784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13524548

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

[startup+1800.81 s]
/proc/loadavg: 2.59 2.43 2.11 3/180 7829
/proc/meminfo: memFree=17024668/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=0 CPUtime=1800.46 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) Z 7767 7770 7734 0 -1 4203532 3316722 0 0 0 179406 640 0 0 20 0 2 0 5621381 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 0 0 0 0 0 0 0
[pid=7770/tid=7771] ppid=7767 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) R 7767 7770 7734 0 -1 4203588 9 0 0 0 0 39 0 0 20 0 2 0 5621381 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.59 2.43 2.11 3/180 7829
/proc/meminfo: memFree=17024668/32872528 swapFree=1497828/1644996
[pid=7770] ppid=7767 vsize=0 CPUtime=1800.55 cores=1,3,5,7
/proc/7770/stat : 7770 (toysat) Z 7767 7770 7734 0 -1 4203532 3316722 0 0 0 179406 649 0 0 20 0 2 0 5621381 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7770/statm: 0 0 0 0 0 0 0
[pid=7770/tid=7771] ppid=7767 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/7770/task/7771/stat : 7771 (toysat) R 7767 7770 7734 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 5621381 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.98
CPU time (s): 1800.63
CPU user time (s): 1794.07
CPU system time (s): 6.562
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 13524548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 6.562
maximum resident set size= 13291332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3316722
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= 154
involuntary context switches= 3572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5873 second user time and 6.87995 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-30 02:30:46
IDJOB=4093274
IDBENCH=79524
IDSOLVER=2553
FILE ID=node124/4093274-1467246645
RUNJOBID= node124-1467246645-7751
PBS_JOBID= 20004467
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 6884eb16d9ca5647137a605a0e2a2e0d
RANDOM SEED=1949993936

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.062
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		: 2667.062
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		: 2667.062
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:        28629904 kB
Buffers:          165508 kB
Cached:          1672456 kB
SwapCached:            0 kB
Active:           216832 kB
Inactive:        1636760 kB
Active(anon):      18288 kB
Inactive(anon):       44 kB
Active(file):     198544 kB
Inactive(file):  1636716 kB
Unevictable:     1644996 kB
Mlocked:         1497828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32736 kB
Writeback:             0 kB
AnonPages:       1660548 kB
Mapped:            13468 kB
Shmem:               204 kB
Slab:             610524 kB
SReclaimable:      54856 kB
SUnreclaim:       555668 kB
KernelStack:        1392 kB
PageTables:         7708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71692 MiB
End job on node124 at 2016-06-30 03:00:47