Trace number 4079302

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? (MO) 381.357 381.434

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_2.opb
MD5SUM1172ec321506151f46656b695a5e98c9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3947303
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 148877000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 81547827734
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 148877000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 81547827734
Number of bits of the biggest sum of numbers37
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-07T23:46:53+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-4079302-1465336013.opb"]
0.00/0.01	c use --random-gen="3504699011 1171373567 4473970 2319350300 865793671 1252955135 3615853232 2942303271 2526819598 992271512 464634236 1517203408 78632318 539404701 4032915023 29769695 1775245088 402594605 3659551689 1390271016 3614190158 3587207000 2693994338 1265211692 2685068959 2168451136 2008883485 127302213 2559808702 4129138969 231464914 3083245067 3229202656 4293348759 976796253 3239198309 2774932463 1751689291 591217954 1225303332 1253042920 441323363 2868398657 1916215493 4194701962 3966895598 666103417 3986590502 302119958 1506817161 775030668 3891780261 426839241 2634777003 3838428561 3839738735 1932238631 534918846 3706027471 3209212748 2616127273 1384116022 3579171431 1625200909 646142942 384636479 1801985381 853775084 951777384 1142349142 1677180000 2230059718 3862089521 3948908152 4006891770 2725069126 4030770853 3527894847 37505471 1432934937 2074306502 3438375642 887874217 2186334005 3013047985 3909456692 2660119799 1657377622 1100935629 1542723820 1341518893 250770357 2857366741 3431263082 678798525 2635005189 954427845 2382556641 310449872 253381182 1272824743 1269640002 1246693930 3550596390 1386016298 782102992 1892546979 4267523357 3281106318 2803519862 252837175 4146159374 145909002 4268549716 341180374 798503491 3063813718 2893782747 1752246583 737160858 2268232970 1643208694 2739080787 3225708891 3198854538 3905891243 1075540857 351627886 2644309027 1221779263 362677697 1917101446 2503003176 2070642994 1855329634 2077685665 1812355508 3025851257 3807400336 3215405288 1898931571 3176587304 1058532036 3781631824 1836277354 1008258504 3579718893 2814029676 168467337 3341945314 645722532 2364681720 1006756702 2807503360 3611389275 3187181289 257418813 3238438874 607173399 371747756 2799661896 3534780326 2733361450 3915734820 974061773 2489870287 2916713793 714619503 389918540 4165020554 1634620727 2488507244 2608524074 1621339729 2784280754 1930990831 4022775787 3686815727 903007558 1290281671 3264478666 4247588479 2223527149 4198337287 1616635798 2427346202 68350143 3550852708 2352096305 4087602674 1017558443 2838497500 411973041 3566949409 289581478 1502498394 579980542 2793695210 1876265347 794321408 2168627521 298694403 3177039613 4068976480 954949653 340495617 2148564887 4150944989 2661441986 4237747341 222159138 1966434325 2917278287 1754902736 2883746682 3930190717 1464457846 2342034806 911022011 1046365901 1387763286 3231370379 1593194647 612871929 2305655892 1417767959 2615426467 665325060 1270093625 2915955779 3131686283 904633775 1543190145 4126174456 685237099 1447084590 3252523924 3975173511 4026116210 2396040004 978277410 2862354705 900525739 3864969741 3293704131 168208334 2602033027 675135006 3740447880 2294823307 71904707 922368518 2902275137 1371469420 301230930 3602649981 255 362436" option to reproduce the execution
0.09/0.19	c #vars 9940
0.09/0.19	c #constraints 14846
0.59/0.67	c BCD2: Hardening is enabled.
0.59/0.67	c BCD2: BiasedSearch is enabled.
0.59/0.67	c Solving starts ...
0.59/0.67	c ============================[ Search Statistics ]============================
0.59/0.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.67	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.67	c =============================================================================
0.59/0.67	c  0.0s |       0 |        0 |        0 |    11482      0 |      140 |        0
0.89/0.95	c  0.3s |       1 |      151 |      100 |    11482      0 |      140 |        0
2.79/2.83	c  2.2s |       2 |     1308 |      250 |    12631      0 |      140 |        0
4.59/4.66	c  4.0s |       3 |     1666 |      475 |    13895      0 |      140 |        0
6.29/6.33	c  5.7s |       4 |     2062 |      813 |    15285      0 |      140 |        0
9.29/9.35	c  8.7s |       4 |     2356 |     1013 |    16814      0 |      140 |        0
12.39/12.45	c 11.8s |       4 |     2583 |     1213 |    16814      0 |      140 |        0
13.58/13.64	c 13.0s |       5 |     2828 |     1320 |    16814      0 |      140 |        0
16.08/16.15	c 15.5s |       5 |     3242 |     1620 |    18496      0 |      140 |        0
18.79/18.81	c 18.1s |       5 |     3561 |     1920 |    18496      0 |      140 |        0
19.18/19.29	c 18.6s |       6 |     3717 |     2081 |    20346      0 |      140 |        0
21.38/21.45	c 20.8s |       6 |     6010 |     2281 |    20346      0 |      140 |        0
23.49/23.51	c 22.8s |       6 |     7100 |     2881 |    20346      0 |      140 |        0
24.49/24.55	c 23.9s |       7 |     7442 |     3223 |    22381      0 |      140 |        0
27.19/27.29	c 26.6s |       7 |     7970 |     3523 |    22381      0 |      140 |        0
29.49/29.52	c 28.8s |       7 |     8189 |     3723 |    22381      0 |      140 |        0
31.69/31.74	c 31.1s |       7 |     8398 |     3923 |    22381      0 |      140 |        0
34.09/34.11	c 33.4s |       7 |     8609 |     4123 |    22381      0 |      140 |        0
36.18/36.30	c 35.6s |       7 |     9261 |     4723 |    22381      0 |      140 |        0
37.49/37.51	c 36.8s |       8 |     9495 |     4936 |    24620      0 |      140 |        0
39.69/39.75	c 39.1s |       8 |     9799 |     5136 |    24620      0 |      140 |        0
41.68/41.80	c 41.1s |       8 |    10038 |     5336 |    24620      0 |      140 |        0
44.78/44.83	c 44.2s |       8 |    10380 |     5636 |    24620      0 |      140 |        0
47.68/47.73	c 47.1s |       8 |    10702 |     5936 |    24620      0 |      140 |        0
50.18/50.27	c 49.6s |       8 |    11041 |     6236 |    24620      0 |      140 |        0
53.28/53.38	c 52.7s |       8 |    11388 |     6536 |    24620      0 |      140 |        0
55.58/55.68	c 55.0s |       8 |    11643 |     6736 |    24620      0 |      140 |        0
58.78/58.87	c 58.2s |       8 |    12087 |     7036 |    24620      0 |      140 |        0
60.98/61.06	c 60.4s |       8 |    12361 |     7236 |    24620      0 |      140 |        0
62.88/62.98	c 62.3s |       9 |    12653 |     7506 |    27083      0 |      140 |        0
64.89/65.00	c 64.3s |       9 |    12970 |     7706 |    27083      0 |      140 |        0
66.98/67.03	c 66.4s |       9 |    13207 |     7906 |    27083      0 |      140 |        0
69.39/69.49	c 68.8s |       9 |    13435 |     8106 |    27083      0 |      140 |        0
72.28/72.36	c 71.7s |       9 |    13716 |     8306 |    27083      0 |      140 |        0
74.98/75.04	c 74.4s |       9 |    13921 |     8506 |    27083      0 |      140 |        0
77.08/77.17	c 76.5s |       9 |    14160 |     8706 |    27083      0 |      140 |        0
79.38/79.48	c 78.8s |       9 |    14375 |     8906 |    27083      0 |      140 |        0
81.68/81.78	c 81.1s |       9 |    14599 |     9106 |    27083      0 |      140 |        0
83.88/83.98	c 83.3s |       9 |    14807 |     9306 |    27083      0 |      140 |        0
86.17/86.25	c 85.6s |       9 |    15119 |     9506 |    27083      0 |      140 |        0
88.77/88.80	c 88.1s |       9 |    15487 |     9806 |    27083      0 |      140 |        0
90.97/91.00	c 90.3s |       9 |    15724 |    10006 |    27083      0 |      140 |        0
93.07/93.14	c 92.5s |       9 |    16063 |    10206 |    27083      0 |      140 |        0
95.17/95.29	c 94.6s |       9 |    16302 |    10406 |    27083      0 |      140 |        0
98.37/98.46	c 97.8s |       9 |    16670 |    10706 |    27083      0 |      140 |        0
101.18/101.28	c  100s |       9 |    17001 |    11006 |    27083      0 |      140 |        0
104.48/104.53	c  103s |       9 |    17225 |    11206 |    27083      0 |      140 |        0
106.27/106.38	c  105s |      10 |    17458 |    11361 |    29792      0 |      140 |        0
109.28/109.32	c  108s |      10 |    17697 |    11461 |    29792      0 |      140 |        0
114.48/114.55	c  113s |      10 |    17790 |    11561 |    29792      0 |      140 |        0
121.77/121.87	c  121s |      10 |    17912 |    11661 |    29792      0 |      140 |        0
131.27/131.30	c  130s |      10 |    18042 |    11761 |    29792      0 |      140 |        0
141.27/141.32	c  140s |      10 |    18170 |    11861 |    29792      0 |      140 |        0
151.17/151.27	c  150s |      10 |    18288 |    11961 |    29792      0 |      140 |        0
159.96/160.08	c  159s |      10 |    18425 |    12061 |    29792      0 |      140 |        0
168.86/168.99	c  168s |      10 |    18531 |    12161 |    29792      0 |      140 |        0
173.67/173.75	c  173s |      10 |    18630 |    12240 |    29792      0 |      140 |        0
173.67/173.75	c #cpu_time = 172.621s
173.67/173.75	c #wall_clock_time = 173.067s
173.67/173.75	c #decision = 18630
173.67/173.75	c #random_decision = 25
173.67/173.75	c #conflict = 12240
173.67/173.75	c #restart = 10
173.67/173.75	o 329458453
173.77/173.84	c BCD2: updating upper bound: 81547827734 -> 329458522
173.87/173.96	c BCD2: 0 <= obj <= 329458522
173.87/173.96	c BCD2: #cores=0, #unrelaxed=9730, #relaxed=0, #hardened=0
173.87/173.96	c BCD2: #sat=1 #unsat=1 bias=1/2
173.87/173.96	c Solving starts ...
173.87/173.96	c ============================[ Search Statistics ]============================
173.87/173.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
173.87/173.96	c       |         |          |          |    Limit     GC | Var      | Constra 
173.87/173.96	c =============================================================================
173.87/173.96	c  0.0s |       0 |        0 |        0 |    29792      0 |      140 |        0
174.27/174.39	c  0.4s |       0 |     2344 |        0 |    29792      0 |      140 |        0
174.27/174.39	c #cpu_time = 0.427s
174.27/174.39	c #wall_clock_time = 0.429s
174.27/174.39	c #decision = 2344
174.27/174.39	c #random_decision = 0
174.27/174.39	c #conflict = 0
174.27/174.40	c #restart = 0
174.37/174.48	c BCD2: found a new core of size 2345: cost of the new core is >=64
174.37/174.48	c lower bound updated to -6
174.47/174.57	c BCD2: 64 <= obj <= 329458522
174.47/174.57	c BCD2: #cores=1, #unrelaxed=7385, #relaxed=2345, #hardened=0
174.47/174.57	c BCD2: #sat=1 #unsat=2 bias=2/3

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.19 2.18 3/179 21729
/proc/meminfo: memFree=29251080/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 2781 0 0 0 0 0 0 0 20 0 4 0 115534130 761720832 2631 33554432000 4194304 16246674 140735234917184 140735234916608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 186735 2640 441 2943 0 183629 0
[pid=21729/tid=21730] ppid=21726 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 779546624 2700 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 784789504 2717 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115534130 788983808 2735 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.07 2.19 2.18 3/179 21729
/proc/meminfo: memFree=29251080/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 28918 0 0 0 5 4 0 0 20 0 4 0 115534130 1333334016 28706 33554432000 4194304 16246674 140735234917184 140735234916496 7853005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 325521 28723 800 2943 0 322415 0
[pid=21729/tid=21730] ppid=21726 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1333334016 28734 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1333334016 28745 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1333334016 28757 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200541 s]
/proc/loadavg: 2.07 2.19 2.18 3/179 21729
/proc/meminfo: memFree=29251080/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 46919 0 0 0 12 7 0 0 20 0 4 0 115534130 1344868352 47218 33554432000 4194304 16246674 140735234917184 140735234916496 13943729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 328337 47218 837 2943 0 325231 0
[pid=21729/tid=21730] ppid=21726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1344868352 47218 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1344868352 47218 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1344868352 47218 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300501 s]
/proc/loadavg: 2.07 2.19 2.18 3/179 21729
/proc/meminfo: memFree=29251080/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 49882 0 0 0 22 7 0 0 20 0 4 0 115534130 1344868352 50181 33554432000 4194304 16246674 140735234917184 140735234916496 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 328337 50190 839 2943 0 325231 0
[pid=21729/tid=21730] ppid=21726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1344868352 50196 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1344868352 50201 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1344868352 50206 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.07 2.19 2.18 3/179 21729
/proc/meminfo: memFree=29251080/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=0.69 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 92400 0 0 0 56 13 0 0 20 0 4 0 115534130 1359548416 92699 33554432000 4194304 16246674 140735234917184 140735234916496 6843688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 92699 879 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92699 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92699 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92699 33554432000 4194304 16246674 140735234917184 139875587181744 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) 1327684

