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 (15207 MiB free)
memory of node 1: 16384 MiB (14771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273752-1502818178/watcher-4273752-1502818178 -o /tmp/evaluation-result-4273752-1502818178/solver-4273752-1502818178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 653638717 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273752-1502818178.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=10505, runsolver pid=10502
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 1.56 1.48 1.44 2/195 10506
/proc/meminfo: memFree=30698264/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=356952 memory=7564 CPUtime=0 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 1744 0 0 0 0 0 0 0 20 0 2 0 84013130 365518848 1891 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 89238 1891 1044 1 0 79208 0
[pid=10505/tid=10507] ppid=10502 vsize=356952 memory=4206751525541407381 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) S 10502 10505 12560 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 84013141 365518848 1891 18446744073709551615 4194304 4196468 140720919043936 139628994984352 139628990753410 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 356952 KiB
Current children cumulated memory: 7564 KiB
[startup+0.209738 s]*
/proc/loadavg: 1.56 1.48 1.44 2/208 10519
/proc/meminfo: memFree=30687040/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13906484 memory=22176 CPUtime=0.06 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 5003 0 0 0 5 1 0 0 20 0 14 0 84013130 14240239616 5544 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3476621 5544 2579 1 0 3466118 0
[pid=10505/tid=10507] ppid=10502 vsize=13973048 memory=8318255677412212789 CPUtime=0.04 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 3113 0 0 0 4 0 0 0 20 0 15 0 84013141 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628994984544 139628976424789 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13973048 memory=328 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13973048 memory=140004460283151 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 84013141 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13973048 memory=140004459619968 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 84013143 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 84013143 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628467664032 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 84013143 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628466610928 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13973048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) S 10502 10505 12560 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 84013146 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628464507632 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) S 10502 10505 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 84013146 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628463455088 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13973048 memory=140004459619968 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) S 10502 10505 12560 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 84013146 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628462402032 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13973048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13973048 memory=140004459619968 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013152 14308401152 5544 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22176 KiB
[startup+0.310173 s]*
/proc/loadavg: 1.56 1.48 1.44 4/209 10520
/proc/meminfo: memFree=30673664/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13975920 memory=37572 CPUtime=0.21 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 9988 0 0 0 18 3 0 0 20 0 15 0 84013130 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3493980 9393 3545 1 0 3482759 0
[pid=10505/tid=10507] ppid=10502 vsize=13975920 memory=-7677926825137650786 CPUtime=0.14 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 7734 0 0 0 12 2 0 0 20 0 15 0 84013141 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628994964528 139628974785893 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 84013141 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 84013143 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 84013143 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628467664032 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 84013143 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628466610928 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) S 10502 10505 12560 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 84013146 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628464507632 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) S 10502 10505 12560 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 84013146 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628463455088 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13975920 memory=140004459619968 CPUtime=0.03 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) S 10502 10505 12560 0 -1 1077944384 370 0 0 0 3 0 0 0 20 0 15 0 84013146 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628462402032 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13975920 memory=140004459619968 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013152 14311342080 9393 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37572 KiB
[startup+0.707422 s]
/proc/loadavg: 1.56 1.48 1.44 4/209 10520
/proc/meminfo: memFree=30660940/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13977988 memory=68652 CPUtime=0.96 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 14404 0 0 0 90 6 0 0 20 0 15 0 84013130 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3494497 17163 3724 1 0 3483271 0
[pid=10505/tid=10507] ppid=10502 vsize=13977988 memory=46652 CPUtime=0.53 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 10332 0 0 0 49 4 0 0 20 0 15 0 84013141 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628994978080 139628975999487 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13977988 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13977988 memory=15584 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13977988 memory=27972 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013141 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13977988 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 84013141 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13977988 memory=644 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 84013143 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13977988 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 84013143 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628467664032 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13977988 memory=956 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 84013143 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628466610928 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13977988 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13977988 memory=2240 CPUtime=0.1 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) R 10502 10505 12560 0 -1 4202560 1026 0 0 0 10 0 0 0 20 0 15 0 84013146 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628464488648 139628971442560 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13977988 memory=4088 CPUtime=0.1 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) R 10502 10505 12560 0 -1 4202560 675 0 0 0 10 0 0 0 20 0 15 0 84013146 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628463441112 139628972263663 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13977988 memory=1620 CPUtime=0.2 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) R 10502 10505 12560 0 -1 4202560 1001 0 0 0 20 0 0 0 20 0 15 0 84013146 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628462398968 139628970656474 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13977988 memory=140004459619968 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013152 14313459712 17163 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68652 KiB
[startup+1.50072 s]
/proc/loadavg: 1.56 1.48 1.44 3/209 10520
/proc/meminfo: memFree=30610996/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13980036 memory=302528 CPUtime=2.72 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 18869 0 0 0 255 17 0 0 20 0 15 0 84013130 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3495009 75632 3776 1 0 3483783 0
[pid=10505/tid=10507] ppid=10502 vsize=13980036 memory=107 CPUtime=1.26 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 13215 0 0 0 119 7 0 0 20 0 15 0 84013141 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628994978992 139628990754198 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13980036 memory=280008648081024 CPUtime=0.04 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 59 0 0 0 3 1 0 0 20 0 15 0 84013141 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13980036 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 84013141 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13980036 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 84013141 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13980036 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 70 0 0 0 3 1 0 0 20 0 15 0 84013141 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 84013143 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 84013143 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628467664096 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 84013143 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628466610944 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13980036 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) R 10502 10505 12560 0 -1 1077944384 1464 0 0 0 41 0 0 0 20 0 15 0 84013146 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628464507632 139628990753410 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13980036 memory=288230617509003574 CPUtime=0.39 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) S 10502 10505 12560 0 -1 1077944384 1009 0 0 0 39 0 0 0 20 0 15 0 84013146 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628463455088 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13980036 memory=15540738687502695 CPUtime=0.41 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) S 10502 10505 12560 0 -1 1077944384 1441 0 0 0 40 1 0 0 20 0 15 0 84013146 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628462402032 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 84013152 14315556864 75632 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 302528 KiB
[startup+3.10981 s]
/proc/loadavg: 1.75 1.52 1.46 3/209 10520
/proc/meminfo: memFree=30269696/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13980036 memory=443248 CPUtime=6.27 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 23190 0 0 0 601 26 0 0 20 0 15 0 84013130 14315556864 110812 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3495009 110812 3789 1 0 3483783 0
################
# More data... #
################
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 106001 0 0 0 243542 69 0 0 20 0 15 0 84013141 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628994980896 139628603865768 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13982084 memory=3345208 CPUtime=2.67 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 21662 0 0 0 247 20 0 0 20 0 15 0 84013141 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13982084 memory=3345208 CPUtime=2.67 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 19460 0 0 0 250 17 0 0 20 0 15 0 84013141 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13982084 memory=3345208 CPUtime=2.68 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 18162 0 0 0 252 16 0 0 20 0 15 0 84013141 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13982084 memory=3345208 CPUtime=2.68 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 18002 0 0 0 249 19 0 0 20 0 15 0 84013141 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13982084 memory=3345208 CPUtime=1.52 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 23029 0 0 0 137 15 0 0 20 0 15 0 84013143 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13982084 memory=3345208 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628467664096 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13982084 memory=3345208 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628466610944 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13982084 memory=6788 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13982084 memory=3345208 CPUtime=1.35 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) S 10502 10505 12560 0 -1 1077944384 4724 0 0 0 134 1 0 0 20 0 15 0 84013146 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628464507632 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13982084 memory=3345208 CPUtime=1.29 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) S 10502 10505 12560 0 -1 1077944384 4617 0 0 0 128 1 0 0 20 0 15 0 84013146 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628463455088 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13982084 memory=3345208 CPUtime=0.52 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) S 10502 10505 12560 0 -1 1077944384 3812 0 0 0 51 1 0 0 20 0 15 0 84013146 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628462402032 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13982084 memory=3345208 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13982084 memory=-8774313645642428999 CPUtime=0.74 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 2412 0 0 0 33 41 0 0 20 0 15 0 84013152 14317654016 836302 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 67 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 2452.33 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3345208 KiB
[startup+2502.3 s]
/proc/loadavg: 1.02 1.32 1.43 3/209 10744
/proc/meminfo: memFree=27754920/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2512.62 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 227698 0 0 0 251083 179 0 0 20 0 15 0 84013130 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3495521 836814 3792 1 0 3484295 0
[pid=10505/tid=10507] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2495.88 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 107143 0 0 0 249519 69 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628994980896 139628975314663 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.78 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 22696 0 0 0 257 21 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.78 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 20306 0 0 0 260 18 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.8 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 18369 0 0 0 263 17 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.79 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 18397 0 0 0 260 19 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13982084 memory=3347256 CPUtime=1.57 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 23774 0 0 0 142 15 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628467664096 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13982084 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628466610944 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13982084 memory=164 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13982084 memory=3347256 CPUtime=1.35 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) S 10502 10505 12560 0 -1 1077944384 4730 0 0 0 134 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628464507632 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13982084 memory=3347256 CPUtime=1.29 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) S 10502 10505 12560 0 -1 1077944384 4623 0 0 0 128 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628463455088 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0.52 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) S 10502 10505 12560 0 -1 1077944384 3818 0 0 0 51 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628462402032 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13982084 memory=2016 CPUtime=0.75 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 2469 0 0 0 33 42 0 0 20 0 15 0 84013152 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 67 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 2512.62 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3347256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.7 s]
/proc/loadavg: 1.09 1.32 1.43 3/209 10744
/proc/meminfo: memFree=27754796/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2520.05 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 227725 0 0 0 251826 179 0 0 20 0 15 0 84013130 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3495521 836814 3792 1 0 3484295 0
[pid=10505/tid=10507] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2503.26 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 107156 0 0 0 250257 69 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628994980592 139628603864965 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13982084 memory=0 CPUtime=2.8 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 22698 0 0 0 259 21 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.8 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 20308 0 0 0 262 18 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.81 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 18374 0 0 0 264 17 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.8 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 18402 0 0 0 261 19 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13982084 memory=3347256 CPUtime=1.58 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 23774 0 0 0 143 15 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13982084 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628467664096 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13982084 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628466610944 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13982084 memory=68 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13982084 memory=3347256 CPUtime=1.35 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) S 10502 10505 12560 0 -1 1077944384 4730 0 0 0 134 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628464507632 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13982084 memory=2384 CPUtime=1.29 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) S 10502 10505 12560 0 -1 1077944384 4623 0 0 0 128 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628463455088 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0.52 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) S 10502 10505 12560 0 -1 1077944384 3818 0 0 0 51 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628462402032 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0.75 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 2469 0 0 0 33 42 0 0 20 0 15 0 84013152 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 67 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3347256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.74 s]
# the end of solver process 10505 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.28 s, system=1.81593 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.7 s]
/proc/loadavg: 1.09 1.32 1.43 3/209 10744
/proc/meminfo: memFree=27754796/32770624 swapFree=67105588/67108860
[pid=10505] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2520.05 cores=0,2,4,6
/proc/10505/stat : 10505 (java) S 10502 10505 12560 0 -1 1077944320 227725 0 0 0 251826 179 0 0 20 0 15 0 84013130 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 140720919026480 139628990742263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
/proc/10505/statm: 3495521 836814 3792 1 0 3484295 0
[pid=10505/tid=10507] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2503.26 cores=0,2,4,6
/proc/10505/task/10507/stat : 10507 (java) R 10502 10505 12560 0 -1 4202560 107156 0 0 0 250257 69 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628994980592 139628603864965 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10508] ppid=10502 vsize=13982084 memory=0 CPUtime=2.8 cores=0,2,4,6
/proc/10505/task/10508/stat : 10508 (java) S 10502 10505 12560 0 -1 1077944384 22698 0 0 0 259 21 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628925176848 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10509] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.8 cores=0,2,4,6
/proc/10505/task/10509/stat : 10509 (java) S 10502 10505 12560 0 -1 1077944384 20308 0 0 0 262 18 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628924124304 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10510] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.81 cores=0,2,4,6
/proc/10505/task/10510/stat : 10510 (java) S 10502 10505 12560 0 -1 1077944384 18374 0 0 0 264 17 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628923071248 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10511] ppid=10502 vsize=13982084 memory=3347256 CPUtime=2.8 cores=0,2,4,6
/proc/10505/task/10511/stat : 10511 (java) S 10502 10505 12560 0 -1 1077944384 18402 0 0 0 261 19 0 0 20 0 15 0 84013141 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628922018704 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10512] ppid=10502 vsize=13982084 memory=3347256 CPUtime=1.58 cores=0,2,4,6
/proc/10505/task/10512/stat : 10512 (java) S 10502 10505 12560 0 -1 1077944384 23774 0 0 0 143 15 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628468717808 139628990753410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10513] ppid=10502 vsize=13982084 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10513/stat : 10513 (java) S 10502 10505 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628467664096 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10514] ppid=10502 vsize=13982084 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10514/stat : 10514 (java) S 10502 10505 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 84013143 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628466610944 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10515] ppid=10502 vsize=13982084 memory=68 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10515/stat : 10515 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628465559504 139628990760859 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10516] ppid=10502 vsize=13982084 memory=3347256 CPUtime=1.35 cores=0,2,4,6
/proc/10505/task/10516/stat : 10516 (java) S 10502 10505 12560 0 -1 1077944384 4730 0 0 0 134 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628464507632 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10517] ppid=10502 vsize=13982084 memory=2384 CPUtime=1.29 cores=0,2,4,6
/proc/10505/task/10517/stat : 10517 (java) S 10502 10505 12560 0 -1 1077944384 4623 0 0 0 128 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628463455088 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10518] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0.52 cores=0,2,4,6
/proc/10505/task/10518/stat : 10518 (java) S 10502 10505 12560 0 -1 1077944384 3818 0 0 0 51 1 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628462402032 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10519] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0 cores=0,2,4,6
/proc/10505/task/10519/stat : 10519 (java) S 10502 10505 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 84013146 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628461349728 139628990752469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
[pid=10505/tid=10520] ppid=10502 vsize=13982084 memory=3347256 CPUtime=0.75 cores=0,2,4,6
/proc/10505/task/10520/stat : 10520 (java) S 10502 10505 12560 0 -1 1077944384 2469 0 0 0 33 42 0 0 20 0 15 0 84013152 14317654016 836814 18446744073709551615 4194304 4196468 140720919043936 139628460296752 139628990753410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 67 0 0 6293624 6294260 39800832 140720919052655 140720919052841 140720919052841 140720919056335 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3347256 KiB
Child status: 143
Real time (s): 2509.74
CPU time (s): 2520.1
CPU user time (s): 2518.28
CPU system time (s): 1.81593
CPU usage (%): 100.413
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3480052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.28
system time used= 1.81593
maximum resident set size= 3482100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98394
involuntary context switches= 4889
# summary of solver processes directly reported to runsolver:
# pid: 10505
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.28
# total CPU system time (s): 1.81593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0872 second user time and 22.9146 second system time
The end