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-3481753-1307577199/watcher-3481753-1307577199 -o /tmp/evaluation-result-3481753-1307577199/solver-3481753-1307577199 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481753-1307577199.opb -seed 588066548 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.37 1.98 1.21 3/658 22563
/proc/meminfo: memFree=27485888/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/22563/stat : 22563 (python) R 22561 22563 21667 0 -1 4202496 995 0 0 0 0 0 0 0 23 0 1 0 947950690 16633856 868 33554432000 4194304 5683644 140735619675744 18446744073709551615 256415052485 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22563/statm: 4061 869 368 364 0 548 0
[startup+0.0476861 s]
/proc/loadavg: 2.37 1.98 1.21 3/658 22563
/proc/meminfo: memFree=27485888/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/22563/stat : 22563 (python) R 22561 22563 21667 0 -1 4202496 1287 0 0 0 2 0 0 0 24 0 1 0 947950690 19345408 1140 33554432000 4194304 5683644 140735619675744 18446744073709551615 4429309 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22563/statm: 4723 1140 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.100681 s]
/proc/loadavg: 2.37 1.98 1.21 3/658 22563
/proc/meminfo: memFree=27485888/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/22563/stat : 22563 (python) S 22561 22563 21667 0 -1 4202496 2663 0 0 0 4 2 0 0 17 0 1 0 947950690 87678976 2382 33554432000 4194304 5683644 140735619675744 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/22563/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300674 s]
/proc/loadavg: 2.37 1.98 1.21 3/658 22563
/proc/meminfo: memFree=27485888/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/22563/stat : 22563 (python) R 22561 22563 21667 0 -1 4202496 5357 932 1 0 11 6 0 0 17 0 1 0 947950690 126713856 3744 33554432000 4194304 5683644 140735619675744 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22563/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.70058 s]
/proc/loadavg: 2.37 1.98 1.21 3/658 22563
/proc/meminfo: memFree=27485888/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=283488 CPUtime=0.45 cores=0,2,4,6
/proc/22563/stat : 22563 (python) R 22561 22563 21667 0 -1 4202496 9348 932 1 0 32 13 0 0 16 0 1 0 947950690 290291712 7210 33554432000 4194304 5683644 140735619675744 18446744073709551615 4942120 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22563/statm: 70872 7210 1781 364 0 5765 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 283488
[startup+1.50037 s]
/proc/loadavg: 2.37 1.98 1.21 3/659 22568
/proc/meminfo: memFree=27446440/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=297828 CPUtime=0.81 cores=0,2,4,6
/proc/22563/stat : 22563 (python) S 22561 22563 21667 0 -1 4202496 11263 932 1 0 68 13 0 0 18 0 2 0 947950690 304975872 8287 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22563/statm: 74457 8287 1862 364 0 9344 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 297828
[startup+3.10113 s]
/proc/loadavg: 2.42 1.99 1.22 5/680 22590
/proc/meminfo: memFree=27359720/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=297828 CPUtime=0.81 cores=0,2,4,6
/proc/22563/stat : 22563 (python) S 22561 22563 21667 0 -1 4202496 11263 932 1 0 68 13 0 0 18 0 2 0 947950690 304975872 8287 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22563/statm: 74457 8287 1862 364 0 9344 0
[pid=22569] ppid=22563 vsize=287584 CPUtime=0 cores=0,2,4,6
/proc/22569/stat : 22569 (python) S 22563 22563 21667 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 947950797 294486016 6772 33554432000 4194304 5683644 140735619675744 18446744073709551615 256415411727 0 0 16781312 33554946 423159363620831232 0 0 17 4 0 0 0
/proc/22569/statm: 71896 6772 351 364 0 6783 0
[pid=22571] ppid=22569 vsize=8537920 CPUtime=3.14 cores=0,2,4,6
/proc/22571/stat : 22571 (java) S 22569 22571 22571 0 -1 4202496 35579 0 1 0 309 5 0 0 19 0 19 0 947950797 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22571/statm: 2134480 29557 2260 9 0 2125221 0
[pid=22571/tid=22572] ppid=22569 vsize=8537920 CPUtime=1.99 cores=0,2,4,6
/proc/22571/task/22572/stat : 22572 (java) R 22569 22571 22571 0 -1 4202560 18885 0 1 0 197 2 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 46912505814400 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22571/tid=22573] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22573/stat : 22573 (java) S 22569 22571 22571 0 -1 4202560 191 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22574] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22574/stat : 22574 (java) S 22569 22571 22571 0 -1 4202560 373 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22575] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22575/stat : 22575 (java) S 22569 22571 22571 0 -1 4202560 773 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22576] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22576/stat : 22576 (java) S 22569 22571 22571 0 -1 4202560 714 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22577] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22577/stat : 22577 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22579] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22579/stat : 22579 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22580] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22580/stat : 22580 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22581] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22581/stat : 22581 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947950798 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22582] ppid=22569 vsize=8537920 CPUtime=0.01 cores=0,2,4,6
/proc/22571/task/22582/stat : 22582 (java) S 22569 22571 22571 0 -1 4202560 2007 0 0 0 1 0 0 0 15 0 19 0 947950799 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 0 0 16800975 18446604450759066816 0 0 -1 6 0 0 0
[pid=22571/tid=22583] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22583/stat : 22583 (java) S 22569 22571 22571 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947950799 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22584] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22584/stat : 22584 (java) S 22569 22571 22571 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947950799 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22585] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22585/stat : 22585 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947950801 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427215281 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22586] ppid=22569 vsize=8537920 CPUtime=0.57 cores=0,2,4,6
/proc/22571/task/22586/stat : 22586 (java) S 22569 22571 22571 0 -1 4202560 7934 0 0 0 56 1 0 0 15 0 19 0 947950801 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 6 0 0 0
[pid=22571/tid=22587] ppid=22569 vsize=8537920 CPUtime=0.53 cores=0,2,4,6
/proc/22571/task/22587/stat : 22587 (java) S 22569 22571 22571 0 -1 4202560 3320 0 0 0 53 0 0 0 15 0 19 0 947950801 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22588] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22588/stat : 22588 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947950801 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22589] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22589/stat : 22589 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947950801 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22590] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22590/stat : 22590 (java) S 22569 22571 22571 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947950844 8742830080 29557 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22563/tid=22570] ppid=22561 vsize=297828 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22570/stat : 22570 (python) S 22561 22563 21667 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 947950797 304975872 8287 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9123332
[startup+6.30151 s]
/proc/loadavg: 2.42 1.99 1.22 3/680 22590
/proc/meminfo: memFree=27295364/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=297828 CPUtime=0.81 cores=0,2,4,6
/proc/22563/stat : 22563 (python) S 22561 22563 21667 0 -1 4202496 11263 932 1 0 68 13 0 0 18 0 2 0 947950690 304975872 8287 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22563/statm: 74457 8287 1862 364 0 9344 0
[pid=22569] ppid=22563 vsize=287584 CPUtime=0.01 cores=0,2,4,6
/proc/22569/stat : 22569 (python) S 22563 22563 21667 0 -1 4202560 909 0 0 0 0 1 0 0 15 0 1 0 947950797 294486016 6796 33554432000 4194304 5683644 140735619675744 18446744073709551615 256415411727 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/22569/statm: 71896 6796 375 364 0 6783 0
[pid=22571] ppid=22569 vsize=8537920 CPUtime=6.42 cores=0,2,4,6
/proc/22571/stat : 22571 (java) S 22569 22571 22571 0 -1 4202496 45224 0 1 0 635 7 0 0 19 0 19 0 947950797 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22571/statm: 2134480 39194 2260 9 0 2125221 0
[pid=22571/tid=22572] ppid=22569 vsize=8537920 CPUtime=5.11 cores=0,2,4,6
/proc/22571/task/22572/stat : 22572 (java) R 22569 22571 22571 0 -1 4202560 18888 0 1 0 509 2 0 0 25 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 46912505887875 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22571/tid=22573] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22573/stat : 22573 (java) S 22569 22571 22571 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22574] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22574/stat : 22574 (java) S 22569 22571 22571 0 -1 4202560 838 0 0 0 0 0 0 0 16 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22575] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22575/stat : 22575 (java) S 22569 22571 22571 0 -1 4202560 1224 0 0 0 0 0 0 0 16 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 6 0 0 0
[pid=22571/tid=22576] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22576/stat : 22576 (java) S 22569 22571 22571 0 -1 4202560 1165 0 0 0 0 0 0 0 15 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 6 0 0 0
[pid=22571/tid=22577] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22577/stat : 22577 (java) S 22569 22571 22571 0 -1 4202560 1227 0 0 0 0 0 0 0 15 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22579] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22579/stat : 22579 (java) S 22569 22571 22571 0 -1 4202560 1858 0 0 0 0 0 0 0 15 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22580] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22580/stat : 22580 (java) S 22569 22571 22571 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 6 0 0 0
[pid=22571/tid=22581] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22581/stat : 22581 (java) S 22569 22571 22571 0 -1 4202560 677 0 0 0 0 0 0 0 15 0 19 0 947950798 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 6 0 0 0
[pid=22571/tid=22582] ppid=22569 vsize=8537920 CPUtime=0.06 cores=0,2,4,6
/proc/22571/task/22582/stat : 22582 (java) S 22569 22571 22571 0 -1 4202560 5304 0 0 0 6 0 0 0 16 0 19 0 947950799 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 0 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22583] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22583/stat : 22583 (java) S 22569 22571 22571 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947950799 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22584] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22584/stat : 22584 (java) S 22569 22571 22571 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947950799 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22585] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22585/stat : 22585 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947950801 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427215281 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22586] ppid=22569 vsize=8537920 CPUtime=0.61 cores=0,2,4,6
/proc/22571/task/22586/stat : 22586 (java) S 22569 22571 22571 0 -1 4202560 7944 0 0 0 60 1 0 0 15 0 19 0 947950801 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 6 0 0 0
[pid=22571/tid=22587] ppid=22569 vsize=8537920 CPUtime=0.55 cores=0,2,4,6
/proc/22571/task/22587/stat : 22587 (java) S 22569 22571 22571 0 -1 4202560 3358 0 0 0 55 0 0 0 15 0 19 0 947950801 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22588] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22588/stat : 22588 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947950801 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 4 0 0 0
[pid=22571/tid=22589] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22589/stat : 22589 (java) S 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947950801 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22590] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22590/stat : 22590 (java) S 22569 22571 22571 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947950844 8742830080 39194 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22563/tid=22570] ppid=22561 vsize=297828 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22570/stat : 22570 (python) S 22561 22563 21667 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 2 0 947950797 304975872 8287 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 9123332
[startup+12.7013 s]
/proc/loadavg: 2.36 1.99 1.22 3/680 22591
/proc/meminfo: memFree=27261412/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=297828 CPUtime=0.81 cores=0,2,4,6
/proc/22563/stat : 22563 (python) S 22561 22563 21667 0 -1 4202496 11263 932 1 0 68 13 0 0 18 0 2 0 947950690 304975872 8287 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22563/statm: 74457 8287 1862 364 0 9344 0
[pid=22569] ppid=22563 vsize=287584 CPUtime=0.04 cores=0,2,4,6
/proc/22569/stat : 22569 (python) S 22563 22563 21667 0 -1 4202560 913 0 0 0 2 2 0 0 15 0 1 0 947950797 294486016 6796 33554432000 4194304 5683644 140735619675744 18446744073709551615 256415411727 0 0 16781312 33554946 1343310820653662208 0 0 17 0 0 0 0
/proc/22569/statm: 71896 6796 375 364 0 6783 0
[pid=22571] ppid=22569 vsize=8537920 CPUtime=12.84 cores=0,2,4,6
/proc/22571/stat : 22571 (java) S 22569 22571 22571 0 -1 4202496 53467 0 1 0 1277 7 0 0 19 0 19 0 947950797 8742830080 47387 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22571/statm: 2134480 47387 2260 9 0 2125221 0
[pid=22571/tid=22572] ppid=22569 vsize=8537920 CPUtime=11.39 cores=0,2,4,6
/proc/22571/task/22572/stat : 22572 (java) R 22569 22571 22571 0 -1 4202560 18892 0 1 0 1137 2 0 0 25 0 19 0 947950798 8742830080 47387 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 46912505802897 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22571/tid=22573] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22573/stat : 22573 (java) S 22569 22571 22571 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 19 0 947950798 8742830080 47387 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22574] ppid=22569 vsize=8537920 CPUtime=0.01 cores=0,2,4,6
/proc/22571/task/22574/stat : 22574 (java) S 22569 22571 22571 0 -1 4202560 1808 0 0 0 1 0 0 0 15 0 19 0 947950798 8742830080 47387 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22575] ppid=22569 vsize=8537920 CPUtime=0.01 cores=0,2,4,6
/proc/22571/task/22575/stat : 22575 (java) S 22569 22571 22571 0 -1 4202560 2195 0 0 0 1 0 0 0 16 0 19 0 947950798 8742830080 47387 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446604450759066816 0 0 -1 0 0 0 0
[pid=22571/tid=22576] ppid=22569 vsize=8537920 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
[pid=22762/tid=22776] ppid=22760 vsize=8553048 CPUtime=0.39 cores=0,2,4,6
/proc/22762/task/22776/stat : 22776 (java) R 22760 22762 22762 0 -1 4202560 7952 0 0 0 39 0 0 0 17 0 19 0 947979218 8758321152 25504 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 47372786694228 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=8553048 CPUtime=0.42 cores=0,2,4,6
/proc/22762/task/22777/stat : 22777 (java) R 22760 22762 22762 0 -1 4202560 3740 0 0 0 41 1 0 0 16 0 19 0 947979218 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 47372785997062 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979218 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947979218 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427208192 0 4 0 16800975 18446604447725367360 0 0 -1 0 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22762 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947979260 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427208192 0 4 0 16800975 18446604447725367360 0 0 -1 2 0 0 0
[pid=22563/tid=22570] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22570/stat : 22570 (python) S 22561 22563 21667 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 6 0 947950797 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 4 0 0 0
[pid=22563/tid=22654] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22654/stat : 22654 (python) S 22561 22563 21667 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 6 0 947955537 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 6 0 0 0
[pid=22563/tid=22741] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22741/stat : 22741 (python) S 22561 22563 21667 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 947965266 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 6 0 0 0
[pid=22563/tid=22750] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22750/stat : 22750 (python) S 22561 22563 21667 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 6 0 947970037 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 4 0 0 0
[pid=22563/tid=22761] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22761/stat : 22761 (python) S 22561 22563 21667 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 6 0 947979212 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 289.18
Current children cumulated vsize (KiB) 19190008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+285.902 s]
/proc/loadavg: 2.00 2.00 1.41 6/734 22780
/proc/meminfo: memFree=24470580/32950928 swapFree=50514916/67111528
[pid=22563] ppid=22561 vsize=338852 CPUtime=0.94 cores=0,2,4,6
/proc/22563/stat : 22563 (python) S 22561 22563 21667 0 -1 4202496 14869 932 1 0 80 14 0 0 20 0 6 0 947950690 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/22563/statm: 84713 8320 1879 364 0 19588 0
[pid=22569] ppid=22563 vsize=297828 CPUtime=0.49 cores=0,2,4,6
/proc/22569/stat : 22569 (python) S 22563 22563 21667 0 -1 4202560 1120 0 0 0 24 25 0 0 15 0 2 0 947950797 304975872 6833 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22569/statm: 74457 6833 407 364 0 9344 0
[pid=22571] ppid=22569 vsize=8537920 CPUtime=95.56 cores=0,2,4,6
/proc/22571/stat : 22571 (java) T 22569 22571 22571 0 -1 4202496 78631 0 1 0 9541 15 0 0 18 0 19 0 947950797 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22571/statm: 2134480 71522 2260 9 0 2125221 0
[pid=22571/tid=22572] ppid=22569 vsize=8537920 CPUtime=92.84 cores=0,2,4,6
/proc/22571/task/22572/stat : 22572 (java) T 22569 22571 22571 0 -1 4202560 19469 0 1 0 9279 5 0 0 25 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 46912505794866 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22571/tid=22573] ppid=22569 vsize=8537920 CPUtime=0.07 cores=0,2,4,6
/proc/22571/task/22573/stat : 22573 (java) T 22569 22571 22571 0 -1 4202560 1852 0 0 0 7 0 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22571/tid=22574] ppid=22569 vsize=8537920 CPUtime=0.07 cores=0,2,4,6
/proc/22571/task/22574/stat : 22574 (java) T 22569 22571 22571 0 -1 4202560 3259 0 0 0 7 0 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22571/tid=22575] ppid=22569 vsize=8537920 CPUtime=0.07 cores=0,2,4,6
/proc/22571/task/22575/stat : 22575 (java) T 22569 22571 22571 0 -1 4202560 4487 0 0 0 7 0 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22571/tid=22576] ppid=22569 vsize=8537920 CPUtime=0.09 cores=0,2,4,6
/proc/22571/task/22576/stat : 22576 (java) T 22569 22571 22571 0 -1 4202560 7612 0 0 0 8 1 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22571/tid=22577] ppid=22569 vsize=8537920 CPUtime=0.08 cores=0,2,4,6
/proc/22571/task/22577/stat : 22577 (java) T 22569 22571 22571 0 -1 4202560 3005 0 0 0 8 0 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22571/tid=22579] ppid=22569 vsize=8537920 CPUtime=0.07 cores=0,2,4,6
/proc/22571/task/22579/stat : 22579 (java) T 22569 22571 22571 0 -1 4202560 3684 0 0 0 7 0 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22571/tid=22580] ppid=22569 vsize=8537920 CPUtime=0.09 cores=0,2,4,6
/proc/22571/task/22580/stat : 22580 (java) T 22569 22571 22571 0 -1 4202560 5877 0 0 0 9 0 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22571/tid=22581] ppid=22569 vsize=8537920 CPUtime=0.06 cores=0,2,4,6
/proc/22571/task/22581/stat : 22581 (java) T 22569 22571 22571 0 -1 4202560 6437 0 0 0 5 1 0 0 15 0 19 0 947950798 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22571/tid=22582] ppid=22569 vsize=8537920 CPUtime=0.85 cores=0,2,4,6
/proc/22571/task/22582/stat : 22582 (java) T 22569 22571 22571 0 -1 4202560 10263 0 0 0 84 1 0 0 15 0 19 0 947950799 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22571/tid=22583] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22583/stat : 22583 (java) T 22569 22571 22571 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947950799 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22571/tid=22584] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22584/stat : 22584 (java) T 22569 22571 22571 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947950799 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22571/tid=22585] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22585/stat : 22585 (java) T 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947950801 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22571/tid=22586] ppid=22569 vsize=8537920 CPUtime=0.61 cores=0,2,4,6
/proc/22571/task/22586/stat : 22586 (java) T 22569 22571 22571 0 -1 4202560 7944 0 0 0 60 1 0 0 15 0 19 0 947950801 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22571/tid=22587] ppid=22569 vsize=8537920 CPUtime=0.55 cores=0,2,4,6
/proc/22571/task/22587/stat : 22587 (java) T 22569 22571 22571 0 -1 4202560 3358 0 0 0 55 0 0 0 15 0 19 0 947950801 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22571/tid=22588] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22588/stat : 22588 (java) T 22569 22571 22571 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947950801 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22571/tid=22589] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22589/stat : 22589 (java) T 22569 22571 22571 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 947950801 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22571/tid=22590] ppid=22569 vsize=8537920 CPUtime=0 cores=0,2,4,6
/proc/22571/task/22590/stat : 22590 (java) T 22569 22571 22571 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947950844 8742830080 71522 33554432000 1073741824 1073778376 140734754242576 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22569/tid=22652] ppid=22563 vsize=297828 CPUtime=0 cores=0,2,4,6
/proc/22569/task/22652/stat : 22652 (python) S 22563 22563 21667 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 947955534 304975872 6833 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554946 18446604449420741504 0 0 -1 6 0 0 0
[pid=22653] ppid=22563 vsize=297840 CPUtime=0.3 cores=0,2,4,6
/proc/22653/stat : 22653 (python) S 22563 22563 21667 0 -1 4202560 1197 0 0 0 19 11 0 0 16 0 2 0 947955537 304988160 6828 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/22653/statm: 74460 6828 402 364 0 9344 0
[pid=22655] ppid=22653 vsize=95636 CPUtime=50.42 cores=0,2,4,6
/proc/22655/stat : 22655 (wbo1.4a) T 22653 22655 22655 0 -1 4202496 24110 0 0 0 5015 27 0 0 25 0 1 0 947955537 97931264 23346 33554432000 134512640 135751879 4287049056 18446744073709551615 134616377 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/22655/statm: 23909 23346 146 303 0 23604 0
[pid=22653/tid=22679] ppid=22563 vsize=297840 CPUtime=0 cores=0,2,4,6
/proc/22653/task/22679/stat : 22679 (python) S 22563 22563 21667 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947960590 304988160 6828 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554946 18446604452030797696 0 0 -1 4 0 0 0
[pid=22740] ppid=22563 vsize=308096 CPUtime=0.21 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22563 22563 21667 0 -1 4202560 1142 0 0 0 11 10 0 0 17 0 2 0 947965266 315490304 6826 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22740/statm: 77024 6826 396 364 0 11905 0
[pid=22742] ppid=22740 vsize=88492 CPUtime=47.62 cores=0,2,4,6
/proc/22742/stat : 22742 (pbct-0.1.2-linu) T 22740 22742 22742 0 -1 4202496 22450 0 0 0 4695 67 0 0 25 0 1 0 947965266 90615808 21370 33554432000 134512640 136422188 4292065920 18446744073709551615 134862210 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/22742/statm: 22123 21370 236 467 0 21654 0
[pid=22740/tid=22748] ppid=22563 vsize=308096 CPUtime=0 cores=0,2,4,6
/proc/22740/task/22748/stat : 22748 (python) S 22563 22563 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947970034 315490304 6826 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554946 18446604443968919616 0 0 -1 6 0 0 0
[pid=22749] ppid=22563 vsize=318352 CPUtime=0.43 cores=0,2,4,6
/proc/22749/stat : 22749 (python) S 22563 22563 21667 0 -1 4202560 1140 0 0 0 20 23 0 0 17 0 2 0 947970037 325992448 6831 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/22749/statm: 79588 6831 397 364 0 14466 0
[pid=22751] ppid=22749 vsize=25336 CPUtime=91.7 cores=0,2,4,6
/proc/22751/stat : 22751 (clasp-1.3.7-x86) T 22749 22751 22751 0 -1 4202496 6463 0 0 0 9170 0 0 0 25 0 1 0 947970037 25944064 6079 33554432000 134512640 136139019 4287842256 18446744073709551615 134599836 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/22751/statm: 6334 6079 187 398 0 5934 0
[pid=22749/tid=22759] ppid=22563 vsize=318352 CPUtime=0 cores=0,2,4,6
/proc/22749/task/22759/stat : 22759 (python) S 22563 22563 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947979209 325992448 6831 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554946 18446604446633272256 0 0 -1 6 0 0 0
[pid=22760] ppid=22563 vsize=328608 CPUtime=0 cores=0,2,4,6
/proc/22760/stat : 22760 (python) S 22563 22563 21667 0 -1 4202560 807 0 0 0 0 0 0 0 15 0 1 0 947979212 336494592 6786 33554432000 4194304 5683644 140735619675744 18446744073709551615 256415411782 0 0 16781312 33554946 1869977955510255616 0 0 17 6 0 0 0
/proc/22760/statm: 82152 6786 349 364 0 17027 0
[pid=22762] ppid=22760 vsize=8553048 CPUtime=1.51 cores=0,2,4,6
/proc/22762/stat : 22762 (java) S 22760 22762 22762 0 -1 4202496 29962 0 1 0 146 5 0 0 20 0 19 0 947979212 8758321152 25547 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22762/statm: 2138262 25547 2225 9 0 2129003 0
[pid=22762/tid=22763] ppid=22760 vsize=8553048 CPUtime=0.68 cores=0,2,4,6
/proc/22762/task/22763/stat : 22763 (java) R 22760 22762 22762 0 -1 4202560 16894 0 1 0 66 2 0 0 19 0 19 0 947979213 8758321152 25501 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 46912505822868 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22762/tid=22764] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22764/stat : 22764 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947979214 8758321152 25501 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22765] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947979214 8758321152 25502 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947979214 8758321152 25502 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979214 8758321152 25502 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 6 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979214 8758321152 25502 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 2 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979214 8758321152 25502 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 2 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979214 8758321152 25503 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 6 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979214 8758321152 25503 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 2 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 22762 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947979215 8758321152 25503 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427208192 0 0 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 22762 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947979215 8758321152 25503 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 22762 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 947979215 8758321152 25504 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 2 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979218 8758321152 25504 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427215281 0 4 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=8553048 CPUtime=0.39 cores=0,2,4,6
/proc/22762/task/22776/stat : 22776 (java) R 22760 22762 22762 0 -1 4202560 7952 0 0 0 39 0 0 0 17 0 19 0 947979218 8758321152 25504 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 47372786694228 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=8553048 CPUtime=0.42 cores=0,2,4,6
/proc/22762/task/22777/stat : 22777 (java) R 22760 22762 22762 0 -1 4202560 3740 0 0 0 41 1 0 0 16 0 19 0 947979218 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 47372785997062 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947979218 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427207577 0 4 0 16800975 18446604447725367360 0 0 -1 4 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 22762 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947979218 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427208192 0 4 0 16800975 18446604447725367360 0 0 -1 0 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=8553048 CPUtime=0 cores=0,2,4,6
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 22762 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947979260 8758321152 25505 33554432000 1073741824 1073778376 140734136737312 18446744073709551615 256427208192 0 4 0 16800975 18446604447725367360 0 0 -1 2 0 0 0
[pid=22563/tid=22570] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22570/stat : 22570 (python) S 22561 22563 21667 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 6 0 947950797 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 4 0 0 0
[pid=22563/tid=22654] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22654/stat : 22654 (python) S 22561 22563 21667 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 6 0 947955537 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 6 0 0 0
[pid=22563/tid=22741] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22741/stat : 22741 (python) S 22561 22563 21667 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 947965266 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 6 0 0 0
[pid=22563/tid=22750] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22750/stat : 22750 (python) S 22561 22563 21667 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 6 0 947970037 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 4 0 0 0
[pid=22563/tid=22761] ppid=22561 vsize=338852 CPUtime=0 cores=0,2,4,6
/proc/22563/task/22761/stat : 22761 (python) S 22561 22563 21667 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 6 0 947979212 346984448 8320 33554432000 4194304 5683644 140735619675744 18446744073709551615 256427215281 0 0 16781312 33554434 18446604449420740608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 289.18
Current children cumulated vsize (KiB) 19190008
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22563 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=801878
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=153976
# CPU time returned by wait4() is 0.955854
# while last known CPU time is 289.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 286.054
CPU time (s): 289.18
CPU user time (s): 287.21
CPU system time (s): 1.97
CPU usage (%): 101.093
Max. virtual memory (cumulated for all children) (KiB): 19190008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.801878
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15804
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= 2875
involuntary context switches= 19
runsolver used 2.32465 second user time and 3.82942 second system time
The end