Trace number 4093224

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.31

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
scens/normalized-scen06-16_wcsp.wbo
MD5SUMee2a7941708829c599959db851b73ff3
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2410
Total number of constraints293522
Number of soft constraints293422
Number of constraints which are clauses293422
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint28
Top cost 255194
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 54015430
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T22:29:00+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093224-1466108939.wbo"]
0.00/0.01	c use --random-gen="9402873 3300566109 4135120438 741135449 747270688 141870521 3139097312 2461294248 2078763713 3616074679 1280082014 1873627738 3700821235 510537157 1960311196 1833197936 1713697117 2492937982 832908396 1980389419 2861446992 2839403841 3584542092 1899681844 2621099553 3385258828 1290277113 3162835715 2417914369 619581529 4075008913 4000777902 287281681 2932788554 3346108687 3206913072 3856753985 3172921340 2352969249 1042554490 1408114016 3875610169 1821424904 4008926265 1023552304 1359450641 1104221031 4009565639 2603059715 626322678 3490003030 92783919 913052437 1533113230 2567883263 1705229758 984247559 2303333668 3753419938 3841481088 3425341068 2230817115 4118345772 4275058721 3916379541 2336713731 2051912569 3929435499 1502759521 4048797900 607777317 3104209912 1915027989 3167603920 408983557 1937540236 3660367601 2151879098 544952551 1514208980 3166837149 4111795763 3078527279 1303942653 3763519535 3676110760 2053523847 1021332878 1794975727 3449426985 174422707 19796527 2670242306 3926107316 1831320070 3327023129 1175998739 3975369560 221598526 2117735719 226490173 945938925 3388096499 3044564069 1249512931 1371692554 2936997988 1461141441 2755473822 272118595 806933442 2672259460 149425098 4070881916 2000001084 1381404245 3317611626 3250349481 2893226534 2545128865 1191826446 1137167276 1193590934 2150199299 1920284843 2024162519 2513465424 3739893988 1728165368 3681570770 1446217926 3228296179 1882713760 4223022715 1358399816 3422716040 2253973665 1063219875 2605271128 660334239 3631082413 692521013 1545407746 1258065593 554546974 3375684798 527976735 4083937409 696185406 3518448793 2210729746 328394512 352602065 1972686357 2606218722 3015570721 1930088853 2578580846 388235951 425156324 1071634978 1821809541 3071369064 3863523657 1844494082 2498355030 2402901748 655983387 419635327 2655792915 4212807776 1478312527 4032222381 1658798644 720398875 3248960159 2278232389 1896955234 4125172032 3345388016 2404530616 109795046 1027390346 139629275 2747738207 1767120947 951779137 984156805 4122478658 1317759743 1481243406 3170844306 3207273368 2490391372 2936935424 156276789 320286480 3139047598 3953694202 2282546374 1019312957 830272348 3069833436 823924948 3732139189 3608299491 4083729970 2713197305 3662523035 2837477484 3732240077 1909287284 3110159417 3423453695 419812421 870769625 616777748 2816933393 1042924972 194164206 1427398695 129812867 195592707 441865211 3864131287 3741439052 1548542856 1962554493 1037239043 926591892 3957017647 143759470 1006643033 2935255793 2604388249 1440428017 3211078902 3337497091 1408940058 413733724 3785989471 1647313490 336940459 195977074 1921391277 4280723843 472729718 869892386 2079863377 3653300584 1077558310 1690461844 1453126453 3053233409 513029656 2097529282 255 362436" option to reproduce the execution

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093224-1466108939/watcher-4093224-1466108939 -o /tmp/evaluation-result-4093224-1466108939/solver-4093224-1466108939 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466108939-31457 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093224-1466108939.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.25 1.51 1.87 3/170 31476
/proc/meminfo: memFree=30416920/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 2608 0 0 0 0 0 0 0 20 0 4 0 12940466 718729216 3481 33554432000 4194304 16246674 140735804899152 140735804898576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 175983 3491 441 2943 0 172877 0
[pid=31476/tid=31477] ppid=31473 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 736555008 3551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 740749312 3568 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12940466 744943616 3584 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 1.25 1.51 1.87 3/170 31476
/proc/meminfo: memFree=30416920/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 25670 0 0 0 6 3 0 0 20 0 4 0 12940466 1333334016 26483 33554432000 4194304 16246674 140735804899152 140735804898464 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 325521 26499 801 2943 0 322415 0
[pid=31476/tid=31477] ppid=31473 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1333334016 26510 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1333334016 26521 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1333334016 26531 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200553 s]
/proc/loadavg: 1.25 1.51 1.87 3/170 31476
/proc/meminfo: memFree=30416920/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 48885 0 0 0 12 7 0 0 20 0 4 0 12940466 1344868352 50208 33554432000 4194304 16246674 140735804899152 140735804898464 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 328337 50216 801 2943 0 325231 0
[pid=31476/tid=31477] ppid=31473 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1344868352 50221 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1344868352 50225 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1344868352 50228 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300504 s]
/proc/loadavg: 1.25 1.51 1.87 3/170 31476
/proc/meminfo: memFree=30416920/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 60470 0 0 0 21 8 0 0 20 0 4 0 12940466 1345916928 61793 33554432000 4194304 16246674 140735804899152 140735804898464 4220517 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 328593 61793 801 2943 0 325487 0
[pid=31476/tid=31477] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 61793 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 61793 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 61793 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700423 s]
/proc/loadavg: 1.25 1.51 1.87 3/170 31476
/proc/meminfo: memFree=30416920/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 70137 0 0 0 59 10 0 0 20 0 4 0 12940466 1345916928 71460 33554432000 4194304 16246674 140735804899152 140735804898464 7401393 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 328593 71460 802 2943 0 325487 0
[pid=31476/tid=31477] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 71460 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 71460 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 71460 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 1.25 1.51 1.87 3/183 31493
/proc/meminfo: memFree=29731404/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 92692 0 0 0 136 13 0 0 20 0 4 0 12940466 1345916928 94015 33554432000 4194304 16246674 140735804899152 140735804896960 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 328593 94015 803 2943 0 325487 0
[pid=31476/tid=31477] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 94015 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 94015 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 94015 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10044 s]
/proc/loadavg: 1.31 1.52 1.87 3/183 31493
/proc/meminfo: memFree=29544040/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1314372 CPUtime=3.08 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 108105 0 0 0 294 14 0 0 20 0 4 0 12940466 1345916928 109428 33554432000 4194304 16246674 140735804899152 140735804898328 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 328593 109428 835 2943 0 325487 0
[pid=31476/tid=31477] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 109428 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 109428 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1345916928 109428 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1314372

