runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10515 MiB free)
memory of node 1: 16384 MiB (9142 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291538-1532252882/watcher-4291538-1532252882 -o /tmp/evaluation-result-4291538-1532252882/solver-4291538-1532252882 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 876002584 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291538-1532252882.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=551, runsolver pid=547
Current StackSize limit: 8192 KiB
[startup+0.100399 s]*
/proc/loadavg: 1.69 1.56 1.50 4/215 567
/proc/meminfo: memFree=20110464/32770624 swapFree=67108860/67108860
[pid=551] ppid=547 vsize=14082740 memory=31468 CPUtime=0.1 cores=1,3,5,7
/proc/551/stat : 551 (java) S 547 551 29085 0 -1 1077944320 6313 0 0 0 9 1 0 0 20 0 15 0 42851430 14420725760 7867 33554432000 4194304 4196468 140733112904560 140733112887104 139636589932279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
/proc/551/statm: 3520685 7867 3139 1 0 3482761 0
[pid=551/tid=553] ppid=547 vsize=14082740 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/551/task/553/stat : 553 (java) R 547 551 29085 0 -1 4202560 4763 0 0 0 8 0 0 0 20 0 15 0 42851431 14420725760 8270 33554432000 4194304 4196468 140733112904560 139636594136232 139636570208107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=554] ppid=547 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/551/task/554/stat : 554 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 8270 33554432000 4194304 4196468 140733112904560 139636505000208 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=555] ppid=547 vsize=14082740 memory=4121550637824394912 CPUtime=0 cores=1,3,5,7
/proc/551/task/555/stat : 555 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 8270 33554432000 4194304 4196468 140733112904560 139636503947664 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=556] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/556/stat : 556 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 8270 33554432000 4194304 4196468 140733112904560 139636502895120 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=557] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/557/stat : 557 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 8270 33554432000 4194304 4196468 140733112904560 139636501842576 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=558] ppid=547 vsize=14082740 memory=139907104949888 CPUtime=0 cores=1,3,5,7
/proc/551/task/558/stat : 558 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 8270 33554432000 4194304 4196468 140733112904560 139635704170992 139636589943426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=559] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/559/stat : 559 (java) S 547 551 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 8270 33554432000 4194304 4196468 140733112904560 139635703117216 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=560] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/560/stat : 560 (java) S 547 551 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 8336 33554432000 4194304 4196468 140733112904560 139635702064624 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=561] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/561/stat : 561 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 8336 33554432000 4194304 4196468 140733112904560 139635701013200 139636589950875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=562] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/562/stat : 562 (java) S 547 551 29085 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 8336 33554432000 4194304 4196468 140733112904560 139635699959792 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=563] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/563/stat : 563 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 8336 33554432000 4194304 4196468 140733112904560 139635698907248 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=565] ppid=547 vsize=14082740 memory=139907104949888 CPUtime=0.01 cores=1,3,5,7
/proc/551/task/565/stat : 565 (java) S 547 551 29085 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 42851436 14420725760 8336 33554432000 4194304 4196468 140733112904560 139635697854704 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=566] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/566/stat : 566 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 8336 33554432000 4194304 4196468 140733112904560 139635696802400 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=567] ppid=547 vsize=14082740 memory=139907104949888 CPUtime=0 cores=1,3,5,7
/proc/551/task/567/stat : 567 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 8336 33554432000 4194304 4196468 140733112904560 139635627911984 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31468 KiB
[startup+0.210465 s]*
/proc/loadavg: 1.69 1.56 1.50 4/215 567
/proc/meminfo: memFree=20095320/32770624 swapFree=67108860/67108860
[pid=551] ppid=547 vsize=14082740 memory=47240 CPUtime=0.29 cores=1,3,5,7
/proc/551/stat : 551 (java) S 547 551 29085 0 -1 1077944320 9905 0 0 0 27 2 0 0 20 0 15 0 42851430 14420725760 11810 33554432000 4194304 4196468 140733112904560 140733112887104 139636589932279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
/proc/551/statm: 3520685 11810 3329 1 0 3482761 0
[pid=551/tid=553] ppid=547 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/551/task/553/stat : 553 (java) R 547 551 29085 0 -1 4202560 7722 0 0 0 19 1 0 0 20 0 15 0 42851431 14420725760 11876 33554432000 4194304 4196468 140733112904560 139636594158976 139636589953626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=554] ppid=547 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/551/task/554/stat : 554 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 11876 33554432000 4194304 4196468 140733112904560 139636505000208 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=555] ppid=547 vsize=14082740 memory=4121550637824394912 CPUtime=0 cores=1,3,5,7
/proc/551/task/555/stat : 555 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 11876 33554432000 4194304 4196468 140733112904560 139636503947664 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=556] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/556/stat : 556 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 11876 33554432000 4194304 4196468 140733112904560 139636502895120 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=557] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/557/stat : 557 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 11876 33554432000 4194304 4196468 140733112904560 139636501842576 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=558] ppid=547 vsize=14082740 memory=139907104949888 CPUtime=0 cores=1,3,5,7
/proc/551/task/558/stat : 558 (java) S 547 551 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635704170992 139636589943426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=559] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/559/stat : 559 (java) S 547 551 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635703117216 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=560] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/560/stat : 560 (java) S 547 551 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635702064624 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=561] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/561/stat : 561 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635701013200 139636589950875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=562] ppid=547 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/551/task/562/stat : 562 (java) R 547 551 29085 0 -1 4202560 446 0 0 0 2 0 0 0 20 0 15 0 42851436 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635699940808 139636575058392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=563] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/563/stat : 563 (java) R 547 551 29085 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635698907344 139636589942485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=565] ppid=547 vsize=14082740 memory=139907104949888 CPUtime=0.06 cores=1,3,5,7
/proc/551/task/565/stat : 565 (java) R 547 551 29085 0 -1 4202560 283 0 0 0 6 0 0 0 20 0 15 0 42851436 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635697851640 139636568886790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=566] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/566/stat : 566 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635696802400 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=567] ppid=547 vsize=14082740 memory=139907104949888 CPUtime=0 cores=1,3,5,7
/proc/551/task/567/stat : 567 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 11876 33554432000 4194304 4196468 140733112904560 139635627911984 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47240 KiB
[startup+0.310505 s]*
/proc/loadavg: 1.69 1.56 1.50 3/215 567
/proc/meminfo: memFree=20091908/32770624 swapFree=67108860/67108860
[pid=551] ppid=547 vsize=14082740 memory=50988 CPUtime=0.42 cores=1,3,5,7
/proc/551/stat : 551 (java) S 547 551 29085 0 -1 1077944320 10345 0 0 0 40 2 0 0 20 0 15 0 42851430 14420725760 12747 33554432000 4194304 4196468 140733112904560 140733112887104 139636589932279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
/proc/551/statm: 3520685 12747 3379 1 0 3482761 0
[pid=551/tid=553] ppid=547 vsize=14082740 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/551/task/553/stat : 553 (java) R 547 551 29085 0 -1 4202560 8074 0 0 0 28 1 0 0 20 0 15 0 42851431 14420725760 12747 33554432000 4194304 4196468 140733112904560 139636594142880 139636589946128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=554] ppid=547 vsize=14082740 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/551/task/554/stat : 554 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 12747 33554432000 4194304 4196468 140733112904560 139636505000208 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=555] ppid=547 vsize=14082740 memory=4409641106871156768 CPUtime=0 cores=1,3,5,7
/proc/551/task/555/stat : 555 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 12747 33554432000 4194304 4196468 140733112904560 139636503947664 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=556] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/556/stat : 556 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 12747 33554432000 4194304 4196468 140733112904560 139636502895120 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=557] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/557/stat : 557 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14420725760 12747 33554432000 4194304 4196468 140733112904560 139636501842576 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=558] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/558/stat : 558 (java) S 547 551 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635704170992 139636589943426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=559] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/559/stat : 559 (java) S 547 551 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635703117216 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=560] ppid=547 vsize=14082740 memory=139907104949888 CPUtime=0 cores=1,3,5,7
/proc/551/task/560/stat : 560 (java) S 547 551 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42851433 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635702064624 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=561] ppid=547 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/551/task/561/stat : 561 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635701013200 139636589950875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=562] ppid=547 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/551/task/562/stat : 562 (java) S 547 551 29085 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 42851436 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635699959792 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=563] ppid=547 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/551/task/563/stat : 563 (java) S 547 551 29085 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 15 0 42851436 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635698907248 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=565] ppid=547 vsize=14082740 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/551/task/565/stat : 565 (java) S 547 551 29085 0 -1 1077944384 292 0 0 0 8 0 0 0 20 0 15 0 42851436 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635697854704 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=566] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/566/stat : 566 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635696802400 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=567] ppid=547 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/567/stat : 567 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851436 14420725760 12747 33554432000 4194304 4196468 140733112904560 139635627911984 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50988 KiB
[startup+0.700781 s]
/proc/loadavg: 1.69 1.56 1.50 3/215 567
/proc/meminfo: memFree=20067600/32770624 swapFree=67108860/67108860
[pid=551] ppid=547 vsize=14084808 memory=88824 CPUtime=0.98 cores=1,3,5,7
/proc/551/stat : 551 (java) S 547 551 29085 0 -1 1077944320 17084 0 0 0 94 4 0 0 20 0 15 0 42851430 14422843392 22206 33554432000 4194304 4196468 140733112904560 140733112887104 139636589932279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
/proc/551/statm: 3521202 22206 3499 1 0 3483273 0
[pid=551/tid=553] ppid=547 vsize=14084808 memory=194 CPUtime=0.67 cores=1,3,5,7
/proc/551/task/553/stat : 553 (java) R 547 551 29085 0 -1 4202560 14399 0 0 0 64 3 0 0 20 0 15 0 42851431 14422843392 22206 33554432000 4194304 4196468 140733112904560 139636594161056 139636589954205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=554] ppid=547 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/554/stat : 554 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851432 14422843392 22206 33554432000 4194304 4196468 140733112904560 139636505000208 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=555] ppid=547 vsize=14084808 memory=96 CPUtime=0 cores=1,3,5,7
/proc/551/task/555/stat : 555 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14422843392 22206 33554432000 4194304 4196468 140733112904560 139636503947664 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=556] ppid=547 vsize=14084808 memory=54 CPUtime=0 cores=1,3,5,7
/proc/551/task/556/stat : 556 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14422843392 22206 33554432000 4194304 4196468 140733112904560 139636502895120 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=557] ppid=547 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/557/stat : 557 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14422843392 22206 33554432000 4194304 4196468 140733112904560 139636501842576 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=558] ppid=547 vsize=14084808 memory=4404 CPUtime=0 cores=1,3,5,7
/proc/551/task/558/stat : 558 (java) S 547 551 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42851433 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635704170992 139636589943426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=559] ppid=547 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/559/stat : 559 (java) S 547 551 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42851433 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635703117216 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=560] ppid=547 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/560/stat : 560 (java) S 547 551 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42851433 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635702064624 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=561] ppid=547 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/561/stat : 561 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635701013200 139636589950875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=562] ppid=547 vsize=14084808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/551/task/562/stat : 562 (java) S 547 551 29085 0 -1 1077944384 608 0 0 0 8 0 0 0 20 0 15 0 42851436 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635699959792 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=563] ppid=547 vsize=14084808 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/551/task/563/stat : 563 (java) S 547 551 29085 0 -1 1077944384 317 0 0 0 5 0 0 0 20 0 15 0 42851436 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635698907248 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=565] ppid=547 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/551/task/565/stat : 565 (java) S 547 551 29085 0 -1 1077944384 378 0 0 0 15 0 0 0 20 0 15 0 42851436 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635697854704 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=566] ppid=547 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/566/stat : 566 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635696802400 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=567] ppid=547 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/567/stat : 567 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851436 14422843392 22206 33554432000 4194304 4196468 140733112904560 139635627911984 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88824 KiB
[startup+1.38551 s]
# the end of solver process 551 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.34788 s, system=0.081495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80084 s]
/proc/loadavg: 1.69 1.56 1.50 3/215 567
/proc/meminfo: memFree=20067600/32770624 swapFree=67108860/67108860
[pid=551] ppid=547 vsize=14086856 memory=93464 CPUtime=1.18 cores=1,3,5,7
/proc/551/stat : 551 (java) S 547 551 29085 0 -1 1077944320 17697 0 0 0 114 4 0 0 20 0 15 0 42851430 14424940544 23366 33554432000 4194304 4196468 140733112904560 140733112887104 139636589932279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
/proc/551/statm: 3521714 23366 3506 1 0 3483785 0
[pid=551/tid=553] ppid=547 vsize=14086856 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/551/task/553/stat : 553 (java) R 547 551 29085 0 -1 4202560 14829 0 0 0 74 3 0 0 20 0 15 0 42851431 14424940544 23366 33554432000 4194304 4196468 140733112904560 139636594158000 139636574012766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=554] ppid=547 vsize=14086856 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/551/task/554/stat : 554 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851432 14424940544 23366 33554432000 4194304 4196468 140733112904560 139636505000208 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=555] ppid=547 vsize=14086856 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/551/task/555/stat : 555 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14424940544 23366 33554432000 4194304 4196468 140733112904560 139636503947664 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=556] ppid=547 vsize=14086856 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/551/task/556/stat : 556 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14424940544 23366 33554432000 4194304 4196468 140733112904560 139636502895120 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=557] ppid=547 vsize=14086856 memory=9724 CPUtime=0 cores=1,3,5,7
/proc/551/task/557/stat : 557 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14424940544 23366 33554432000 4194304 4196468 140733112904560 139636501842576 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=558] ppid=547 vsize=14086856 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/551/task/558/stat : 558 (java) S 547 551 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42851433 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635704170992 139636589943426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=559] ppid=547 vsize=14086856 memory=18444 CPUtime=0 cores=1,3,5,7
/proc/551/task/559/stat : 559 (java) S 547 551 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42851433 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635703117216 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=560] ppid=547 vsize=14086856 memory=640 CPUtime=0 cores=1,3,5,7
/proc/551/task/560/stat : 560 (java) S 547 551 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42851433 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635702064624 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=561] ppid=547 vsize=14086856 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/551/task/561/stat : 561 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635701013200 139636589950875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=562] ppid=547 vsize=14086856 memory=1240 CPUtime=0.1 cores=1,3,5,7
/proc/551/task/562/stat : 562 (java) S 547 551 29085 0 -1 1077944384 615 0 0 0 10 0 0 0 20 0 15 0 42851436 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635699959792 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=563] ppid=547 vsize=14086856 memory=960 CPUtime=0.08 cores=1,3,5,7
/proc/551/task/563/stat : 563 (java) S 547 551 29085 0 -1 1077944384 350 0 0 0 8 0 0 0 20 0 15 0 42851436 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635698907248 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=565] ppid=547 vsize=14086856 memory=2340 CPUtime=0.2 cores=1,3,5,7
/proc/551/task/565/stat : 565 (java) S 547 551 29085 0 -1 1077944384 521 0 0 0 20 0 0 0 20 0 15 0 42851436 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635697854704 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=566] ppid=547 vsize=14086856 memory=928 CPUtime=0 cores=1,3,5,7
/proc/551/task/566/stat : 566 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635696802400 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=567] ppid=547 vsize=14086856 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/551/task/567/stat : 567 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851436 14424940544 23366 33554432000 4194304 4196468 140733112904560 139635627911984 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 93464 KiB
[startup+1.20064 s]
/proc/loadavg: 1.69 1.56 1.50 6/215 567
/proc/meminfo: memFree=20037760/32770624 swapFree=67108860/67108860
[pid=551] ppid=547 vsize=14090952 memory=120660 CPUtime=1.85 cores=1,3,5,7
/proc/551/stat : 551 (java) S 547 551 29085 0 -1 1077944320 21701 0 0 0 179 6 0 0 20 0 15 0 42851430 14429134848 30165 33554432000 4194304 4196468 140733112904560 140733112887104 139636589932279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
/proc/551/statm: 3522738 30165 3525 1 0 3484809 0
[pid=551/tid=553] ppid=547 vsize=14090952 memory=3761966060178505760 CPUtime=1.16 cores=1,3,5,7
/proc/551/task/553/stat : 553 (java) R 547 551 29085 0 -1 4202560 17687 0 0 0 112 4 0 0 20 0 15 0 42851431 14429134848 30165 33554432000 4194304 4196468 140733112904560 139636594169136 139636589944214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=554] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/554/stat : 554 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 30165 33554432000 4194304 4196468 140733112904560 139636505000208 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=555] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/555/stat : 555 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 30165 33554432000 4194304 4196468 140733112904560 139636503947664 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=556] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/556/stat : 556 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 30165 33554432000 4194304 4196468 140733112904560 139636502895120 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=557] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/557/stat : 557 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 30165 33554432000 4194304 4196468 140733112904560 139636501842576 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=558] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/558/stat : 558 (java) S 547 551 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42851433 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635704170992 139636589943426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=559] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/559/stat : 559 (java) S 547 551 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42851433 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635703117216 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=560] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/560/stat : 560 (java) S 547 551 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42851433 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635702064624 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=561] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/561/stat : 561 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635701013200 139636589950875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=562] ppid=547 vsize=14090952 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/551/task/562/stat : 562 (java) R 547 551 29085 0 -1 1077944384 700 0 0 0 15 0 0 0 20 0 15 0 42851436 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635699959792 139636589943426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=563] ppid=547 vsize=14090952 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/551/task/563/stat : 563 (java) S 547 551 29085 0 -1 1077944384 420 0 0 0 12 0 0 0 20 0 15 0 42851436 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635698907248 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=565] ppid=547 vsize=14090952 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/551/task/565/stat : 565 (java) R 547 551 29085 0 -1 4202560 1510 0 0 0 38 0 0 0 20 0 15 0 42851436 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635697854704 139636568735416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=566] ppid=547 vsize=14090952 memory=10336 CPUtime=0 cores=1,3,5,7
/proc/551/task/566/stat : 566 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635696802400 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=567] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/567/stat : 567 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14429134848 30165 33554432000 4194304 4196468 140733112904560 139635627911984 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 120660 KiB
[startup+1.30139 s]
/proc/loadavg: 1.69 1.56 1.50 6/215 567
/proc/meminfo: memFree=20037760/32770624 swapFree=67108860/67108860
[pid=551] ppid=547 vsize=14090952 memory=125652 CPUtime=2.19 cores=1,3,5,7
/proc/551/stat : 551 (java) S 547 551 29085 0 -1 1077944320 22733 0 0 0 212 7 0 0 20 0 15 0 42851430 14429134848 31413 33554432000 4194304 4196468 140733112904560 140733112887104 139636589932279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
/proc/551/statm: 3522738 31413 3528 1 0 3484809 0
[pid=551/tid=553] ppid=547 vsize=14090952 memory=81792 CPUtime=1.26 cores=1,3,5,7
/proc/551/task/553/stat : 553 (java) R 547 551 29085 0 -1 4202560 17733 0 0 0 122 4 0 0 20 0 15 0 42851431 14429134848 31413 33554432000 4194304 4196468 140733112904560 139636594161568 139636185910782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=554] ppid=547 vsize=14090952 memory=99408 CPUtime=0 cores=1,3,5,7
/proc/551/task/554/stat : 554 (java) S 547 551 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 31413 33554432000 4194304 4196468 140733112904560 139636505000208 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=555] ppid=547 vsize=14090952 memory=194 CPUtime=0 cores=1,3,5,7
/proc/551/task/555/stat : 555 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 31413 33554432000 4194304 4196468 140733112904560 139636503947664 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=556] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/556/stat : 556 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 31413 33554432000 4194304 4196468 140733112904560 139636502895120 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=557] ppid=547 vsize=14090952 memory=96 CPUtime=0 cores=1,3,5,7
/proc/551/task/557/stat : 557 (java) S 547 551 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42851432 14429134848 31413 33554432000 4194304 4196468 140733112904560 139636501842576 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=558] ppid=547 vsize=14090952 memory=54 CPUtime=0 cores=1,3,5,7
/proc/551/task/558/stat : 558 (java) S 547 551 29085 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 42851433 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635704170992 139636589943426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=559] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/559/stat : 559 (java) S 547 551 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42851433 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635703117216 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=560] ppid=547 vsize=14090952 memory=4404 CPUtime=0 cores=1,3,5,7
/proc/551/task/560/stat : 560 (java) S 547 551 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42851433 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635702064624 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=561] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/561/stat : 561 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635701013200 139636589950875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=562] ppid=547 vsize=14090952 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/551/task/562/stat : 562 (java) R 547 551 29085 0 -1 4202560 1034 0 0 0 23 0 0 0 20 0 15 0 42851436 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635699949712 139636573458002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=563] ppid=547 vsize=14090952 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/551/task/563/stat : 563 (java) R 547 551 29085 0 -1 4202560 914 0 0 0 21 0 0 0 20 0 15 0 42851436 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635698893272 139636569192640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=565] ppid=547 vsize=14090952 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/551/task/565/stat : 565 (java) R 547 551 29085 0 -1 4202560 1658 0 0 0 44 0 0 0 20 0 15 0 42851436 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635697854704 139636589953626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=566] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/566/stat : 566 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635696802400 139636589942485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
[pid=551/tid=567] ppid=547 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/551/task/567/stat : 567 (java) S 547 551 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42851436 14429134848 31413 33554432000 4194304 4196468 140733112904560 139635627911984 139636589943426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140733112906837 140733112907017 140733112907017 140733112909775 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 125652 KiB
Child status: 0
Real time (s): 1.38555
CPU time (s): 2.42938
CPU user time (s): 2.34788
CPU system time (s): 0.081495
CPU usage (%): 175.336
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 125652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.34788
system time used= 0.081495
maximum resident set size= 130424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2669
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 551
# total CPU time (s): 2.42938
# total CPU user time (s): 2.34788
# total CPU system time (s): 0.081495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036221 second user time and 0.055397 second system time
The end