[startup+1.5004 s]
/proc/loadavg: 2.07 2.19 2.18 3/183 21733
/proc/meminfo: memFree=28882076/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=1.49 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 92411 0 0 0 136 13 0 0 20 0 4 0 115534130 1359548416 92710 33554432000 4194304 16246674 140735234917184 140735234899072 6021684 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 92710 888 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92710 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92710 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92710 33554432000 4194304 16246674 140735234917184 139875587181744 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) 1327684

[startup+3.10043 s]
/proc/loadavg: 2.07 2.19 2.18 3/183 21733
/proc/meminfo: memFree=28881208/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=3.09 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 92413 0 0 0 296 13 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 140735234899072 13906976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 92712 890 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1327684

[startup+6.30042 s]
/proc/loadavg: 2.07 2.19 2.18 4/183 21733
/proc/meminfo: memFree=28881852/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=6.29 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 92413 0 0 0 616 13 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 140735234899072 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 92712 890 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.06 2.18 2.18 3/183 21733
/proc/meminfo: memFree=28881616/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=12.69 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 92413 0 0 0 1256 13 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 140735234899072 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 92712 890 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92712 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.05 2.17 2.18 3/183 21733
/proc/meminfo: memFree=28882112/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=25.49 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 92418 0 0 0 2535 14 0 0 20 0 4 0 115534130 1359548416 92717 33554432000 4194304 16246674 140735234917184 140735234899072 13780628 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 92717 894 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92717 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92717 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 92717 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.03 2.16 2.17 3/183 21733
/proc/meminfo: memFree=28876812/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 93711 0 0 0 5094 14 0 0 20 0 4 0 115534130 1359548416 94010 33554432000 4194304 16246674 140735234917184 140735234899072 12415791 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 94010 894 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 94010 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 94010 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 94010 33554432000 4194304 16246674 140735234917184 139875587181744 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) 1327684

