Trace number 4119185

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.43

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.lin.opb
MD5SUM050c674f48d046e34b125d0982980823
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-83949
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables52575
Total number of constraints105030
Number of constraints which are clauses52515
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints52515
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 52575
Biggest coefficient in the objective function 13565
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6490280
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 13565
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 6490280
Number of bits of the biggest sum of numbers23
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-30T01:49:52+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","--pb","--search=bcd2","HOME/instance-4119185-1467244192.opb"]
0.00/0.01	c use --random-gen="1532032740 3760518419 2836431994 2152624431 2744515203 2384009017 4060937961 2747734249 1016567565 3145945506 1218190504 4047552230 2705058991 3655108916 1257853702 1321452326 860067302 184150941 1170280483 3884587503 1295639374 2422823238 521295 3656257336 1489021370 784646663 3697100676 1584565838 1699754061 2577160866 4158134902 2551677851 705716311 1209029291 3114948983 3561425708 4137976810 2562071402 3753867072 3110571610 347365559 1147873239 4150593537 3431501406 3960770331 3873893328 2390338901 1749678418 2580670077 2464476559 842375526 3928312910 3885670389 1135591922 3978154642 2482850646 1970766466 3334949339 2598095717 571165707 491750256 3685173425 48403647 2084693563 3941241802 2796321478 1158896728 2156712480 3995524095 3389647074 1075673877 1113464899 3988647933 3184222590 3765076717 102501719 294516750 2180372634 1710885071 1200165895 1709425748 2699025727 4056676128 3628682447 3760585177 498752843 1331571398 4011829663 2743465781 557854028 3536703539 3290803953 261388693 3152666634 1970955311 2116273763 602108138 1747732611 1428254584 505289233 2435753591 3028365425 2986891099 1267540212 640277623 1036355444 2332132063 3617065257 689472401 1170026881 3862203993 3476371493 2513066966 1386640927 1133518624 2005338904 204408923 2013923236 2545276569 3949276381 2117731348 2894416652 2115124614 1788451640 4100132213 2689287073 2675488484 530220190 3792480206 4241313959 104185527 331822268 1316884630 2834769388 3132511940 1032553727 1063823326 3591552663 3156558220 4110646900 2002715343 1274684425 2056891567 821988428 3125350621 4106835169 2325221579 1150272960 3667941976 1650214705 3664478435 3119939863 3661850387 2473834611 1876170238 673539367 1949264653 1147586709 1473091806 1181525726 3987481699 237373724 1509047810 154533990 3922883750 1770990517 4023540532 2825810882 2292254935 1009692838 3785244390 3082435766 489540598 3704810729 3746259939 4282897620 3505691681 3880920110 1037921098 685095010 2990649340 1329582645 234302234 1857516832 2020712726 4222699791 1296720885 1256540254 833500261 3907276567 3534077522 1377270801 977613750 962320679 3443408267 3960044740 3256551142 1302748132 110870848 1683979924 3010973620 232968093 440642742 3467067297 421562088 3738964683 1132204974 2256643038 1713401223 270982254 2896635505 1795383531 1564280514 1418518955 4206471863 528425424 128510499 3930503192 3440946757 1230956435 3831291853 1485822817 1817260677 4274482688 3488314010 3830199009 155219545 4098380132 1214694924 266866133 1296958865 948818349 3273431092 1845791488 2031812915 3184875501 2660232986 680484524 1442533739 2744913389 3288036138 1610313504 665727792 384111611 2987152272 3108515125 3562471426 1129721231 3196190709 962593256 3044826437 3283535614 1338425554 2354521421 2907991178 3280403167 255 362436" option to reproduce the execution
0.99/1.02	c #vars 52575
0.99/1.02	c #constraints 105030
3.09/3.14	c BCD2: Hardening is enabled.
3.09/3.14	c BCD2: BiasedSearch is enabled.
3.09/3.14	c Solving starts ...
3.09/3.14	c ============================[ Search Statistics ]============================
3.09/3.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.14	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.14	c =============================================================================
3.09/3.15	c  0.0s |       0 |        0 |        0 |    52535      0 |        0 |        0
3.69/3.72	c  0.6s |       0 |       57 |        0 |    52535      0 |        0 |        0
3.69/3.72	c #cpu_time = 0.532s
3.69/3.72	c #wall_clock_time = 0.532s
3.69/3.72	c #decision = 57
3.69/3.72	c #random_decision = 1
3.69/3.72	c #conflict = 0
3.69/3.72	c #restart = 0
3.69/3.73	o 0

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-4119185-1467244192/watcher-4119185-1467244192 -o /tmp/evaluation-result-4119185-1467244192/solver-4119185-1467244192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3683 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119185-1467244192.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.31 2.27 3/178 6427
/proc/meminfo: memFree=25516488/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 2801 0 0 0 0 0 0 0 20 0 4 0 3445246 766963712 2651 33554432000 4194304 16246674 140735653720592 140735653720016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 188015 2660 441 2943 0 184909 0
[pid=6427/tid=6428] ppid=6424 vsize=766396 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 784789504 2719 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=771516 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 790032384 2736 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3445246 794226688 2754 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.31 2.31 2.27 3/178 6427
/proc/meminfo: memFree=25516488/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 28991 0 0 0 5 3 0 0 20 0 4 0 3445246 1332285440 28780 33554432000 4194304 16246674 140735653720592 140735653719904 8057278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 325265 28795 799 2943 0 322159 0
[pid=6427/tid=6428] ppid=6424 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1332285440 28806 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1332285440 28816 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1332285440 28830 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200473 s]
/proc/loadavg: 2.31 2.31 2.27 3/178 6427
/proc/meminfo: memFree=25516488/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 47210 0 0 0 12 6 0 0 20 0 4 0 3445246 1343819776 47509 33554432000 4194304 16246674 140735653720592 140735653719904 7440740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 328081 47509 800 2943 0 324975 0
[pid=6427/tid=6428] ppid=6424 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1343819776 47509 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1343819776 47509 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1343819776 47509 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300471 s]
/proc/loadavg: 2.31 2.31 2.27 3/178 6427
/proc/meminfo: memFree=25516488/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 64096 0 0 0 20 8 0 0 20 0 4 0 3445246 1344868352 64395 33554432000 4194304 16246674 140735653720592 140735653703584 7367789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 328337 64395 800 2943 0 325231 0
[pid=6427/tid=6428] ppid=6424 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1344868352 64395 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1344868352 64395 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1344868352 64395 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70047 s]
/proc/loadavg: 2.31 2.31 2.27 3/178 6427
/proc/meminfo: memFree=25516488/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 76319 0 0 0 58 10 0 0 20 0 4 0 3445246 1344868352 76618 33554432000 4194304 16246674 140735653720592 140735653703584 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 328337 76618 800 2943 0 325231 0
[pid=6427/tid=6428] ppid=6424 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1344868352 76618 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1344868352 76618 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1344868352 76618 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.31 2.31 2.27 3/182 6431
/proc/meminfo: memFree=25178964/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1321540 CPUtime=1.49 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 130435 0 0 0 132 17 0 0 20 0 4 0 3445246 1353256960 130734 33554432000 4194304 16246674 140735653720592 140735653702464 13193738 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 330385 130742 836 2943 0 327279 0
[pid=6427/tid=6428] ppid=6424 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1353256960 130747 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1353256960 130753 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1353256960 130758 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1321540

