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 (10540 MiB free)
memory of node 1: 16384 MiB (14973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399331-1568698297/watcher-4399331-1568698297 -o /tmp/evaluation-result-4399331-1568698297/solver-4399331-1568698297 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568698246-23583 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 789208150 HOME/instance-4399331-1568698297.xml
running on 4 cores: 1,3,5,7
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=24494, runsolver pid=24491
Current StackSize limit: 8192 KiB
[startup+0.101015 s]*
/proc/loadavg: 2.09 1.46 1.39 6/234 24510
/proc/meminfo: memFree=26109784/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
[pid=24496] ppid=24494 vsize=15144776 memory=29124 CPUtime=0.13 cores=1,3,5,7
/proc/24496/stat : 24496 (java) S 24494 24494 23551 0 -1 1077944320 5714 0 0 0 12 1 0 0 20 0 15 0 445768150 15508250624 7281 33554432000 4194304 4196468 140727437588912 140727437571456 140332333936375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
/proc/24496/statm: 3786194 7281 3185 1 0 3748377 0
[pid=24496/tid=24497] ppid=24494 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/24496/task/24497/stat : 24497 (java) R 24494 24494 23551 0 -1 4202560 3585 0 0 0 8 1 0 0 20 0 15 0 445768150 15508250624 7281 33554432000 4194304 4196468 140727437588912 140332338159632 140332333948310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24498] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24498/stat : 24498 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 7281 33554432000 4194304 4196468 140727437588912 140332286557328 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24499] ppid=24494 vsize=15144776 memory=140665660909184 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24499/stat : 24499 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331925298192 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24500] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24500/stat : 24500 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331924245392 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24501] ppid=24494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24501/stat : 24501 (java) S 24494 24494 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331923192592 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24502] ppid=24494 vsize=15144776 memory=140665660909184 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24502/stat : 24502 (java) S 24494 24494 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768152 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331207956848 140332333947522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24503] ppid=24494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24503/stat : 24503 (java) S 24494 24494 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445768152 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331206902816 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24504] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24504/stat : 24504 (java) S 24494 24494 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445768153 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331205849968 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24505] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24505/stat : 24505 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331204798288 140332333954971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24506] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24506/stat : 24506 (java) R 24494 24494 23551 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331203746672 140332333947522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24507] ppid=24494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24507/stat : 24507 (java) R 24494 24494 23551 0 -1 4202560 161 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331202693872 140332326921417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24508] ppid=24494 vsize=15144776 memory=140665660909184 CPUtime=0.02 cores=1,3,5,7
/proc/24496/task/24508/stat : 24508 (java) R 24494 24494 23551 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 445768155 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331201641072 140332318016862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24509] ppid=24494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24509/stat : 24509 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331200588512 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24510] ppid=24494 vsize=15144776 memory=140665660909184 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24510/stat : 24510 (java) R 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 7281 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30576 KiB
[startup+0.21084 s]*
/proc/loadavg: 2.09 1.46 1.39 6/234 24510
/proc/meminfo: memFree=26097480/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
[pid=24496] ppid=24494 vsize=15144776 memory=40924 CPUtime=0.35 cores=1,3,5,7
/proc/24496/stat : 24496 (java) S 24494 24494 23551 0 -1 1077944320 9485 0 0 0 32 3 0 0 20 0 15 0 445768150 15508250624 10231 33554432000 4194304 4196468 140727437588912 140727437571456 140332333936375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
/proc/24496/statm: 3786194 10231 3304 1 0 3748377 0
[pid=24496/tid=24497] ppid=24494 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24496/task/24497/stat : 24497 (java) R 24494 24494 23551 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 445768150 15508250624 10231 33554432000 4194304 4196468 140727437588912 140332338171360 140332333958205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24498] ppid=24494 vsize=15144776 memory=2128864 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24498/stat : 24498 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 10231 33554432000 4194304 4196468 140727437588912 140332286557328 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24499] ppid=24494 vsize=15144776 memory=288371041812620928 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24499/stat : 24499 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331925298192 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24500] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24500/stat : 24500 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331924245392 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24501] ppid=24494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24501/stat : 24501 (java) S 24494 24494 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768151 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331923192592 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24502] ppid=24494 vsize=15144776 memory=140665660909184 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24502/stat : 24502 (java) S 24494 24494 23551 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445768152 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331207956848 140332333947522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24503] ppid=24494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24503/stat : 24503 (java) S 24494 24494 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445768152 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331206902816 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24504] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24504/stat : 24504 (java) S 24494 24494 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445768153 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331205849968 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24505] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24505/stat : 24505 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331204798288 140332333954971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24506] ppid=24494 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24496/task/24506/stat : 24506 (java) S 24494 24494 23551 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 15 0 445768155 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331203746672 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24507] ppid=24494 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24496/task/24507/stat : 24507 (java) S 24494 24494 23551 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 15 0 445768155 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331202693872 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24508] ppid=24494 vsize=15144776 memory=140665660909184 CPUtime=0.08 cores=1,3,5,7
/proc/24496/task/24508/stat : 24508 (java) S 24494 24494 23551 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 445768155 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331201641072 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24509] ppid=24494 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24509/stat : 24509 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331200588512 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24510] ppid=24494 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24510/stat : 24510 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768155 15508250624 10231 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42376 KiB
[startup+0.313541 s]*
/proc/loadavg: 2.09 1.46 1.39 7/234 24510
/proc/meminfo: memFree=26090468/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
[pid=24496] ppid=24494 vsize=15149032 memory=50372 CPUtime=0.54 cores=1,3,5,7
/proc/24496/stat : 24496 (java) S 24494 24494 23551 0 -1 1077944320 10957 0 0 0 50 4 0 0 20 0 15 0 445768150 15512608768 12593 33554432000 4194304 4196468 140727437588912 140727437571456 140332333936375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
/proc/24496/statm: 3787258 12593 3353 1 0 3748377 0
[pid=24496/tid=24497] ppid=24494 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/24496/task/24497/stat : 24497 (java) R 24494 24494 23551 0 -1 4202560 7862 0 0 0 27 3 0 0 20 0 15 0 445768150 15512608768 12593 33554432000 4194304 4196468 140727437588912 140332338167488 140332333948310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24498] ppid=24494 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24498/stat : 24498 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15512608768 12593 33554432000 4194304 4196468 140727437588912 140332286557328 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24499] ppid=24494 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24499/stat : 24499 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15512608768 12593 33554432000 4194304 4196468 140727437588912 140331925298192 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24500] ppid=24494 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24500/stat : 24500 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768151 15512608768 12593 33554432000 4194304 4196468 140727437588912 140331924245392 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24501] ppid=24494 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24501/stat : 24501 (java) S 24494 24494 23551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445768151 15512608768 12593 33554432000 4194304 4196468 140727437588912 140331923192592 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24502] ppid=24494 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24502/stat : 24502 (java) S 24494 24494 23551 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445768152 15512608768 12593 33554432000 4194304 4196468 140727437588912 140331207956848 140332333947522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24503] ppid=24494 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24503/stat : 24503 (java) S 24494 24494 23551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445768152 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331206902816 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24504] ppid=24494 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24504/stat : 24504 (java) S 24494 24494 23551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445768153 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331205849968 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24505] ppid=24494 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24505/stat : 24505 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768155 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331204798288 140332333954971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24506] ppid=24494 vsize=15149032 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/24496/task/24506/stat : 24506 (java) S 24494 24494 23551 0 -1 1077944384 517 0 0 0 3 0 0 0 20 0 15 0 445768155 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331203746672 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24507] ppid=24494 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24507/stat : 24507 (java) S 24494 24494 23551 0 -1 1077944384 400 0 0 0 6 0 0 0 20 0 15 0 445768155 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331202693872 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24508] ppid=24494 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24496/task/24508/stat : 24508 (java) S 24494 24494 23551 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 445768155 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331201641072 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24509] ppid=24494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24509/stat : 24509 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445768155 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331200588512 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24510] ppid=24494 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24510/stat : 24510 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445768155 15512608768 12658 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51824 KiB
[startup+0.704513 s]
/proc/loadavg: 2.09 1.46 1.39 8/238 24570
/proc/meminfo: memFree=25979136/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
[pid=24496] ppid=24494 vsize=15617104 memory=187704 CPUtime=1.66 cores=1,3,5,7
/proc/24496/stat : 24496 (java) S 24494 24494 23551 0 -1 1077944320 18034 0 0 0 157 9 0 0 20 0 19 0 445768150 15991914496 46926 33554432000 4194304 4196468 140727437588912 140727437571456 140332333936375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
/proc/24496/statm: 3904276 46926 3484 1 0 3865376 0
[pid=24496/tid=24497] ppid=24494 vsize=15617104 memory=33 CPUtime=0.45 cores=1,3,5,7
/proc/24496/task/24497/stat : 24497 (java) S 24494 24494 23551 0 -1 1077944384 9021 0 0 0 42 3 0 0 20 0 19 0 445768150 15991914496 46926 33554432000 4194304 4196468 140727437588912 140332338177152 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24498] ppid=24494 vsize=15617104 memory=288230608904420306 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24498/stat : 24498 (java) S 24494 24494 23551 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445768151 15991914496 46926 33554432000 4194304 4196468 140727437588912 140332286557328 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24499] ppid=24494 vsize=15617104 memory=14972261113308207 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24499/stat : 24499 (java) S 24494 24494 23551 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 445768151 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331925298192 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24500] ppid=24494 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24500/stat : 24500 (java) S 24494 24494 23551 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445768151 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331924245392 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24501] ppid=24494 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24501/stat : 24501 (java) S 24494 24494 23551 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445768151 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331923192592 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24502] ppid=24494 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24502/stat : 24502 (java) S 24494 24494 23551 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445768152 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331207956848 140332333947522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24503] ppid=24494 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24503/stat : 24503 (java) S 24494 24494 23551 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 445768152 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331206902880 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24504] ppid=24494 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24504/stat : 24504 (java) S 24494 24494 23551 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445768153 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331205849984 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24505] ppid=24494 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24505/stat : 24505 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331204798288 140332333954971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24506] ppid=24494 vsize=15617104 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/24496/task/24506/stat : 24506 (java) R 24494 24494 23551 0 -1 4202560 1070 0 0 0 24 0 0 0 20 0 19 0 445768155 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331203739864 140332311531392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24507] ppid=24494 vsize=15617104 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/24496/task/24507/stat : 24507 (java) R 24494 24494 23551 0 -1 4202560 1193 0 0 0 28 0 0 0 20 0 19 0 445768155 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331202675888 140332312352200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24508] ppid=24494 vsize=15617104 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/24496/task/24508/stat : 24508 (java) S 24494 24494 23551 0 -1 1077944384 1694 0 0 0 30 0 0 0 20 0 19 0 445768155 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331201641072 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24509] ppid=24494 vsize=15617104 memory=4639074098508484693 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24509/stat : 24509 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331200588512 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24510] ppid=24494 vsize=15617104 memory=7524222404266058850 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24510/stat : 24510 (java) S 24494 24494 23551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 46926 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 189156 KiB
[startup+1.50151 s]
/proc/loadavg: 2.09 1.46 1.39 13/238 24766
/proc/meminfo: memFree=25928016/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24496/task/24510/stat : 24510 (java) S 24494 24494 23551 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 86757 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24795] ppid=24494 vsize=15617104 memory=1122252 CPUtime=19.12 cores=1,3,5,7
/proc/24496/task/24795/stat : 24795 (java) R 24494 24494 23551 0 -1 4202560 246 0 0 0 1912 0 0 0 20 0 19 0 445768271 15991914496 86757 33554432000 4194304 4196468 140727437588912 140331186108656 140331969950817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24796] ppid=24494 vsize=15617104 memory=1452 CPUtime=19.07 cores=1,3,5,7
/proc/24496/task/24796/stat : 24796 (java) R 24494 24494 23551 0 -1 4202560 502 0 0 0 1907 0 0 0 20 0 19 0 445768271 15991914496 86757 33554432000 4194304 4196468 140727437588912 140331188211776 140331971609619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24797] ppid=24494 vsize=15617104 memory=1452 CPUtime=19.08 cores=1,3,5,7
/proc/24496/task/24797/stat : 24797 (java) R 24494 24494 23551 0 -1 4202560 639 0 0 0 1908 0 0 0 20 0 19 0 445768271 15991914496 86757 33554432000 4194304 4196468 140727437588912 140331189268112 140331970560517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24798] ppid=24494 vsize=15617104 memory=343400 CPUtime=19.01 cores=1,3,5,7
/proc/24496/task/24798/stat : 24798 (java) R 24494 24494 23551 0 -1 4202560 468 0 0 0 1900 1 0 0 20 0 19 0 445768273 15991914496 86757 33554432000 4194304 4196468 140727437588912 140331187158584 140331970324745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 81.27 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 348480 KiB
[startup+22.4015 s]
/proc/loadavg: 3.91 1.91 1.54 9/238 24880
/proc/meminfo: memFree=26823024/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
[pid=24496] ppid=24494 vsize=15617104 memory=351156 CPUtime=87.59 cores=1,3,5,7
/proc/24496/stat : 24496 (java) S 24494 24494 23551 0 -1 1077944320 33060 0 0 0 8737 22 0 0 20 0 19 0 445768150 15991914496 87789 33554432000 4194304 4196468 140727437588912 140727437571456 140332333936375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
/proc/24496/statm: 3904276 87789 3516 1 0 3865376 0
[pid=24496/tid=24497] ppid=24494 vsize=15617104 memory=1452 CPUtime=0.45 cores=1,3,5,7
/proc/24496/task/24497/stat : 24497 (java) S 24494 24494 23551 0 -1 1077944384 9021 0 0 0 42 3 0 0 20 0 19 0 445768150 15991914496 87789 33554432000 4194304 4196468 140727437588912 140332338177152 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24498] ppid=24494 vsize=15617104 memory=47904 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24498/stat : 24498 (java) S 24494 24494 23551 0 -1 1077944384 181 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87789 33554432000 4194304 4196468 140727437588912 140332286557328 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24499] ppid=24494 vsize=15617104 memory=3624 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24499/stat : 24499 (java) S 24494 24494 23551 0 -1 1077944384 372 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331925298192 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24500] ppid=24494 vsize=15617104 memory=47904 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24500/stat : 24500 (java) S 24494 24494 23551 0 -1 1077944384 555 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331924245392 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24501] ppid=24494 vsize=15617104 memory=988 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24501/stat : 24501 (java) S 24494 24494 23551 0 -1 1077944384 353 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331923192592 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24502] ppid=24494 vsize=15617104 memory=2016 CPUtime=0.04 cores=1,3,5,7
/proc/24496/task/24502/stat : 24502 (java) S 24494 24494 23551 0 -1 1077944384 681 0 0 0 3 1 0 0 20 0 19 0 445768152 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331207956848 140332333947522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24503] ppid=24494 vsize=15617104 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24503/stat : 24503 (java) S 24494 24494 23551 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 445768152 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331206902880 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24504] ppid=24494 vsize=15617104 memory=334192 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24504/stat : 24504 (java) S 24494 24494 23551 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445768153 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331205849984 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24505] ppid=24494 vsize=15617104 memory=15816681863783473 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24505/stat : 24505 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331204798288 140332333954971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24506] ppid=24494 vsize=15617104 memory=1452 CPUtime=1.13 cores=1,3,5,7
/proc/24496/task/24506/stat : 24506 (java) S 24494 24494 23551 0 -1 1077944384 4973 0 0 0 112 1 0 0 20 0 19 0 445768155 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331203746672 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24507] ppid=24494 vsize=15617104 memory=335220 CPUtime=1.23 cores=1,3,5,7
/proc/24496/task/24507/stat : 24507 (java) S 24494 24494 23551 0 -1 1077944384 5758 0 0 0 123 0 0 0 20 0 19 0 445768155 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331202693872 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24508] ppid=24494 vsize=15617104 memory=2159 CPUtime=0.44 cores=1,3,5,7
/proc/24496/task/24508/stat : 24508 (java) S 24494 24494 23551 0 -1 1077944384 2826 0 0 0 44 0 0 0 20 0 19 0 445768155 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331201641072 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24509] ppid=24494 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24509/stat : 24509 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331200588512 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24510] ppid=24494 vsize=15617104 memory=1458 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24510/stat : 24510 (java) S 24494 24494 23551 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24795] ppid=24494 vsize=15617104 memory=4463 CPUtime=20.68 cores=1,3,5,7
/proc/24496/task/24795/stat : 24795 (java) R 24494 24494 23551 0 -1 4202560 273 0 0 0 2068 0 0 0 20 0 19 0 445768271 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331186106192 140331967419071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24796] ppid=24494 vsize=15617104 memory=344 CPUtime=20.64 cores=1,3,5,7
/proc/24496/task/24796/stat : 24796 (java) R 24494 24494 23551 0 -1 4202560 514 0 0 0 2064 0 0 0 20 0 19 0 445768271 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331188214624 140331970322112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24797] ppid=24494 vsize=15617104 memory=56 CPUtime=20.65 cores=1,3,5,7
/proc/24496/task/24797/stat : 24797 (java) R 24494 24494 23551 0 -1 4202560 657 0 0 0 2065 0 0 0 20 0 19 0 445768271 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331189265040 140331967419632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24798] ppid=24494 vsize=15617104 memory=0 CPUtime=20.57 cores=1,3,5,7
/proc/24496/task/24798/stat : 24798 (java) R 24494 24494 23551 0 -1 4202560 500 0 0 0 2056 1 0 0 20 0 19 0 445768273 15991914496 87789 33554432000 4194304 4196468 140727437588912 140331187158336 140331971654688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 87.59 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 352608 KiB
[startup+22.8015 s]
/proc/loadavg: 3.91 1.91 1.54 9/238 24880
/proc/meminfo: memFree=26823024/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
[pid=24496] ppid=24494 vsize=15617104 memory=351416 CPUtime=89.19 cores=1,3,5,7
/proc/24496/stat : 24496 (java) S 24494 24494 23551 0 -1 1077944320 33735 0 0 0 8897 22 0 0 20 0 19 0 445768150 15991914496 87854 33554432000 4194304 4196468 140727437588912 140727437571456 140332333936375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
/proc/24496/statm: 3904276 87854 3516 1 0 3865376 0
[pid=24496/tid=24497] ppid=24494 vsize=15617104 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/24496/task/24497/stat : 24497 (java) S 24494 24494 23551 0 -1 1077944384 9021 0 0 0 42 3 0 0 20 0 19 0 445768150 15991914496 87854 33554432000 4194304 4196468 140727437588912 140332338177152 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24498] ppid=24494 vsize=15617104 memory=303430231908417849 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24498/stat : 24498 (java) S 24494 24494 23551 0 -1 1077944384 470 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140332286557328 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24499] ppid=24494 vsize=15617104 memory=14973369229511284 CPUtime=0.07 cores=1,3,5,7
/proc/24496/task/24499/stat : 24499 (java) S 24494 24494 23551 0 -1 1077944384 444 0 0 0 5 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331925298192 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24500] ppid=24494 vsize=15617104 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24500/stat : 24500 (java) S 24494 24494 23551 0 -1 1077944384 599 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331924245392 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24501] ppid=24494 vsize=15617104 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24496/task/24501/stat : 24501 (java) S 24494 24494 23551 0 -1 1077944384 421 0 0 0 5 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331923192592 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24502] ppid=24494 vsize=15617104 memory=612 CPUtime=0.04 cores=1,3,5,7
/proc/24496/task/24502/stat : 24502 (java) S 24494 24494 23551 0 -1 1077944384 719 0 0 0 3 1 0 0 20 0 19 0 445768152 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331207956848 140332333947522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24503] ppid=24494 vsize=15617104 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24503/stat : 24503 (java) S 24494 24494 23551 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 445768152 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331206902880 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24504] ppid=24494 vsize=15617104 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24504/stat : 24504 (java) S 24494 24494 23551 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445768153 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331205849984 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24505] ppid=24494 vsize=15617104 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24505/stat : 24505 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331204798288 140332333954971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24506] ppid=24494 vsize=15617104 memory=5673 CPUtime=1.13 cores=1,3,5,7
/proc/24496/task/24506/stat : 24506 (java) S 24494 24494 23551 0 -1 1077944384 4973 0 0 0 112 1 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331203746672 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24507] ppid=24494 vsize=15617104 memory=45 CPUtime=1.23 cores=1,3,5,7
/proc/24496/task/24507/stat : 24507 (java) S 24494 24494 23551 0 -1 1077944384 5758 0 0 0 123 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331202693872 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24508] ppid=24494 vsize=15617104 memory=3 CPUtime=0.44 cores=1,3,5,7
/proc/24496/task/24508/stat : 24508 (java) S 24494 24494 23551 0 -1 1077944384 2826 0 0 0 44 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331201641072 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24509] ppid=24494 vsize=15617104 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24509/stat : 24509 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331200588512 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24510] ppid=24494 vsize=15617104 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24510/stat : 24510 (java) S 24494 24494 23551 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24795] ppid=24494 vsize=15617104 memory=3 CPUtime=21.08 cores=1,3,5,7
/proc/24496/task/24795/stat : 24795 (java) R 24494 24494 23551 0 -1 4202560 276 0 0 0 2108 0 0 0 20 0 19 0 445768271 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331186109360 140331969949021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24796] ppid=24494 vsize=15617104 memory=1 CPUtime=21.03 cores=1,3,5,7
/proc/24496/task/24796/stat : 24796 (java) R 24494 24494 23551 0 -1 4202560 588 0 0 0 2103 0 0 0 20 0 19 0 445768271 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331188214984 140331969810843 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24797] ppid=24494 vsize=15617104 memory=0 CPUtime=21.05 cores=1,3,5,7
/proc/24496/task/24797/stat : 24797 (java) R 24494 24494 23551 0 -1 4202560 712 0 0 0 2105 0 0 0 20 0 19 0 445768271 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331189265040 140331969950887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24798] ppid=24494 vsize=15617104 memory=6791534058613427641 CPUtime=20.97 cores=1,3,5,7
/proc/24496/task/24798/stat : 24798 (java) R 24494 24494 23551 0 -1 4202560 503 0 0 0 2096 1 0 0 20 0 19 0 445768273 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331187159568 140331970324792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 89.19 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 352868 KiB
[startup+23.0015 s]*
/proc/loadavg: 3.91 1.91 1.54 11/238 24880
/proc/meminfo: memFree=26778204/32770624 swapFree=66999436/67108860
[pid=24494] ppid=24491 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24494/stat : 24494 (xcsp3-exec) S 24491 24494 23551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445768149 115843072 363 33554432000 4194304 5098028 140725515085488 140725515083592 140582800450172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16490496 140725515092859 140725515093101 140725515093101 140725515096010 0
/proc/24494/statm: 28282 363 304 221 0 87 0
[pid=24496] ppid=24494 vsize=15617104 memory=351416 CPUtime=90.01 cores=1,3,5,7
/proc/24496/stat : 24496 (java) S 24494 24494 23551 0 -1 1077944320 33738 0 0 0 8979 22 0 0 20 0 19 0 445768150 15991914496 87854 33554432000 4194304 4196468 140727437588912 140727437571456 140332333936375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
/proc/24496/statm: 3904276 87854 3516 1 0 3865376 0
[pid=24496/tid=24497] ppid=24494 vsize=15617104 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/24496/task/24497/stat : 24497 (java) S 24494 24494 23551 0 -1 1077944384 9021 0 0 0 42 3 0 0 20 0 19 0 445768150 15991914496 87854 33554432000 4194304 4196468 140727437588912 140332338177152 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24498] ppid=24494 vsize=15617104 memory=1760 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24498/stat : 24498 (java) S 24494 24494 23551 0 -1 1077944384 472 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140332286557328 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24499] ppid=24494 vsize=15617104 memory=111636 CPUtime=0.07 cores=1,3,5,7
/proc/24496/task/24499/stat : 24499 (java) S 24494 24494 23551 0 -1 1077944384 444 0 0 0 5 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331925298192 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24500] ppid=24494 vsize=15617104 memory=804 CPUtime=0.06 cores=1,3,5,7
/proc/24496/task/24500/stat : 24500 (java) S 24494 24494 23551 0 -1 1077944384 599 0 0 0 4 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331924245392 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24501] ppid=24494 vsize=15617104 memory=4104 CPUtime=0.07 cores=1,3,5,7
/proc/24496/task/24501/stat : 24501 (java) S 24494 24494 23551 0 -1 1077944384 421 0 0 0 5 2 0 0 20 0 19 0 445768151 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331923192592 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24502] ppid=24494 vsize=15617104 memory=1808 CPUtime=0.04 cores=1,3,5,7
/proc/24496/task/24502/stat : 24502 (java) S 24494 24494 23551 0 -1 1077944384 719 0 0 0 3 1 0 0 20 0 19 0 445768152 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331207956848 140332333947522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24503] ppid=24494 vsize=15617104 memory=920 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24503/stat : 24503 (java) S 24494 24494 23551 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 445768152 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331206902880 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24504] ppid=24494 vsize=15617104 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24504/stat : 24504 (java) S 24494 24494 23551 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445768153 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331205849984 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24505] ppid=24494 vsize=15617104 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24505/stat : 24505 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331204798288 140332333954971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24506] ppid=24494 vsize=15617104 memory=2596 CPUtime=1.13 cores=1,3,5,7
/proc/24496/task/24506/stat : 24506 (java) S 24494 24494 23551 0 -1 1077944384 4973 0 0 0 112 1 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331203746672 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24507] ppid=24494 vsize=15617104 memory=1412 CPUtime=1.23 cores=1,3,5,7
/proc/24496/task/24507/stat : 24507 (java) S 24494 24494 23551 0 -1 1077944384 5758 0 0 0 123 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331202693872 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24508] ppid=24494 vsize=15617104 memory=2820 CPUtime=0.44 cores=1,3,5,7
/proc/24496/task/24508/stat : 24508 (java) S 24494 24494 23551 0 -1 1077944384 2826 0 0 0 44 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331201641072 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24509] ppid=24494 vsize=15617104 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24509/stat : 24509 (java) S 24494 24494 23551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331200588512 140332333946581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24510] ppid=24494 vsize=15617104 memory=1123788 CPUtime=0 cores=1,3,5,7
/proc/24496/task/24510/stat : 24510 (java) S 24494 24494 23551 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445768155 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331199535792 140332333947522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24795] ppid=24494 vsize=15617104 memory=1412 CPUtime=21.29 cores=1,3,5,7
/proc/24496/task/24795/stat : 24795 (java) R 24494 24494 23551 0 -1 4202560 277 0 0 0 2129 0 0 0 20 0 19 0 445768271 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331186106192 140332319147504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24796] ppid=24494 vsize=15617104 memory=2844 CPUtime=21.23 cores=1,3,5,7
/proc/24496/task/24796/stat : 24796 (java) R 24494 24494 23551 0 -1 4202560 588 0 0 0 2123 0 0 0 20 0 19 0 445768271 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331188211912 140331971609531 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24797] ppid=24494 vsize=15617104 memory=1452 CPUtime=21.25 cores=1,3,5,7
/proc/24496/task/24797/stat : 24797 (java) R 24494 24494 23551 0 -1 4202560 712 0 0 0 2125 0 0 0 20 0 19 0 445768271 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331189267488 140727438407894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
[pid=24496/tid=24798] ppid=24494 vsize=15617104 memory=-1 CPUtime=21.18 cores=1,3,5,7
/proc/24496/task/24798/stat : 24798 (java) R 24494 24494 23551 0 -1 4202560 503 0 0 0 2117 1 0 0 20 0 19 0 445768273 15991914496 87854 33554432000 4194304 4196468 140727437588912 140331187158448 140331970991240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34201600 140727437591535 140727437591706 140727437591706 140727437594575 0
Current children cumulated CPU time: 90.01 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 352868 KiB
Child status: 0
Real time (s): 23.1064
CPU time (s): 90.376
CPU user time (s): 90.1452
CPU system time (s): 0.230875
CPU usage (%): 391.13
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 352868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.1452
system time used= 0.230875
maximum resident set size= 351720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5714
involuntary context switches= 2565
# summary of solver processes directly reported to runsolver:
# pid: 24494
# total CPU time (s): 90.376
# total CPU user time (s): 90.1452
# total CPU system time (s): 0.230875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.17864 second user time and 0.307573 second system time
The end