[startup+102.301 s]
/proc/loadavg: 2.01 2.13 2.16 4/183 21734
/proc/meminfo: memFree=28834832/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=102.28 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 97262 0 0 0 10213 15 0 0 20 0 4 0 115534130 1359548416 104460 33554432000 4194304 16246674 140735234917184 140735234899072 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 104460 894 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 104460 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 104460 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 104460 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684

[startup+162.3 s]
/proc/loadavg: 2.20 2.16 2.17 3/183 21735
/proc/meminfo: memFree=28737652/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=1327684 CPUtime=162.26 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 97262 0 0 0 16207 19 0 0 20 0 4 0 115534130 1359548416 128652 33554432000 4194304 16246674 140735234917184 140735234916360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 331921 128652 894 2943 0 328815 0
[pid=21729/tid=21730] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 128652 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 128652 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 1359548416 128652 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1327684

[startup+222.308 s]
/proc/loadavg: 2.16 2.16 2.17 4/184 21740
/proc/meminfo: memFree=23533532/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=5944900 CPUtime=222.26 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 1392068 0 0 0 22038 188 0 0 20 0 4 0 115534130 6087577600 1427490 33554432000 4194304 16246674 140735234917184 140735234916360 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 1486225 1427490 919 2943 0 1483119 0
[pid=21729/tid=21730] ppid=21726 vsize=5944900 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 6087577600 1427490 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=5944900 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 6087577600 1427490 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=5944900 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 6087577600 1427490 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 5944900