[startup+3.10045 s]
/proc/loadavg: 2.31 2.31 2.27 3/182 6431
/proc/meminfo: memFree=24492748/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1342020 CPUtime=3.09 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 276071 0 0 0 271 38 0 0 20 0 4 0 3445246 1374228480 276370 33554432000 4194304 16246674 140735653720592 140735653702464 13932478 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 335505 276370 838 2943 0 332399 0
[pid=6427/tid=6428] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276370 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276370 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276370 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1342020

[startup+6.30046 s]
/proc/loadavg: 2.28 2.31 2.27 3/183 6432
/proc/meminfo: memFree=24410916/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1342020 CPUtime=6.29 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 276184 0 0 0 591 38 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140735653702464 12449296 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 335505 276483 890 2943 0 332399 0
[pid=6427/tid=6428] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1342020

[startup+12.7004 s]
/proc/loadavg: 2.26 2.30 2.27 3/184 6435
/proc/meminfo: memFree=24410936/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1342020 CPUtime=12.69 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 276184 0 0 0 1231 38 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140735653702464 12655167 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 335505 276483 890 2943 0 332399 0
[pid=6427/tid=6428] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1342020

[startup+25.5005 s]
/proc/loadavg: 2.36 2.32 2.27 4/184 6435
/proc/meminfo: memFree=24411392/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1342020 CPUtime=25.49 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 276184 0 0 0 2511 38 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140735653702464 12429241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 335505 276483 890 2943 0 332399 0
[pid=6427/tid=6428] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1342020

