runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3481721-1307577338/watcher-3481721-1307577338 -o /tmp/evaluation-result-3481721-1307577338/solver-3481721-1307577338 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481721-1307577338.opb -seed 1119865551 -budget 1800
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.28 2.08 1.36 2/655 3096
/proc/meminfo: memFree=22680848/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 811 0 0 0 0 0 0 0 22 0 1 0 869332575 15749120 696 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 3 0 0 0
/proc/3096/statm: 3845 696 334 364 0 332 0
[startup+0.108601 s]
/proc/loadavg: 2.28 2.08 1.36 2/655 3096
/proc/meminfo: memFree=22680848/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=94064 CPUtime=0.06 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 2797 0 1 0 4 2 0 0 17 0 1 0 869332575 96321536 2468 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814240000 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/3096/statm: 23516 2468 788 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.200596 s]
/proc/loadavg: 2.28 2.08 1.36 2/655 3096
/proc/meminfo: memFree=22680848/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=119984 CPUtime=0.13 cores=1,3,5,7
/proc/3096/stat : 3096 (python) R 3094 3096 2544 0 -1 4202496 4939 934 1 0 9 4 0 0 17 0 1 0 869332575 122863616 3358 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814238208 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3096/statm: 29996 3358 919 364 0 2445 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 119984
[startup+0.300506 s]
/proc/loadavg: 2.28 2.08 1.36 2/655 3096
/proc/meminfo: memFree=22680848/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 5358 934 1 0 12 5 0 0 16 0 1 0 869332575 126709760 3744 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814236165 0 2147483391 16781312 2 18446744071699215550 0 0 17 3 0 0 0
/proc/3096/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700501 s]
/proc/loadavg: 2.28 2.08 1.36 2/655 3096
/proc/meminfo: memFree=22680848/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=282816 CPUtime=0.42 cores=1,3,5,7
/proc/3096/stat : 3096 (python) R 3094 3096 2544 0 -1 4202496 9385 934 1 0 32 10 0 0 16 0 1 0 869332575 289603584 7104 33554432000 4194304 5683644 140734850783632 18446744073709551615 251817722051 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/3096/statm: 70704 7104 1863 364 0 5594 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282816
[startup+1.5003 s]
/proc/loadavg: 2.28 2.08 1.36 3/659 3104
/proc/meminfo: memFree=22652288/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 9628 934 1 0 33 11 0 0 18 0 2 0 869332575 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 73268 7139 1870 364 0 8155 0
[pid=3102] ppid=3096 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 1 0 869332646 289615872 5614 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260239 0 0 16781312 33554946 16409268733026992388 0 0 17 7 0 0 0
/proc/3102/statm: 70707 5614 349 364 0 5594 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=0.78 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) R 3102 3104 3104 0 -1 4202496 461 0 0 0 78 0 0 0 21 0 1 0 869332646 1904640 207 33554432000 134512640 136139019 4291108928 18446744073709551615 134831190 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3104/statm: 465 207 183 398 0 65 0
[pid=3096/tid=3103] ppid=3094 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 2 0 869332646 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 577760
[startup+3.12103 s]
/proc/loadavg: 2.25 2.08 1.37 3/659 3104
/proc/meminfo: memFree=22646780/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 9628 934 1 0 33 11 0 0 18 0 2 0 869332575 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 73268 7139 1870 364 0 8155 0
[pid=3102] ppid=3096 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 869332646 289615872 5617 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260239 0 0 16781312 33554946 7819575758707196164 0 0 17 7 0 0 0
/proc/3102/statm: 70707 5617 352 364 0 5594 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=2.4 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) R 3102 3104 3104 0 -1 4202496 462 0 0 0 240 0 0 0 25 0 1 0 869332646 1904640 208 33554432000 134512640 136139019 4291108928 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3104/statm: 465 208 183 398 0 65 0
[pid=3096/tid=3103] ppid=3094 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 2 0 869332646 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 577760
[startup+6.30055 s]
/proc/loadavg: 2.23 2.08 1.37 3/659 3104
/proc/meminfo: memFree=22646780/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 9628 934 1 0 33 11 0 0 18 0 2 0 869332575 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 73268 7139 1870 364 0 8155 0
[pid=3102] ppid=3096 vsize=282828 CPUtime=0.01 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 869 0 0 0 0 1 0 0 18 0 1 0 869332646 289615872 5640 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260239 0 0 16781312 33554946 7819582561935393028 0 0 17 7 0 0 0
/proc/3102/statm: 70707 5640 375 364 0 5594 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=5.59 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) R 3102 3104 3104 0 -1 4202496 462 0 0 0 559 0 0 0 25 0 1 0 869332646 1904640 208 33554432000 134512640 136139019 4291108928 18446744073709551615 134875816 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3104/statm: 465 208 183 398 0 65 0
[pid=3096/tid=3103] ppid=3094 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 2 0 869332646 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 577760
[startup+12.7005 s]
/proc/loadavg: 2.21 2.08 1.37 3/659 3104
/proc/meminfo: memFree=22640216/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 9628 934 1 0 33 11 0 0 18 0 2 0 869332575 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 73268 7139 1870 364 0 8155 0
[pid=3102] ppid=3096 vsize=282828 CPUtime=0.04 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 877 0 0 0 2 2 0 0 18 0 1 0 869332646 289615872 5641 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373774 0 0 17 7 0 0 0
/proc/3102/statm: 70707 5641 376 364 0 5594 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=11.98 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) R 3102 3104 3104 0 -1 4202496 463 0 0 0 1198 0 0 0 25 0 1 0 869332646 1904640 209 33554432000 134512640 136139019 4291108928 18446744073709551615 134882880 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3104/statm: 465 209 183 398 0 65 0
[pid=3096/tid=3103] ppid=3094 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 2 0 869332646 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 577760
[startup+25.5003 s]
/proc/loadavg: 2.18 2.08 1.38 3/659 3104
/proc/meminfo: memFree=22617912/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=293072 CPUtime=0.44 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 9628 934 1 0 33 11 0 0 18 0 2 0 869332575 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 73268 7139 1870 364 0 8155 0
[pid=3102] ppid=3096 vsize=282828 CPUtime=0.1 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 882 0 0 0 5 5 0 0 18 0 1 0 869332646 289615872 5641 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373774 0 0 17 7 0 0 0
/proc/3102/statm: 70707 5641 376 364 0 5594 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=24.78 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) R 3102 3104 3104 0 -1 4202496 463 0 0 0 2478 0 0 0 25 0 1 0 869332646 1904640 209 33554432000 134512640 136139019 4291108928 18446744073709551615 134599059 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3104/statm: 465 209 183 398 0 65 0
[pid=3096/tid=3103] ppid=3094 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 2 0 869332646 300105728 7139 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 577760
[startup+51.101 s]
/proc/loadavg: 2.12 2.07 1.39 3/663 3111
/proc/meminfo: memFree=22573736/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=303860 CPUtime=0.46 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 10498 934 1 0 35 11 0 0 19 0 3 0 869332575 311152640 7263 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 75965 7263 1873 364 0 10849 0
[pid=3102] ppid=3096 vsize=293072 CPUtime=0.22 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 1112 0 0 0 11 11 0 0 19 0 2 0 869332646 300105728 5682 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3102/statm: 73268 5682 412 364 0 8155 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=47.23 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) T 3102 3104 3104 0 -1 4202496 464 0 0 0 4723 0 0 0 25 0 1 0 869332646 1904640 210 33554432000 134512640 136139019 4291108928 18446744073709551615 134599038 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/3104/statm: 465 210 183 398 0 65 0
[pid=3102/tid=3108] ppid=3096 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3102/task/3108/stat : 3108 (python) S 3096 3096 2544 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869337370 300105728 5682 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604456555992896 0 0 -1 5 0 0 0
[pid=3109] ppid=3096 vsize=293616 CPUtime=0.03 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3096 3096 2544 0 -1 4202560 969 0 0 0 2 1 0 0 15 0 1 0 869337373 300662784 5760 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260294 0 0 16781312 33554946 1640493875745259520 0 0 17 7 0 0 0
/proc/3109/statm: 73404 5760 374 364 0 8288 0
[pid=3111] ppid=3109 vsize=28460 CPUtime=3.1 cores=1,3,5,7
/proc/3111/stat : 3111 (scip-2.0.1.linu) R 3109 3111 3111 0 -1 4202496 6288 0 0 0 242 68 0 0 25 0 1 0 869337373 29143040 4798 33554432000 4194304 13684479 140737068275168 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3111/statm: 7115 4798 804 2317 0 4793 0
[pid=3096/tid=3103] ppid=3094 vsize=303860 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 3 0 869332646 311152640 7263 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
[pid=3096/tid=3110] ppid=3094 vsize=303860 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3110/stat : 3110 (python) S 3094 3096 2544 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 3 0 869337373 311152640 7263 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 920868
[startup+102.3 s]
/proc/loadavg: 2.09 2.07 1.43 3/663 3113
/proc/meminfo: memFree=22455324/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=303860 CPUtime=0.46 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 10498 934 1 0 35 11 0 0 19 0 3 0 869332575 311152640 7263 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3096/statm: 75965 7263 1873 364 0 10849 0
[pid=3102] ppid=3096 vsize=293072 CPUtime=0.22 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 1112 0 0 0 11 11 0 0 19 0 2 0 869332646 300105728 5682 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/3102/statm: 73268 5682 412 364 0 8155 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=47.23 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) T 3102 3104 3104 0 -1 4202496 464 0 0 0 4723 0 0 0 25 0 1 0 869332646 1904640 210 33554432000 134512640 136139019 4291108928 18446744073709551615 134599038 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/3104/statm: 465 210 183 398 0 65 0
[pid=3102/tid=3108] ppid=3096 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3102/task/3108/stat : 3108 (python) S 3096 3096 2544 0 -1 4202560 40 0 0 0 0 0 0 0 19 0 2 0 869337370 300105728 5682 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604456555992896 0 0 -1 5 0 0 0
[pid=3109] ppid=3096 vsize=293984 CPUtime=0.71 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3096 3096 2544 0 -1 4202560 1191 0 0 0 49 22 0 0 15 0 1 0 869337373 301039616 5864 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260294 0 0 16781312 33554946 2522599666361565184 0 0 17 1 0 0 0
/proc/3109/statm: 73496 5864 376 364 0 8380 0
[pid=3111] ppid=3109 vsize=92036 CPUtime=54.14 cores=1,3,5,7
/proc/3111/stat : 3111 (scip-2.0.1.linu) R 3109 3111 3111 0 -1 4202496 22084 0 0 0 4422 992 0 0 25 0 1 0 869337373 94244864 20594 33554432000 4194304 13684479 140737068275168 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3111/statm: 23009 20594 804 2317 0 20687 0
[pid=3096/tid=3103] ppid=3094 vsize=303860 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 3 0 869332646 311152640 7263 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
[pid=3096/tid=3110] ppid=3094 vsize=303860 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3110/stat : 3110 (python) S 3094 3096 2544 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 3 0 869337373 311152640 7263 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 493.43
Current children cumulated vsize (KiB) 20012420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+489.202 s]
/proc/loadavg: 2.08 2.09 1.64 6/765 3425
/proc/meminfo: memFree=20116356/32950928 swapFree=41528364/67111528
[pid=3096] ppid=3094 vsize=355484 CPUtime=0.63 cores=1,3,5,7
/proc/3096/stat : 3096 (python) S 3094 3096 2544 0 -1 4202496 14878 934 1 0 51 12 0 0 20 0 8 0 869332575 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3096/statm: 88871 7387 1883 364 0 23740 0
[pid=3102] ppid=3096 vsize=293072 CPUtime=0.45 cores=1,3,5,7
/proc/3102/stat : 3102 (python) S 3096 3096 2544 0 -1 4202560 1136 0 0 0 22 23 0 0 18 0 2 0 869332646 300105728 5683 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3102/statm: 73268 5683 413 364 0 8155 0
[pid=3104] ppid=3102 vsize=1860 CPUtime=92.47 cores=1,3,5,7
/proc/3104/stat : 3104 (clasp-1.3.7-x86) T 3102 3104 3104 0 -1 4202496 465 0 0 0 9247 0 0 0 25 0 1 0 869332646 1904640 211 33554432000 134512640 136139019 4291108928 18446744073709551615 134828863 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/3104/statm: 465 211 183 398 0 65 0
[pid=3102/tid=3108] ppid=3096 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/3102/task/3108/stat : 3108 (python) S 3096 3096 2544 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 2 0 869337370 300105728 5683 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604456555992896 0 0 -1 5 0 0 0
[pid=3109] ppid=3096 vsize=294116 CPUtime=0.77 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3096 3096 2544 0 -1 4202560 1361 0 0 0 52 25 0 0 16 0 2 0 869337373 301174784 5897 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/3109/statm: 73529 5897 399 364 0 8413 0
[pid=3111] ppid=3109 vsize=98988 CPUtime=59.32 cores=1,3,5,7
/proc/3111/stat : 3111 (scip-2.0.1.linu) T 3109 3111 3111 0 -1 4202496 23850 0 0 0 4853 1079 0 0 25 0 1 0 869337373 101363712 22360 33554432000 4194304 13684479 140737068275168 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/3111/statm: 24747 22360 804 2317 0 22425 0
[pid=3109/tid=3114] ppid=3096 vsize=294116 CPUtime=0 cores=1,3,5,7
/proc/3109/task/3114/stat : 3114 (python) S 3096 3096 2544 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869343323 301174784 5897 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604468308584512 0 0 -1 1 0 0 0
[pid=3116] ppid=3096 vsize=303644 CPUtime=0.5 cores=1,3,5,7
/proc/3116/stat : 3116 (python) S 3096 3096 2544 0 -1 4202560 1119 0 0 0 25 25 0 0 15 0 2 0 869343325 310931456 5734 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3116/statm: 75911 5734 397 364 0 10792 0
[pid=3120] ppid=3116 vsize=162520 CPUtime=94.59 cores=1,3,5,7
/proc/3120/stat : 3120 (wbo1.4a) T 3116 3120 3120 0 -1 4202496 40370 0 0 0 9329 130 0 0 25 0 1 0 869343326 166420480 40108 33554432000 134512640 135751879 4287422032 18446744073709551615 134609210 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3120/statm: 40630 40108 143 303 0 40325 0
[pid=3116/tid=3199] ppid=3096 vsize=303644 CPUtime=0 cores=1,3,5,7
/proc/3116/task/3199/stat : 3199 (python) S 3096 3096 2544 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869348356 310931456 5734 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604459672203648 0 0 -1 1 0 0 0
[pid=3200] ppid=3096 vsize=314312 CPUtime=0.59 cores=1,3,5,7
/proc/3200/stat : 3200 (python) S 3096 3096 2544 0 -1 4202560 1269 0 0 0 38 21 0 0 16 0 2 0 869348359 321855488 5823 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3200/statm: 78578 5823 398 364 0 13456 0
[pid=3202] ppid=3200 vsize=84928 CPUtime=55.49 cores=1,3,5,7
/proc/3202/stat : 3202 (scip-2.0.1.linu) T 3200 3202 3202 0 -1 4202496 19980 0 0 0 4822 727 0 0 25 0 1 0 869348359 86966272 17846 33554432000 4194304 15243407 140733476257088 18446744073709551615 13228960 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3202/statm: 21232 17846 929 2698 0 18527 0
[pid=3200/tid=3231] ppid=3096 vsize=314312 CPUtime=0 cores=1,3,5,7
/proc/3200/task/3231/stat : 3231 (python) S 3096 3096 2544 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869353910 321855488 5823 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604456555993792 0 0 -1 7 0 0 0
[pid=3232] ppid=3096 vsize=324568 CPUtime=0.23 cores=1,3,5,7
/proc/3232/stat : 3232 (python) S 3096 3096 2544 0 -1 4202560 1112 0 0 0 10 13 0 0 17 0 2 0 869353912 332357632 5845 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/3232/statm: 81142 5845 397 364 0 16017 0
[pid=3234] ppid=3232 vsize=8541436 CPUtime=49.85 cores=1,3,5,7
/proc/3234/stat : 3234 (java) T 3232 3234 3234 0 -1 4202496 114392 0 1 0 4965 20 0 0 18 0 19 0 869353912 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3234/statm: 2135359 88664 2231 9 0 2126100 0
[pid=3234/tid=3235] ppid=3232 vsize=8541436 CPUtime=47.98 cores=1,3,5,7
/proc/3234/task/3235/stat : 3235 (java) T 3232 3234 3234 0 -1 4202560 65814 0 1 0 4788 10 0 0 25 0 19 0 869353913 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 46912505530138 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3234/tid=3236] ppid=3232 vsize=8541436 CPUtime=0.09 cores=1,3,5,7
/proc/3234/task/3236/stat : 3236 (java) T 3232 3234 3234 0 -1 4202560 5302 0 0 0 9 0 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3237] ppid=3232 vsize=8541436 CPUtime=0.07 cores=1,3,5,7
/proc/3234/task/3237/stat : 3237 (java) T 3232 3234 3234 0 -1 4202560 4558 0 0 0 7 0 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3238] ppid=3232 vsize=8541436 CPUtime=0.07 cores=1,3,5,7
/proc/3234/task/3238/stat : 3238 (java) T 3232 3234 3234 0 -1 4202560 3994 0 0 0 7 0 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3234/tid=3239] ppid=3232 vsize=8541436 CPUtime=0.1 cores=1,3,5,7
/proc/3234/task/3239/stat : 3239 (java) T 3232 3234 3234 0 -1 4202560 5138 0 0 0 9 1 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3234/tid=3240] ppid=3232 vsize=8541436 CPUtime=0.08 cores=1,3,5,7
/proc/3234/task/3240/stat : 3240 (java) T 3232 3234 3234 0 -1 4202560 3770 0 0 0 8 0 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3234/tid=3241] ppid=3232 vsize=8541436 CPUtime=0.07 cores=1,3,5,7
/proc/3234/task/3241/stat : 3241 (java) T 3232 3234 3234 0 -1 4202560 4688 0 0 0 7 0 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3242] ppid=3232 vsize=8541436 CPUtime=0.09 cores=1,3,5,7
/proc/3234/task/3242/stat : 3242 (java) T 3232 3234 3234 0 -1 4202560 4865 0 0 0 8 1 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3243] ppid=3232 vsize=8541436 CPUtime=0.07 cores=1,3,5,7
/proc/3234/task/3243/stat : 3243 (java) T 3232 3234 3234 0 -1 4202560 3455 0 0 0 7 0 0 0 15 0 19 0 869353914 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3234/tid=3244] ppid=3232 vsize=8541436 CPUtime=0.01 cores=1,3,5,7
/proc/3234/task/3244/stat : 3244 (java) T 3232 3234 3234 0 -1 4202560 184 0 0 0 1 0 0 0 15 0 19 0 869353915 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3245] ppid=3232 vsize=8541436 CPUtime=0 cores=1,3,5,7
/proc/3234/task/3245/stat : 3245 (java) T 3232 3234 3234 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869353915 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3246] ppid=3232 vsize=8541436 CPUtime=0 cores=1,3,5,7
/proc/3234/task/3246/stat : 3246 (java) T 3232 3234 3234 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869353915 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3234/tid=3247] ppid=3232 vsize=8541436 CPUtime=0 cores=1,3,5,7
/proc/3234/task/3247/stat : 3247 (java) T 3232 3234 3234 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869353917 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3248] ppid=3232 vsize=8541436 CPUtime=0.56 cores=1,3,5,7
/proc/3234/task/3248/stat : 3248 (java) T 3232 3234 3234 0 -1 4202560 6455 0 0 0 56 0 0 0 15 0 19 0 869353917 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3249] ppid=3232 vsize=8541436 CPUtime=0.5 cores=1,3,5,7
/proc/3234/task/3249/stat : 3249 (java) T 3232 3234 3234 0 -1 4202560 4777 0 0 0 50 0 0 0 18 0 19 0 869353917 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3234/tid=3250] ppid=3232 vsize=8541436 CPUtime=0 cores=1,3,5,7
/proc/3234/task/3250/stat : 3250 (java) T 3232 3234 3234 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869353917 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3234/tid=3251] ppid=3232 vsize=8541436 CPUtime=0 cores=1,3,5,7
/proc/3234/task/3251/stat : 3251 (java) T 3232 3234 3234 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869353917 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3234/tid=3252] ppid=3232 vsize=8541436 CPUtime=0 cores=1,3,5,7
/proc/3234/task/3252/stat : 3252 (java) T 3232 3234 3234 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869353925 8746430464 88664 33554432000 1073741824 1073778376 140733607657712 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3232/tid=3311] ppid=3096 vsize=324568 CPUtime=0 cores=1,3,5,7
/proc/3232/task/3311/stat : 3311 (python) S 3096 3096 2544 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869358749 332357632 5845 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604462711187264 0 0 -1 1 0 0 0
[pid=3312] ppid=3096 vsize=334984 CPUtime=0.66 cores=1,3,5,7
/proc/3312/stat : 3312 (python) S 3096 3096 2544 0 -1 4202560 1174 0 0 0 33 33 0 0 19 0 2 0 869358751 343023616 5870 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3312/statm: 83746 5870 397 364 0 18618 0
[pid=3314] ppid=3312 vsize=22460 CPUtime=137.68 cores=1,3,5,7
/proc/3314/stat : 3314 (bsolo_pb10) T 3312 3314 3314 0 -1 4202496 1488 0 0 0 13745 23 0 0 25 0 1 0 869358752 22999040 1214 33554432000 134512640 137138936 4286812416 18446744073709551615 134542295 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/3314/statm: 5615 1214 192 642 0 4971 0
[pid=3312/tid=3392] ppid=3096 vsize=334984 CPUtime=0 cores=1,3,5,7
/proc/3312/task/3392/stat : 3392 (python) S 3096 3096 2544 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869372522 343023616 5870 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554946 18446604457688569728 0 0 -1 7 0 0 0
[pid=3403] ppid=3096 vsize=345240 CPUtime=0 cores=1,3,5,7
/proc/3403/stat : 3403 (python) S 3096 3096 2544 0 -1 4202560 841 0 0 0 0 0 0 0 18 0 1 0 869381482 353525760 5849 33554432000 4194304 5683644 140734850783632 18446744073709551615 251814260294 0 0 16781312 33554946 2109756431933636608 0 0 17 3 0 0 0
/proc/3403/statm: 86310 5849 349 364 0 21179 0
[pid=3406] ppid=3403 vsize=8534808 CPUtime=0.2 cores=1,3,5,7
/proc/3406/stat : 3406 (java) S 3403 3406 3406 0 -1 4202496 6925 0 1 0 18 2 0 0 20 0 19 0 869381482 8739643392 5950 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3406/statm: 2133702 5951 2164 9 0 2124443 0
[pid=3406/tid=3407] ppid=3403 vsize=8534808 CPUtime=0.14 cores=1,3,5,7
/proc/3406/task/3407/stat : 3407 (java) R 3403 3406 3406 0 -1 4202560 3661 0 1 0 13 1 0 0 25 0 19 0 869381483 8739643392 6060 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 46912505122353 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3406/tid=3408] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3408/stat : 3408 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869381483 8739643392 6060 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3409] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3409/stat : 3409 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869381483 8739643392 6063 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3410] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3410/stat : 3410 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869381483 8739643392 6063 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3411] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3411/stat : 3411 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381483 8739643392 6063 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 5 0 0 0
[pid=3406/tid=3412] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3412/stat : 3412 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381483 8739643392 6063 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 5 0 0 0
[pid=3406/tid=3413] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3413/stat : 3413 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381483 8739643392 6064 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 5 0 0 0
[pid=3406/tid=3414] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3414/stat : 3414 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381483 8739643392 6064 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 5 0 0 0
[pid=3406/tid=3415] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3415/stat : 3415 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381483 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 5 0 0 0
[pid=3406/tid=3416] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3416/stat : 3416 (java) S 3403 3406 3406 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869381484 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056704 0 0 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3417] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3417/stat : 3417 (java) S 3403 3406 3406 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869381485 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3418] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3418/stat : 3418 (java) S 3403 3406 3406 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869381485 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3419] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3419/stat : 3419 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381487 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826063793 0 4 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3420] ppid=3403 vsize=8534808 CPUtime=0.02 cores=1,3,5,7
/proc/3406/task/3420/stat : 3420 (java) R 3403 3406 3406 0 -1 4202560 382 0 0 0 2 0 0 0 25 0 19 0 869381487 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826065780 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3406/tid=3421] ppid=3403 vsize=8534808 CPUtime=0.05 cores=1,3,5,7
/proc/3406/task/3421/stat : 3421 (java) R 3403 3406 3406 0 -1 4202560 1642 0 0 0 5 0 0 0 25 0 19 0 869381487 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251814283623 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3406/tid=3422] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3422/stat : 3422 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381487 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056089 0 4 0 16800975 18446604462268337152 0 0 -1 7 0 0 0
[pid=3406/tid=3423] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3423/stat : 3423 (java) S 3403 3406 3406 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869381487 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056704 0 4 0 16800975 18446604462268337152 0 0 -1 5 0 0 0
[pid=3406/tid=3425] ppid=3403 vsize=8534808 CPUtime=0 cores=1,3,5,7
/proc/3406/task/3425/stat : 3425 (java) S 3403 3406 3406 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869381495 8739643392 6065 33554432000 1073741824 1073778376 140737164572816 18446744073709551615 251826056704 0 4 0 16800975 18446604462268337152 0 0 -1 5 0 0 0
[pid=3096/tid=3103] ppid=3094 vsize=355484 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3103/stat : 3103 (python) S 3094 3096 2544 0 -1 4202560 30 934 0 0 0 0 0 0 18 0 8 0 869332646 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
[pid=3096/tid=3110] ppid=3094 vsize=355484 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3110/stat : 3110 (python) S 3094 3096 2544 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 8 0 869337373 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
[pid=3096/tid=3119] ppid=3094 vsize=355484 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3119/stat : 3119 (python) S 3094 3096 2544 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 8 0 869343326 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 1 0 0 0
[pid=3096/tid=3201] ppid=3094 vsize=355484 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3201/stat : 3201 (python) S 3094 3096 2544 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 8 0 869348359 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 7 0 0 0
[pid=3096/tid=3233] ppid=3094 vsize=355484 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3233/stat : 3233 (python) S 3094 3096 2544 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 8 0 869353912 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 7 0 0 0
[pid=3096/tid=3313] ppid=3094 vsize=355484 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3313/stat : 3313 (python) S 3094 3096 2544 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 8 0 869358752 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 3 0 0 0
[pid=3096/tid=3405] ppid=3094 vsize=355484 CPUtime=0 cores=1,3,5,7
/proc/3096/task/3405/stat : 3405 (python) S 3094 3096 2544 0 -1 4202560 32 934 0 0 0 0 0 0 20 0 8 0 869381482 364015616 7387 33554432000 4194304 5683644 140734850783632 18446744073709551615 251826063793 0 0 16781312 33554434 18446604467671358272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 493.43
Current children cumulated vsize (KiB) 20012420
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3096 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=518921
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=126980
# CPU time returned by wait4() is 0.645901
# while last known CPU time is 493.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 489.301
CPU time (s): 493.43
CPU user time (s): 472.1
CPU system time (s): 21.33
CPU usage (%): 100.844
Max. virtual memory (cumulated for all children) (KiB): 20012420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.518921
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15816
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2882
involuntary context switches= 25
runsolver used 3.53746 second user time and 8.48171 second system time
The end