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-3481727-1307577488/watcher-3481727-1307577488 -o /tmp/evaluation-result-3481727-1307577488/solver-3481727-1307577488 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481727-1307577488.opb -seed 1108741732 -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: 1.92 1.98 1.41 3/700 22810
/proc/meminfo: memFree=24594336/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/22810/stat : 22810 (python) R 22808 22810 21667 0 -1 4202496 1035 0 0 0 0 0 0 0 21 0 1 0 947979608 16633856 906 33554432000 4194304 5683644 140735786522784 18446744073709551615 256414849360 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22810/statm: 4061 906 380 364 0 548 0
[startup+0.037223 s]
/proc/loadavg: 1.92 1.98 1.41 3/700 22810
/proc/meminfo: memFree=24594336/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=18892 CPUtime=0.01 cores=0,2,4,6
/proc/22810/stat : 22810 (python) R 22808 22810 21667 0 -1 4202496 1249 0 0 0 1 0 0 0 21 0 1 0 947979608 19345408 1103 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415085539 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22810/statm: 4723 1105 421 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18892
[startup+0.100227 s]
/proc/loadavg: 1.92 1.98 1.41 3/700 22810
/proc/meminfo: memFree=24594336/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/22810/stat : 22810 (python) S 22808 22810 21667 0 -1 4202496 2665 0 0 0 5 1 0 0 21 0 1 0 947979608 87678976 2382 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415387493 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/22810/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.301206 s]
/proc/loadavg: 1.92 1.98 1.41 3/700 22810
/proc/meminfo: memFree=24594336/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/22810/stat : 22810 (python) S 22808 22810 21667 0 -1 4202496 5358 929 1 0 11 6 0 0 17 0 1 0 947979608 126713856 3744 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415387653 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/22810/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.701123 s]
/proc/loadavg: 1.92 1.98 1.41 3/700 22810
/proc/meminfo: memFree=24594336/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=288732 CPUtime=0.43 cores=0,2,4,6
/proc/22810/stat : 22810 (python) R 22808 22810 21667 0 -1 4202496 10648 929 1 0 30 13 0 0 16 0 1 0 947979608 295661568 8509 33554432000 4194304 5683644 140735786522784 18446744073709551615 48010410001896 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22810/statm: 72183 8509 1781 364 0 7076 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 288732
[startup+1.50096 s]
/proc/loadavg: 1.92 1.98 1.41 4/701 22815
/proc/meminfo: memFree=24557872/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=306108 CPUtime=1.24 cores=0,2,4,6
/proc/22810/stat : 22810 (python) R 22808 22810 21667 0 -1 4202496 14740 929 1 0 110 14 0 0 16 0 1 0 947979608 313454592 12601 33554432000 4194304 5683644 140735786522784 18446744073709551615 4602354 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22810/statm: 76527 12601 1781 364 0 11420 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 306108
[startup+3.10066 s]
/proc/loadavg: 1.92 1.98 1.41 5/723 22837
/proc/meminfo: memFree=24384656/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=313776 CPUtime=2.84 cores=0,2,4,6
/proc/22810/stat : 22810 (python) R 22808 22810 21667 0 -1 4202496 24109 929 1 0 269 15 0 0 18 0 1 0 947979608 321306624 14791 33554432000 4194304 5683644 140735786522784 18446744073709551615 48010412183595 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/22810/statm: 78444 14791 1816 364 0 13337 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 313776
[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.41 5/726 22840
/proc/meminfo: memFree=24306792/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=324384 CPUtime=3.7 cores=0,2,4,6
/proc/22810/stat : 22810 (python) S 22808 22810 21667 0 -1 4202496 24482 929 1 0 355 15 0 0 22 0 2 0 947979608 332169216 14936 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22810/statm: 81096 14936 1872 364 0 15983 0
[pid=22838] ppid=22810 vsize=314140 CPUtime=0 cores=0,2,4,6
/proc/22838/stat : 22838 (python) S 22810 22810 21667 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 947980005 321679360 13411 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415411727 0 0 16781312 33554946 221409210536034304 0 0 17 4 0 0 0
/proc/22838/statm: 78535 13411 351 364 0 13422 0
[pid=22840] ppid=22838 vsize=48140 CPUtime=2.32 cores=0,2,4,6
/proc/22840/stat : 22840 (wbo1.4a) R 22838 22840 22840 0 -1 4202496 13432 0 0 0 231 1 0 0 25 0 1 0 947980005 49295360 11546 33554432000 134512640 135751879 4292851760 18446744073709551615 134611192 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/22840/statm: 12035 11546 146 303 0 11730 0
[pid=22810/tid=22839] ppid=22808 vsize=324384 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22839/stat : 22839 (python) S 22808 22810 21667 0 -1 4202560 28 929 0 0 0 0 0 0 22 0 2 0 947980005 332169216 14936 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 686664
[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.41 5/726 22840
/proc/meminfo: memFree=24323664/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=324384 CPUtime=3.7 cores=0,2,4,6
/proc/22810/stat : 22810 (python) S 22808 22810 21667 0 -1 4202496 24482 929 1 0 355 15 0 0 22 0 2 0 947979608 332169216 14936 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22810/statm: 81096 14936 1872 364 0 15983 0
[pid=22838] ppid=22810 vsize=314140 CPUtime=0.02 cores=0,2,4,6
/proc/22838/stat : 22838 (python) S 22810 22810 21667 0 -1 4202560 1005 0 0 0 1 1 0 0 15 0 1 0 947980005 321679360 13440 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415411727 0 0 16781312 33554946 3129558899829506048 0 0 17 4 0 0 0
/proc/22838/statm: 78535 13440 380 364 0 13422 0
[pid=22840] ppid=22838 vsize=48140 CPUtime=8.71 cores=0,2,4,6
/proc/22840/stat : 22840 (wbo1.4a) R 22838 22840 22840 0 -1 4202496 13432 0 0 0 870 1 0 0 25 0 1 0 947980005 49295360 11546 33554432000 134512640 135751879 4292851760 18446744073709551615 134611292 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/22840/statm: 12035 11546 146 303 0 11730 0
[pid=22810/tid=22839] ppid=22808 vsize=324384 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22839/stat : 22839 (python) S 22808 22810 21667 0 -1 4202560 28 929 0 0 0 0 0 0 22 0 2 0 947980005 332169216 14936 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 686664
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.42 5/726 22841
/proc/meminfo: memFree=24348468/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=324384 CPUtime=3.7 cores=0,2,4,6
/proc/22810/stat : 22810 (python) S 22808 22810 21667 0 -1 4202496 24482 929 1 0 355 15 0 0 22 0 2 0 947979608 332169216 14936 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/22810/statm: 81096 14936 1872 364 0 15983 0
[pid=22838] ppid=22810 vsize=314140 CPUtime=0.09 cores=0,2,4,6
/proc/22838/stat : 22838 (python) S 22810 22810 21667 0 -1 4202560 1011 0 0 0 5 4 0 0 15 0 1 0 947980005 321679360 13440 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415411727 0 0 16781312 33554946 72409437758827434 0 0 17 4 0 0 0
/proc/22838/statm: 78535 13440 380 364 0 13422 0
[pid=22840] ppid=22838 vsize=48140 CPUtime=21.5 cores=0,2,4,6
/proc/22840/stat : 22840 (wbo1.4a) R 22838 22840 22840 0 -1 4202496 13432 0 0 0 2148 2 0 0 25 0 1 0 947980005 49295360 11546 33554432000 134512640 135751879 4292851760 18446744073709551615 134611297 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/22840/statm: 12035 11546 146 303 0 11730 0
[pid=22810/tid=22839] ppid=22808 vsize=324384 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22839/stat : 22839 (python) S 22808 22810 21667 0 -1 4202560 28 929 0 0 0 0 0 0 22 0 2 0 947980005 332169216 14936 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 686664
[startup+51.1015 s]
/proc/loadavg: 1.97 1.98 1.44 7/751 22866
/proc/meminfo: memFree=24343128/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=334640 CPUtime=3.73 cores=0,2,4,6
/proc/22810/stat : 22810 (python) S 22808 22810 21667 0 -1 4202496 25348 929 1 0 357 16 0 0 20 0 3 0 947979608 342671360 14943 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22810/statm: 83660 14943 1875 364 0 18544 0
[pid=22838] ppid=22810 vsize=324384 CPUtime=0.22 cores=0,2,4,6
/proc/22838/stat : 22838 (python) S 22810 22810 21667 0 -1 4202560 1160 0 0 0 12 10 0 0 17 0 2 0 947980005 332169216 13476 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/22838/statm: 81096 13476 411 364 0 15983 0
[pid=22840] ppid=22838 vsize=48140 CPUtime=46.26 cores=0,2,4,6
/proc/22840/stat : 22840 (wbo1.4a) T 22838 22840 22840 0 -1 4202496 13432 0 0 0 4623 3 0 0 25 0 1 0 947980005 49295360 11546 33554432000 134512640 135751879 4292851760 18446744073709551615 134611160 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/22840/statm: 12035 11546 146 303 0 11730 0
[pid=22838/tid=22846] ppid=22810 vsize=324384 CPUtime=0 cores=0,2,4,6
/proc/22838/task/22846/stat : 22846 (python) S 22810 22810 21667 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 947984636 332169216 13476 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554946 18446604449420740608 0 0 -1 4 0 0 0
[pid=22847] ppid=22810 vsize=324396 CPUtime=0 cores=0,2,4,6
/proc/22847/stat : 22847 (python) S 22810 22810 21667 0 -1 4202560 767 0 0 0 0 0 0 0 19 0 1 0 947984639 332181504 13412 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415411782 0 0 16781312 33554946 1370493273533054976 0 0 17 6 0 0 0
/proc/22847/statm: 81099 13412 348 364 0 15983 0
[pid=22849] ppid=22847 vsize=8542360 CPUtime=1.36 cores=0,2,4,6
/proc/22849/stat : 22849 (java) S 22847 22849 22849 0 -1 4202496 48876 0 1 0 130 6 0 0 21 0 18 0 947984639 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22849/statm: 2135590 46261 2221 9 0 2126331 0
[pid=22849/tid=22850] ppid=22847 vsize=8542360 CPUtime=0.75 cores=0,2,4,6
/proc/22849/task/22850/stat : 22850 (java) R 22847 22849 22849 0 -1 4202560 35220 0 1 0 71 4 0 0 18 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 46912505539054 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22849/tid=22851] ppid=22847 vsize=8542360 CPUtime=0.02 cores=0,2,4,6
/proc/22849/task/22851/stat : 22851 (java) S 22847 22849 22849 0 -1 4202560 1590 0 0 0 2 0 0 0 18 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 4 0 0 0
[pid=22849/tid=22852] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22852/stat : 22852 (java) S 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22853] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22853/stat : 22853 (java) S 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22854] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22854/stat : 22854 (java) S 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22855] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22855/stat : 22855 (java) S 22847 22849 22849 0 -1 4202560 424 0 0 0 0 0 0 0 19 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22856] ppid=22847 vsize=8542360 CPUtime=0.01 cores=0,2,4,6
/proc/22849/task/22856/stat : 22856 (java) S 22847 22849 22849 0 -1 4202560 910 0 0 0 1 0 0 0 19 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22857] ppid=22847 vsize=8542360 CPUtime=0.01 cores=0,2,4,6
/proc/22849/task/22857/stat : 22857 (java) S 22847 22849 22849 0 -1 4202560 1376 0 0 0 1 0 0 0 19 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22858] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22858/stat : 22858 (java) S 22847 22849 22849 0 -1 4202560 179 0 0 0 0 0 0 0 19 0 18 0 947984640 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22859] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22859/stat : 22859 (java) S 22847 22849 22849 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 18 0 947984641 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427208192 0 0 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22860] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22860/stat : 22860 (java) S 22847 22849 22849 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 947984641 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 6 0 0 0
[pid=22849/tid=22861] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22861/stat : 22861 (java) S 22847 22849 22849 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 947984641 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22862] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22862/stat : 22862 (java) S 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947984643 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427215281 0 4 0 16800975 18446604451150129152 0 0 -1 4 0 0 0
[pid=22849/tid=22863] ppid=22847 vsize=8542360 CPUtime=0.26 cores=0,2,4,6
/proc/22849/task/22863/stat : 22863 (java) S 22847 22849 22849 0 -1 4202560 4975 0 0 0 26 0 0 0 24 0 18 0 947984643 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 6 0 0 0
[pid=22849/tid=22864] ppid=22847 vsize=8542360 CPUtime=0.26 cores=0,2,4,6
/proc/22849/task/22864/stat : 22864 (java) S 22847 22849 22849 0 -1 4202560 2746 0 0 0 26 0 0 0 18 0 18 0 947984644 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22849/tid=22865] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22865/stat : 22865 (java) S 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947984644 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446604451150129152 0 0 -1 4 0 0 0
[pid=22849/tid=22866] ppid=22847 vsize=8542360 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22866/stat : 22866 (java) S 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947984644 8747376640 46261 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427208192 0 4 0 16800975 18446604451150129152 0 0 -1 2 0 0 0
[pid=22810/tid=22839] ppid=22808 vsize=334640 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22839/stat : 22839 (python) S 22808 22810 21667 0 -1 4202560 28 929 0 0 0 0 0 0 22 0 3 0 947980005 342671360 14943 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 6 0 0 0
[pid=22810/tid=22848] ppid=22808 vsize=334640 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22848/stat : 22848 (python) S 22808 22810 21667 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 3 0 947984639 342671360 14943 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.57
Current children cumulated vsize (KiB) 9573920
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+100.001 s]
/proc/loadavg: 2.02 2.00 1.47 6/773 22891
/proc/meminfo: memFree=21413444/32950928 swapFree=50514916/67111528
[pid=22810] ppid=22808 vsize=344896 CPUtime=3.75 cores=0,2,4,6
/proc/22810/stat : 22810 (python) S 22808 22810 21667 0 -1 4202496 26233 929 1 0 359 16 0 0 20 0 4 0 947979608 353173504 14949 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22810/statm: 86224 14949 1877 364 0 21105 0
[pid=22838] ppid=22810 vsize=324384 CPUtime=0.22 cores=0,2,4,6
/proc/22838/stat : 22838 (python) S 22810 22810 21667 0 -1 4202560 1160 0 0 0 12 10 0 0 17 0 2 0 947980005 332169216 13476 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/22838/statm: 81096 13476 411 364 0 15983 0
[pid=22840] ppid=22838 vsize=48140 CPUtime=46.26 cores=0,2,4,6
/proc/22840/stat : 22840 (wbo1.4a) T 22838 22840 22840 0 -1 4202496 13432 0 0 0 4623 3 0 0 25 0 1 0 947980005 49295360 11546 33554432000 134512640 135751879 4292851760 18446744073709551615 134611160 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/22840/statm: 12035 11546 146 303 0 11730 0
[pid=22838/tid=22846] ppid=22810 vsize=324384 CPUtime=0 cores=0,2,4,6
/proc/22838/task/22846/stat : 22846 (python) S 22810 22810 21667 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 947984636 332169216 13476 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554946 18446604449420740608 0 0 -1 4 0 0 0
[pid=22847] ppid=22810 vsize=324396 CPUtime=0.22 cores=0,2,4,6
/proc/22847/stat : 22847 (python) S 22810 22810 21667 0 -1 4202560 1089 0 0 0 11 11 0 0 17 0 2 0 947984639 332181504 13461 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/22847/statm: 81099 13461 396 364 0 15983 0
[pid=22849] ppid=22847 vsize=8545808 CPUtime=51.05 cores=0,2,4,6
/proc/22849/stat : 22849 (java) T 22847 22849 22849 0 -1 4202496 695778 0 1 0 5023 82 0 0 18 0 19 0 947984639 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22849/statm: 2136452 690430 2244 9 0 2127193 0
[pid=22849/tid=22850] ppid=22847 vsize=8545808 CPUtime=48.43 cores=0,2,4,6
/proc/22849/task/22850/stat : 22850 (java) T 22847 22849 22849 0 -1 4202560 626692 0 1 0 4771 72 0 0 25 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 46912505926974 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22849/tid=22851] ppid=22847 vsize=8545808 CPUtime=0.15 cores=0,2,4,6
/proc/22849/task/22851/stat : 22851 (java) T 22847 22849 22849 0 -1 4202560 10354 0 0 0 14 1 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22849/tid=22852] ppid=22847 vsize=8545808 CPUtime=0.15 cores=0,2,4,6
/proc/22849/task/22852/stat : 22852 (java) T 22847 22849 22849 0 -1 4202560 9913 0 0 0 14 1 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22849/tid=22853] ppid=22847 vsize=8545808 CPUtime=0.05 cores=0,2,4,6
/proc/22849/task/22853/stat : 22853 (java) T 22847 22849 22849 0 -1 4202560 3146 0 0 0 5 0 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22849/tid=22854] ppid=22847 vsize=8545808 CPUtime=0.05 cores=0,2,4,6
/proc/22849/task/22854/stat : 22854 (java) T 22847 22849 22849 0 -1 4202560 3685 0 0 0 5 0 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22849/tid=22855] ppid=22847 vsize=8545808 CPUtime=0.17 cores=0,2,4,6
/proc/22849/task/22855/stat : 22855 (java) T 22847 22849 22849 0 -1 4202560 10322 0 0 0 16 1 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22849/tid=22856] ppid=22847 vsize=8545808 CPUtime=0.15 cores=0,2,4,6
/proc/22849/task/22856/stat : 22856 (java) T 22847 22849 22849 0 -1 4202560 9031 0 0 0 14 1 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22849/tid=22857] ppid=22847 vsize=8545808 CPUtime=0.1 cores=0,2,4,6
/proc/22849/task/22857/stat : 22857 (java) T 22847 22849 22849 0 -1 4202560 6193 0 0 0 10 0 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22849/tid=22858] ppid=22847 vsize=8545808 CPUtime=0.04 cores=0,2,4,6
/proc/22849/task/22858/stat : 22858 (java) T 22847 22849 22849 0 -1 4202560 3159 0 0 0 4 0 0 0 15 0 19 0 947984640 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=22849/tid=22859] ppid=22847 vsize=8545808 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22859/stat : 22859 (java) T 22847 22849 22849 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 947984641 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22849/tid=22860] ppid=22847 vsize=8545808 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22860/stat : 22860 (java) T 22847 22849 22849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947984641 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=22849/tid=22861] ppid=22847 vsize=8545808 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22861/stat : 22861 (java) T 22847 22849 22849 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947984641 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22849/tid=22862] ppid=22847 vsize=8545808 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22862/stat : 22862 (java) T 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947984643 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22849/tid=22863] ppid=22847 vsize=8545808 CPUtime=0.82 cores=0,2,4,6
/proc/22849/task/22863/stat : 22863 (java) T 22847 22849 22849 0 -1 4202560 5113 0 0 0 82 0 0 0 15 0 19 0 947984643 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22849/tid=22864] ppid=22847 vsize=8545808 CPUtime=0.81 cores=0,2,4,6
/proc/22849/task/22864/stat : 22864 (java) T 22847 22849 22849 0 -1 4202560 5507 0 0 0 81 0 0 0 15 0 19 0 947984644 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22849/tid=22865] ppid=22847 vsize=8545808 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22865/stat : 22865 (java) T 22847 22849 22849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947984644 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22849/tid=22866] ppid=22847 vsize=8545808 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22866/stat : 22866 (java) T 22847 22849 22849 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947984644 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=22849/tid=22867] ppid=22847 vsize=8545808 CPUtime=0 cores=0,2,4,6
/proc/22849/task/22867/stat : 22867 (java) T 22847 22849 22849 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947984790 8750907392 690430 33554432000 1073741824 1073778376 140736260939536 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=22847/tid=22870] ppid=22810 vsize=324396 CPUtime=0 cores=0,2,4,6
/proc/22847/task/22870/stat : 22870 (python) S 22810 22810 21667 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 947989511 332181504 13461 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554946 18446604451201927040 0 0 -1 0 0 0 0
[pid=22871] ppid=22810 vsize=334652 CPUtime=0 cores=0,2,4,6
/proc/22871/stat : 22871 (python) S 22810 22810 21667 0 -1 4202560 808 0 0 0 0 0 0 0 19 0 1 0 947989513 342683648 13416 33554432000 4194304 5683644 140735786522784 18446744073709551615 256415411782 0 0 16781312 33554946 3634976752708583682 0 0 17 6 0 0 0
/proc/22871/statm: 83663 13416 348 364 0 18544 0
[pid=22873] ppid=22871 vsize=8544300 CPUtime=1.73 cores=0,2,4,6
/proc/22873/stat : 22873 (java) S 22871 22873 22873 0 -1 4202496 49868 0 1 0 165 8 0 0 20 0 18 0 947989514 8749363200 46819 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22873/statm: 2136075 46819 2223 9 0 2126816 0
[pid=22873/tid=22874] ppid=22871 vsize=8544300 CPUtime=0.95 cores=0,2,4,6
/proc/22873/task/22874/stat : 22874 (java) R 22871 22873 22873 0 -1 4202560 35211 0 1 0 89 6 0 0 18 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 46912505516764 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22873/tid=22875] ppid=22871 vsize=8544300 CPUtime=0.01 cores=0,2,4,6
/proc/22873/task/22875/stat : 22875 (java) S 22871 22873 22873 0 -1 4202560 1284 0 0 0 1 0 0 0 16 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 4 0 0 0
[pid=22873/tid=22876] ppid=22871 vsize=8544300 CPUtime=0.01 cores=0,2,4,6
/proc/22873/task/22876/stat : 22876 (java) S 22871 22873 22873 0 -1 4202560 1108 0 0 0 1 0 0 0 17 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 6 0 0 0
[pid=22873/tid=22877] ppid=22871 vsize=8544300 CPUtime=0.01 cores=0,2,4,6
/proc/22873/task/22877/stat : 22877 (java) S 22871 22873 22873 0 -1 4202560 1024 0 0 0 1 0 0 0 18 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 2 0 0 0
[pid=22873/tid=22878] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22878/stat : 22878 (java) S 22871 22873 22873 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 0 0 0 0
[pid=22873/tid=22879] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22879/stat : 22879 (java) S 22871 22873 22873 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 6 0 0 0
[pid=22873/tid=22880] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22880/stat : 22880 (java) S 22871 22873 22873 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 2 0 0 0
[pid=22873/tid=22881] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22881/stat : 22881 (java) S 22871 22873 22873 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 6 0 0 0
[pid=22873/tid=22882] ppid=22871 vsize=8544300 CPUtime=0.01 cores=0,2,4,6
/proc/22873/task/22882/stat : 22882 (java) S 22871 22873 22873 0 -1 4202560 1063 0 0 0 1 0 0 0 19 0 18 0 947989515 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 0 0 0 0
[pid=22873/tid=22883] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22883/stat : 22883 (java) S 22871 22873 22873 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 18 0 947989516 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427208192 0 0 0 16800975 18446604442983475392 0 0 -1 2 0 0 0
[pid=22873/tid=22884] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22884/stat : 22884 (java) S 22871 22873 22873 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 947989517 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 0 0 0 0
[pid=22873/tid=22885] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22885/stat : 22885 (java) S 22871 22873 22873 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 947989517 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 0 0 0 0
[pid=22873/tid=22886] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22886/stat : 22886 (java) S 22871 22873 22873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947989519 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427215281 0 4 0 16800975 18446604442983475392 0 0 -1 4 0 0 0
[pid=22873/tid=22887] ppid=22871 vsize=8544300 CPUtime=0.35 cores=0,2,4,6
/proc/22873/task/22887/stat : 22887 (java) R 22871 22873 22873 0 -1 4202560 5806 0 0 0 34 1 0 0 16 0 18 0 947989519 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 47585862010972 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22873/tid=22888] ppid=22871 vsize=8544300 CPUtime=0.34 cores=0,2,4,6
/proc/22873/task/22888/stat : 22888 (java) R 22871 22873 22873 0 -1 4202560 2918 0 0 0 34 0 0 0 15 0 18 0 947989519 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 47585864951965 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22873/tid=22890] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22890/stat : 22890 (java) S 22871 22873 22873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947989519 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427207577 0 4 0 16800975 18446604442983475392 0 0 -1 4 0 0 0
[pid=22873/tid=22891] ppid=22871 vsize=8544300 CPUtime=0 cores=0,2,4,6
/proc/22873/task/22891/stat : 22891 (java) R 22871 22873 22873 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 947989519 8749363200 46821 33554432000 1073741824 1073778376 140734219489664 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22810/tid=22839] ppid=22808 vsize=344896 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22839/stat : 22839 (python) S 22808 22810 21667 0 -1 4202560 28 929 0 0 0 0 0 0 22 0 4 0 947980005 353173504 14949 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 6 0 0 0
[pid=22810/tid=22848] ppid=22808 vsize=344896 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22848/stat : 22848 (python) S 22808 22810 21667 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 4 0 947984639 353173504 14949 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 2 0 0 0
[pid=22810/tid=22872] ppid=22808 vsize=344896 CPUtime=0 cores=0,2,4,6
/proc/22810/task/22872/stat : 22872 (python) S 22808 22810 21667 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 4 0 947989514 353173504 14949 33554432000 4194304 5683644 140735786522784 18446744073709551615 256427215281 0 0 16781312 33554434 18446604446633272256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 103.23
Current children cumulated vsize (KiB) 18466576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22810 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=599452
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=169974
# CPU time returned by wait4() is 3.76943
# while last known CPU time is 103.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 100.096
CPU time (s): 103.23
CPU user time (s): 101.93
CPU system time (s): 1.3
CPU usage (%): 103.131
Max. virtual memory (cumulated for all children) (KiB): 18466576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.59945
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27163
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= 2858
involuntary context switches= 23
runsolver used 0.6519 second user time and 1.3028 second system time
The end