[startup+282.3 s]
/proc/loadavg: 2.24 2.18 2.18 3/183 21741
/proc/meminfo: memFree=16865608/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=12599876 CPUtime=282.24 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 3055815 0 0 0 27823 401 0 0 20 0 4 0 115534130 12902273024 3091237 33554432000 4194304 16246674 140735234917184 140735234915136 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 3149969 3091237 919 2943 0 3146863 0
[pid=21729/tid=21730] ppid=21726 vsize=12599876 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 12902273024 3091237 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=12599876 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 12902273024 3091237 33554432000 4194304 16246674 140735234917184 139875597655056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=12599876 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 12902273024 3091237 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12599876

[startup+342.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/183 21742
/proc/meminfo: memFree=16865144/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=12599876 CPUtime=342.23 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 3055819 0 0 0 33820 403 0 0 20 0 4 0 115534130 12902273024 3091241 33554432000 4194304 16246674 140735234917184 140735234915008 14006601 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 3149969 3091241 923 2943 0 3146863 0
[pid=21729/tid=21730] ppid=21726 vsize=12599876 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 12902273024 3091241 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=12599876 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 12902273024 3091241 33554432000 4194304 16246674 140735234917184 139875597655056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=12599876 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 12902273024 3091241 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12599876



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+380.6 s]
/proc/loadavg: 2.26 2.18 2.18 3/184 21754
/proc/meminfo: memFree=13567888/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=15892036 CPUtime=380.53 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) R 21726 21729 19387 0 -1 4202496 3878851 0 0 0 37524 529 0 0 20 0 4 0 115534130 16273444864 3914273 33554432000 4194304 16246674 140735234917184 140735234916280 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 3973009 3914276 923 2943 0 3969903 0
[pid=21729/tid=21730] ppid=21726 vsize=15893060 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21730/stat : 21730 (toysat) S 21726 21729 19387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115534130 16274493440 3914303 33554432000 4194304 16246674 140735234917184 139875608145136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=15893060 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) S 21726 21729 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115534130 16274493440 3914309 33554432000 4194304 16246674 140735234917184 139875597655280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21729/tid=21732] ppid=21726 vsize=15893060 CPUtime=0 cores=1,3,5,7
/proc/21729/task/21732/stat : 21732 (toysat) S 21726 21729 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115534130 16274493440 3914315 33554432000 4194304 16246674 140735234917184 139875587181744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 380.53
Current children cumulated vsize (KiB) 15892036

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

