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 (7458 MiB free)
memory of node 1: 16384 MiB (12577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301669-1532884573/watcher-4301669-1532884573 -o /tmp/evaluation-result-4301669-1532884573/solver-4301669-1532884573 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 1814925882 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301669-1532884573.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11455, runsolver pid=11452
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.01 1.96 4/217 11471
/proc/meminfo: memFree=20501348/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
[pid=11457] ppid=11455 vsize=14082940 memory=28704 CPUtime=0.12 cores=1,3,5,7
/proc/11457/stat : 11457 (java) S 11455 11455 6396 0 -1 1077944320 5534 0 0 0 11 1 0 0 20 0 15 0 106020553 14420930560 7176 33554432000 4194304 4196468 140731677859536 140731677842080 140018457186039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
/proc/11457/statm: 3520735 7176 3019 1 0 3483012 0
[pid=11457/tid=11458] ppid=11455 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/11457/task/11458/stat : 11458 (java) R 11455 11455 6396 0 -1 4202560 3534 0 0 0 9 0 0 0 20 0 15 0 106020554 14420930560 7176 33554432000 4194304 4196468 140731677859536 140018461419312 140018441266526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11459] ppid=11455 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11459/stat : 11459 (java) S 11455 11455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 7176 33554432000 4194304 4196468 140731677859536 140018418146320 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11460] ppid=11455 vsize=14082940 memory=140000578778752 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11460/stat : 11460 (java) S 11455 11455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 7176 33554432000 4194304 4196468 140731677859536 140018052213904 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11461] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11461/stat : 11461 (java) S 11455 11455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 7176 33554432000 4194304 4196468 140731677859536 140018051160848 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11462] ppid=11455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11462/stat : 11462 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 7176 33554432000 4194304 4196468 140731677859536 140018050108304 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11463] ppid=11455 vsize=14082940 memory=140000578778752 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11463/stat : 11463 (java) S 11455 11455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106020556 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017638107376 140018457197186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11464] ppid=11455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11464/stat : 11464 (java) S 11455 11455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106020556 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017637053600 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11465] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106020557 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017636000496 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) S 11455 11455 6396 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017633897200 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14082940 memory=140000578778752 CPUtime=0.01 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 106020559 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14082940 memory=140000578778752 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 7176 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30156 KiB
[startup+0.212053 s]*
/proc/loadavg: 2.00 2.01 1.96 3/217 11471
/proc/meminfo: memFree=20489152/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
[pid=11457] ppid=11455 vsize=14082940 memory=41252 CPUtime=0.34 cores=1,3,5,7
/proc/11457/stat : 11457 (java) S 11455 11455 6396 0 -1 1077944320 8376 0 0 0 33 1 0 0 20 0 15 0 106020553 14420930560 10313 33554432000 4194304 4196468 140731677859536 140731677842080 140018457186039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
/proc/11457/statm: 3520735 10313 3186 1 0 3483012 0
[pid=11457/tid=11458] ppid=11455 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11457/task/11458/stat : 11458 (java) R 11455 11455 6396 0 -1 4202560 5465 0 0 0 19 1 0 0 20 0 15 0 106020554 14420930560 10377 33554432000 4194304 4196468 140731677859536 140018461421024 140018441266526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11459] ppid=11455 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11459/stat : 11459 (java) S 11455 11455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 10377 33554432000 4194304 4196468 140731677859536 140018418146320 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11460] ppid=11455 vsize=14082940 memory=140000579403578 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11460/stat : 11460 (java) S 11455 11455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 10377 33554432000 4194304 4196468 140731677859536 140018052213904 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11461] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11461/stat : 11461 (java) S 11455 11455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 10377 33554432000 4194304 4196468 140731677859536 140018051160848 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11462] ppid=11455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11462/stat : 11462 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020555 14420930560 10377 33554432000 4194304 4196468 140731677859536 140018050108304 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11463] ppid=11455 vsize=14082940 memory=140000578778752 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11463/stat : 11463 (java) S 11455 11455 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106020556 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017638107376 140018457197186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11464] ppid=11455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11464/stat : 11464 (java) S 11455 11455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106020556 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017637053600 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11465] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106020557 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017636000496 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) S 11455 11455 6396 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 106020559 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017633897200 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 106020559 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14082940 memory=140000578778752 CPUtime=0.07 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 754 0 0 0 7 0 0 0 20 0 15 0 106020559 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106020559 14420930560 10377 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42704 KiB
[startup+0.310556 s]*
/proc/loadavg: 2.00 2.01 1.96 4/217 11471
/proc/meminfo: memFree=20483196/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
[pid=11457] ppid=11455 vsize=14087196 memory=48284 CPUtime=0.53 cores=1,3,5,7
/proc/11457/stat : 11457 (java) S 11455 11455 6396 0 -1 1077944320 9237 0 0 0 51 2 0 0 20 0 15 0 106020553 14425288704 12071 33554432000 4194304 4196468 140731677859536 140731677842080 140018457186039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
/proc/11457/statm: 3521799 12071 3272 1 0 3483012 0
[pid=11457/tid=11458] ppid=11455 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/11457/task/11458/stat : 11458 (java) R 11455 11455 6396 0 -1 4202560 6162 0 0 0 28 1 0 0 20 0 15 0 106020554 14425288704 12071 33554432000 4194304 4196468 140731677859536 140018461423328 140018441266526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11459] ppid=11455 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11459/stat : 11459 (java) S 11455 11455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106020555 14425288704 12071 33554432000 4194304 4196468 140731677859536 140018418146320 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11460] ppid=11455 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11460/stat : 11460 (java) S 11455 11455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106020555 14425288704 12071 33554432000 4194304 4196468 140731677859536 140018052213904 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11461] ppid=11455 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11461/stat : 11461 (java) S 11455 11455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106020555 14425288704 12071 33554432000 4194304 4196468 140731677859536 140018051160848 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11462] ppid=11455 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11462/stat : 11462 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020555 14425288704 12071 33554432000 4194304 4196468 140731677859536 140018050108304 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11463] ppid=11455 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11463/stat : 11463 (java) S 11455 11455 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106020556 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017638107376 140018457197186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11464] ppid=11455 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11464/stat : 11464 (java) S 11455 11455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106020556 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017637053600 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11465] ppid=11455 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106020557 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017636000496 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) S 11455 11455 6396 0 -1 1077944384 401 0 0 0 4 0 0 0 20 0 15 0 106020559 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017633897200 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 15 0 106020559 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 810 0 0 0 12 0 0 0 20 0 15 0 106020559 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106020559 14425288704 12071 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49736 KiB
[startup+0.703236 s]
/proc/loadavg: 2.00 2.01 1.96 5/217 11471
/proc/meminfo: memFree=20346756/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
[pid=11457] ppid=11455 vsize=14087196 memory=292280 CPUtime=1.53 cores=1,3,5,7
/proc/11457/stat : 11457 (java) S 11455 11455 6396 0 -1 1077944320 12163 0 0 0 131 22 0 0 20 0 15 0 106020553 14425288704 73070 33554432000 4194304 4196468 140731677859536 140731677842080 140018457186039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
/proc/11457/statm: 3521799 73070 3322 1 0 3483012 0
[pid=11457/tid=11458] ppid=11455 vsize=14087196 memory=33 CPUtime=0.61 cores=1,3,5,7
/proc/11457/task/11458/stat : 11458 (java) R 11455 11455 6396 0 -1 4202560 6350 0 0 0 56 5 0 0 20 0 15 0 106020554 14425288704 73070 33554432000 4194304 4196468 140731677859536 140018461425168 140018457207965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11459] ppid=11455 vsize=14087196 memory=-7816663703405220396 CPUtime=0.06 cores=1,3,5,7
/proc/11457/task/11459/stat : 11459 (java) S 11455 11455 6396 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 15 0 106020555 14425288704 73070 33554432000 4194304 4196468 140731677859536 140018418146320 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11460] ppid=11455 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/11457/task/11460/stat : 11460 (java) S 11455 11455 6396 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 106020555 14425288704 73070 33554432000 4194304 4196468 140731677859536 140018052213904 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11461] ppid=11455 vsize=14087196 memory=30180 CPUtime=0.05 cores=1,3,5,7
/proc/11457/task/11461/stat : 11461 (java) S 11455 11455 6396 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 106020555 14425288704 73070 33554432000 4194304 4196468 140731677859536 140018051160848 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11462] ppid=11455 vsize=14087196 memory=1292 CPUtime=0.05 cores=1,3,5,7
/proc/11457/task/11462/stat : 11462 (java) S 11455 11455 6396 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 106020555 14425288704 73070 33554432000 4194304 4196468 140731677859536 140018050108304 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11463] ppid=11455 vsize=14087196 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11463/stat : 11463 (java) S 11455 11455 6396 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106020556 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017638107376 140018457197186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11464] ppid=11455 vsize=14087196 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11464/stat : 11464 (java) S 11455 11455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106020556 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017637053600 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11465] ppid=11455 vsize=14087196 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106020557 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017636000496 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14087196 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14087196 memory=5408 CPUtime=0.24 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) R 11455 11455 6396 0 -1 4202560 1608 0 0 0 24 0 0 0 20 0 15 0 106020559 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017633897496 140018436507514 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14087196 memory=1008 CPUtime=0.2 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 1429 0 0 0 20 0 0 0 20 0 15 0 106020559 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14087196 memory=9992 CPUtime=0.18 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 1138 0 0 0 18 0 0 0 20 0 15 0 106020559 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14087196 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14087196 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14425288704 73070 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 293732 KiB
[startup+1.5013 s]
/proc/loadavg: 2.00 2.01 1.96 7/217 11471
/proc/meminfo: memFree=20124180/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106020557 14429560832 735584 33554432000 4194304 4196468 140731677859536 140017636000512 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735584 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14091368 memory=2942336 CPUtime=2.69 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) S 11455 11455 6396 0 -1 1077944384 12556 0 0 0 267 2 0 0 20 0 15 0 106020559 14429560832 735584 33554432000 4194304 4196468 140731677859536 140017633897200 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14091368 memory=1452 CPUtime=2.58 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 14209 0 0 0 257 1 0 0 20 0 15 0 106020559 14429560832 735584 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14091368 memory=2942336 CPUtime=0.93 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 8358 0 0 0 90 3 0 0 20 0 15 0 106020559 14429560832 735584 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14091368 memory=2942336 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735584 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14091368 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 845 0 0 0 4 3 0 0 20 0 15 0 106020559 14429560832 735584 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 172.99 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2943788 KiB
[startup+222.301 s]
/proc/loadavg: 2.09 2.03 1.97 3/217 11551
/proc/meminfo: memFree=15447344/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
[pid=11457] ppid=11455 vsize=14091368 memory=2942656 CPUtime=233.23 cores=1,3,5,7
/proc/11457/stat : 11457 (java) S 11455 11455 6396 0 -1 1077944320 77592 0 0 0 23122 201 0 0 20 0 15 0 106020553 14429560832 735664 33554432000 4194304 4196468 140731677859536 140731677842080 140018457186039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
/proc/11457/statm: 3522842 735664 3428 1 0 3484036 0
[pid=11457/tid=11458] ppid=11455 vsize=14091368 memory=2942656 CPUtime=220.69 cores=1,3,5,7
/proc/11457/task/11458/stat : 11458 (java) R 11455 11455 6396 0 -1 4202560 22285 0 0 0 22044 25 0 0 20 0 15 0 106020554 14429560832 735664 33554432000 4194304 4196468 140731677859536 140018461421664 140018102647104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11459] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.46 cores=1,3,5,7
/proc/11457/task/11459/stat : 11459 (java) S 11455 11455 6396 0 -1 1077944384 1565 0 0 0 106 40 0 0 20 0 15 0 106020555 14429560832 735664 33554432000 4194304 4196468 140731677859536 140018418146320 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11460] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.47 cores=1,3,5,7
/proc/11457/task/11460/stat : 11460 (java) S 11455 11455 6396 0 -1 1077944384 1968 0 0 0 106 41 0 0 20 0 15 0 106020555 14429560832 735664 33554432000 4194304 4196468 140731677859536 140018052213904 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11461] ppid=11455 vsize=14091368 memory=1452 CPUtime=1.48 cores=1,3,5,7
/proc/11457/task/11461/stat : 11461 (java) S 11455 11455 6396 0 -1 1077944384 1872 0 0 0 106 42 0 0 20 0 15 0 106020555 14429560832 735664 33554432000 4194304 4196468 140731677859536 140018051160848 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11462] ppid=11455 vsize=14091368 memory=9992 CPUtime=1.46 cores=1,3,5,7
/proc/11457/task/11462/stat : 11462 (java) S 11455 11455 6396 0 -1 1077944384 1400 0 0 0 106 40 0 0 20 0 15 0 106020555 14429560832 735664 33554432000 4194304 4196468 140731677859536 140018050108304 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11463] ppid=11455 vsize=14091368 memory=1452 CPUtime=0.07 cores=1,3,5,7
/proc/11457/task/11463/stat : 11463 (java) S 11455 11455 6396 0 -1 1077944384 3895 0 0 0 7 0 0 0 20 0 15 0 106020556 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017638107376 140018457197186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11464] ppid=11455 vsize=14091368 memory=2942656 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11464/stat : 11464 (java) S 11455 11455 6396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 106020556 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017637053664 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11465] ppid=11455 vsize=14091368 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106020557 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017636000512 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14091368 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14091368 memory=16412 CPUtime=2.8 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) S 11455 11455 6396 0 -1 1077944384 14921 0 0 0 278 2 0 0 20 0 15 0 106020559 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017633897200 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14091368 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 16141 0 0 0 266 1 0 0 20 0 15 0 106020559 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14091368 memory=1452 CPUtime=0.94 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 11327 0 0 0 91 3 0 0 20 0 15 0 106020559 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14091368 memory=4872558044660077418 CPUtime=0.11 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 895 0 0 0 6 5 0 0 20 0 15 0 106020559 14429560832 735664 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 233.23 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2944108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+241.11 s]
/proc/loadavg: 2.07 2.03 1.97 3/218 11560
/proc/meminfo: memFree=15445948/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
[pid=11457] ppid=11455 vsize=14091368 memory=2942660 CPUtime=252.05 cores=1,3,5,7
/proc/11457/stat : 11457 (java) S 11455 11455 6396 0 -1 1077944320 79141 0 0 0 25003 202 0 0 20 0 15 0 106020553 14429560832 735665 33554432000 4194304 4196468 140731677859536 140731677842080 140018457186039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
/proc/11457/statm: 3522842 735665 3428 1 0 3484036 0
[pid=11457/tid=11458] ppid=11455 vsize=14091368 memory=2942660 CPUtime=239.5 cores=1,3,5,7
/proc/11457/task/11458/stat : 11458 (java) R 11455 11455 6396 0 -1 4202560 23006 0 0 0 23925 25 0 0 20 0 15 0 106020554 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018461421648 140018094836492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11459] ppid=11455 vsize=14091368 memory=1452 CPUtime=1.46 cores=1,3,5,7
/proc/11457/task/11459/stat : 11459 (java) S 11455 11455 6396 0 -1 1077944384 1565 0 0 0 106 40 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018418146320 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11460] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.47 cores=1,3,5,7
/proc/11457/task/11460/stat : 11460 (java) S 11455 11455 6396 0 -1 1077944384 1968 0 0 0 106 41 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018052213904 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11461] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.48 cores=1,3,5,7
/proc/11457/task/11461/stat : 11461 (java) S 11455 11455 6396 0 -1 1077944384 1872 0 0 0 106 42 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018051160848 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11462] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.46 cores=1,3,5,7
/proc/11457/task/11462/stat : 11462 (java) S 11455 11455 6396 0 -1 1077944384 1400 0 0 0 106 40 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018050108304 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11463] ppid=11455 vsize=14091368 memory=2942656 CPUtime=0.07 cores=1,3,5,7
/proc/11457/task/11463/stat : 11463 (java) S 11455 11455 6396 0 -1 1077944384 3914 0 0 0 7 0 0 0 20 0 15 0 106020556 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017638107376 140018457197186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11464] ppid=11455 vsize=14091368 memory=2942656 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11464/stat : 11464 (java) S 11455 11455 6396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 106020556 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017637053664 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11465] ppid=11455 vsize=14091368 memory=2942660 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106020557 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017636000512 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14091368 memory=2942660 CPUtime=2.8 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) S 11455 11455 6396 0 -1 1077944384 14923 0 0 0 278 2 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017633897200 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14091368 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 16143 0 0 0 266 1 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14091368 memory=2942660 CPUtime=0.95 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 12089 0 0 0 92 3 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14091368 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 938 0 0 0 6 6 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2944112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+241.12 s]
# the end of solver process 11455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001096 s, system=0.001096 s
[startup+241.134 s]
# the end of solver process 11457 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.048 s, system=2.04727 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+241.11 s]
/proc/loadavg: 2.07 2.03 1.97 3/218 11560
/proc/meminfo: memFree=15445948/32770624 swapFree=67108860/67108860
[pid=11455] ppid=11452 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11455/stat : 11455 (xcsp3-exec) S 11452 11455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106020553 115843072 363 33554432000 4194304 5098028 140731954364528 140731954362632 139641045185148 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22847488 140731954373696 140731954373897 140731954373897 140731954376650 0
/proc/11455/statm: 28282 363 305 221 0 87 0
[pid=11457] ppid=11455 vsize=14091368 memory=2942660 CPUtime=252.05 cores=1,3,5,7
/proc/11457/stat : 11457 (java) S 11455 11455 6396 0 -1 1077944320 79141 0 0 0 25003 202 0 0 20 0 15 0 106020553 14429560832 735665 33554432000 4194304 4196468 140731677859536 140731677842080 140018457186039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
/proc/11457/statm: 3522842 735665 3428 1 0 3484036 0
[pid=11457/tid=11458] ppid=11455 vsize=14091368 memory=2942660 CPUtime=239.5 cores=1,3,5,7
/proc/11457/task/11458/stat : 11458 (java) R 11455 11455 6396 0 -1 4202560 23006 0 0 0 23925 25 0 0 20 0 15 0 106020554 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018461421648 140018094836492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11459] ppid=11455 vsize=14091368 memory=1452 CPUtime=1.46 cores=1,3,5,7
/proc/11457/task/11459/stat : 11459 (java) S 11455 11455 6396 0 -1 1077944384 1565 0 0 0 106 40 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018418146320 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11460] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.47 cores=1,3,5,7
/proc/11457/task/11460/stat : 11460 (java) S 11455 11455 6396 0 -1 1077944384 1968 0 0 0 106 41 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018052213904 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11461] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.48 cores=1,3,5,7
/proc/11457/task/11461/stat : 11461 (java) S 11455 11455 6396 0 -1 1077944384 1872 0 0 0 106 42 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018051160848 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11462] ppid=11455 vsize=14091368 memory=2942656 CPUtime=1.46 cores=1,3,5,7
/proc/11457/task/11462/stat : 11462 (java) S 11455 11455 6396 0 -1 1077944384 1400 0 0 0 106 40 0 0 20 0 15 0 106020555 14429560832 735665 33554432000 4194304 4196468 140731677859536 140018050108304 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11463] ppid=11455 vsize=14091368 memory=2942656 CPUtime=0.07 cores=1,3,5,7
/proc/11457/task/11463/stat : 11463 (java) S 11455 11455 6396 0 -1 1077944384 3914 0 0 0 7 0 0 0 20 0 15 0 106020556 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017638107376 140018457197186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11464] ppid=11455 vsize=14091368 memory=2942656 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11464/stat : 11464 (java) S 11455 11455 6396 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 106020556 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017637053664 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11465] ppid=11455 vsize=14091368 memory=2942660 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11465/stat : 11465 (java) S 11455 11455 6396 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 106020557 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017636000512 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11466] ppid=11455 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11466/stat : 11466 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017634949072 140018457204635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11467] ppid=11455 vsize=14091368 memory=2942660 CPUtime=2.8 cores=1,3,5,7
/proc/11457/task/11467/stat : 11467 (java) S 11455 11455 6396 0 -1 1077944384 14923 0 0 0 278 2 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017633897200 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11468] ppid=11455 vsize=14091368 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/11457/task/11468/stat : 11468 (java) S 11455 11455 6396 0 -1 1077944384 16143 0 0 0 266 1 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017632844656 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11469] ppid=11455 vsize=14091368 memory=2942660 CPUtime=0.95 cores=1,3,5,7
/proc/11457/task/11469/stat : 11469 (java) S 11455 11455 6396 0 -1 1077944384 12089 0 0 0 92 3 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017631791600 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11470] ppid=11455 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11457/task/11470/stat : 11470 (java) S 11455 11455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017630739296 140018457196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
[pid=11457/tid=11471] ppid=11455 vsize=14091368 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/11457/task/11471/stat : 11471 (java) S 11455 11455 6396 0 -1 1077944384 938 0 0 0 6 6 0 0 20 0 15 0 106020559 14429560832 735665 33554432000 4194304 4196468 140731677859536 140017629686320 140018457197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140731677865100 140731677865270 140731677865270 140731677867983 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 2944112 KiB
Child status: 143
Real time (s): 241.134
CPU time (s): 252.095
CPU user time (s): 250.048
CPU system time (s): 2.04727
CPU usage (%): 104.545
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 2953124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.048
system time used= 2.04727
maximum resident set size= 2951672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8805
involuntary context switches= 185
# summary of solver processes directly reported to runsolver:
# pid: 11455,11457
# total CPU time (s): 252.095
# total CPU user time (s): 250.048
# total CPU system time (s): 2.04727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6402 second user time and 2.31119 second system time
The end