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-3482451-1307576356/watcher-3482451-1307576356 -o /tmp/evaluation-result-3482451-1307576356/solver-3482451-1307576356 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482451-1307576356.opb -seed 1998031726 -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: 0.58 0.13 0.04 2/534 795
/proc/meminfo: memFree=29283532/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/795/stat : 795 (runsolver) S 791 795 758 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 1 0 869235385 12079104 51 33554432000 4194304 5432328 140734087336000 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 2 0 0 0
/proc/795/statm: 2949 51 31 303 0 2643 0
[startup+0.0400699 s]
/proc/loadavg: 0.58 0.13 0.04 2/534 795
/proc/meminfo: memFree=29283532/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/795/stat : 795 (runsolver) D 791 795 758 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 869235385 12079104 54 33554432000 4194304 5432328 140734087336000 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/795/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.10106 s]
/proc/loadavg: 0.58 0.13 0.04 2/534 795
/proc/meminfo: memFree=29283532/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/795/stat : 795 (python) D 791 795 758 0 -1 4194304 47 0 0 0 0 0 0 0 19 0 1 0 869235385 1884160 1 33554432000 0 0 140736660997799 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 1
/proc/795/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.301025 s]
/proc/loadavg: 0.58 0.13 0.04 2/534 795
/proc/meminfo: memFree=29283532/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/795/stat : 795 (python) D 791 795 758 0 -1 4194304 195 0 3 0 0 0 0 0 17 0 1 0 869235385 14594048 133 33554432000 4194304 5683644 140736660993872 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 12
/proc/795/statm: 3563 133 105 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252
[startup+0.700896 s]
/proc/loadavg: 0.58 0.13 0.04 2/534 795
/proc/meminfo: memFree=29283532/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/795/stat : 795 (python) S 791 795 758 0 -1 4202496 718 0 6 0 0 0 0 0 15 0 1 0 869235385 15548416 614 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244344677 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 27
/proc/795/statm: 3796 614 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50075 s]
/proc/loadavg: 0.58 0.13 0.04 2/534 795
/proc/meminfo: memFree=29283532/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/795/stat : 795 (python) D 791 795 758 0 -1 4202496 805 0 6 0 0 0 0 0 16 0 1 0 869235385 15749120 696 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244346880 0 0 16781312 2 0 0 0 17 4 0 0 35
/proc/795/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+3.10057 s]
/proc/loadavg: 0.54 0.13 0.04 2/536 797
/proc/meminfo: memFree=29274348/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/795/stat : 795 (python) D 791 795 758 0 -1 4202496 1074 0 6 0 1 0 0 0 16 0 1 0 869235385 16793600 950 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244348672 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 72
/proc/795/statm: 4100 950 385 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
heavy processes:
[startup+6.30092 s]
/proc/loadavg: 0.54 0.13 0.04 1/536 797
/proc/meminfo: memFree=29272864/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=16540 CPUtime=0.01 cores=0,2,4,6
/proc/795/stat : 795 (python) D 791 795 758 0 -1 4202496 1185 0 6 0 1 0 0 0 15 0 1 0 869235385 16936960 1050 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244348672 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 91
/proc/795/statm: 4135 1050 417 364 0 622 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16540
heavy processes:
[startup+12.7198 s]
/proc/loadavg: 0.53 0.14 0.05 2/536 797
/proc/meminfo: memFree=29270500/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=36508 CPUtime=0.06 cores=0,2,4,6
/proc/795/stat : 795 (python) D 791 795 758 0 -1 4202496 1565 0 13 0 4 2 0 0 16 0 1 0 869235385 37384192 1412 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244346880 0 0 16781312 2 0 0 0 17 4 0 0 127
/proc/795/statm: 9127 1412 452 364 0 944 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36508
heavy processes:
[startup+25.5006 s]
/proc/loadavg: 0.67 0.18 0.06 2/536 806
/proc/meminfo: memFree=29211264/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=257020 CPUtime=0.51 cores=0,2,4,6
/proc/795/stat : 795 (python) S 791 795 758 0 -1 4202496 8087 923 108 9 34 17 0 0 15 0 1 0 869235385 263188480 6298 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 460
/proc/795/statm: 64255 6298 1662 364 0 5032 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 257020
heavy processes:
[startup+51.101 s]
/proc/loadavg: 1.39 0.39 0.13 4/542 898
/proc/meminfo: memFree=29098504/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=306336 CPUtime=1.73 cores=0,2,4,6
/proc/795/stat : 795 (python) S 791 795 758 0 -1 4202496 15070 923 112 9 154 19 0 0 19 0 2 0 869235385 313688064 10431 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 462
/proc/795/statm: 76584 10431 1872 364 0 11471 0
[pid=810] ppid=795 vsize=296092 CPUtime=0.1 cores=0,2,4,6
/proc/810/stat : 810 (python) S 795 795 758 0 -1 4202560 924 0 0 0 4 6 0 0 18 0 1 0 869238074 303198208 8930 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244368911 0 0 16781312 33554946 72556772316949189 0 0 17 6 0 0 0
/proc/810/statm: 74023 8930 375 364 0 8910 0
[pid=812] ppid=810 vsize=75736 CPUtime=24.2 cores=0,2,4,6
/proc/812/stat : 812 (clasp-1.3.7-x86) R 810 812 812 0 -1 4202496 19238 0 0 0 2418 2 0 0 25 0 1 0 869238074 77553664 18615 33554432000 134512640 136139019 4290246160 18446744073709551615 134599836 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/812/statm: 18934 18615 182 398 0 18534 0
[pid=795/tid=811] ppid=791 vsize=306336 CPUtime=0 cores=0,2,4,6
/proc/795/task/811/stat : 811 (python) S 791 795 758 0 -1 4202560 29 923 0 9 0 0 0 0 19 0 2 0 869238074 313688064 10431 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.03
Current children cumulated vsize (KiB) 678164
heavy processes:
[startup+102.301 s]
/proc/loadavg: 1.80 0.65 0.23 3/546 1082
/proc/meminfo: memFree=28922976/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=316592 CPUtime=1.77 cores=0,2,4,6
/proc/795/stat : 795 (python) S 791 795 758 0 -1 4202496 16001 923 112 9 157 20 0 0 20 0 3 0 869235385 324190208 10438 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 462
/proc/795/statm: 79148 10438 1875 364 0 14032 0
[pid=810] ppid=795 vsize=306336 CPUtime=0.21 cores=0,2,4,6
/proc/810/stat : 810 (python) S 795 795 758 0 -1 4202560 1164 0 0 0 10 11 0 0 19 0 2 0 869238074 313688064 8971 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/810/statm: 76584 8971 411 364 0 11471 0
[pid=812] ppid=810 vsize=100996 CPUtime=47.24 cores=0,2,4,6
/proc/812/stat : 812 (clasp-1.3.7-x86) T 810 812 812 0 -1 4202496 25559 0 0 0 4721 3 0 0 25 0 1 0 869238074 103419904 24936 33554432000 134512640 136139019 4290246160 18446744073709551615 134599831 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/812/statm: 25249 24936 182 398 0 24849 0
[pid=810/tid=1043] ppid=795 vsize=306336 CPUtime=0 cores=0,2,4,6
/proc/810/task/1043/stat : 1043 (python) S 795 795 758 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869242799 313688064 8971 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604443254126784 0 0 -1 2 0 0 0
[pid=1044] ppid=795 vsize=306348 CPUtime=0.12 cores=0,2,4,6
/proc/1044/stat : 1044 (python) S 795 795 758 0 -1 4202560 929 0 0 0 5 7 0 0 15 0 1 0 869242801 313700352 8931 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244368966 0 0 16781312 33554946 72556772316949189 0 0 17 6 0 0 0
/proc/1044/statm: 76587 8931 372 364 0 11471 0
[pid=1046] ppid=1044 vsize=158752 CPUtime=28.11 cores=0,2,4,6
/proc/1046/stat : 1046 (scip-2.0.1.linu) R 1044 1046 1046 0 -1 4202496 37905 0 0 0 2802 9 0 0 25 0 1 0 869242801 162562048 36369 33554432000 4194304 13684479 140736155496144 18446744073709551615 11824627 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1046/statm: 39688 36369 771 2317 0 37366 0
[pid=795/tid=811] ppid=791 vsize=316592 CPUtime=0 cores=0,2,4,6
/proc/795/task/811/stat : 811 (python) S 791 795 758 0 -1 4202560 29 923 0 9 0 0 0 0 19 0 3 0 869238074 324190208 10438 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1045] ppid=791 vsize=316592 CPUtime=0 cores=0,2,4,6
/proc/795/task/1045/stat : 1045 (python) S 791 795 758 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 3 0 869242801 324190208 10438 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 77.45
Current children cumulated vsize (KiB) 1189024
heavy processes:
[startup+162.32 s]
/proc/loadavg: 1.98 0.93 0.35 3/543 1199
/proc/meminfo: memFree=28809784/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=326848 CPUtime=1.79 cores=0,2,4,6
/proc/795/stat : 795 (python) S 791 795 758 0 -1 4202496 16867 923 112 9 159 20 0 0 20 0 4 0 869235385 334692352 10444 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 462
/proc/795/statm: 81712 10444 1877 364 0 16593 0
[pid=810] ppid=795 vsize=306336 CPUtime=0.21 cores=0,2,4,6
/proc/810/stat : 810 (python) S 795 795 758 0 -1 4202560 1164 0 0 0 10 11 0 0 19 0 2 0 869238074 313688064 8971 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/810/statm: 76584 8971 411 364 0 11471 0
[pid=812] ppid=810 vsize=100996 CPUtime=47.24 cores=0,2,4,6
/proc/812/stat : 812 (clasp-1.3.7-x86) T 810 812 812 0 -1 4202496 25559 0 0 0 4721 3 0 0 25 0 1 0 869238074 103419904 24936 33554432000 134512640 136139019 4290246160 18446744073709551615 134599831 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/812/statm: 25249 24936 182 398 0 24849 0
[pid=810/tid=1043] ppid=795 vsize=306336 CPUtime=0 cores=0,2,4,6
/proc/810/task/1043/stat : 1043 (python) S 795 795 758 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869242799 313688064 8971 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604443254126784 0 0 -1 2 0 0 0
[pid=1044] ppid=795 vsize=306348 CPUtime=0.22 cores=0,2,4,6
/proc/1044/stat : 1044 (python) S 795 795 758 0 -1 4202560 1113 0 0 0 10 12 0 0 16 0 2 0 869242801 313700352 8956 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1044/statm: 76587 8956 396 364 0 11471 0
[pid=1046] ppid=1044 vsize=153276 CPUtime=47.5 cores=0,2,4,6
/proc/1046/stat : 1046 (scip-2.0.1.linu) T 1044 1046 1046 0 -1 4202496 39493 0 0 0 4738 12 0 0 25 0 1 0 869242801 156954624 35793 33554432000 4194304 13684479 140736155496144 18446744073709551615 7398775 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1046/statm: 38319 35793 782 2317 0 35997 0
[pid=1044/tid=1083] ppid=795 vsize=306348 CPUtime=0 cores=0,2,4,6
/proc/1044/task/1083/stat : 1083 (python) S 795 795 758 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 869247554 313700352 8956 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604440278436672 0 0 -1 6 0 0 0
[pid=1084] ppid=795 vsize=316604 CPUtime=0.17 cores=0,2,4,6
/proc/1084/stat : 1084 (python) S 795 795 758 0 -1 4202560 968 0 0 0 9 8 0 0 15 0 1 0 869247557 324202496 8935 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244368966 0 0 16781312 33554946 72556772316949189 0 0 17 6 0 0 0
/proc/1084/statm: 79151 8935 372 364 0 14032 0
[pid=1086] ppid=1084 vsize=159976 CPUtime=40.58 cores=0,2,4,6
/proc/1086/stat : 1086 (scip-2.0.1.linu) R 1084 1086 1086 0 -1 4202496 78584 0 0 0 4046 12 0 0 25 0 1 0 869247557 163815424 36466 33554432000 4194304 15243407 140737146118688 18446744073709551615 7429486 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/1086/statm: 39994 36466 980 2698 0 37289 0
[pid=795/tid=811] ppid=791 vsize=326848 CPUtime=0 cores=0,2,4,6
/proc/795/task/811/stat : 811 (python) S 791 795 758 0 -1 4202560 29 923 0 9 0 0 0 0 19 0 4 0 869238074 334692352 10444 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1045] ppid=791 vsize=326848 CPUtime=0 cores=0,2,4,6
/proc/795/task/1045/stat : 1045 (python) S 791 795 758 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 4 0 869242801 334692352 10444 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1085] ppid=791 vsize=326848 CPUtime=0 cores=0,2,4,6
/proc/795/task/1085/stat : 1085 (python) S 791 795 758 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 4 0 869247557 334692352 10444 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 137.71
Current children cumulated vsize (KiB) 1670384
[startup+222.301 s]
/proc/loadavg: 1.99 1.11 0.45 3/573 1342
/proc/meminfo: memFree=28357228/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=326848 CPUtime=1.84 cores=0,2,4,6
################
# More data... #
################
[pid=1423/tid=1441] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1441/stat : 1441 (java) T 1421 1423 1423 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869395137 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1421/tid=1443] ppid=795 vsize=357628 CPUtime=0 cores=0,2,4,6
/proc/1421/task/1443/stat : 1443 (python) S 795 795 758 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869399766 366211072 8976 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604446202029056 0 0 -1 6 0 0 0
[pid=1446] ppid=795 vsize=367884 CPUtime=0.36 cores=0,2,4,6
/proc/1446/stat : 1446 (python) S 795 795 758 0 -1 4202560 1114 0 0 0 18 18 0 0 15 0 1 0 869409015 376713216 8961 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244368966 0 0 16781312 33554946 72556772316949189 0 0 17 6 0 0 0
/proc/1446/statm: 91971 8961 378 364 0 26837 0
[pid=1448] ppid=1446 vsize=793920 CPUtime=79.79 cores=0,2,4,6
/proc/1448/stat : 1448 (pbct-0.1.2-linu) R 1446 1448 1448 0 -1 4202496 206073 0 0 0 7726 253 0 0 25 0 1 0 869409015 812974080 190733 33554432000 134512640 136422188 4286883728 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/1448/statm: 198480 190733 214 467 0 198011 0
[pid=795/tid=811] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/811/stat : 811 (python) S 791 795 758 0 -1 4202560 45 923 0 9 0 0 0 0 18 0 9 0 869238074 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 0 0 0 0
[pid=795/tid=1045] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1045/stat : 1045 (python) S 791 795 758 0 -1 4202560 41 923 0 9 0 0 0 0 18 0 9 0 869242801 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1085] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1085/stat : 1085 (python) S 791 795 758 0 -1 4202560 37 923 0 9 0 0 0 0 18 0 9 0 869247557 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1349] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1349/stat : 1349 (python) S 791 795 758 0 -1 4202560 28 923 0 9 0 0 0 0 25 0 9 0 869261731 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1379] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1379/stat : 1379 (python) S 791 795 758 0 -1 4202560 31 923 0 9 0 0 0 0 18 0 9 0 869325659 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 2 0 0 0
[pid=795/tid=1416] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1416/stat : 1416 (python) S 791 795 758 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 9 0 869390110 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 0 0 0 0
[pid=795/tid=1422] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1422/stat : 1422 (python) S 791 795 758 0 -1 4202560 26 923 0 9 0 0 0 0 20 0 9 0 869395070 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 4 0 0 0
[pid=795/tid=1447] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1447/stat : 1447 (python) S 791 795 758 0 -1 4202560 31 923 0 9 0 0 0 0 20 0 9 0 869409015 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13826208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.1 s]
/proc/loadavg: 2.19 2.12 1.76 3/631 1455
/proc/meminfo: memFree=25408916/32951124 swapFree=58212620/67111528
[pid=795] ppid=791 vsize=378128 CPUtime=5.07 cores=0,2,4,6
/proc/795/stat : 795 (python) S 791 795 758 0 -1 4202496 21701 923 112 9 485 22 0 0 19 0 9 0 869235385 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 462
/proc/795/statm: 94532 10474 1887 364 0 29398 0
[pid=810] ppid=795 vsize=306336 CPUtime=1.28 cores=0,2,4,6
/proc/810/stat : 810 (python) S 795 795 758 0 -1 4202560 1234 0 0 0 64 64 0 0 18 0 2 0 869238074 313688064 8972 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/810/statm: 76584 8972 412 364 0 11471 0
[pid=812] ppid=810 vsize=183000 CPUtime=275.3 cores=0,2,4,6
/proc/812/stat : 812 (clasp-1.3.7-x86) T 810 812 812 0 -1 4202496 46078 0 0 0 27524 6 0 0 25 0 1 0 869238074 187392000 45450 33554432000 134512640 136139019 4290246160 18446744073709551615 134871039 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/812/statm: 45750 45450 182 398 0 45350 0
[pid=810/tid=1043] ppid=795 vsize=306336 CPUtime=0 cores=0,2,4,6
/proc/810/task/1043/stat : 1043 (python) S 795 795 758 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 869242799 313688064 8972 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604443254126784 0 0 -1 2 0 0 0
[pid=1044] ppid=795 vsize=306348 CPUtime=4.79 cores=0,2,4,6
/proc/1044/stat : 1044 (python) S 795 795 758 0 -1 4202560 1209 0 0 0 238 241 0 0 15 0 2 0 869242801 313700352 8956 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1044/statm: 76587 8956 396 364 0 11471 0
[pid=1046] ppid=1044 vsize=221172 CPUtime=1050.87 cores=0,2,4,6
/proc/1046/stat : 1046 (scip-2.0.1.linu) T 1044 1046 1046 0 -1 4202496 57772 0 0 0 104962 125 0 0 25 0 1 0 869242801 226480128 52099 33554432000 4194304 13684479 140736155496144 18446744073709551615 7430431 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/1046/statm: 55293 52099 850 2317 0 52971 0
[pid=1044/tid=1083] ppid=795 vsize=306348 CPUtime=0 cores=0,2,4,6
/proc/1044/task/1083/stat : 1083 (python) S 795 795 758 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 2 0 869247554 313700352 8956 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604440278436672 0 0 -1 6 0 0 0
[pid=1084] ppid=795 vsize=316604 CPUtime=0.67 cores=0,2,4,6
/proc/1084/stat : 1084 (python) S 795 795 758 0 -1 4202560 1181 0 0 0 34 33 0 0 15 0 2 0 869247557 324202496 8960 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1084/statm: 79151 8960 396 364 0 14032 0
[pid=1086] ppid=1084 vsize=161660 CPUtime=138.55 cores=0,2,4,6
/proc/1086/stat : 1086 (scip-2.0.1.linu) T 1084 1086 1086 0 -1 4202496 150386 0 0 0 13827 28 0 0 25 0 1 0 869247557 165539840 37098 33554432000 4194304 15243407 140737146118688 18446744073709551615 7127945 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/1086/statm: 40415 37098 980 2698 0 37710 0
[pid=1084/tid=1337] ppid=795 vsize=316604 CPUtime=0 cores=0,2,4,6
/proc/1084/task/1337/stat : 1337 (python) S 795 795 758 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 2 0 869252375 324202496 8960 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604441721023488 0 0 -1 0 0 0 0
[pid=1348] ppid=795 vsize=326860 CPUtime=0.21 cores=0,2,4,6
/proc/1348/stat : 1348 (python) S 795 795 758 0 -1 4202560 1186 0 0 0 10 11 0 0 17 0 2 0 869261731 334704640 8964 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1348/statm: 81715 8964 396 364 0 16593 0
[pid=1350] ppid=1348 vsize=123912 CPUtime=48.31 cores=0,2,4,6
/proc/1350/stat : 1350 (minion) T 1348 1350 1350 0 -1 4202496 27236 0 0 0 4829 2 0 0 25 0 1 0 869261731 126885888 23608 33554432000 134512640 165565024 4286581968 18446744073709551615 142765038 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/1350/statm: 30978 23608 333 7582 0 23393 0
[pid=1348/tid=1356] ppid=795 vsize=326860 CPUtime=0 cores=0,2,4,6
/proc/1348/task/1356/stat : 1356 (python) S 795 795 758 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 869266564 334704640 8964 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604445746984960 0 0 -1 6 0 0 0
[pid=1378] ppid=795 vsize=337116 CPUtime=0.44 cores=0,2,4,6
/proc/1378/stat : 1378 (python) S 795 795 758 0 -1 4202560 1189 0 0 0 24 20 0 0 16 0 2 0 869325659 345206784 8968 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1378/statm: 84279 8968 396 364 0 19154 0
[pid=1380] ppid=1378 vsize=632540 CPUtime=96.39 cores=0,2,4,6
/proc/1380/stat : 1380 (bsolo_pb10) T 1378 1380 1380 0 -1 4202496 159149 0 0 0 9514 125 0 0 25 0 1 0 869325659 647720960 155660 33554432000 134512640 137138936 4287997856 18446744073709551615 136504025 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/1380/statm: 158135 155660 190 642 0 157491 0
[pid=1378/tid=1384] ppid=795 vsize=337116 CPUtime=0 cores=0,2,4,6
/proc/1378/task/1384/stat : 1384 (python) S 795 795 758 0 -1 4202560 57 0 0 0 0 0 0 0 16 0 2 0 869335300 345206784 8968 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604453822294912 0 0 -1 6 0 0 0
[pid=1415] ppid=795 vsize=347372 CPUtime=0.24 cores=0,2,4,6
/proc/1415/stat : 1415 (python) S 795 795 758 0 -1 4202560 1177 0 0 0 13 11 0 0 16 0 2 0 869390110 355708928 8972 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1415/statm: 86843 8972 396 364 0 21715 0
[pid=1417] ppid=1415 vsize=126356 CPUtime=49.58 cores=0,2,4,6
/proc/1417/stat : 1417 (wbo1.4a) T 1415 1417 1417 0 -1 4202496 31821 0 0 0 4948 10 0 0 25 0 1 0 869390110 129388544 31009 33554432000 134512640 135751879 4287264272 18446744073709551615 134605082 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/1417/statm: 31589 31009 143 303 0 31284 0
[pid=1415/tid=1420] ppid=795 vsize=347372 CPUtime=0 cores=0,2,4,6
/proc/1415/task/1420/stat : 1420 (python) S 795 795 758 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 869395069 355708928 8972 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604445322209472 0 0 -1 6 0 0 0
[pid=1421] ppid=795 vsize=357628 CPUtime=0.23 cores=0,2,4,6
/proc/1421/stat : 1421 (python) S 795 795 758 0 -1 4202560 1177 0 0 0 12 11 0 0 16 0 2 0 869395070 366211072 8976 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/1421/statm: 89407 8976 396 364 0 24276 0
[pid=1423] ppid=1421 vsize=8539372 CPUtime=48.01 cores=0,2,4,6
/proc/1423/stat : 1423 (java) T 1421 1423 1423 0 -1 4202496 66857 0 1 0 4792 9 0 0 18 0 19 0 869395070 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1423/statm: 2134843 60515 2245 9 0 2125584 0
[pid=1423/tid=1424] ppid=1421 vsize=8539372 CPUtime=46.71 cores=0,2,4,6
/proc/1423/task/1424/stat : 1424 (java) T 1421 1423 1423 0 -1 4202560 35243 0 1 0 4667 4 0 0 25 0 19 0 869395071 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 46912505834277 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1423/tid=1425] ppid=1421 vsize=8539372 CPUtime=0.01 cores=0,2,4,6
/proc/1423/task/1425/stat : 1425 (java) T 1421 1423 1423 0 -1 4202560 1054 0 0 0 1 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1426] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1426/stat : 1426 (java) T 1421 1423 1423 0 -1 4202560 549 0 0 0 0 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1423/tid=1427] ppid=1421 vsize=8539372 CPUtime=0.01 cores=0,2,4,6
/proc/1423/task/1427/stat : 1427 (java) T 1421 1423 1423 0 -1 4202560 2127 0 0 0 1 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1428] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1428/stat : 1428 (java) T 1421 1423 1423 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1423/tid=1429] ppid=1421 vsize=8539372 CPUtime=0.01 cores=0,2,4,6
/proc/1423/task/1429/stat : 1429 (java) T 1421 1423 1423 0 -1 4202560 1770 0 0 0 1 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1423/tid=1430] ppid=1421 vsize=8539372 CPUtime=0.01 cores=0,2,4,6
/proc/1423/task/1430/stat : 1430 (java) T 1421 1423 1423 0 -1 4202560 2280 0 0 0 1 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1423/tid=1431] ppid=1421 vsize=8539372 CPUtime=0.01 cores=0,2,4,6
/proc/1423/task/1431/stat : 1431 (java) T 1421 1423 1423 0 -1 4202560 2238 0 0 0 1 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1432] ppid=1421 vsize=8539372 CPUtime=0.03 cores=0,2,4,6
/proc/1423/task/1432/stat : 1432 (java) T 1421 1423 1423 0 -1 4202560 5664 0 0 0 3 0 0 0 15 0 19 0 869395072 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1433] ppid=1421 vsize=8539372 CPUtime=0.12 cores=0,2,4,6
/proc/1423/task/1433/stat : 1433 (java) T 1421 1423 1423 0 -1 4202560 4202 0 0 0 12 0 0 0 15 0 19 0 869395073 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256165376 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1423/tid=1434] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1434/stat : 1434 (java) T 1421 1423 1423 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869395073 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1435] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1435/stat : 1435 (java) T 1421 1423 1423 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869395074 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1436] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1436/stat : 1436 (java) T 1421 1423 1423 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869395076 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256172465 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1423/tid=1437] ppid=1421 vsize=8539372 CPUtime=0.4 cores=0,2,4,6
/proc/1423/task/1437/stat : 1437 (java) T 1421 1423 1423 0 -1 4202560 2433 0 0 0 40 0 0 0 15 0 19 0 869395076 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1423/tid=1438] ppid=1421 vsize=8539372 CPUtime=0.6 cores=0,2,4,6
/proc/1423/task/1438/stat : 1438 (java) T 1421 1423 1423 0 -1 4202560 7600 0 0 0 59 1 0 0 15 0 19 0 869395076 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1439] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1439/stat : 1439 (java) T 1421 1423 1423 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869395076 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=1423/tid=1440] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1440/stat : 1440 (java) T 1421 1423 1423 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869395076 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=1423/tid=1441] ppid=1421 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/1423/task/1441/stat : 1441 (java) T 1421 1423 1423 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869395137 8744316928 60515 33554432000 1073741824 1073778376 140737114131920 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=1421/tid=1443] ppid=795 vsize=357628 CPUtime=0 cores=0,2,4,6
/proc/1421/task/1443/stat : 1443 (python) S 795 795 758 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869399766 366211072 8976 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554946 18446604446202029056 0 0 -1 6 0 0 0
[pid=1446] ppid=795 vsize=367884 CPUtime=0.36 cores=0,2,4,6
/proc/1446/stat : 1446 (python) S 795 795 758 0 -1 4202560 1114 0 0 0 18 18 0 0 15 0 1 0 869409015 376713216 8961 33554432000 4194304 5683644 140736660993872 18446744073709551615 228244368966 0 0 16781312 33554946 72556772316949189 0 0 17 6 0 0 0
/proc/1446/statm: 91971 8961 378 364 0 26837 0
[pid=1448] ppid=1446 vsize=793920 CPUtime=79.79 cores=0,2,4,6
/proc/1448/stat : 1448 (pbct-0.1.2-linu) R 1446 1448 1448 0 -1 4202496 206073 0 0 0 7726 253 0 0 25 0 1 0 869409015 812974080 190733 33554432000 134512640 136422188 4286883728 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/1448/statm: 198480 190733 214 467 0 198011 0
[pid=795/tid=811] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/811/stat : 811 (python) S 791 795 758 0 -1 4202560 45 923 0 9 0 0 0 0 18 0 9 0 869238074 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 0 0 0 0
[pid=795/tid=1045] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1045/stat : 1045 (python) S 791 795 758 0 -1 4202560 41 923 0 9 0 0 0 0 18 0 9 0 869242801 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1085] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1085/stat : 1085 (python) S 791 795 758 0 -1 4202560 37 923 0 9 0 0 0 0 18 0 9 0 869247557 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1349] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1349/stat : 1349 (python) S 791 795 758 0 -1 4202560 28 923 0 9 0 0 0 0 25 0 9 0 869261731 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 6 0 0 0
[pid=795/tid=1379] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1379/stat : 1379 (python) S 791 795 758 0 -1 4202560 31 923 0 9 0 0 0 0 18 0 9 0 869325659 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 2 0 0 0
[pid=795/tid=1416] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1416/stat : 1416 (python) S 791 795 758 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 9 0 869390110 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 0 0 0 0
[pid=795/tid=1422] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1422/stat : 1422 (python) S 791 795 758 0 -1 4202560 26 923 0 9 0 0 0 0 20 0 9 0 869395070 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 4 0 0 0
[pid=795/tid=1447] ppid=791 vsize=378128 CPUtime=0 cores=0,2,4,6
/proc/795/task/1447/stat : 1447 (python) S 791 795 758 0 -1 4202560 31 923 0 9 0 0 0 0 20 0 9 0 869409015 387203072 10474 33554432000 4194304 5683644 140736660993872 18446744073709551615 228256172465 0 0 16781312 33554434 18446604444212009728 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13826208
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 795 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=858261
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=229965
# CPU time returned by wait4() is 5.08823
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1816.18
CPU time (s): 1800.09
CPU user time (s): 1790.2
CPU system time (s): 9.89
CPU usage (%): 99.1142
Max. virtual memory (cumulated for all children) (KiB): 13826208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.85826
system time used= 0.229965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22629
page faults= 121
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19627
involuntary context switches= 32
runsolver used 11.6552 second user time and 24.0633 second system time
The end