[startup+6.30043 s]
/proc/loadavg: 1.31 1.52 1.87 4/183 31493
/proc/meminfo: memFree=28089404/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1397316 CPUtime=6.28 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 289947 0 0 0 588 40 0 0 20 0 4 0 12940466 1430851584 291270 33554432000 4194304 16246674 140735804899152 140735804881024 4225151 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 349329 291270 838 2943 0 346223 0
[pid=31476/tid=31477] ppid=31473 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1430851584 291270 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1430851584 291270 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1430851584 291270 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1397316

[startup+12.7004 s]
/proc/loadavg: 1.41 1.53 1.87 3/183 31493
/proc/meminfo: memFree=27911024/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=12.68 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312225 0 0 0 1225 43 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140735804881024 13807582 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313548 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1486404

[startup+25.5005 s]
/proc/loadavg: 1.50 1.55 1.87 4/183 31493
/proc/meminfo: memFree=27911780/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=25.48 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312225 0 0 0 2505 43 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140735804881024 13807508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313548 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313548 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1486404

[startup+51.1005 s]
/proc/loadavg: 1.88 1.63 1.89 3/183 31493
/proc/meminfo: memFree=27911504/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=51.08 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312225 0 0 0 5065 43 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13955806 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 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) 1486404

[startup+102.301 s]
/proc/loadavg: 2.13 1.74 1.91 4/184 31497
/proc/meminfo: memFree=27911696/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=102.27 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312225 0 0 0 10184 43 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 6132521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1486404


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

