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 (15029 MiB free)
memory of node 1: 16384 MiB (15434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393029-1568318902/watcher-4393029-1568318902 -o /tmp/evaluation-result-4393029-1568318902/solver-4393029-1568318902 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 825860854 HOME/instance-4393029-1568318902.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
Current StackSize limit: 8192 KiB
solver pid=20914, runsolver pid=20911
[startup+0.100509 s]*
/proc/loadavg: 8.81 8.43 8.06 7/232 20930
/proc/meminfo: memFree=31177856/32770624 swapFree=66920732/67108860
[pid=20914] ppid=20911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20914/stat : 20914 (xcsp3-exec) S 20911 20914 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408146274 115843072 363 33554432000 4194304 5098028 140722684864768 140722684862872 140596070031996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38338560 140722684871547 140722684871789 140722684871789 140722684874698 0
/proc/20914/statm: 28282 363 304 221 0 87 0
[pid=20916] ppid=20914 vsize=15144768 memory=28960 CPUtime=0.14 cores=1,3,5,7
/proc/20916/stat : 20916 (java) S 20914 20914 14254 0 -1 1077944320 5703 0 0 0 13 1 0 0 20 0 15 0 408146274 15508242432 7240 33554432000 4194304 4196468 140725961433456 140725961416000 140398645767927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
/proc/20916/statm: 3786192 7240 3180 1 0 3748377 0
[pid=20916/tid=20917] ppid=20914 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/20916/task/20917/stat : 20917 (java) R 20914 20914 14254 0 -1 4202560 3587 0 0 0 9 0 0 0 20 0 15 0 408146274 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398649990624 140398645779862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20918] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20918/stat : 20918 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398598388368 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20919] ppid=20914 vsize=15144768 memory=288370813160261248 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20919/stat : 20919 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398597335568 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20920] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20920/stat : 20920 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398596282768 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20921] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20921/stat : 20921 (java) S 20914 20914 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398595229968 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20922] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20922/stat : 20922 (java) S 20914 20914 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408146276 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398113561456 140398645779074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20923] ppid=20914 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20923/stat : 20923 (java) S 20914 20914 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408146277 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398112507424 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20924] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20924/stat : 20924 (java) S 20914 20914 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408146277 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398111454576 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20925] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20925/stat : 20925 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408146279 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398110402896 140398645786523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20926] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20926/stat : 20926 (java) R 20914 20914 14254 0 -1 4202560 289 0 0 0 0 0 0 0 20 0 15 0 408146279 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398109350352 140398631782896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20927] ppid=20914 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20927/stat : 20927 (java) R 20914 20914 14254 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 408146279 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398108297456 140398645779074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20928] ppid=20914 vsize=15144768 memory=140437008549504 CPUtime=0.02 cores=1,3,5,7
/proc/20916/task/20928/stat : 20928 (java) R 20914 20914 14254 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 408146279 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398107244656 140398629848414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20929] ppid=20914 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20929/stat : 20929 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408146280 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398106192096 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20930] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20930/stat : 20930 (java) R 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146280 15508242432 7240 33554432000 4194304 4196468 140725961433456 140398105140400 140398645779074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30412 KiB
[startup+0.210669 s]*
/proc/loadavg: 8.81 8.43 8.06 6/232 20930
/proc/meminfo: memFree=31164752/32770624 swapFree=66920732/67108860
[pid=20914] ppid=20911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20914/stat : 20914 (xcsp3-exec) S 20911 20914 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408146274 115843072 363 33554432000 4194304 5098028 140722684864768 140722684862872 140596070031996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38338560 140722684871547 140722684871789 140722684871789 140722684874698 0
/proc/20914/statm: 28282 363 304 221 0 87 0
[pid=20916] ppid=20914 vsize=15144768 memory=41076 CPUtime=0.34 cores=1,3,5,7
/proc/20916/stat : 20916 (java) S 20914 20914 14254 0 -1 1077944320 9491 0 0 0 32 2 0 0 20 0 15 0 408146274 15508242432 10269 33554432000 4194304 4196468 140725961433456 140725961416000 140398645767927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
/proc/20916/statm: 3786192 10269 3296 1 0 3748377 0
[pid=20916/tid=20917] ppid=20914 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20916/task/20917/stat : 20917 (java) R 20914 20914 14254 0 -1 4202560 6654 0 0 0 19 1 0 0 20 0 15 0 408146274 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398650002048 140398629848414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20918] ppid=20914 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20918/stat : 20918 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398598388368 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20919] ppid=20914 vsize=15144768 memory=140437008565771 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20919/stat : 20919 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398597335568 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20920] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20920/stat : 20920 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398596282768 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20921] ppid=20914 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20921/stat : 20921 (java) S 20914 20914 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408146275 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398595229968 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20922] ppid=20914 vsize=15144768 memory=140437008549504 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20922/stat : 20922 (java) S 20914 20914 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408146276 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398113561456 140398645779074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20923] ppid=20914 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20923/stat : 20923 (java) S 20914 20914 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408146277 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398112507424 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20924] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20924/stat : 20924 (java) S 20914 20914 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408146277 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398111454576 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20925] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20925/stat : 20925 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408146279 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398110402896 140398645786523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20926] ppid=20914 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20916/task/20926/stat : 20926 (java) S 20914 20914 14254 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 408146279 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398109350256 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20927] ppid=20914 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20916/task/20927/stat : 20927 (java) S 20914 20914 14254 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 408146279 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398108297456 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20928] ppid=20914 vsize=15144768 memory=140437008549504 CPUtime=0.08 cores=1,3,5,7
/proc/20916/task/20928/stat : 20928 (java) S 20914 20914 14254 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 408146279 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398107244656 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20929] ppid=20914 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20929/stat : 20929 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408146280 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398106192096 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20930] ppid=20914 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20930/stat : 20930 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146280 15508242432 10269 33554432000 4194304 4196468 140725961433456 140398105140400 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42528 KiB
[startup+0.310402 s]*
/proc/loadavg: 8.81 8.43 8.06 7/232 20930
/proc/meminfo: memFree=31157200/32770624 swapFree=66920732/67108860
[pid=20914] ppid=20911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20914/stat : 20914 (xcsp3-exec) S 20911 20914 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408146274 115843072 363 33554432000 4194304 5098028 140722684864768 140722684862872 140596070031996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38338560 140722684871547 140722684871789 140722684871789 140722684874698 0
/proc/20914/statm: 28282 363 304 221 0 87 0
[pid=20916] ppid=20914 vsize=15149024 memory=50364 CPUtime=0.53 cores=1,3,5,7
/proc/20916/stat : 20916 (java) S 20914 20914 14254 0 -1 1077944320 10948 0 0 0 50 3 0 0 20 0 15 0 408146274 15512600576 12591 33554432000 4194304 4196468 140725961433456 140725961416000 140398645767927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
/proc/20916/statm: 3787256 12591 3354 1 0 3748377 0
[pid=20916/tid=20917] ppid=20914 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/20916/task/20917/stat : 20917 (java) R 20914 20914 14254 0 -1 4202560 7863 0 0 0 28 2 0 0 20 0 15 0 408146274 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398649999040 140398645791517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20918] ppid=20914 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20918/stat : 20918 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398598388368 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20919] ppid=20914 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20919/stat : 20919 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398597335568 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20920] ppid=20914 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20920/stat : 20920 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146275 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398596282768 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20921] ppid=20914 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20921/stat : 20921 (java) S 20914 20914 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408146275 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398595229968 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20922] ppid=20914 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20922/stat : 20922 (java) S 20914 20914 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408146276 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398113561456 140398645779074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20923] ppid=20914 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20923/stat : 20923 (java) S 20914 20914 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408146277 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398112507424 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20924] ppid=20914 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20924/stat : 20924 (java) S 20914 20914 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408146277 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398111454576 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20925] ppid=20914 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20925/stat : 20925 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408146279 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398110402896 140398645786523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20926] ppid=20914 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/20916/task/20926/stat : 20926 (java) S 20914 20914 14254 0 -1 1077944384 604 0 0 0 5 0 0 0 20 0 15 0 408146279 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398109350256 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20927] ppid=20914 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20916/task/20927/stat : 20927 (java) S 20914 20914 14254 0 -1 1077944384 289 0 0 0 4 0 0 0 20 0 15 0 408146279 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398108297456 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20928] ppid=20914 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20916/task/20928/stat : 20928 (java) S 20914 20914 14254 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 15 0 408146279 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398107244656 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20929] ppid=20914 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20929/stat : 20929 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408146280 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398106192096 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20930] ppid=20914 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20930/stat : 20930 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408146280 15512600576 12591 33554432000 4194304 4196468 140725961433456 140398105140400 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51816 KiB
[startup+0.70148 s]
/proc/loadavg: 8.81 8.43 8.06 8/232 20930
/proc/meminfo: memFree=31142500/32770624 swapFree=66920732/67108860
[pid=20914] ppid=20911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20914/stat : 20914 (xcsp3-exec) S 20911 20914 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408146274 115843072 363 33554432000 4194304 5098028 140722684864768 140722684862872 140596070031996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38338560 140722684871547 140722684871789 140722684871789 140722684874698 0
/proc/20914/statm: 28282 363 304 221 0 87 0
[pid=20916] ppid=20914 vsize=15417404 memory=85644 CPUtime=1.6 cores=1,3,5,7
/proc/20916/stat : 20916 (java) S 20914 20914 14254 0 -1 1077944320 15664 0 0 0 155 5 0 0 20 0 19 0 408146274 15787421696 21411 33554432000 4194304 4196468 140725961433456 140725961416000 140398645767927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
/proc/20916/statm: 3854351 21411 3454 1 0 3815453 0
[pid=20916/tid=20917] ppid=20914 vsize=15417404 memory=-3704326594973231466 CPUtime=0.59 cores=1,3,5,7
/proc/20916/task/20917/stat : 20917 (java) S 20914 20914 14254 0 -1 1077944384 9308 0 0 0 56 3 0 0 20 0 19 0 408146274 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398650008704 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20918] ppid=20914 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20918/stat : 20918 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408146275 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398598388368 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20919] ppid=20914 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20919/stat : 20919 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408146275 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398597335568 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20920] ppid=20914 vsize=15417404 memory=708 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20920/stat : 20920 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408146275 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398596282768 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20921] ppid=20914 vsize=15417404 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20921/stat : 20921 (java) S 20914 20914 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408146275 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398595229968 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20922] ppid=20914 vsize=15417404 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20922/stat : 20922 (java) S 20914 20914 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408146276 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398113561456 140398645779074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20923] ppid=20914 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20923/stat : 20923 (java) S 20914 20914 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408146277 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398112507424 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20924] ppid=20914 vsize=15417404 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20924/stat : 20924 (java) S 20914 20914 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408146277 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398111454576 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20925] ppid=20914 vsize=15417404 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20925/stat : 20925 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146279 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398110402896 140398645786523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20926] ppid=20914 vsize=15417404 memory=3444 CPUtime=0.22 cores=1,3,5,7
/proc/20916/task/20926/stat : 20926 (java) D 20914 20914 14254 0 -1 4202560 1314 0 0 0 22 0 0 0 20 0 19 0 408146279 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398109332712 140398623595165 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20927] ppid=20914 vsize=15417404 memory=1556 CPUtime=0.19 cores=1,3,5,7
/proc/20916/task/20927/stat : 20927 (java) R 20914 20914 14254 0 -1 4202560 858 0 0 0 19 0 0 0 20 0 19 0 408146279 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398108276360 140398638485079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20928] ppid=20914 vsize=15417404 memory=2832 CPUtime=0.37 cores=1,3,5,7
/proc/20916/task/20928/stat : 20928 (java) D 20914 20914 14254 0 -1 4202560 2177 0 0 0 37 0 0 0 20 0 19 0 408146279 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398107242616 140398625242120 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20929] ppid=20914 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20929/stat : 20929 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146280 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398106192096 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20930] ppid=20914 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20930/stat : 20930 (java) S 20914 20914 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408146280 15787421696 21411 33554432000 4194304 4196468 140725961433456 140398105140400 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 87096 KiB
[startup+1.50148 s]
/proc/loadavg: 8.81 8.43 8.06 12/236 20934
/proc/meminfo: memFree=31100392/32770624 swapFree=66920732/67108860
[pid=20914] ppid=20911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20914/stat : 20914 (xcsp3-exec) S 20911 20914 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408146274 115843072 363 33554432000 4194304 5098028 140722684864768 140722684862872 140596070031996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38338560 140722684871547 140722684871789 140722684871789 140722684874698 0
/proc/20914/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20916/stat : 20916 (java) S 20914 20914 14254 0 -1 1077944320 109369 0 0 0 206820 152 0 0 20 0 19 0 408146274 15789518848 90015 33554432000 4194304 4196468 140725961433456 140725961416000 140398645767927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
/proc/20916/statm: 3854863 90015 3541 1 0 3815965 0
[pid=20916/tid=20917] ppid=20914 vsize=15419452 memory=360060 CPUtime=0.59 cores=1,3,5,7
/proc/20916/task/20917/stat : 20917 (java) S 20914 20914 14254 0 -1 1077944384 9308 0 0 0 56 3 0 0 20 0 19 0 408146274 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398650008704 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20918] ppid=20914 vsize=15419452 memory=360060 CPUtime=1.5 cores=1,3,5,7
/proc/20916/task/20918/stat : 20918 (java) S 20914 20914 14254 0 -1 1077944384 2377 0 0 0 143 7 0 0 20 0 19 0 408146275 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398598388368 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20919] ppid=20914 vsize=15419452 memory=360060 CPUtime=1.49 cores=1,3,5,7
/proc/20916/task/20919/stat : 20919 (java) S 20914 20914 14254 0 -1 1077944384 2109 0 0 0 144 5 0 0 20 0 19 0 408146275 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398597335568 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20920] ppid=20914 vsize=15419452 memory=1452 CPUtime=1.48 cores=1,3,5,7
/proc/20916/task/20920/stat : 20920 (java) S 20914 20914 14254 0 -1 1077944384 4306 0 0 0 141 7 0 0 20 0 19 0 408146275 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398596282768 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20921] ppid=20914 vsize=15419452 memory=140436908623945 CPUtime=1.5 cores=1,3,5,7
/proc/20916/task/20921/stat : 20921 (java) S 20914 20914 14254 0 -1 1077944384 3717 0 0 0 144 6 0 0 20 0 19 0 408146275 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398595229968 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20922] ppid=20914 vsize=15419452 memory=392 CPUtime=2 cores=1,3,5,7
/proc/20916/task/20922/stat : 20922 (java) S 20914 20914 14254 0 -1 1077944384 16254 0 0 0 81 119 0 0 20 0 19 0 408146276 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398113561456 140398645779074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20923] ppid=20914 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20923/stat : 20923 (java) S 20914 20914 14254 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408146277 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398112507488 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20924] ppid=20914 vsize=15419452 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20924/stat : 20924 (java) S 20914 20914 14254 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 408146277 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398111454592 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20925] ppid=20914 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20925/stat : 20925 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146279 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398110402896 140398645786523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20926] ppid=20914 vsize=15419452 memory=1984 CPUtime=3.92 cores=1,3,5,7
/proc/20916/task/20926/stat : 20926 (java) S 20914 20914 14254 0 -1 1077944384 21808 0 0 0 389 3 0 0 20 0 19 0 408146279 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398109350256 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20927] ppid=20914 vsize=15419452 memory=1452 CPUtime=3.92 cores=1,3,5,7
/proc/20916/task/20927/stat : 20927 (java) S 20914 20914 14254 0 -1 1077944384 21294 0 0 0 391 1 0 0 20 0 19 0 408146279 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398108297456 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20928] ppid=20914 vsize=15419452 memory=360060 CPUtime=0.66 cores=1,3,5,7
/proc/20916/task/20928/stat : 20928 (java) S 20914 20914 14254 0 -1 1077944384 8803 0 0 0 65 1 0 0 20 0 19 0 408146279 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398107244656 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20929] ppid=20914 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20929/stat : 20929 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146280 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398106192096 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20930] ppid=20914 vsize=15419452 memory=360060 CPUtime=0.12 cores=1,3,5,7
/proc/20916/task/20930/stat : 20930 (java) S 20914 20914 14254 0 -1 1077944384 1001 0 0 0 0 12 0 0 20 0 19 0 408146280 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398105140400 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20931] ppid=20914 vsize=15419452 memory=1452 CPUtime=512.6 cores=1,3,5,7
/proc/20916/task/20931/stat : 20931 (java) R 20914 20914 14254 0 -1 4202560 2496 0 0 0 51258 2 0 0 20 0 19 0 408146335 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398096169008 140398277235604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20932] ppid=20914 vsize=15419452 memory=1452 CPUtime=513.74 cores=1,3,5,7
/proc/20916/task/20932/stat : 20932 (java) R 20914 20914 14254 0 -1 4202560 4806 0 0 0 51371 3 0 0 20 0 19 0 408146335 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398095114160 140398276635072 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20933] ppid=20914 vsize=15419452 memory=360060 CPUtime=513.53 cores=1,3,5,7
/proc/20916/task/20933/stat : 20933 (java) R 20914 20914 14254 0 -1 4202560 2402 0 0 0 51351 2 0 0 20 0 19 0 408146335 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398094061704 140398277385136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20934] ppid=20914 vsize=15419452 memory=1452 CPUtime=512.55 cores=1,3,5,7
/proc/20916/task/20934/stat : 20934 (java) R 20914 20914 14254 0 -1 4202560 7290 0 0 0 51254 1 0 0 20 0 19 0 408146335 15789518848 90015 33554432000 4194304 4196468 140725961433456 140398093009080 140398275768782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
Current children cumulated CPU time: 2069.72 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 361512 KiB
[startup+582.301 s]
/proc/loadavg: 8.76 8.61 8.32 10/236 21069
/proc/meminfo: memFree=30886700/32770624 swapFree=66920740/67108860
[pid=20914] ppid=20911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20914/stat : 20914 (xcsp3-exec) S 20911 20914 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408146274 115843072 363 33554432000 4194304 5098028 140722684864768 140722684862872 140596070031996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38338560 140722684871547 140722684871789 140722684871789 140722684874698 0
/proc/20914/statm: 28282 363 304 221 0 87 0
[pid=20916] ppid=20914 vsize=15419452 memory=385864 CPUtime=2307.45 cores=1,3,5,7
/proc/20916/stat : 20916 (java) S 20914 20914 14254 0 -1 1077944320 114700 0 0 0 230570 175 0 0 20 0 19 0 408146274 15789518848 96466 33554432000 4194304 4196468 140725961433456 140725961416000 140398645767927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
/proc/20916/statm: 3854863 96466 3541 1 0 3815965 0
[pid=20916/tid=20917] ppid=20914 vsize=15419452 memory=385864 CPUtime=0.59 cores=1,3,5,7
/proc/20916/task/20917/stat : 20917 (java) S 20914 20914 14254 0 -1 1077944384 9308 0 0 0 56 3 0 0 20 0 19 0 408146274 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398650008704 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20918] ppid=20914 vsize=15419452 memory=385864 CPUtime=1.7 cores=1,3,5,7
/proc/20916/task/20918/stat : 20918 (java) S 20914 20914 14254 0 -1 1077944384 2652 0 0 0 162 8 0 0 20 0 19 0 408146275 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398598388368 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20919] ppid=20914 vsize=15419452 memory=385864 CPUtime=1.7 cores=1,3,5,7
/proc/20916/task/20919/stat : 20919 (java) S 20914 20914 14254 0 -1 1077944384 2201 0 0 0 164 6 0 0 20 0 19 0 408146275 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398597335568 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20920] ppid=20914 vsize=15419452 memory=385864 CPUtime=1.69 cores=1,3,5,7
/proc/20916/task/20920/stat : 20920 (java) S 20914 20914 14254 0 -1 1077944384 4469 0 0 0 161 8 0 0 20 0 19 0 408146275 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398596282768 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20921] ppid=20914 vsize=15419452 memory=385864 CPUtime=1.69 cores=1,3,5,7
/proc/20916/task/20921/stat : 20921 (java) S 20914 20914 14254 0 -1 1077944384 3804 0 0 0 163 6 0 0 20 0 19 0 408146275 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398595229968 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20922] ppid=20914 vsize=15419452 memory=385864 CPUtime=2.34 cores=1,3,5,7
/proc/20916/task/20922/stat : 20922 (java) S 20914 20914 14254 0 -1 1077944384 20274 0 0 0 92 142 0 0 20 0 19 0 408146276 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398113561456 140398645779074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20923] ppid=20914 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20923/stat : 20923 (java) S 20914 20914 14254 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408146277 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398112507488 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20924] ppid=20914 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20924/stat : 20924 (java) S 20914 20914 14254 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 408146277 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398111454592 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20925] ppid=20914 vsize=15419452 memory=6372706049985636705 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20925/stat : 20925 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146279 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398110402896 140398645786523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20926] ppid=20914 vsize=15419452 memory=385864 CPUtime=3.92 cores=1,3,5,7
/proc/20916/task/20926/stat : 20926 (java) S 20914 20914 14254 0 -1 1077944384 21810 0 0 0 389 3 0 0 20 0 19 0 408146279 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398109350256 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20927] ppid=20914 vsize=15419452 memory=1452 CPUtime=3.92 cores=1,3,5,7
/proc/20916/task/20927/stat : 20927 (java) S 20914 20914 14254 0 -1 1077944384 21297 0 0 0 391 1 0 0 20 0 19 0 408146279 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398108297456 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20928] ppid=20914 vsize=15419452 memory=385864 CPUtime=0.66 cores=1,3,5,7
/proc/20916/task/20928/stat : 20928 (java) S 20914 20914 14254 0 -1 1077944384 8805 0 0 0 65 1 0 0 20 0 19 0 408146279 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398107244656 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20929] ppid=20914 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20929/stat : 20929 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146280 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398106192096 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20930] ppid=20914 vsize=15419452 memory=385864 CPUtime=0.14 cores=1,3,5,7
/proc/20916/task/20930/stat : 20930 (java) S 20914 20914 14254 0 -1 1077944384 1022 0 0 0 0 14 0 0 20 0 19 0 408146280 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398105140400 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20931] ppid=20914 vsize=15419452 memory=149 CPUtime=571.66 cores=1,3,5,7
/proc/20916/task/20931/stat : 20931 (java) R 20914 20914 14254 0 -1 4202560 2724 0 0 0 57164 2 0 0 20 0 19 0 408146335 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398096165216 140398278864187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20932] ppid=20914 vsize=15419452 memory=148 CPUtime=573.04 cores=1,3,5,7
/proc/20916/task/20932/stat : 20932 (java) R 20914 20914 14254 0 -1 4202560 4926 0 0 0 57301 3 0 0 20 0 19 0 408146335 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398095114568 140398276976912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20933] ppid=20914 vsize=15419452 memory=149 CPUtime=572.61 cores=1,3,5,7
/proc/20916/task/20933/stat : 20933 (java) R 20914 20914 14254 0 -1 4202560 2533 0 0 0 57259 2 0 0 20 0 19 0 408146335 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398094061568 140398276884380 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20934] ppid=20914 vsize=15419452 memory=6791534058613427641 CPUtime=571.67 cores=1,3,5,7
/proc/20916/task/20934/stat : 20934 (java) R 20914 20914 14254 0 -1 4202560 7477 0 0 0 57165 2 0 0 20 0 19 0 408146335 15789518848 96466 33554432000 4194304 4196468 140725961433456 140398093011600 140398276457785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
Current children cumulated CPU time: 2307.45 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 387316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+636.005 s]*
/proc/loadavg: 8.96 8.69 8.36 9/237 21075
/proc/meminfo: memFree=30731784/32770624 swapFree=66920740/67108860
[pid=20914] ppid=20911 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20914/stat : 20914 (xcsp3-exec) S 20911 20914 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408146274 115843072 363 33554432000 4194304 5098028 140722684864768 140722684862872 140596070031996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38338560 140722684871547 140722684871789 140722684871789 140722684874698 0
/proc/20914/statm: 28282 363 304 221 0 87 0
[pid=20916] ppid=20914 vsize=15419452 memory=384344 CPUtime=2520.24 cores=1,3,5,7
/proc/20916/stat : 20916 (java) S 20914 20914 14254 0 -1 1077944320 116512 0 0 0 251834 190 0 0 20 0 19 0 408146274 15789518848 96086 33554432000 4194304 4196468 140725961433456 140725961416000 140398645767927 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
/proc/20916/statm: 3854863 96086 3541 1 0 3815965 0
[pid=20916/tid=20917] ppid=20914 vsize=15419452 memory=8317482817917895235 CPUtime=0.59 cores=1,3,5,7
/proc/20916/task/20917/stat : 20917 (java) S 20914 20914 14254 0 -1 1077944384 9308 0 0 0 56 3 0 0 20 0 19 0 408146274 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398650008704 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20918] ppid=20914 vsize=15419452 memory=3316 CPUtime=1.89 cores=1,3,5,7
/proc/20916/task/20918/stat : 20918 (java) S 20914 20914 14254 0 -1 1077944384 2726 0 0 0 181 8 0 0 20 0 19 0 408146275 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398598388368 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20919] ppid=20914 vsize=15419452 memory=1452 CPUtime=1.88 cores=1,3,5,7
/proc/20916/task/20919/stat : 20919 (java) S 20914 20914 14254 0 -1 1077944384 2532 0 0 0 182 6 0 0 20 0 19 0 408146275 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398597335568 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20920] ppid=20914 vsize=15419452 memory=1680 CPUtime=1.88 cores=1,3,5,7
/proc/20916/task/20920/stat : 20920 (java) S 20914 20914 14254 0 -1 1077944384 5096 0 0 0 180 8 0 0 20 0 19 0 408146275 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398596282768 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20921] ppid=20914 vsize=15419452 memory=1444 CPUtime=1.89 cores=1,3,5,7
/proc/20916/task/20921/stat : 20921 (java) S 20914 20914 14254 0 -1 1077944384 3911 0 0 0 182 7 0 0 20 0 19 0 408146275 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398595229968 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20922] ppid=20914 vsize=15419452 memory=888 CPUtime=2.6 cores=1,3,5,7
/proc/20916/task/20922/stat : 20922 (java) S 20914 20914 14254 0 -1 1077944384 20563 0 0 0 103 157 0 0 20 0 19 0 408146276 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398113561456 140398645779074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20923] ppid=20914 vsize=15419452 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20923/stat : 20923 (java) S 20914 20914 14254 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408146277 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398112507488 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20924] ppid=20914 vsize=15419452 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20924/stat : 20924 (java) S 20914 20914 14254 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 408146277 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398111454592 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20925] ppid=20914 vsize=15419452 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20925/stat : 20925 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146279 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398110402896 140398645786523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20926] ppid=20914 vsize=15419452 memory=111632 CPUtime=3.92 cores=1,3,5,7
/proc/20916/task/20926/stat : 20926 (java) S 20914 20914 14254 0 -1 1077944384 21812 0 0 0 389 3 0 0 20 0 19 0 408146279 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398109350256 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20927] ppid=20914 vsize=15419452 memory=11105 CPUtime=3.92 cores=1,3,5,7
/proc/20916/task/20927/stat : 20927 (java) S 20914 20914 14254 0 -1 1077944384 21299 0 0 0 391 1 0 0 20 0 19 0 408146279 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398108297456 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20928] ppid=20914 vsize=15419452 memory=4420 CPUtime=0.66 cores=1,3,5,7
/proc/20916/task/20928/stat : 20928 (java) S 20914 20914 14254 0 -1 1077944384 8807 0 0 0 65 1 0 0 20 0 19 0 408146279 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398107244656 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20929] ppid=20914 vsize=15419452 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/20916/task/20929/stat : 20929 (java) S 20914 20914 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408146280 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398106192096 140398645778133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20930] ppid=20914 vsize=15419452 memory=8836 CPUtime=0.15 cores=1,3,5,7
/proc/20916/task/20930/stat : 20930 (java) S 20914 20914 14254 0 -1 1077944384 1028 0 0 0 0 15 0 0 20 0 19 0 408146280 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398105140400 140398645779074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20931] ppid=20914 vsize=15419452 memory=11044 CPUtime=624.57 cores=1,3,5,7
/proc/20916/task/20931/stat : 20931 (java) R 20914 20914 14254 0 -1 4202560 2824 0 0 0 62455 2 0 0 20 0 19 0 408146335 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398096166216 140398278822862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20932] ppid=20914 vsize=15419452 memory=14012 CPUtime=626.06 cores=1,3,5,7
/proc/20916/task/20932/stat : 20932 (java) R 20914 20914 14254 0 -1 4202560 5008 0 0 0 62603 3 0 0 20 0 19 0 408146335 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398095117200 140398276635092 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20933] ppid=20914 vsize=15419452 memory=5220 CPUtime=625.57 cores=1,3,5,7
/proc/20916/task/20933/stat : 20933 (java) R 20914 20914 14254 0 -1 4202560 2626 0 0 0 62555 2 0 0 20 0 19 0 408146335 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398094061704 140398630979048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
[pid=20916/tid=20934] ppid=20914 vsize=15419452 memory=2120 CPUtime=624.55 cores=1,3,5,7
/proc/20916/task/20934/stat : 20934 (java) R 20914 20914 14254 0 -1 4202560 7574 0 0 0 62453 2 0 0 20 0 19 0 408146335 15789518848 96086 33554432000 4194304 4196468 140725961433456 140398093008720 140398273881152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20725760 140725961442287 140725961442458 140725961442458 140725961445327 0
Current children cumulated CPU time: 2520.24 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 385796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+636.03 s]
# the end of solver process 20914 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002246 s
[startup+636.093 s]
# the end of solver process 20916 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.62 s, system=1.91946 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 636.093
CPU time (s): 2520.54
CPU user time (s): 2518.62
CPU system time (s): 1.91946
CPU usage (%): 396.253
Max. virtual memory (cumulated for all children) (KiB): 15534976
Max. memory (cumulated for all children) (KiB): 519556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.62
system time used= 1.91945
maximum resident set size= 545956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42625
involuntary context switches= 40449
# summary of solver processes directly reported to runsolver:
# pid: 20914,20916
# total CPU time (s): 2520.54
# total CPU user time (s): 2518.62
# total CPU system time (s): 1.91946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89032 second user time and 7.27459 second system time
The end