[startup+51.1005 s]
/proc/loadavg: 2.32 2.31 2.27 4/184 6435
/proc/meminfo: memFree=24411744/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1342020 CPUtime=51.09 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 276184 0 0 0 5071 38 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140735653702464 12652957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 335505 276483 890 2943 0 332399 0
[pid=6427/tid=6428] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1342020

[startup+102.301 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 6436
/proc/meminfo: memFree=24411456/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1342020 CPUtime=102.28 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 276184 0 0 0 10190 38 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140735653702464 12429091 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 335505 276483 890 2943 0 332399 0
[pid=6427/tid=6428] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1342020


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

/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1342020

[startup+1302.3 s]
/proc/loadavg: 1.43 1.94 2.14 2/173 6518
/proc/meminfo: memFree=27368792/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1342020 CPUtime=1302.08 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 276205 0 0 0 130169 39 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140735653718400 12656213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 335505 276483 890 2943 0 332399 0
[pid=6427/tid=6428] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1374228480 276483 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 1.40 1.84 2.09 2/173 6519
/proc/meminfo: memFree=27302288/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1408580 CPUtime=1362.07 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 292850 0 0 0 136166 41 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140735653718400 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 352145 293123 890 2943 0 349039 0
[pid=6427/tid=6428] ppid=6424 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1408580

[startup+1422.3 s]
/proc/loadavg: 1.24 1.71 2.03 2/173 6520
/proc/meminfo: memFree=27302236/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1408580 CPUtime=1422.06 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 292857 0 0 0 142165 41 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140735653702464 12449441 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6427/statm: 352145 293123 890 2943 0 349039 0
[pid=6427/tid=6428] ppid=6424 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1442385920 293123 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1408580

[startup+1482.3 s]
/proc/loadavg: 1.23 1.63 1.98 2/173 6521
/proc/meminfo: memFree=27203940/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1506884 CPUtime=1482.04 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 317435 0 0 0 148160 44 0 0 20 0 4 0 3445246 1543049216 317701 33554432000 4194304 16246674 140735653720592 140735653702464 4220880 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6427/statm: 376721 317701 891 2943 0 373615 0
[pid=6427/tid=6428] ppid=6424 vsize=1506884 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1543049216 317701 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1506884 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1543049216 317701 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1506884 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1543049216 317701 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1506884

[startup+1542.31 s]
/proc/loadavg: 1.17 1.54 1.92 2/173 6523
/proc/meminfo: memFree=27199180/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1512004 CPUtime=1542.03 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 318720 0 0 0 154159 44 0 0 20 0 4 0 3445246 1548292096 318981 33554432000 4194304 16246674 140735653720592 140735653718400 4206607 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6427/statm: 378001 318981 891 2943 0 374895 0
[pid=6427/tid=6428] ppid=6424 vsize=1512004 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1548292096 318981 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1512004 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1548292096 318981 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1512004 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1548292096 318981 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1512004

[startup+1602.3 s]
/proc/loadavg: 1.11 1.45 1.87 3/172 6524
/proc/meminfo: memFree=27148852/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1563204 CPUtime=1602.01 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 331522 0 0 0 160155 46 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140735653718400 4208388 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6427/statm: 390801 331781 891 2943 0 387695 0
[pid=6427/tid=6428] ppid=6424 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1563204

[startup+1662.3 s]
/proc/loadavg: 1.31 1.44 1.84 2/173 6526
/proc/meminfo: memFree=27147300/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1563204 CPUtime=1662 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 331523 0 0 0 166154 46 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140735653718400 12654383 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6427/statm: 390801 331781 891 2943 0 387695 0
[pid=6427/tid=6428] ppid=6424 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1563204 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1600720896 331781 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1563204

[startup+1722.3 s]
/proc/loadavg: 1.28 1.41 1.80 2/173 6527
/proc/meminfo: memFree=27126152/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1584708 CPUtime=1721.99 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 336901 0 0 0 172152 47 0 0 20 0 4 0 3445246 1622740992 337157 33554432000 4194304 16246674 140735653720592 140735653702464 12654401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6427/statm: 396177 337157 891 2943 0 393071 0
[pid=6427/tid=6428] ppid=6424 vsize=1584708 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1622740992 337157 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1584708 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1622740992 337157 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1584708 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1622740992 337157 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1584708

[startup+1782.3 s]
/proc/loadavg: 1.34 1.40 1.77 2/173 6528
/proc/meminfo: memFree=27109196/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1601092 CPUtime=1781.98 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 340999 0 0 0 178150 48 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140735653702464 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6427/statm: 400273 341253 891 2943 0 397167 0
[pid=6427/tid=6428] ppid=6424 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1601092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.33 1.40 1.77 3/173 6529
/proc/meminfo: memFree=27109168/32872528 swapFree=1631852/1795372
[pid=6427] ppid=6424 vsize=1601092 CPUtime=1800.08 cores=0,2,4,6
/proc/6427/stat : 6427 (toysat) R 6424 6427 1867 0 -1 4202496 340999 0 0 0 179960 48 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140735653718400 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6427/statm: 400273 341253 891 2943 0 397167 0
[pid=6427/tid=6428] ppid=6424 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6428/stat : 6428 (toysat) S 6424 6427 1867 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140512884403440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6427/tid=6429] ppid=6424 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6429/stat : 6429 (toysat) S 6424 6427 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140512873913584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6427/tid=6430] ppid=6424 vsize=1601092 CPUtime=0 cores=0,2,4,6
/proc/6427/task/6430/stat : 6430 (toysat) S 6424 6427 1867 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3445246 1639518208 341253 33554432000 4194304 16246674 140735653720592 140512863440048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1601092

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.11
CPU user time (s): 1799.61
CPU system time (s): 0.506922
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1601092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.506922
maximum resident set size= 1365012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340999
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= 725
involuntary context switches= 2424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20521 second user time and 7.74982 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-30 01:49:52
IDJOB=4119185
IDBENCH=111669
IDSOLVER=2542
FILE ID=node123/4119185-1467244192
RUNJOBID= node123-1467215373-3683
PBS_JOBID= 19997595
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-60.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119185-1467244192/watcher-4119185-1467244192 -o /tmp/evaluation-result-4119185-1467244192/solver-4119185-1467244192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3683 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119185-1467244192.opb

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

MD5SUM BENCH= 050c674f48d046e34b125d0982980823
RANDOM SEED=1189720607

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.387
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:        25517016 kB
Buffers:          114080 kB
Cached:          1787192 kB
SwapCached:            0 kB
Active:          3099588 kB
Inactive:        1742452 kB
Active(anon):    2943060 kB
Inactive(anon):        0 kB
Active(file):     156528 kB
Inactive(file):  1742452 kB
Unevictable:     1795372 kB
Mlocked:         1631852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20984 kB
Writeback:             0 kB
AnonPages:       4852088 kB
Mapped:            17696 kB
Shmem:               204 kB
Slab:             579784 kB
SReclaimable:      24316 kB
SUnreclaim:       555468 kB
KernelStack:        1512 kB
PageTables:        13376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4870280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    907264 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= 71712 MiB
End job on node123 at 2016-06-30 02:19:53