/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1486404

[startup+1362.3 s]
/proc/loadavg: 2.23 2.22 2.12 3/183 31528
/proc/meminfo: memFree=27908968/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1362.07 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 136163 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804898328 13809400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1486404

[startup+1422.3 s]
/proc/loadavg: 2.17 2.20 2.12 4/183 31529
/proc/meminfo: memFree=27909312/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1422.07 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 142163 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13774084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1486404

[startup+1482.3 s]
/proc/loadavg: 2.24 2.22 2.13 3/183 31530
/proc/meminfo: memFree=27909572/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1482.05 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 148161 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13807453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1486404

[startup+1542.31 s]
/proc/loadavg: 2.27 2.23 2.14 3/183 31532
/proc/meminfo: memFree=27908856/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1542.05 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 154161 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13774084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1486404

[startup+1602.3 s]
/proc/loadavg: 2.26 2.24 2.15 3/183 31533
/proc/meminfo: memFree=27909824/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1602.04 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 160160 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13774084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1486404

[startup+1662.3 s]
/proc/loadavg: 2.19 2.23 2.15 3/183 31534
/proc/meminfo: memFree=27910072/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1662.03 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 166159 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13774084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1486404

[startup+1722.3 s]
/proc/loadavg: 2.13 2.20 2.14 4/183 31535
/proc/meminfo: memFree=27909956/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1722.02 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 172158 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13774084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1486404

[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.14 3/183 31536
/proc/meminfo: memFree=27909344/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1782.01 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 178157 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13807601 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1486404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.21 2.15 3/183 31536
/proc/meminfo: memFree=27909468/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1800 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 179956 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13774216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1486404

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.21 2.15 3/183 31536
/proc/meminfo: memFree=27909468/32872528 swapFree=1370072/1517240
[pid=31476] ppid=31473 vsize=1486404 CPUtime=1800 cores=1,3,5,7
/proc/31476/stat : 31476 (toysat) R 31473 31476 29649 0 -1 4202496 312233 0 0 0 179956 44 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140735804881024 13774216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 371601 313551 844 2943 0 368495 0
[pid=31476/tid=31477] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31477/stat : 31477 (toysat) S 31473 31476 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497116966128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31476/tid=31478] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31478/stat : 31478 (toysat) S 31473 31476 29649 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497037274352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31476/tid=31479] ppid=31473 vsize=1486404 CPUtime=0 cores=1,3,5,7
/proc/31476/task/31479/stat : 31479 (toysat) S 31473 31476 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12940466 1522077696 313551 33554432000 4194304 16246674 140735804899152 140497026800816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1486404

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.57
CPU system time (s): 0.448931
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1486404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.448931
maximum resident set size= 1254204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312233
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= 34
involuntary context switches= 1965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75512 second user time and 8.36773 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-16 22:29:00
IDJOB=4093224
IDBENCH=79569
IDSOLVER=2553
FILE ID=node129/4093224-1466108939
RUNJOBID= node129-1466108939-31457
PBS_JOBID= 19904039
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= ee2a7941708829c599959db851b73ff3
RANDOM SEED=343229683

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30417564 kB
Buffers:           55244 kB
Cached:           175116 kB
SwapCached:          672 kB
Active:           124116 kB
Inactive:         109512 kB
Active(anon):       4680 kB
Inactive(anon):      912 kB
Active(file):     119436 kB
Inactive(file):   108600 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100228 kB
Dirty:             49676 kB
Writeback:             4 kB
AnonPages:       1570892 kB
Mapped:             7080 kB
Shmem:                 0 kB
Slab:             570824 kB
SReclaimable:      15200 kB
SUnreclaim:       555624 kB
KernelStack:        1424 kB
PageTables:         6860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1613208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71688 MiB
End job on node129 at 2016-06-16 22:59:00