[startup+380.8 s]
/proc/loadavg: 2.26 2.18 2.18 3/184 21754
/proc/meminfo: memFree=13567888/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=0 CPUtime=380.73 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) Z 21726 21729 19387 0 -1 4203532 3879341 0 0 0 37525 548 0 0 20 0 2 0 115534130 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 0 0 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=0 CPUtime=0.17 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) R 21726 21729 19387 0 -1 4203588 8 0 0 0 0 17 0 0 20 0 2 0 115534130 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 380.73
Current children cumulated vsize (KiB) 0

[startup+381.2 s]
/proc/loadavg: 2.26 2.18 2.18 3/184 21754
/proc/meminfo: memFree=13567888/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=0 CPUtime=381.13 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) Z 21726 21729 19387 0 -1 4203532 3879341 0 0 0 37525 588 0 0 20 0 2 0 115534130 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 0 0 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=0 CPUtime=0.57 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) R 21726 21729 19387 0 -1 4203588 8 0 0 0 0 57 0 0 20 0 2 0 115534130 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 381.13
Current children cumulated vsize (KiB) 0

[startup+381.4 s]
/proc/loadavg: 2.26 2.18 2.18 3/184 21754
/proc/meminfo: memFree=13567888/32872528 swapFree=16204/1518544
[pid=21729] ppid=21726 vsize=0 CPUtime=381.33 cores=1,3,5,7
/proc/21729/stat : 21729 (toysat) Z 21726 21729 19387 0 -1 4203532 3879341 0 0 0 37525 608 0 0 20 0 2 0 115534130 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21729/statm: 0 0 0 0 0 0 0
[pid=21729/tid=21731] ppid=21726 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/21729/task/21731/stat : 21731 (toysat) R 21726 21729 19387 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 115534130 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 381.33
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 381.434
CPU time (s): 381.357
CPU user time (s): 375.253
CPU system time (s): 6.10407
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 375.253
system time used= 6.10407
maximum resident set size= 15659052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3879341
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= 87
involuntary context switches= 391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.930858 second user time and 1.50177 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 23:46:53
IDJOB=4079302
IDBENCH=92749
IDSOLVER=2542
FILE ID=node129/4079302-1465336013
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079302-1465336013/watcher-4079302-1465336013 -o /tmp/evaluation-result-4079302-1465336013/solver-4079302-1465336013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079302-1465336013.opb

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

MD5SUM BENCH= 1172ec321506151f46656b695a5e98c9
RANDOM SEED=76507967

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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.715
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.715
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:        29252252 kB
Buffers:           44116 kB
Cached:           199812 kB
SwapCached:         1836 kB
Active:          1222660 kB
Inactive:         140088 kB
Active(anon):    1116128 kB
Inactive(anon):     4524 kB
Active(file):     106532 kB
Inactive(file):   135564 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098824 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       2574456 kB
Mapped:            11840 kB
Shmem:                 0 kB
Slab:             604416 kB
SReclaimable:      48592 kB
SUnreclaim:       555824 kB
KernelStack:        1520 kB
PageTables:         8956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2778524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2445312 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= 71704 MiB
End job on node129 at 2016-06-07 23:53:14