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 (2926 MiB free)
memory of node 1: 16384 MiB (5889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306647-1534042641/watcher-4306647-1534042641 -o /tmp/evaluation-result-4306647-1534042641/solver-4306647-1534042641 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26257 --watchdog 2580 HOME/xcsp3-exec -seed 1689983658 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306647-1534042641.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26455, runsolver pid=26452
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 1.79 1.76 1.77 3/217 26471
/proc/meminfo: memFree=9013156/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
[pid=26457] ppid=26455 vsize=14082940 memory=27228 CPUtime=0.12 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26455 24759 0 -1 1077944320 5720 0 0 0 11 1 0 0 20 0 15 0 221827433 14420930560 6807 33554432000 4194304 4196468 140726097191296 140726097173840 140583302520567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
/proc/26457/statm: 3520735 6807 3009 1 0 3483012 0
[pid=26457/tid=26458] ppid=26455 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=1,3,5,7
/proc/26457/task/26458/stat : 26458 (java) R 26455 26455 24759 0 -1 4202560 3695 0 0 0 9 0 0 0 20 0 15 0 221827433 14420930560 6807 33554432000 4194304 4196468 140726097191296 140583306752816 140583302542493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26459] ppid=26455 vsize=14082940 memory=3472467789846889680 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582898768912 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26460] ppid=26455 vsize=14082940 memory=139660951737984 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582897716368 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26461] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582896663312 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26462] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582895610768 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26463] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827435 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582416210160 140583302531714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26464] ppid=26455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26455 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221827435 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582415156384 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26465] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221827436 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26455 24759 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 221827438 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582411999984 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26455 24759 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 221827438 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582410947440 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14082940 memory=139660951737984 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26455 24759 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 221827438 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582409894384 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14082940 memory=139660951737984 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827439 14420930560 6807 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 28680 KiB
[startup+0.210528 s]*
/proc/loadavg: 1.79 1.76 1.77 4/217 26471
/proc/meminfo: memFree=9001184/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
[pid=26457] ppid=26455 vsize=14082940 memory=40268 CPUtime=0.34 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26455 24759 0 -1 1077944320 8569 0 0 0 32 2 0 0 20 0 15 0 221827433 14420930560 10067 33554432000 4194304 4196468 140726097191296 140726097173840 140583302520567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
/proc/26457/statm: 3520735 10067 3225 1 0 3483012 0
[pid=26457/tid=26458] ppid=26455 vsize=14082940 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/26457/task/26458/stat : 26458 (java) R 26455 26455 24759 0 -1 4202560 5496 0 0 0 19 1 0 0 20 0 15 0 221827433 14420930560 10067 33554432000 4194304 4196468 140726097191296 140583306754448 140583286601054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26459] ppid=26455 vsize=14082940 memory=3472467789846889680 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582898768912 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26460] ppid=26455 vsize=14082940 memory=139660951737984 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582897716368 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26461] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582896663312 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26462] ppid=26455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582895610768 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26463] ppid=26455 vsize=14082940 memory=139660951737984 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) R 26455 26455 24759 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 221827435 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582416210160 140583295237719 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26464] ppid=26455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26455 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221827435 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582415156384 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26465] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221827436 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26455 24759 0 -1 1077944384 682 0 0 0 3 0 0 0 20 0 15 0 221827438 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582411999984 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26455 24759 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 221827438 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582410947440 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14082940 memory=139660951737984 CPUtime=0.08 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26455 24759 0 -1 1077944384 928 0 0 0 8 0 0 0 20 0 15 0 221827438 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582409894384 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14082940 memory=139660951737984 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827439 14420930560 10067 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41720 KiB
[startup+0.310551 s]*
/proc/loadavg: 1.79 1.76 1.77 4/217 26471
/proc/meminfo: memFree=8994236/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
[pid=26457] ppid=26455 vsize=14087196 memory=47320 CPUtime=0.52 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26455 24759 0 -1 1077944320 9509 0 0 0 49 3 0 0 20 0 15 0 221827433 14425288704 11830 33554432000 4194304 4196468 140726097191296 140726097173840 140583302520567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
/proc/26457/statm: 3521799 11830 3269 1 0 3483012 0
[pid=26457/tid=26458] ppid=26455 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=1,3,5,7
/proc/26457/task/26458/stat : 26458 (java) R 26455 26455 24759 0 -1 4202560 6166 0 0 0 28 1 0 0 20 0 15 0 221827433 14425288704 11830 33554432000 4194304 4196468 140726097191296 140583306757344 140583286601054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26459] ppid=26455 vsize=14087196 memory=3472467789846889680 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14425288704 11830 33554432000 4194304 4196468 140726097191296 140582898768912 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26460] ppid=26455 vsize=14087196 memory=139660951737984 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14425288704 11830 33554432000 4194304 4196468 140726097191296 140582897716368 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26461] ppid=26455 vsize=14087196 memory=7 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14425288704 11830 33554432000 4194304 4196468 140726097191296 140582896663312 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26462] ppid=26455 vsize=14087196 memory=139660793882655 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582895610768 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26463] ppid=26455 vsize=14087196 memory=279321587744544 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26455 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221827435 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582416210160 140583302531714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26464] ppid=26455 vsize=14087196 memory=139660793859599 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26455 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221827435 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582415156384 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26465] ppid=26455 vsize=14087196 memory=279321745480712 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221827436 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14087196 memory=139660793882655 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26455 24759 0 -1 1077944384 692 0 0 0 4 0 0 0 20 0 15 0 221827438 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582411999984 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) R 26455 26455 24759 0 -1 4202560 282 0 0 0 4 0 0 0 20 0 15 0 221827438 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582410947440 140583284064758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26455 24759 0 -1 1077944384 1065 0 0 0 12 0 0 0 20 0 15 0 221827438 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582409894384 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827439 14425288704 11885 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48772 KiB
[startup+0.70121 s]
/proc/loadavg: 1.79 1.76 1.77 6/217 26471
/proc/meminfo: memFree=8971068/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
[pid=26457] ppid=26455 vsize=14089320 memory=87108 CPUtime=1.7 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26455 24759 0 -1 1077944320 13466 0 0 0 165 5 0 0 20 0 15 0 221827433 14427463680 21777 33554432000 4194304 4196468 140726097191296 140726097173840 140583302520567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
/proc/26457/statm: 3522330 21777 3346 1 0 3483524 0
[pid=26457/tid=26458] ppid=26455 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=1,3,5,7
/proc/26457/task/26458/stat : 26458 (java) R 26455 26455 24759 0 -1 4202560 7191 0 0 0 65 2 0 0 20 0 15 0 221827433 14427463680 21777 33554432000 4194304 4196468 140726097191296 140583306755968 140583286601054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26459] ppid=26455 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582898768912 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26460] ppid=26455 vsize=14089320 memory=5859271421084390760 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582897716368 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26461] ppid=26455 vsize=14089320 memory=8041645962788481611 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827434 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582896663312 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26462] ppid=26455 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26455 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221827434 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582895610768 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26463] ppid=26455 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26455 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221827435 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582416210160 140583302531714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26464] ppid=26455 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26455 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221827435 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582415156384 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26465] ppid=26455 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221827436 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14089320 memory=60264 CPUtime=0.28 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) R 26455 26455 24759 0 -1 4202560 1542 0 0 0 28 0 0 0 20 0 15 0 221827438 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582411979680 140583285907371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14089320 memory=1220 CPUtime=0.29 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) R 26455 26455 24759 0 -1 4202560 1046 0 0 0 29 0 0 0 20 0 15 0 221827438 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582410940096 140583283220871 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14089320 memory=2380 CPUtime=0.42 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) R 26455 26455 24759 0 -1 4202560 2378 0 0 0 41 1 0 0 20 0 15 0 221827438 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582409887584 140583285879210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221827439 14427463680 21777 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 88560 KiB
[startup+1.50091 s]
/proc/loadavg: 1.79 1.76 1.77 6/217 26471
/proc/meminfo: memFree=8923204/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 221827436 14429560832 440493 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 440493 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14091368 memory=1696172 CPUtime=2.73 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26455 24759 0 -1 1077944384 16929 0 0 0 270 3 0 0 20 0 15 0 221827438 14429560832 440493 33554432000 4194304 4196468 140726097191296 140582411999984 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14091368 memory=1452 CPUtime=2.75 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26455 24759 0 -1 1077944384 13035 0 0 0 273 2 0 0 20 0 15 0 221827438 14429560832 440493 33554432000 4194304 4196468 140726097191296 140582410947440 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14091368 memory=1452 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26455 24759 0 -1 1077944384 10620 0 0 0 84 2 0 0 20 0 15 0 221827438 14429560832 440493 33554432000 4194304 4196468 140726097191296 140582409894384 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 440493 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14091368 memory=1593376 CPUtime=0.55 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1612 0 0 0 23 32 0 0 20 0 15 0 221827439 14429560832 440493 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 2454.8 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1763424 KiB
[startup+2502.3 s]
/proc/loadavg: 1.80 1.78 1.81 3/217 26650
/proc/meminfo: memFree=5088016/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
[pid=26457] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2514.98 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26455 24759 0 -1 1077944320 307346 0 0 0 250886 612 0 0 20 0 15 0 221827433 14429560832 710471 33554432000 4194304 4196468 140726097191296 140726097173840 140583302520567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
/proc/26457/statm: 3522842 710471 3432 1 0 3484036 0
[pid=26457/tid=26458] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2498.92 cores=1,3,5,7
/proc/26457/task/26458/stat : 26458 (java) R 26455 26455 24759 0 -1 4202560 195599 0 0 0 249362 530 0 0 20 0 15 0 221827433 14429560832 710471 33554432000 4194304 4196468 140726097191296 140583306760192 140582947187819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26459] ppid=26455 vsize=14091368 memory=1452 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) S 26455 26455 24759 0 -1 1077944384 5931 0 0 0 198 5 0 0 20 0 15 0 221827434 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582898768912 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26460] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2.02 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26455 24759 0 -1 1077944384 5003 0 0 0 195 7 0 0 20 0 15 0 221827434 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582897716368 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26461] ppid=26455 vsize=14091368 memory=2809496 CPUtime=2.02 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26455 24759 0 -1 1077944384 5338 0 0 0 196 6 0 0 20 0 15 0 221827434 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582896663312 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26462] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26455 24759 0 -1 1077944384 7700 0 0 0 197 6 0 0 20 0 15 0 221827434 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582895610768 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26463] ppid=26455 vsize=14091368 memory=2809496 CPUtime=0.97 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26455 24759 0 -1 1077944384 44214 0 0 0 71 26 0 0 20 0 15 0 221827435 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582416210160 140583302531714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26464] ppid=26455 vsize=14091368 memory=2841884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26455 24759 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221827435 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582415156448 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26465] ppid=26455 vsize=14091368 memory=2841884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 221827436 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14091368 memory=2841884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14091368 memory=1452 CPUtime=2.73 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26455 24759 0 -1 1077944384 16929 0 0 0 270 3 0 0 20 0 15 0 221827438 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582411999984 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14091368 memory=33 CPUtime=2.75 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26455 24759 0 -1 1077944384 13035 0 0 0 273 2 0 0 20 0 15 0 221827438 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582410947440 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14091368 memory=1452 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26455 24759 0 -1 1077944384 10620 0 0 0 84 2 0 0 20 0 15 0 221827438 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582409894384 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14091368 memory=60348 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14091368 memory=1220 CPUtime=0.56 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1615 0 0 0 23 33 0 0 20 0 15 0 221827439 14429560832 710471 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 2514.98 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2843336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.3 s]
/proc/loadavg: 1.90 1.80 1.82 5/217 26728
/proc/meminfo: memFree=6013128/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
[pid=26457] ppid=26455 vsize=14091368 memory=3290088 CPUtime=2520.01 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26455 24759 0 -1 1077944320 308007 0 0 0 251382 619 0 0 20 0 15 0 221827433 14429560832 822522 33554432000 4194304 4196468 140726097191296 140726097173840 140583302520567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
/proc/26457/statm: 3522842 822522 3432 1 0 3484036 0
[pid=26457/tid=26458] ppid=26455 vsize=14091368 memory=3220188 CPUtime=2503.91 cores=1,3,5,7
/proc/26457/task/26458/stat : 26458 (java) R 26455 26455 24759 0 -1 4202560 196252 0 0 0 249855 536 0 0 20 0 15 0 221827433 14429560832 822522 33554432000 4194304 4196468 140726097191296 140583306760232 140582943553006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26459] ppid=26455 vsize=14091368 memory=3187284 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) S 26455 26455 24759 0 -1 1077944384 5933 0 0 0 198 5 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582898768912 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26460] ppid=26455 vsize=14091368 memory=3082436 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26455 24759 0 -1 1077944384 5006 0 0 0 196 7 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582897716368 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26461] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26455 24759 0 -1 1077944384 5339 0 0 0 197 6 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582896663312 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26462] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26455 24759 0 -1 1077944384 7702 0 0 0 197 6 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582895610768 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26463] ppid=26455 vsize=14091368 memory=2809496 CPUtime=0.97 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26455 24759 0 -1 1077944384 44214 0 0 0 71 26 0 0 20 0 15 0 221827435 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582416210160 140583302531714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26464] ppid=26455 vsize=14091368 memory=2841884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26455 24759 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221827435 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582415156448 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26465] ppid=26455 vsize=14091368 memory=2809496 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 221827436 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14091368 memory=3255140 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14091368 memory=1452 CPUtime=2.73 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26455 24759 0 -1 1077944384 16929 0 0 0 270 3 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582411999984 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14091368 memory=33 CPUtime=2.75 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26455 24759 0 -1 1077944384 13035 0 0 0 273 2 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582410947440 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14091368 memory=1452 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26455 24759 0 -1 1077944384 10620 0 0 0 84 2 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582409894384 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14091368 memory=2841884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14091368 memory=1452 CPUtime=0.56 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1615 0 0 0 23 33 0 0 20 0 15 0 221827439 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3291540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.31 s]
# the end of solver process 26455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00209 s, system=0.000752 s
[startup+2507.33 s]
# the end of solver process 26457 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.83 s, system=6.21527 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
[startup+2507.3 s]
/proc/loadavg: 1.90 1.80 1.82 5/217 26728
/proc/meminfo: memFree=6013128/32770624 swapFree=67108792/67108860
[pid=26455] ppid=26452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26455/stat : 26455 (xcsp3-exec) S 26452 26455 24759 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221827432 115843072 363 33554432000 4194304 5098028 140732386901168 140732386899272 139923742536316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27181056 140732386907194 140732386907396 140732386907396 140732386910154 0
/proc/26455/statm: 28282 363 305 221 0 87 0
[pid=26457] ppid=26455 vsize=14091368 memory=3290088 CPUtime=2520.01 cores=1,3,5,7
/proc/26457/stat : 26457 (java) S 26455 26455 24759 0 -1 1077944320 308007 0 0 0 251382 619 0 0 20 0 15 0 221827433 14429560832 822522 33554432000 4194304 4196468 140726097191296 140726097173840 140583302520567 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
/proc/26457/statm: 3522842 822522 3432 1 0 3484036 0
[pid=26457/tid=26458] ppid=26455 vsize=14091368 memory=3220188 CPUtime=2503.91 cores=1,3,5,7
/proc/26457/task/26458/stat : 26458 (java) R 26455 26455 24759 0 -1 4202560 196252 0 0 0 249855 536 0 0 20 0 15 0 221827433 14429560832 822522 33554432000 4194304 4196468 140726097191296 140583306760232 140582943553006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26459] ppid=26455 vsize=14091368 memory=3187284 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26459/stat : 26459 (java) S 26455 26455 24759 0 -1 1077944384 5933 0 0 0 198 5 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582898768912 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26460] ppid=26455 vsize=14091368 memory=3082436 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26460/stat : 26460 (java) S 26455 26455 24759 0 -1 1077944384 5006 0 0 0 196 7 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582897716368 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26461] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26461/stat : 26461 (java) S 26455 26455 24759 0 -1 1077944384 5339 0 0 0 197 6 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582896663312 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26462] ppid=26455 vsize=14091368 memory=2841884 CPUtime=2.03 cores=1,3,5,7
/proc/26457/task/26462/stat : 26462 (java) S 26455 26455 24759 0 -1 1077944384 7702 0 0 0 197 6 0 0 20 0 15 0 221827434 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582895610768 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26463] ppid=26455 vsize=14091368 memory=2809496 CPUtime=0.97 cores=1,3,5,7
/proc/26457/task/26463/stat : 26463 (java) S 26455 26455 24759 0 -1 1077944384 44214 0 0 0 71 26 0 0 20 0 15 0 221827435 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582416210160 140583302531714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26464] ppid=26455 vsize=14091368 memory=2841884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26464/stat : 26464 (java) S 26455 26455 24759 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221827435 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582415156448 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26465] ppid=26455 vsize=14091368 memory=2809496 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26465/stat : 26465 (java) S 26455 26455 24759 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 221827436 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582414103280 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26466] ppid=26455 vsize=14091368 memory=3255140 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26466/stat : 26466 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582413051856 140583302539163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26467] ppid=26455 vsize=14091368 memory=1452 CPUtime=2.73 cores=1,3,5,7
/proc/26457/task/26467/stat : 26467 (java) S 26455 26455 24759 0 -1 1077944384 16929 0 0 0 270 3 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582411999984 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26468] ppid=26455 vsize=14091368 memory=33 CPUtime=2.75 cores=1,3,5,7
/proc/26457/task/26468/stat : 26468 (java) S 26455 26455 24759 0 -1 1077944384 13035 0 0 0 273 2 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582410947440 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26469] ppid=26455 vsize=14091368 memory=1452 CPUtime=0.86 cores=1,3,5,7
/proc/26457/task/26469/stat : 26469 (java) S 26455 26455 24759 0 -1 1077944384 10620 0 0 0 84 2 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582409894384 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26470] ppid=26455 vsize=14091368 memory=2841884 CPUtime=0 cores=1,3,5,7
/proc/26457/task/26470/stat : 26470 (java) S 26455 26455 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221827438 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582408842080 140583302530773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
[pid=26457/tid=26471] ppid=26455 vsize=14091368 memory=1452 CPUtime=0.56 cores=1,3,5,7
/proc/26457/task/26471/stat : 26471 (java) S 26455 26455 24759 0 -1 1077944384 1615 0 0 0 23 33 0 0 20 0 15 0 221827439 14429560832 822522 33554432000 4194304 4196468 140726097191296 140582407789104 140583302531714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8605696 140726097196166 140726097196337 140726097196337 140726097199055 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3291540 KiB
Child status: 143
Real time (s): 2507.33
CPU time (s): 2520.05
CPU user time (s): 2513.83
CPU system time (s): 6.21527
CPU usage (%): 100.507
Max. virtual memory (cumulated for all children) (KiB): 14206524
Max. memory (cumulated for all children) (KiB): 7166044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.83
system time used= 6.21527
maximum resident set size= 7229204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70896
involuntary context switches= 1682
# summary of solver processes directly reported to runsolver:
# pid: 26455,26457
# total CPU time (s): 2520.05
# total CPU user time (s): 2513.83
# total CPU system time (s): 6.21527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0476 second user time and 17.9243 second system time
The end