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 (12878 MiB free)
memory of node 1: 16384 MiB (11447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392973-1568349212/watcher-4392973-1568349212 -o /tmp/evaluation-result-4392973-1568349212/solver-4392973-1568349212 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2019628704 HOME/instance-4392973-1568349212.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
Current StackSize limit: 8192 KiB
solver pid=11405, runsolver pid=11402
[startup+0.100057 s]*
/proc/loadavg: 7.40 7.11 7.12 7/231 11421
/proc/meminfo: memFree=24893560/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
[pid=11407] ppid=11405 vsize=15144768 memory=28912 CPUtime=0.13 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11405 11405 3331 0 -1 1077944320 5668 0 0 0 12 1 0 0 20 0 15 0 410861431 15508242432 7228 33554432000 4194304 4196468 140726986421664 140726986404208 140391159496439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
/proc/11407/statm: 3786192 7228 3178 1 0 3748377 0
[pid=11407/tid=11408] ppid=11405 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/11407/task/11408/stat : 11408 (java) R 11405 11405 3331 0 -1 4202560 3570 0 0 0 9 0 0 0 20 0 15 0 410861432 15508242432 7228 33554432000 4194304 4196468 140726986421664 140391163728704 140391143540069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11409] ppid=11405 vsize=15144768 memory=3472468135450027216 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 7228 33554432000 4194304 4196468 140726986421664 140391087536400 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11410] ppid=11405 vsize=15144768 memory=140006554875520 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 7228 33554432000 4194304 4196468 140726986421664 140391086483856 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 7228 33554432000 4194304 4196468 140726986421664 140391085431312 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11405 11405 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 7228 33554432000 4194304 4196468 140726986421664 140391084378768 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11405 11405 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410861434 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390033541616 140391159507586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390032487840 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410861434 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390031435248 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) R 11405 11405 3331 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390029330416 140391159507586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) R 11405 11405 3331 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390028269376 140391139909744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15144768 memory=140006554875520 CPUtime=0.02 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) R 11405 11405 3331 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 410861437 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390027225328 140391143576926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15144768 memory=140006554875520 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 7228 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30360 KiB
[startup+0.210967 s]*
/proc/loadavg: 7.40 7.11 7.12 4/231 11421
/proc/meminfo: memFree=24881160/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
[pid=11407] ppid=11405 vsize=15144768 memory=40952 CPUtime=0.34 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11405 11405 3331 0 -1 1077944320 9459 0 0 0 31 3 0 0 20 0 15 0 410861431 15508242432 10238 33554432000 4194304 4196468 140726986421664 140726986404208 140391159496439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
/proc/11407/statm: 3786192 10238 3308 1 0 3748377 0
[pid=11407/tid=11408] ppid=11405 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/11407/task/11408/stat : 11408 (java) R 11405 11405 3331 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 410861432 15508242432 10238 33554432000 4194304 4196468 140726986421664 140391163734256 140391159517786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11409] ppid=11405 vsize=15144768 memory=3472468135450027216 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 10238 33554432000 4194304 4196468 140726986421664 140391087536400 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11410] ppid=11405 vsize=15144768 memory=140006554875520 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 10238 33554432000 4194304 4196468 140726986421664 140391086483856 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 10238 33554432000 4194304 4196468 140726986421664 140391085431312 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11405 11405 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410861432 15508242432 10238 33554432000 4194304 4196468 140726986421664 140391084378768 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15144768 memory=140006554875520 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11405 11405 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410861434 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390033541616 140391159507586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390032487840 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410861434 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390031435248 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11405 11405 3331 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 410861437 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390029330416 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11405 11405 3331 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 15 0 410861437 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390028277872 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15144768 memory=140006554875520 CPUtime=0.08 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11405 11405 3331 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 410861437 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390027225328 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15144768 memory=140006554875520 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861437 15508242432 10238 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42400 KiB
[startup+0.310759 s]*
/proc/loadavg: 7.40 7.11 7.12 6/231 11421
/proc/meminfo: memFree=24873768/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
[pid=11407] ppid=11405 vsize=15149024 memory=49912 CPUtime=0.53 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11405 11405 3331 0 -1 1077944320 10855 0 0 0 49 4 0 0 20 0 15 0 410861431 15512600576 12478 33554432000 4194304 4196468 140726986421664 140726986404208 140391159496439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
/proc/11407/statm: 3787256 12478 3354 1 0 3748377 0
[pid=11407/tid=11408] ppid=11405 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/11407/task/11408/stat : 11408 (java) R 11405 11405 3331 0 -1 4202560 7772 0 0 0 28 2 0 0 20 0 15 0 410861432 15512600576 12478 33554432000 4194304 4196468 140726986421664 140391163727552 140391143576926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11409] ppid=11405 vsize=15149024 memory=3472468135450027216 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15512600576 12478 33554432000 4194304 4196468 140726986421664 140391087536400 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11410] ppid=11405 vsize=15149024 memory=140006554875520 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15512600576 12478 33554432000 4194304 4196468 140726986421664 140391086483856 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15149024 memory=7 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15512600576 12478 33554432000 4194304 4196468 140726986421664 140391085431312 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15149024 memory=140006404532255 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11405 11405 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410861432 15512600576 12478 33554432000 4194304 4196468 140726986421664 140391084378768 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15149024 memory=280012809025280 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11405 11405 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410861434 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390033541616 140391159507586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15149024 memory=140006404509199 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390032487840 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15149024 memory=280012959393888 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410861434 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390031435248 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15149024 memory=140006404513807 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) R 11405 11405 3331 0 -1 4202560 674 0 0 0 5 0 0 0 20 0 15 0 410861437 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390029320800 140391144613596 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15149024 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11405 11405 3331 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 15 0 410861437 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390028277872 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11405 11405 3331 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 410861437 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390027225328 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861437 15512600576 12478 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51360 KiB
[startup+0.703712 s]
/proc/loadavg: 7.40 7.11 7.12 5/231 11421
/proc/meminfo: memFree=24640084/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
[pid=11407] ppid=11405 vsize=15151148 memory=103940 CPUtime=1.83 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11405 11405 3331 0 -1 1077944320 15598 0 0 0 177 6 0 0 20 0 15 0 410861431 15514775552 25985 33554432000 4194304 4196468 140726986421664 140726986404208 140391159496439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
/proc/11407/statm: 3787787 25985 3442 1 0 3748889 0
[pid=11407/tid=11408] ppid=11405 vsize=15151148 memory=4639059877604708710 CPUtime=0.68 cores=0,2,4,6
/proc/11407/task/11408/stat : 11408 (java) R 11405 11405 3331 0 -1 4202560 9069 0 0 0 65 3 0 0 20 0 15 0 410861432 15514775552 25985 33554432000 4194304 4196468 140726986421664 140391163731224 140390757811850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11409] ppid=11405 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15514775552 25985 33554432000 4194304 4196468 140726986421664 140391087536400 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11410] ppid=11405 vsize=15151148 memory=6935649255962144081 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15514775552 25985 33554432000 4194304 4196468 140726986421664 140391086483856 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861432 15514775552 25985 33554432000 4194304 4196468 140726986421664 140391085431312 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15151148 memory=7100839870039429783 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11405 11405 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410861432 15514775552 25985 33554432000 4194304 4196468 140726986421664 140391084378768 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11405 11405 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390033541616 140391159507586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390032487840 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390031435248 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15151148 memory=1660 CPUtime=0.38 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) R 11405 11405 3331 0 -1 4202560 1659 0 0 0 38 0 0 0 20 0 15 0 410861437 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390029321744 140391138763911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15151148 memory=38768 CPUtime=0.37 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) R 11405 11405 3331 0 -1 4202560 1495 0 0 0 37 0 0 0 20 0 15 0 410861437 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390028269200 140391145552935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15151148 memory=988 CPUtime=0.35 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11405 11405 3331 0 -1 1077944384 2069 0 0 0 35 0 0 0 20 0 15 0 410861437 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390027225328 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15151148 memory=8099279071866868845 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 25985 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 105388 KiB
[startup+1.50089 s]
/proc/loadavg: 7.40 7.11 7.12 3/231 11421
/proc/meminfo: memFree=24132720/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/11407/task/11410/stat : 11410 (java) R 11405 11405 3331 0 -1 4202560 258862 0 0 0 46610 210 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391086483664 140391152124647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15151148 memory=580 CPUtime=468.78 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) R 11405 11405 3331 0 -1 4202560 282119 0 0 0 46656 222 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391085431512 140391144486368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15151148 memory=1720 CPUtime=468.59 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) R 11405 11405 3331 0 -1 4202560 312391 0 0 0 46636 223 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391084378888 140391152124647 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15151148 memory=1448 CPUtime=67.27 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) S 11405 11405 3331 0 -1 1077944384 172797 0 0 0 6709 18 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390033540176 140391159506645 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15151148 memory=12628628 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390032487904 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15151148 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390031435264 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15151148 memory=14004 CPUtime=1.09 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11405 11405 3331 0 -1 1077944384 3399 0 0 0 109 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390029330176 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15151148 memory=20748 CPUtime=1.07 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11405 11405 3331 0 -1 1077944384 4666 0 0 0 107 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390028277920 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15151148 memory=14048 CPUtime=0.56 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11405 11405 3331 0 -1 1077944384 7477 0 0 0 55 1 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390027225376 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15151148 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15151148 memory=500 CPUtime=0.36 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 460 0 0 0 20 16 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 2091.51 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12630076 KiB
[startup+688.401 s]*
/proc/loadavg: 5.75 6.49 6.54 6/232 11560
/proc/meminfo: memFree=6705188/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
[pid=11407] ppid=11405 vsize=15151148 memory=12628628 CPUtime=2094.68 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11405 11405 3331 0 -1 1077944320 1691982 0 0 0 208520 948 0 0 20 0 15 0 410861431 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140726986404208 140391159496439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
/proc/11407/statm: 3787787 3157157 3498 1 0 3748889 0
[pid=11407/tid=11408] ppid=11405 vsize=15151148 memory=6791534058613427641 CPUtime=146.95 cores=0,2,4,6
/proc/11407/task/11408/stat : 11408 (java) S 11405 11405 3331 0 -1 1077944384 29738 0 0 0 14648 47 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391163734304 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11409] ppid=11405 vsize=15151148 memory=-7003737579269690708 CPUtime=469.08 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11405 11405 3331 0 -1 1077944384 607659 0 0 0 46691 217 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391087536400 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11410] ppid=11405 vsize=15151148 memory=1060 CPUtime=468.72 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11405 11405 3331 0 -1 1077944384 258862 0 0 0 46662 210 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391086483856 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15151148 memory=2828 CPUtime=469.31 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11405 11405 3331 0 -1 1077944384 292937 0 0 0 46709 222 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391085431312 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15151148 memory=1448 CPUtime=469.11 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11405 11405 3331 0 -1 1077944384 312391 0 0 0 46688 223 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391084378768 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15151148 memory=1448 CPUtime=68.33 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) R 11405 11405 3331 0 -1 4202560 173092 0 0 0 6815 18 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390033540064 140391144492806 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390032487904 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15151148 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390031435264 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15151148 memory=3196 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15151148 memory=1448 CPUtime=1.09 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11405 11405 3331 0 -1 1077944384 3399 0 0 0 109 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390029330176 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15151148 memory=6791534058613427641 CPUtime=1.07 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11405 11405 3331 0 -1 1077944384 4666 0 0 0 107 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390028277920 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15151148 memory=12628628 CPUtime=0.56 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11405 11405 3331 0 -1 1077944384 7477 0 0 0 55 1 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390027225376 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15151148 memory=2912 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15151148 memory=1448 CPUtime=0.36 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 463 0 0 0 20 16 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 2094.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12630076 KiB
[startup+688.801 s]
/proc/loadavg: 5.75 6.49 6.54 6/232 11560
/proc/meminfo: memFree=6705188/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
[pid=11407] ppid=11405 vsize=15151148 memory=12628628 CPUtime=2095.07 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11405 11405 3331 0 -1 1077944320 1691983 0 0 0 208559 948 0 0 20 0 15 0 410861431 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140726986404208 140391159496439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
/proc/11407/statm: 3787787 3157157 3498 1 0 3748889 0
[pid=11407/tid=11408] ppid=11405 vsize=15151148 memory=12628628 CPUtime=146.95 cores=0,2,4,6
/proc/11407/task/11408/stat : 11408 (java) S 11405 11405 3331 0 -1 1077944384 29738 0 0 0 14648 47 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391163734304 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11409] ppid=11405 vsize=15151148 memory=6791534058613427641 CPUtime=469.08 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11405 11405 3331 0 -1 1077944384 607659 0 0 0 46691 217 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391087536400 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11410] ppid=11405 vsize=15151148 memory=580 CPUtime=468.72 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11405 11405 3331 0 -1 1077944384 258862 0 0 0 46662 210 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391086483856 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15151148 memory=1720 CPUtime=469.31 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11405 11405 3331 0 -1 1077944384 292937 0 0 0 46709 222 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391085431312 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15151148 memory=10604 CPUtime=469.11 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11405 11405 3331 0 -1 1077944384 312391 0 0 0 46688 223 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391084378768 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15151148 memory=3360 CPUtime=68.72 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) R 11405 11405 3331 0 -1 4202560 173093 0 0 0 6854 18 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390033540064 140391143954030 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390032487904 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390031435264 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15151148 memory=5964 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15151148 memory=1060 CPUtime=1.09 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11405 11405 3331 0 -1 1077944384 3399 0 0 0 109 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390029330176 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15151148 memory=2828 CPUtime=1.07 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11405 11405 3331 0 -1 1077944384 4666 0 0 0 107 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390028277920 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15151148 memory=1216 CPUtime=0.56 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11405 11405 3331 0 -1 1077944384 7477 0 0 0 55 1 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390027225376 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15151148 memory=14004 CPUtime=0.36 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 463 0 0 0 20 16 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 2095.07 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12630076 KiB
[startup+689.001 s]
/proc/loadavg: 5.75 6.49 6.54 6/232 11560
/proc/meminfo: memFree=6705188/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
[pid=11407] ppid=11405 vsize=15151148 memory=12628628 CPUtime=2095.27 cores=0,2,4,6
/proc/11407/stat : 11407 (java) S 11405 11405 3331 0 -1 1077944320 1691994 0 0 0 208579 948 0 0 20 0 15 0 410861431 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140726986404208 140391159496439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
/proc/11407/statm: 3787787 3157157 3498 1 0 3748889 0
[pid=11407/tid=11408] ppid=11405 vsize=15151148 memory=15818902244427989 CPUtime=146.95 cores=0,2,4,6
/proc/11407/task/11408/stat : 11408 (java) S 11405 11405 3331 0 -1 1077944384 29738 0 0 0 14648 47 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391163734304 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11409] ppid=11405 vsize=15151148 memory=-7003737579269690708 CPUtime=469.08 cores=0,2,4,6
/proc/11407/task/11409/stat : 11409 (java) S 11405 11405 3331 0 -1 1077944384 607659 0 0 0 46691 217 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391087536400 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11410] ppid=11405 vsize=15151148 memory=6656426216303648864 CPUtime=468.72 cores=0,2,4,6
/proc/11407/task/11410/stat : 11410 (java) S 11405 11405 3331 0 -1 1077944384 258862 0 0 0 46662 210 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391086483856 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11411] ppid=11405 vsize=15151148 memory=-6945504543650622756 CPUtime=469.31 cores=0,2,4,6
/proc/11407/task/11411/stat : 11411 (java) S 11405 11405 3331 0 -1 1077944384 292937 0 0 0 46709 222 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391085431312 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11412] ppid=11405 vsize=15151148 memory=-7161732098442470212 CPUtime=469.11 cores=0,2,4,6
/proc/11407/task/11412/stat : 11412 (java) S 11405 11405 3331 0 -1 1077944384 312391 0 0 0 46688 223 0 0 20 0 15 0 410861432 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140391084378768 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11413] ppid=11405 vsize=15151148 memory=7681407940103534239 CPUtime=68.92 cores=0,2,4,6
/proc/11407/task/11413/stat : 11413 (java) R 11405 11405 3331 0 -1 4202560 173104 0 0 0 6874 18 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390033540064 140391137866600 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11414] ppid=11405 vsize=15151148 memory=-2895008908443480685 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11414/stat : 11414 (java) S 11405 11405 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390032487904 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11415] ppid=11405 vsize=15151148 memory=-2895008908443415148 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11415/stat : 11415 (java) S 11405 11405 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 410861434 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390031435264 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11416] ppid=11405 vsize=15151148 memory=6944652027076318631 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11416/stat : 11416 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390030383824 140391159515035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11417] ppid=11405 vsize=15151148 memory=7681407940103534242 CPUtime=1.09 cores=0,2,4,6
/proc/11407/task/11417/stat : 11417 (java) S 11405 11405 3331 0 -1 1077944384 3399 0 0 0 109 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390029330176 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11418] ppid=11405 vsize=15151148 memory=-6944390654727184216 CPUtime=1.07 cores=0,2,4,6
/proc/11407/task/11418/stat : 11418 (java) S 11405 11405 3331 0 -1 1077944384 4666 0 0 0 107 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390028277920 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11419] ppid=11405 vsize=15151148 memory=-6804530867367538332 CPUtime=0.56 cores=0,2,4,6
/proc/11407/task/11419/stat : 11419 (java) S 11405 11405 3331 0 -1 1077944384 7477 0 0 0 55 1 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390027225376 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11420] ppid=11405 vsize=15151148 memory=2912 CPUtime=0 cores=0,2,4,6
/proc/11407/task/11420/stat : 11420 (java) S 11405 11405 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390026173024 140391159506645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
[pid=11407/tid=11421] ppid=11405 vsize=15151148 memory=1448 CPUtime=0.36 cores=0,2,4,6
/proc/11407/task/11421/stat : 11421 (java) S 11405 11405 3331 0 -1 1077944384 463 0 0 0 20 16 0 0 20 0 15 0 410861437 15514775552 3157157 33554432000 4194304 4196468 140726986421664 140390025120560 140391159507586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 24788992 140726986429423 140726986429594 140726986429594 140726986432463 0
Current children cumulated CPU time: 2095.27 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12630076 KiB
[startup+689.102 s]
/proc/loadavg: 5.75 6.49 6.54 6/232 11560
/proc/meminfo: memFree=6705188/32770624 swapFree=66959216/67108860
[pid=11405] ppid=11402 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (xcsp3-exec) S 11402 11405 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410861431 115843072 362 33554432000 4194304 5098028 140726577381088 140726577379192 140184654250620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15503360 140726577386362 140726577386605 140726577386605 140726577389514 0
/proc/11405/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 689.146
CPU time (s): 2095.43
CPU user time (s): 2085.85
CPU system time (s): 9.5811
CPU usage (%): 304.062
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12630076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2085.85
system time used= 9.5811
maximum resident set size= 12628964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1698657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26218
involuntary context switches= 39522
# summary of solver processes directly reported to runsolver:
# pid: 11405
# total CPU time (s): 2095.43
# total CPU user time (s): 2085.85
# total CPU system time (s): 9.5811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.15691 second user time and 7.44753 second system time
The end