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-3481775-1307577041/watcher-3481775-1307577041 -o /tmp/evaluation-result-3481775-1307577041/solver-3481775-1307577041 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481775-1307577041.opb -seed 127171270 -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.25 2.03 1.13 4/723 7753
/proc/meminfo: memFree=29217920/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/7753/stat : 7753 (python) R 7751 7753 7156 0 -1 4202496 810 0 0 0 0 0 0 0 23 0 1 0 947934883 15753216 695 33554432000 4194304 5683644 140736140810336 18446744073709551615 4433760 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7753/statm: 3846 695 334 364 0 333 0
[startup+0.033648 s]
/proc/loadavg: 2.25 2.03 1.13 4/723 7753
/proc/meminfo: memFree=29217920/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=16820 CPUtime=0.01 cores=0,2,4,6
/proc/7753/stat : 7753 (python) R 7751 7753 7156 0 -1 4202496 1213 0 0 0 1 0 0 0 24 0 1 0 947934883 17223680 1071 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284923904 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/7753/statm: 4205 1071 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+0.100768 s]
/proc/loadavg: 2.25 2.03 1.13 4/723 7753
/proc/meminfo: memFree=29217920/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=85624 CPUtime=0.06 cores=0,2,4,6
/proc/7753/stat : 7753 (python) S 7751 7753 7156 0 -1 4202496 2666 0 0 0 4 2 0 0 17 0 1 0 947934883 87678976 2382 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7753/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300615 s]
/proc/loadavg: 2.25 2.03 1.13 4/723 7753
/proc/meminfo: memFree=29217920/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/7753/stat : 7753 (python) R 7751 7753 7156 0 -1 4202496 5358 927 1 0 11 5 0 0 17 0 1 0 947934883 126713856 3744 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284921861 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/7753/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700537 s]
/proc/loadavg: 2.25 2.03 1.13 4/723 7753
/proc/meminfo: memFree=29217920/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=285048 CPUtime=0.44 cores=0,2,4,6
/proc/7753/stat : 7753 (python) R 7751 7753 7156 0 -1 4202496 9712 927 1 0 32 12 0 0 16 0 1 0 947934883 291889152 7573 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284612313 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/7753/statm: 71262 7573 1781 364 0 6155 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 285048
[startup+1.50041 s]
/proc/loadavg: 2.15 2.01 1.12 2/689 7761
/proc/meminfo: memFree=29394768/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=295940 CPUtime=1.24 cores=0,2,4,6
/proc/7753/stat : 7753 (python) R 7751 7753 7156 0 -1 4202496 14830 927 1 0 111 13 0 0 16 0 1 0 947934883 303042560 10332 33554432000 4194304 5683644 140736140810336 18446744073709551615 4662274 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/7753/statm: 73985 10332 1816 364 0 8878 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 295940
[startup+3.41705 s]
/proc/loadavg: 2.15 2.01 1.12 2/689 7761
/proc/meminfo: memFree=29394768/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=307460 CPUtime=1.48 cores=0,2,4,6
/proc/7753/stat : 7753 (python) S 7751 7753 7156 0 -1 4202496 15432 927 1 0 135 13 0 0 19 0 2 0 947934883 314839040 10703 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7753/statm: 76865 10703 1870 364 0 11752 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 307460
heavy processes:
[startup+6.30162 s]
/proc/loadavg: 2.22 2.03 1.13 2/708 7804
/proc/meminfo: memFree=29222648/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=307460 CPUtime=1.48 cores=0,2,4,6
/proc/7753/stat : 7753 (python) S 7751 7753 7156 0 -1 4202496 15432 927 1 0 135 13 0 0 19 0 2 0 947934883 314839040 10703 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7753/statm: 76865 10703 1870 364 0 11752 0
[pid=7762] ppid=7753 vsize=297216 CPUtime=0.01 cores=0,2,4,6
/proc/7762/stat : 7762 (python) S 7753 7753 7156 0 -1 4202560 911 0 0 0 1 0 0 0 15 0 1 0 947935058 304349184 9204 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284945935 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/7762/statm: 74304 9204 375 364 0 9191 0
[pid=7764] ppid=7762 vsize=8538412 CPUtime=4.1 cores=0,2,4,6
/proc/7764/stat : 7764 (java) S 7762 7764 7764 0 -1 4202496 52265 0 1 0 403 7 0 0 18 0 19 0 947935058 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7764/statm: 2134603 48527 2257 9 0 2125344 0
[pid=7764/tid=7771] ppid=7762 vsize=8538412 CPUtime=3.13 cores=0,2,4,6
/proc/7764/task/7771/stat : 7771 (java) R 7762 7764 7764 0 -1 4202560 35280 0 1 0 308 5 0 0 25 0 19 0 947935194 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 46912505875157 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7764/tid=7772] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7772/stat : 7772 (java) S 7762 7764 7764 0 -1 4202560 386 0 0 0 0 0 0 0 16 0 19 0 947935194 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7773] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7773/stat : 7773 (java) S 7762 7764 7764 0 -1 4202560 411 0 0 0 0 0 0 0 15 0 19 0 947935194 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7774] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7774/stat : 7774 (java) S 7762 7764 7764 0 -1 4202560 2129 0 0 0 0 0 0 0 16 0 19 0 947935194 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7775] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7775/stat : 7775 (java) S 7762 7764 7764 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 19 0 947935194 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7776] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7776/stat : 7776 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947935194 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7777] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7777/stat : 7777 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947935194 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7778] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7778/stat : 7778 (java) S 7762 7764 7764 0 -1 4202560 1246 0 0 0 0 0 0 0 15 0 19 0 947935195 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7779] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7779/stat : 7779 (java) S 7762 7764 7764 0 -1 4202560 773 0 0 0 0 0 0 0 16 0 19 0 947935195 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 4 0 0 0
[pid=7764/tid=7780] ppid=7762 vsize=8538412 CPUtime=0.02 cores=0,2,4,6
/proc/7764/task/7780/stat : 7780 (java) S 7762 7764 7764 0 -1 4202560 3968 0 0 0 2 0 0 0 16 0 19 0 947935196 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 0 0 16800975 18446604453450540032 0 0 -1 0 0 0 0
[pid=7764/tid=7781] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7781/stat : 7781 (java) S 7762 7764 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947935196 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7782] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7782/stat : 7782 (java) S 7762 7764 7764 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 947935196 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 4 0 0 0
[pid=7764/tid=7793] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7793/stat : 7793 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947935198 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296749489 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7794] ppid=7762 vsize=8538412 CPUtime=0.44 cores=0,2,4,6
/proc/7764/task/7794/stat : 7794 (java) S 7762 7764 7764 0 -1 4202560 3933 0 0 0 44 0 0 0 15 0 19 0 947935198 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 4 0 0 0
[pid=7764/tid=7795] ppid=7762 vsize=8538412 CPUtime=0.43 cores=0,2,4,6
/proc/7764/task/7795/stat : 7795 (java) S 7762 7764 7764 0 -1 4202560 2524 0 0 0 43 0 0 0 16 0 19 0 947935198 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7796] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7796/stat : 7796 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947935198 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7797] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7797/stat : 7797 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947935198 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7801] ppid=7762 vsize=8538412 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7801/stat : 7801 (java) S 7762 7764 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947935266 8743333888 48527 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 4 0 16800975 18446604453450540032 0 0 -1 4 0 0 0
[pid=7753/tid=7763] ppid=7751 vsize=307460 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7763/stat : 7763 (python) S 7751 7753 7156 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 947935058 314839040 10703 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 9143088
[startup+12.7016 s]
/proc/loadavg: 2.28 2.04 1.14 3/733 7834
/proc/meminfo: memFree=28844800/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=307460 CPUtime=1.48 cores=0,2,4,6
/proc/7753/stat : 7753 (python) S 7751 7753 7156 0 -1 4202496 15432 927 1 0 135 13 0 0 19 0 2 0 947934883 314839040 10703 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7753/statm: 76865 10703 1870 364 0 11752 0
[pid=7762] ppid=7753 vsize=297216 CPUtime=0.04 cores=0,2,4,6
/proc/7762/stat : 7762 (python) S 7753 7753 7156 0 -1 4202560 914 0 0 0 2 2 0 0 15 0 1 0 947935058 304349184 9204 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284945935 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/7762/statm: 74304 9204 375 364 0 9191 0
[pid=7764] ppid=7762 vsize=8537628 CPUtime=10.66 cores=0,2,4,6
/proc/7764/stat : 7764 (java) S 7762 7764 7764 0 -1 4202496 72140 0 1 0 1055 11 0 0 18 0 19 0 947935058 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7764/statm: 2134407 64908 2257 9 0 2125148 0
[pid=7764/tid=7771] ppid=7762 vsize=8537628 CPUtime=9.43 cores=0,2,4,6
/proc/7764/task/7771/stat : 7771 (java) R 7762 7764 7764 0 -1 4202560 35286 0 1 0 938 5 0 0 25 0 19 0 947935194 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 46912505799662 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7764/tid=7772] ppid=7762 vsize=8537628 CPUtime=0.01 cores=0,2,4,6
/proc/7764/task/7772/stat : 7772 (java) S 7762 7764 7764 0 -1 4202560 3570 0 0 0 1 0 0 0 16 0 19 0 947935194 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7773] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7773/stat : 7773 (java) S 7762 7764 7764 0 -1 4202560 1316 0 0 0 0 0 0 0 15 0 19 0 947935194 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7774] ppid=7762 vsize=8537628 CPUtime=0.01 cores=0,2,4,6
/proc/7764/task/7774/stat : 7774 (java) S 7762 7764 7764 0 -1 4202560 3994 0 0 0 1 0 0 0 15 0 19 0 947935194 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7775] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7775/stat : 7775 (java) S 7762 7764 7764 0 -1 4202560 1538 0 0 0 0 0 0 0 15 0 19 0 947935194 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7776] ppid=7762 vsize=8537628 CPUtime=0.01 cores=0,2,4,6
/proc/7764/task/7776/stat : 7776 (java) S 7762 7764 7764 0 -1 4202560 4183 0 0 0 1 0 0 0 15 0 19 0 947935194 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7777] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7777/stat : 7777 (java) S 7762 7764 7764 0 -1 4202560 949 0 0 0 0 0 0 0 15 0 19 0 947935194 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7778] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7778/stat : 7778 (java) S 7762 7764 7764 0 -1 4202560 1247 0 0 0 0 0 0 0 16 0 19 0 947935195 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7779] ppid=7762 vsize=8537628 CPUtime=0.01 cores=0,2,4,6
/proc/7764/task/7779/stat : 7779 (java) S 7762 7764 7764 0 -1 4202560 3129 0 0 0 1 0 0 0 15 0 19 0 947935195 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7780] ppid=7762 vsize=8537628 CPUtime=0.12 cores=0,2,4,6
/proc/7764/task/7780/stat : 7780 (java) S 7762 7764 7764 0 -1 4202560 9076 0 0 0 11 1 0 0 15 0 19 0 947935196 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 0 0 16800975 18446604453450540032 0 0 -1 0 0 0 0
[pid=7764/tid=7781] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7781/stat : 7781 (java) S 7762 7764 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947935196 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7782] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7782/stat : 7782 (java) S 7762 7764 7764 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 947935196 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 4 0 0 0
[pid=7764/tid=7793] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7793/stat : 7793 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947935198 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296749489 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7794] ppid=7762 vsize=8537628 CPUtime=0.51 cores=0,2,4,6
/proc/7764/task/7794/stat : 7794 (java) S 7762 7764 7764 0 -1 4202560 3947 0 0 0 51 0 0 0 15 0 19 0 947935198 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 4 0 0 0
[pid=7764/tid=7795] ppid=7762 vsize=8537628 CPUtime=0.46 cores=0,2,4,6
/proc/7764/task/7795/stat : 7795 (java) S 7762 7764 7764 0 -1 4202560 2526 0 0 0 46 0 0 0 15 0 19 0 947935198 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7796] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7796/stat : 7796 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947935198 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446604453450540032 0 0 -1 6 0 0 0
[pid=7764/tid=7797] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7797/stat : 7797 (java) S 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947935198 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 4 0 16800975 18446604453450540032 0 0 -1 2 0 0 0
[pid=7764/tid=7801] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7801/stat : 7801 (java) S 7762 7764 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947935266 8742531072 64908 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 4 0 16800975 18446604453450540032 0 0 -1 4 0 0 0
[pid=7753/tid=7763] ppid=7751 vsize=307460 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7763/stat : 7763 (python) S 7751 7753 7156 0 -1 4202560 29 927 0 0 0 0 0 0 19 0 2 0 947935058 314839040 10703 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 9142304
[startup+25.5014 s]
/proc/loadavg: 2.40 2.08 1.16 3/733 7834
/proc/meminfo: memFree=28740940/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=307460 CPUtime=1.48 cores=0,2,4,6
/proc/7753/stat : 7753 (python) S 7751 7753 7156 0 -1 4202496 15432 927 1 0 135 13 0 0 19 0 2 0 947934883 314839040 10703 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7753/statm: 76865 10703 1870 364 0 11752 0
[pid=7762] ppid=7753 vsize=297216 CPUtime=0.11 cores=0,2,4,6
/proc/7762/stat : 7762 (python) S 7753 7753 7156 0 -1 4202560 918 0 0 0 6 5 0 0 15 0 1 0 947935058 304349184 9204 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284945935 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/7762/statm: 74304 9204 375 364 0 9191 0
[pid=7764] ppid=7762 vsize=8537628 CPUtime=23.52 cores=0,2,4,6
/proc/7764/stat : 7764 (java) S 7762 7764 7764 0 -1 4202496 84579 0 1 0 2339 13 0 0 18 0 19 0 947935058 8742531072 73026 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
################
# More data... #
################
[pid=7868/tid=7880] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7880/stat : 7880 (java) S 7866 7868 7868 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 947962732 8742010880 17157 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7881] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7881/stat : 7881 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947962735 8742010880 17159 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296749489 0 4 0 16800975 18446604443397973184 0 0 -1 6 0 0 0
[pid=7868/tid=7882] ppid=7866 vsize=8537120 CPUtime=0.25 cores=0,2,4,6
/proc/7868/task/7882/stat : 7882 (java) S 7866 7868 7868 0 -1 4202560 1815 0 0 0 25 0 0 0 19 0 18 0 947962735 8742010880 17162 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7883] ppid=7866 vsize=8537120 CPUtime=0.22 cores=0,2,4,6
/proc/7868/task/7883/stat : 7883 (java) S 7866 7868 7868 0 -1 4202560 2543 0 0 0 22 0 0 0 17 0 18 0 947962735 8742010880 17165 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 2 0 0 0
[pid=7868/tid=7884] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7884/stat : 7884 (java) S 7866 7868 7868 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 947962735 8742010880 17168 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7885] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7885/stat : 7885 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 947962735 8742010880 17171 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296742400 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7753/tid=7763] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7763/stat : 7763 (python) S 7751 7753 7156 0 -1 4202560 32 927 0 0 0 0 0 0 18 0 6 0 947935058 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
[pid=7753/tid=7837] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7837/stat : 7837 (python) S 7751 7753 7156 0 -1 4202560 24 927 0 0 0 0 0 0 20 0 6 0 947939817 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
[pid=7753/tid=7848] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7848/stat : 7848 (python) S 7751 7753 7156 0 -1 4202560 20 927 0 0 0 0 0 0 18 0 6 0 947948868 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
[pid=7753/tid=7859] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7859/stat : 7859 (python) S 7751 7753 7156 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 947958004 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 0 0 0 0
[pid=7753/tid=7867] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7867/stat : 7867 (python) S 7751 7753 7156 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 947962729 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 280.67
Current children cumulated vsize (KiB) 19697648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+278.902 s]
/proc/loadavg: 2.01 2.06 1.37 6/778 7885
/proc/meminfo: memFree=27447932/32951124 swapFree=33333036/67111528
[pid=7753] ppid=7751 vsize=414020 CPUtime=1.62 cores=0,2,4,6
/proc/7753/stat : 7753 (python) S 7751 7753 7156 0 -1 4202496 19046 927 1 0 148 14 0 0 20 0 6 0 947934883 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7753/statm: 103505 10730 1879 364 0 38380 0
[pid=7762] ppid=7753 vsize=307460 CPUtime=0.49 cores=0,2,4,6
/proc/7762/stat : 7762 (python) S 7753 7753 7156 0 -1 4202560 1122 0 0 0 26 23 0 0 15 0 2 0 947935058 314839040 9241 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7762/statm: 76865 9241 407 364 0 11752 0
[pid=7764] ppid=7762 vsize=8537628 CPUtime=92.01 cores=0,2,4,6
/proc/7764/stat : 7764 (java) T 7762 7764 7764 0 -1 4202496 114281 0 1 0 9180 21 0 0 18 0 19 0 947935058 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7764/statm: 2134407 92226 2258 9 0 2125148 0
[pid=7764/tid=7771] ppid=7762 vsize=8537628 CPUtime=89.48 cores=0,2,4,6
/proc/7764/task/7771/stat : 7771 (java) T 7762 7764 7764 0 -1 4202560 35301 0 1 0 8943 5 0 0 25 0 19 0 947935194 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 46912505813439 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7764/tid=7772] ppid=7762 vsize=8537628 CPUtime=0.08 cores=0,2,4,6
/proc/7764/task/7772/stat : 7772 (java) T 7762 7764 7764 0 -1 4202560 9791 0 0 0 6 2 0 0 15 0 19 0 947935194 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7773] ppid=7762 vsize=8537628 CPUtime=0.08 cores=0,2,4,6
/proc/7764/task/7773/stat : 7773 (java) T 7762 7764 7764 0 -1 4202560 4403 0 0 0 7 1 0 0 15 0 19 0 947935194 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7774] ppid=7762 vsize=8537628 CPUtime=0.07 cores=0,2,4,6
/proc/7764/task/7774/stat : 7774 (java) T 7762 7764 7764 0 -1 4202560 11101 0 0 0 5 2 0 0 15 0 19 0 947935194 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7764/tid=7775] ppid=7762 vsize=8537628 CPUtime=0.07 cores=0,2,4,6
/proc/7764/task/7775/stat : 7775 (java) T 7762 7764 7764 0 -1 4202560 6491 0 0 0 6 1 0 0 15 0 19 0 947935194 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7776] ppid=7762 vsize=8537628 CPUtime=0.11 cores=0,2,4,6
/proc/7764/task/7776/stat : 7776 (java) T 7762 7764 7764 0 -1 4202560 12948 0 0 0 9 2 0 0 15 0 19 0 947935194 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7777] ppid=7762 vsize=8537628 CPUtime=0.11 cores=0,2,4,6
/proc/7764/task/7777/stat : 7777 (java) T 7762 7764 7764 0 -1 4202560 8872 0 0 0 10 1 0 0 15 0 19 0 947935194 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7778] ppid=7762 vsize=8537628 CPUtime=0.04 cores=0,2,4,6
/proc/7764/task/7778/stat : 7778 (java) T 7762 7764 7764 0 -1 4202560 3305 0 0 0 4 0 0 0 15 0 19 0 947935195 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7779] ppid=7762 vsize=8537628 CPUtime=0.07 cores=0,2,4,6
/proc/7764/task/7779/stat : 7779 (java) T 7762 7764 7764 0 -1 4202560 5118 0 0 0 7 0 0 0 15 0 19 0 947935195 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7764/tid=7780] ppid=7762 vsize=8537628 CPUtime=0.74 cores=0,2,4,6
/proc/7764/task/7780/stat : 7780 (java) T 7762 7764 7764 0 -1 4202560 9084 0 0 0 73 1 0 0 15 0 19 0 947935196 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=7764/tid=7781] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7781/stat : 7781 (java) T 7762 7764 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947935196 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7782] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7782/stat : 7782 (java) T 7762 7764 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947935196 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7764/tid=7793] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7793/stat : 7793 (java) T 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947935198 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7794] ppid=7762 vsize=8537628 CPUtime=0.55 cores=0,2,4,6
/proc/7764/task/7794/stat : 7794 (java) T 7762 7764 7764 0 -1 4202560 3951 0 0 0 55 0 0 0 15 0 19 0 947935198 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7764/tid=7795] ppid=7762 vsize=8537628 CPUtime=0.49 cores=0,2,4,6
/proc/7764/task/7795/stat : 7795 (java) T 7762 7764 7764 0 -1 4202560 2529 0 0 0 49 0 0 0 15 0 19 0 947935198 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7764/tid=7796] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7796/stat : 7796 (java) T 7762 7764 7764 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947935198 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=7764/tid=7797] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7797/stat : 7797 (java) T 7762 7764 7764 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947935198 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=7764/tid=7801] ppid=7762 vsize=8537628 CPUtime=0 cores=0,2,4,6
/proc/7764/task/7801/stat : 7801 (java) T 7762 7764 7764 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947935266 8742531072 92226 33554432000 1073741824 1073778376 140734889724864 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=7762/tid=7835] ppid=7753 vsize=307460 CPUtime=0 cores=0,2,4,6
/proc/7762/task/7835/stat : 7835 (python) S 7753 7753 7156 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947939814 314839040 9241 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554946 18446604453450540928 0 0 -1 4 0 0 0
[pid=7836] ppid=7753 vsize=307472 CPUtime=0.33 cores=0,2,4,6
/proc/7836/stat : 7836 (python) S 7753 7753 7156 0 -1 4202560 1123 0 0 0 20 13 0 0 17 0 2 0 947939816 314851328 9230 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7836/statm: 76868 9230 396 364 0 11752 0
[pid=7838] ppid=7836 vsize=42064 CPUtime=46.18 cores=0,2,4,6
/proc/7838/stat : 7838 (wbo1.4a) T 7836 7838 7838 0 -1 4202496 12836 0 0 0 4593 25 0 0 25 0 1 0 947939817 43073536 10019 33554432000 134512640 135751879 4294089136 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/7838/statm: 10516 10019 146 303 0 10211 0
[pid=7836/tid=7845] ppid=7753 vsize=307472 CPUtime=0 cores=0,2,4,6
/proc/7836/task/7845/stat : 7845 (python) S 7753 7753 7156 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 947944436 314851328 9230 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554946 18446604447111546752 0 0 -1 6 0 0 0
[pid=7847] ppid=7753 vsize=317728 CPUtime=0.45 cores=0,2,4,6
/proc/7847/stat : 7847 (python) S 7753 7753 7156 0 -1 4202560 1189 0 0 0 24 21 0 0 16 0 2 0 947948868 325353472 9240 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/7847/statm: 79432 9240 402 364 0 14313 0
[pid=7849] ppid=7847 vsize=123580 CPUtime=91.31 cores=0,2,4,6
/proc/7849/stat : 7849 (clasp-1.3.7-x86) T 7847 7849 7849 0 -1 4202496 31163 0 0 0 9128 3 0 0 25 0 1 0 947948869 126545920 30626 33554432000 134512640 136139019 4293151200 18446744073709551615 134634773 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/7849/statm: 30895 30626 187 398 0 30495 0
[pid=7847/tid=7857] ppid=7753 vsize=317728 CPUtime=0 cores=0,2,4,6
/proc/7847/task/7857/stat : 7857 (python) S 7753 7753 7156 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 947958001 325353472 9240 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443481849984 0 0 -1 6 0 0 0
[pid=7858] ppid=7753 vsize=393520 CPUtime=0.26 cores=0,2,4,6
/proc/7858/stat : 7858 (python) S 7753 7753 7156 0 -1 4202560 1197 0 0 0 13 13 0 0 17 0 2 0 947958004 402964480 9246 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7858/statm: 98380 9246 402 364 0 33258 0
[pid=7860] ppid=7858 vsize=313280 CPUtime=47.13 cores=0,2,4,6
/proc/7860/stat : 7860 (pbct-0.1.2-linu) T 7858 7860 7860 0 -1 4202496 79805 0 0 0 4664 49 0 0 25 0 1 0 947958004 320798720 77117 33554432000 134512640 136422188 4291758976 18446744073709551615 135006973 0 0 16781312 16387 18446744071562691360 0 0 17 6 0 0 0
/proc/7860/statm: 78320 77117 236 467 0 77851 0
[pid=7858/tid=7865] ppid=7753 vsize=393520 CPUtime=0 cores=0,2,4,6
/proc/7858/task/7865/stat : 7865 (python) S 7753 7753 7156 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947962726 402964480 9246 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554946 18446604445475034176 0 0 -1 0 0 0 0
[pid=7866] ppid=7753 vsize=403776 CPUtime=0 cores=0,2,4,6
/proc/7866/stat : 7866 (python) S 7753 7753 7156 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 947962729 413466624 9195 33554432000 4194304 5683644 140736140810336 18446744073709551615 224284945990 0 0 16781312 33554946 1210619073059094528 0 0 17 0 0 0 0
/proc/7866/statm: 100944 9195 348 364 0 35819 0
[pid=7868] ppid=7866 vsize=8537120 CPUtime=0.89 cores=0,2,4,6
/proc/7868/stat : 7868 (java) S 7866 7868 7868 0 -1 4202496 17895 0 1 0 87 2 0 0 20 0 18 0 947962729 8742010880 16041 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7868/statm: 2134280 16041 2205 9 0 2125021 0
[pid=7868/tid=7869] ppid=7866 vsize=8537120 CPUtime=0.42 cores=0,2,4,6
/proc/7868/task/7869/stat : 7869 (java) R 7866 7868 7868 0 -1 4202560 13224 0 1 0 40 2 0 0 18 0 18 0 947962730 8742010880 17127 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 46912505592003 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7868/tid=7870] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7870/stat : 7870 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947962731 8742010880 17130 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 6 0 0 0
[pid=7868/tid=7871] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7871/stat : 7871 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947962731 8742010880 17133 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 6 0 0 0
[pid=7868/tid=7872] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7872/stat : 7872 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947962731 8742010880 17136 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 6 0 0 0
[pid=7868/tid=7873] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7873/stat : 7873 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947962731 8742010880 17138 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7874] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7874/stat : 7874 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947962731 8742010880 17143 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7875] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7875/stat : 7875 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947962731 8742010880 17146 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7876] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7876/stat : 7876 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947962731 8742010880 17149 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7877] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7877/stat : 7877 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947962731 8742010880 17149 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7878] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7878/stat : 7878 (java) S 7866 7868 7868 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947962732 8742010880 17151 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296742400 0 0 0 16800975 18446604443397973184 0 0 -1 6 0 0 0
[pid=7868/tid=7879] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7879/stat : 7879 (java) S 7866 7868 7868 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947962732 8742010880 17154 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 6 0 0 0
[pid=7868/tid=7880] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7880/stat : 7880 (java) S 7866 7868 7868 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 947962732 8742010880 17157 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7881] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7881/stat : 7881 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 947962735 8742010880 17159 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296749489 0 4 0 16800975 18446604443397973184 0 0 -1 6 0 0 0
[pid=7868/tid=7882] ppid=7866 vsize=8537120 CPUtime=0.25 cores=0,2,4,6
/proc/7868/task/7882/stat : 7882 (java) S 7866 7868 7868 0 -1 4202560 1815 0 0 0 25 0 0 0 19 0 18 0 947962735 8742010880 17162 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7883] ppid=7866 vsize=8537120 CPUtime=0.22 cores=0,2,4,6
/proc/7868/task/7883/stat : 7883 (java) S 7866 7868 7868 0 -1 4202560 2543 0 0 0 22 0 0 0 17 0 18 0 947962735 8742010880 17165 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 2 0 0 0
[pid=7868/tid=7884] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7884/stat : 7884 (java) S 7866 7868 7868 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 947962735 8742010880 17168 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296741785 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7868/tid=7885] ppid=7866 vsize=8537120 CPUtime=0 cores=0,2,4,6
/proc/7868/task/7885/stat : 7885 (java) S 7866 7868 7868 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 947962735 8742010880 17171 33554432000 1073741824 1073778376 140736946868304 18446744073709551615 224296742400 0 4 0 16800975 18446604443397973184 0 0 -1 0 0 0 0
[pid=7753/tid=7763] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7763/stat : 7763 (python) S 7751 7753 7156 0 -1 4202560 32 927 0 0 0 0 0 0 18 0 6 0 947935058 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
[pid=7753/tid=7837] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7837/stat : 7837 (python) S 7751 7753 7156 0 -1 4202560 24 927 0 0 0 0 0 0 20 0 6 0 947939817 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
[pid=7753/tid=7848] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7848/stat : 7848 (python) S 7751 7753 7156 0 -1 4202560 20 927 0 0 0 0 0 0 18 0 6 0 947948868 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
[pid=7753/tid=7859] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7859/stat : 7859 (python) S 7751 7753 7156 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 947958004 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 0 0 0 0
[pid=7753/tid=7867] ppid=7751 vsize=414020 CPUtime=0 cores=0,2,4,6
/proc/7753/task/7867/stat : 7867 (python) S 7751 7753 7156 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 947962729 423956480 10730 33554432000 4194304 5683644 140736140810336 18446744073709551615 224296749489 0 0 16781312 33554434 18446604446990942592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 280.67
Current children cumulated vsize (KiB) 19697648
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7753 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=482774
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=149977
# CPU time returned by wait4() is 1.63275
# while last known CPU time is 280.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 278.991
CPU time (s): 280.67
CPU user time (s): 278.83
CPU system time (s): 1.84
CPU usage (%): 100.602
Max. virtual memory (cumulated for all children) (KiB): 19698460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.48277
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19975
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= 2881
involuntary context switches= 32
runsolver used 2.12868 second user time and 4.02039 second system time
The end