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-3482026-1307576713/watcher-3482026-1307576713 -o /tmp/evaluation-result-3482026-1307576713/solver-3482026-1307576713 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482026-1307576713.opb -seed 683913730 -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.37 0.61 4/564 21942
/proc/meminfo: memFree=29843928/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=15904 CPUtime=0 cores=0,2,4,6
/proc/21942/stat : 21942 (python) R 21940 21942 21667 0 -1 4202496 958 0 0 0 0 0 0 0 23 0 1 0 947902014 16285696 833 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415389696 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/21942/statm: 3976 833 357 364 0 463 0
[startup+0.0875219 s]
/proc/loadavg: 1.92 1.37 0.61 4/564 21942
/proc/meminfo: memFree=29843928/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=56740 CPUtime=0.05 cores=0,2,4,6
/proc/21942/stat : 21942 (python) S 21940 21942 21667 0 -1 4202496 2103 0 0 0 4 1 0 0 24 0 1 0 947902014 58101760 1857 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/21942/statm: 14185 1857 499 364 0 1308 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 56740
[startup+0.100513 s]
/proc/loadavg: 1.92 1.37 0.61 4/564 21942
/proc/meminfo: memFree=29843928/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=87824 CPUtime=0.06 cores=0,2,4,6
/proc/21942/stat : 21942 (python) R 21940 21942 21667 0 -1 4202496 2689 0 0 0 4 2 0 0 17 0 1 0 947902014 89931776 2404 33554432000 4194304 5683644 140735950524704 18446744073709551615 4509160 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21942/statm: 21956 2404 733 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87824
[startup+0.300494 s]
/proc/loadavg: 1.92 1.37 0.61 4/564 21942
/proc/meminfo: memFree=29843928/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=123736 CPUtime=0.17 cores=0,2,4,6
/proc/21942/stat : 21942 (python) R 21940 21942 21667 0 -1 4202496 5357 928 1 0 12 5 0 0 17 0 1 0 947902014 126705664 3743 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415387653 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21942/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.70042 s]
/proc/loadavg: 1.92 1.37 0.61 4/564 21942
/proc/meminfo: memFree=29843928/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=283940 CPUtime=0.47 cores=0,2,4,6
/proc/21942/stat : 21942 (python) R 21940 21942 21667 0 -1 4202496 9442 928 1 0 35 12 0 0 16 0 1 0 947902014 290754560 7304 33554432000 4194304 5683644 140735950524704 18446744073709551615 5007198 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21942/statm: 70985 7304 1781 364 0 5878 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 283940
[startup+1.5013 s]
/proc/loadavg: 1.92 1.37 0.61 4/585 21968
/proc/meminfo: memFree=29803408/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=294920 CPUtime=0.61 cores=0,2,4,6
/proc/21942/stat : 21942 (python) S 21940 21942 21667 0 -1 4202496 10131 928 1 0 49 12 0 0 18 0 2 0 947902014 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21942/statm: 73730 7567 1870 364 0 8617 0
[pid=21948] ppid=21942 vsize=284676 CPUtime=0 cores=0,2,4,6
/proc/21948/stat : 21948 (python) S 21942 21942 21667 0 -1 4202560 744 0 0 0 0 0 0 0 15 0 1 0 947902098 291508224 6045 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415411727 0 0 16781312 33554946 7977519916842451203 0 0 17 6 0 0 0
/proc/21948/statm: 71169 6045 352 364 0 6056 0
[pid=21950] ppid=21948 vsize=8541628 CPUtime=1.34 cores=0,2,4,6
/proc/21950/stat : 21950 (java) S 21948 21950 21950 0 -1 4202496 15108 0 1 0 131 3 0 0 19 0 19 0 947902098 8746627072 13126 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21950/statm: 2135407 13126 2227 9 0 2126148 0
[pid=21950/tid=21951] ppid=21948 vsize=8541628 CPUtime=0.64 cores=0,2,4,6
/proc/21950/task/21951/stat : 21951 (java) R 21948 21950 21950 0 -1 4202560 8939 0 1 0 62 2 0 0 18 0 19 0 947902099 8746627072 13126 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 46912505742038 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21950/tid=21952] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21952/stat : 21952 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947902099 8746627072 13126 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21953] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21953/stat : 21953 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947902099 8746627072 13126 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21955] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21955/stat : 21955 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947902099 8746627072 13126 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21956] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21956/stat : 21956 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947902099 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21957] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21957/stat : 21957 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947902099 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21958] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21958/stat : 21958 (java) S 21948 21950 21950 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947902099 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21959] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21959/stat : 21959 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902099 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21960] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21960/stat : 21960 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902099 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21961] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21961/stat : 21961 (java) S 21948 21950 21950 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 947902100 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 0 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21962] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21962/stat : 21962 (java) S 21948 21950 21950 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947902101 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21963] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21963/stat : 21963 (java) S 21948 21950 21950 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947902101 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21964] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21964/stat : 21964 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427215281 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21965] ppid=21948 vsize=8541628 CPUtime=0.32 cores=0,2,4,6
/proc/21950/task/21965/stat : 21965 (java) S 21948 21950 21950 0 -1 4202560 2922 0 0 0 32 0 0 0 17 0 19 0 947902103 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21966] ppid=21948 vsize=8541628 CPUtime=0.36 cores=0,2,4,6
/proc/21950/task/21966/stat : 21966 (java) S 21948 21950 21950 0 -1 4202560 1861 0 0 0 36 0 0 0 25 0 19 0 947902103 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 0 0 0 0
[pid=21950/tid=21967] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21967/stat : 21967 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21968] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21968/stat : 21968 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947902103 8746627072 13127 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21942/tid=21949] ppid=21940 vsize=294920 CPUtime=0 cores=0,2,4,6
/proc/21942/task/21949/stat : 21949 (python) S 21940 21942 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947902098 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427215281 0 0 16781312 33554434 18446604447725367360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9121224
[startup+3.10096 s]
/proc/loadavg: 1.92 1.37 0.61 3/586 21969
/proc/meminfo: memFree=29765084/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=294920 CPUtime=0.61 cores=0,2,4,6
/proc/21942/stat : 21942 (python) S 21940 21942 21667 0 -1 4202496 10131 928 1 0 49 12 0 0 18 0 2 0 947902014 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21942/statm: 73730 7567 1870 364 0 8617 0
[pid=21948] ppid=21942 vsize=284676 CPUtime=0 cores=0,2,4,6
/proc/21948/stat : 21948 (python) S 21942 21942 21667 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 947902098 291508224 6045 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415411727 0 0 16781312 33554946 7977519916842451203 0 0 17 6 0 0 0
/proc/21948/statm: 71169 6045 352 364 0 6056 0
[pid=21950] ppid=21948 vsize=8541628 CPUtime=3.08 cores=0,2,4,6
/proc/21950/stat : 21950 (java) S 21948 21950 21950 0 -1 4202496 17983 0 1 0 305 3 0 0 19 0 19 0 947902098 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21950/statm: 2135407 15997 2255 9 0 2126148 0
[pid=21950/tid=21951] ppid=21948 vsize=8541628 CPUtime=2.21 cores=0,2,4,6
/proc/21950/task/21951/stat : 21951 (java) R 21948 21950 21950 0 -1 4202560 9613 0 1 0 219 2 0 0 20 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 46912505738240 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21950/tid=21952] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21952/stat : 21952 (java) S 21948 21950 21950 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21953] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21953/stat : 21953 (java) S 21948 21950 21950 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21955] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21955/stat : 21955 (java) S 21948 21950 21950 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21956] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21956/stat : 21956 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21957] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21957/stat : 21957 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21958] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21958/stat : 21958 (java) S 21948 21950 21950 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21959] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21959/stat : 21959 (java) S 21948 21950 21950 0 -1 4202560 379 0 0 0 0 0 0 0 16 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21960] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21960/stat : 21960 (java) S 21948 21950 21950 0 -1 4202560 286 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21961] ppid=21948 vsize=8541628 CPUtime=0.01 cores=0,2,4,6
/proc/21950/task/21961/stat : 21961 (java) S 21948 21950 21950 0 -1 4202560 837 0 0 0 1 0 0 0 16 0 19 0 947902100 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 0 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21962] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21962/stat : 21962 (java) S 21948 21950 21950 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21963] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21963/stat : 21963 (java) S 21948 21950 21950 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21964] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21964/stat : 21964 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427215281 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21965] ppid=21948 vsize=8541628 CPUtime=0.39 cores=0,2,4,6
/proc/21950/task/21965/stat : 21965 (java) S 21948 21950 21950 0 -1 4202560 2936 0 0 0 39 0 0 0 15 0 19 0 947902103 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21966] ppid=21948 vsize=8541628 CPUtime=0.43 cores=0,2,4,6
/proc/21950/task/21966/stat : 21966 (java) S 21948 21950 21950 0 -1 4202560 1874 0 0 0 43 0 0 0 16 0 19 0 947902103 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 0 0 0 0
[pid=21950/tid=21967] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21967/stat : 21967 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21968] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21968/stat : 21968 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902103 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21969] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21969/stat : 21969 (java) S 21948 21950 21950 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947902135 8746627072 15997 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21942/tid=21949] ppid=21940 vsize=294920 CPUtime=0 cores=0,2,4,6
/proc/21942/task/21949/stat : 21949 (python) S 21940 21942 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947902098 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427215281 0 0 16781312 33554434 18446604447725367360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9121224
Solver just ended. Dumping a history of the last processes samples
[startup+4.70165 s]
/proc/loadavg: 1.92 1.38 0.62 3/586 21969
/proc/meminfo: memFree=29755040/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=294920 CPUtime=0.61 cores=0,2,4,6
/proc/21942/stat : 21942 (python) S 21940 21942 21667 0 -1 4202496 10131 928 1 0 49 12 0 0 18 0 2 0 947902014 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21942/statm: 73730 7567 1870 364 0 8617 0
[pid=21948] ppid=21942 vsize=284676 CPUtime=0.02 cores=0,2,4,6
/proc/21948/stat : 21948 (python) S 21942 21942 21667 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 947902098 291508224 6069 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415411727 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/21948/statm: 71169 6069 376 364 0 6056 0
[pid=21950] ppid=21948 vsize=8541628 CPUtime=4.73 cores=0,2,4,6
/proc/21950/stat : 21950 (java) S 21948 21950 21950 0 -1 4202496 19067 0 1 0 470 3 0 0 19 0 19 0 947902098 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21950/statm: 2135407 17079 2255 9 0 2126148 0
[pid=21950/tid=21951] ppid=21948 vsize=8541628 CPUtime=3.78 cores=0,2,4,6
/proc/21950/task/21951/stat : 21951 (java) R 21948 21950 21950 0 -1 4202560 9615 0 1 0 376 2 0 0 25 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 46912505712333 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21950/tid=21952] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21952/stat : 21952 (java) S 21948 21950 21950 0 -1 4202560 506 0 0 0 0 0 0 0 16 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21953] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21953/stat : 21953 (java) S 21948 21950 21950 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21955] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21955/stat : 21955 (java) S 21948 21950 21950 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21956] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21956/stat : 21956 (java) S 21948 21950 21950 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21957] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21957/stat : 21957 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21958] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21958/stat : 21958 (java) S 21948 21950 21950 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21959] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21959/stat : 21959 (java) S 21948 21950 21950 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21960] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21960/stat : 21960 (java) S 21948 21950 21950 0 -1 4202560 320 0 0 0 0 0 0 0 16 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21961] ppid=21948 vsize=8541628 CPUtime=0.04 cores=0,2,4,6
/proc/21950/task/21961/stat : 21961 (java) S 21948 21950 21950 0 -1 4202560 1121 0 0 0 4 0 0 0 16 0 19 0 947902100 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 0 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21962] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21962/stat : 21962 (java) S 21948 21950 21950 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21963] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21963/stat : 21963 (java) S 21948 21950 21950 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21964] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21964/stat : 21964 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427215281 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21965] ppid=21948 vsize=8541628 CPUtime=0.39 cores=0,2,4,6
/proc/21950/task/21965/stat : 21965 (java) S 21948 21950 21950 0 -1 4202560 2936 0 0 0 39 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21966] ppid=21948 vsize=8541628 CPUtime=0.47 cores=0,2,4,6
/proc/21950/task/21966/stat : 21966 (java) S 21948 21950 21950 0 -1 4202560 1880 0 0 0 47 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 0 0 0 0
[pid=21950/tid=21967] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21967/stat : 21967 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21968] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21968/stat : 21968 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21969] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21969/stat : 21969 (java) S 21948 21950 21950 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947902135 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21942/tid=21949] ppid=21940 vsize=294920 CPUtime=0 cores=0,2,4,6
/proc/21942/task/21949/stat : 21949 (python) S 21940 21942 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947902098 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427215281 0 0 16781312 33554434 18446604447725367360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 9121224
[startup+5.10158 s]
/proc/loadavg: 1.92 1.38 0.62 3/586 21969
/proc/meminfo: memFree=29755040/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=294920 CPUtime=0.61 cores=0,2,4,6
/proc/21942/stat : 21942 (python) S 21940 21942 21667 0 -1 4202496 10131 928 1 0 49 12 0 0 18 0 2 0 947902014 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21942/statm: 73730 7567 1870 364 0 8617 0
[pid=21948] ppid=21942 vsize=284676 CPUtime=0.02 cores=0,2,4,6
/proc/21948/stat : 21948 (python) S 21942 21942 21667 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 947902098 291508224 6069 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415411727 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/21948/statm: 71169 6069 376 364 0 6056 0
[pid=21950] ppid=21948 vsize=8541628 CPUtime=5.13 cores=0,2,4,6
/proc/21950/stat : 21950 (java) S 21948 21950 21950 0 -1 4202496 19067 0 1 0 510 3 0 0 19 0 19 0 947902098 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21950/statm: 2135407 17079 2255 9 0 2126148 0
[pid=21950/tid=21951] ppid=21948 vsize=8541628 CPUtime=4.18 cores=0,2,4,6
/proc/21950/task/21951/stat : 21951 (java) R 21948 21950 21950 0 -1 4202560 9615 0 1 0 416 2 0 0 25 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 46912505742263 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21950/tid=21952] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21952/stat : 21952 (java) S 21948 21950 21950 0 -1 4202560 506 0 0 0 0 0 0 0 16 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21953] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21953/stat : 21953 (java) S 21948 21950 21950 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21955] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21955/stat : 21955 (java) S 21948 21950 21950 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21956] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21956/stat : 21956 (java) S 21948 21950 21950 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21957] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21957/stat : 21957 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21958] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21958/stat : 21958 (java) S 21948 21950 21950 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21959] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21959/stat : 21959 (java) S 21948 21950 21950 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21960] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21960/stat : 21960 (java) S 21948 21950 21950 0 -1 4202560 320 0 0 0 0 0 0 0 16 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21961] ppid=21948 vsize=8541628 CPUtime=0.04 cores=0,2,4,6
/proc/21950/task/21961/stat : 21961 (java) S 21948 21950 21950 0 -1 4202560 1121 0 0 0 4 0 0 0 16 0 19 0 947902100 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 0 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21962] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21962/stat : 21962 (java) S 21948 21950 21950 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21963] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21963/stat : 21963 (java) S 21948 21950 21950 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21964] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21964/stat : 21964 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427215281 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21965] ppid=21948 vsize=8541628 CPUtime=0.39 cores=0,2,4,6
/proc/21950/task/21965/stat : 21965 (java) S 21948 21950 21950 0 -1 4202560 2936 0 0 0 39 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21966] ppid=21948 vsize=8541628 CPUtime=0.47 cores=0,2,4,6
/proc/21950/task/21966/stat : 21966 (java) S 21948 21950 21950 0 -1 4202560 1880 0 0 0 47 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 0 0 0 0
[pid=21950/tid=21967] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21967/stat : 21967 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21968] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21968/stat : 21968 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21969] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21969/stat : 21969 (java) S 21948 21950 21950 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947902135 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21942/tid=21949] ppid=21940 vsize=294920 CPUtime=0 cores=0,2,4,6
/proc/21942/task/21949/stat : 21949 (python) S 21940 21942 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947902098 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427215281 0 0 16781312 33554434 18446604447725367360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 9121224
[startup+5.30154 s]
/proc/loadavg: 1.92 1.38 0.62 3/586 21969
/proc/meminfo: memFree=29755040/32950928 swapFree=50514916/67111528
[pid=21942] ppid=21940 vsize=294920 CPUtime=0.61 cores=0,2,4,6
/proc/21942/stat : 21942 (python) S 21940 21942 21667 0 -1 4202496 10131 928 1 0 49 12 0 0 18 0 2 0 947902014 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/21942/statm: 73730 7567 1870 364 0 8617 0
[pid=21948] ppid=21942 vsize=284676 CPUtime=0.02 cores=0,2,4,6
/proc/21948/stat : 21948 (python) S 21942 21942 21667 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 947902098 291508224 6069 33554432000 4194304 5683644 140735950524704 18446744073709551615 256415411727 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/21948/statm: 71169 6069 376 364 0 6056 0
[pid=21950] ppid=21948 vsize=8541628 CPUtime=5.33 cores=0,2,4,6
/proc/21950/stat : 21950 (java) S 21948 21950 21950 0 -1 4202496 19068 0 1 0 530 3 0 0 19 0 19 0 947902098 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21950/statm: 2135407 17079 2255 9 0 2126148 0
[pid=21950/tid=21951] ppid=21948 vsize=8541628 CPUtime=4.38 cores=0,2,4,6
/proc/21950/task/21951/stat : 21951 (java) R 21948 21950 21950 0 -1 4202560 9616 0 1 0 436 2 0 0 25 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 46912505737576 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21950/tid=21952] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21952/stat : 21952 (java) S 21948 21950 21950 0 -1 4202560 506 0 0 0 0 0 0 0 16 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21953] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21953/stat : 21953 (java) S 21948 21950 21950 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21955] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21955/stat : 21955 (java) S 21948 21950 21950 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21956] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21956/stat : 21956 (java) S 21948 21950 21950 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21957] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21957/stat : 21957 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21958] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21958/stat : 21958 (java) S 21948 21950 21950 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21959] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21959/stat : 21959 (java) S 21948 21950 21950 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21960] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21960/stat : 21960 (java) S 21948 21950 21950 0 -1 4202560 320 0 0 0 0 0 0 0 16 0 19 0 947902099 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21961] ppid=21948 vsize=8541628 CPUtime=0.04 cores=0,2,4,6
/proc/21950/task/21961/stat : 21961 (java) S 21948 21950 21950 0 -1 4202560 1121 0 0 0 4 0 0 0 16 0 19 0 947902100 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 0 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21962] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21962/stat : 21962 (java) S 21948 21950 21950 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21963] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21963/stat : 21963 (java) S 21948 21950 21950 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947902101 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 6 0 0 0
[pid=21950/tid=21964] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21964/stat : 21964 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427215281 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21965] ppid=21948 vsize=8541628 CPUtime=0.39 cores=0,2,4,6
/proc/21950/task/21965/stat : 21965 (java) S 21948 21950 21950 0 -1 4202560 2936 0 0 0 39 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21966] ppid=21948 vsize=8541628 CPUtime=0.47 cores=0,2,4,6
/proc/21950/task/21966/stat : 21966 (java) S 21948 21950 21950 0 -1 4202560 1880 0 0 0 47 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 0 0 0 0
[pid=21950/tid=21967] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21967/stat : 21967 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427207577 0 4 0 16800975 18446604453627499456 0 0 -1 4 0 0 0
[pid=21950/tid=21968] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21968/stat : 21968 (java) S 21948 21950 21950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947902103 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21950/tid=21969] ppid=21948 vsize=8541628 CPUtime=0 cores=0,2,4,6
/proc/21950/task/21969/stat : 21969 (java) S 21948 21950 21950 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947902135 8746627072 17079 33554432000 1073741824 1073778376 140734103197168 18446744073709551615 256427208192 0 4 0 16800975 18446604453627499456 0 0 -1 2 0 0 0
[pid=21942/tid=21949] ppid=21940 vsize=294920 CPUtime=0 cores=0,2,4,6
/proc/21942/task/21949/stat : 21949 (python) S 21940 21942 21667 0 -1 4202560 25 928 0 0 0 0 0 0 18 0 2 0 947902098 301998080 7567 33554432000 4194304 5683644 140735950524704 18446744073709551615 256427215281 0 0 16781312 33554434 18446604447725367360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 9121224
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21942 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=524920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=153976
# CPU time returned by wait4() is 0.678896
# while last known CPU time is 5.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5.3943
CPU time (s): 5.96
CPU user time (s): 5.8
CPU system time (s): 0.16
CPU usage (%): 110.487
Max. virtual memory (cumulated for all children) (KiB): 9121224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52492
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16903
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= 2621
involuntary context switches= 14
runsolver used 0.030995 second user time and 0.083987 second system time
The end