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 (10264 MiB free)
memory of node 1: 16384 MiB (7270 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306507-1534120808/watcher-4306507-1534120808 -o /tmp/evaluation-result-4306507-1534120808/solver-4306507-1534120808 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 240088054 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306507-1534120808.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=7697, runsolver pid=7694
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 1.67 1.72 1.87 4/218 7713
/proc/meminfo: memFree=17938296/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
[pid=7699] ppid=7697 vsize=14082940 memory=28532 CPUtime=0.12 cores=1,3,5,7
/proc/7699/stat : 7699 (java) S 7697 7697 4413 0 -1 1077944320 5506 0 0 0 11 1 0 0 20 0 15 0 229643953 14420930560 7133 33554432000 4194304 4196468 140725130140336 140725130122880 139796507037431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
/proc/7699/statm: 3520735 7133 3012 1 0 3483012 0
[pid=7699/tid=7700] ppid=7697 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/7699/task/7700/stat : 7700 (java) R 7697 7697 4413 0 -1 4202560 3507 0 0 0 9 0 0 0 20 0 15 0 229643953 14420930560 7133 33554432000 4194304 4196468 140725130140336 139796511270704 139796507049366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7701] ppid=7697 vsize=14082940 memory=3472468261955003600 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7701/stat : 7701 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 7133 33554432000 4194304 4196468 140725130140336 139796422105872 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7702] ppid=7697 vsize=14082940 memory=140133059851904 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7702/stat : 7702 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 7133 33554432000 4194304 4196468 140725130140336 139796101983120 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7703] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7703/stat : 7703 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 7133 33554432000 4194304 4196468 140725130140336 139796100930576 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7704] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7704/stat : 7704 (java) S 7697 7697 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 7133 33554432000 4194304 4196468 140725130140336 139796099878032 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7705] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7705/stat : 7705 (java) S 7697 7697 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229643956 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795981342704 139796507048578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7706] ppid=7697 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7706/stat : 7706 (java) S 7697 7697 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229643956 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795980288928 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7707] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229643956 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) S 7697 7697 4413 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795977132528 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) S 7697 7697 4413 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795976079984 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14082940 memory=140133059851904 CPUtime=0.01 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) R 7697 7697 4413 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 15 0 229643959 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795975027440 139796485730920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14082940 memory=140133059851904 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 7133 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29984 KiB
[startup+0.210514 s]*
/proc/loadavg: 1.67 1.72 1.87 5/218 7713
/proc/meminfo: memFree=17926340/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
[pid=7699] ppid=7697 vsize=14082940 memory=41116 CPUtime=0.33 cores=1,3,5,7
/proc/7699/stat : 7699 (java) S 7697 7697 4413 0 -1 1077944320 8303 0 0 0 31 2 0 0 20 0 15 0 229643953 14420930560 10279 33554432000 4194304 4196468 140725130140336 140725130122880 139796507037431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
/proc/7699/statm: 3520735 10279 3205 1 0 3483012 0
[pid=7699/tid=7700] ppid=7697 vsize=14082940 memory=4500115623978573208 CPUtime=0.18 cores=1,3,5,7
/proc/7699/task/7700/stat : 7700 (java) R 7697 7697 4413 0 -1 4202560 5375 0 0 0 18 0 0 0 20 0 15 0 229643953 14420930560 10279 33554432000 4194304 4196468 140725130140336 139796511271552 139796474628433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7701] ppid=7697 vsize=14082940 memory=3472468261955003600 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7701/stat : 7701 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 10279 33554432000 4194304 4196468 140725130140336 139796422105872 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7702] ppid=7697 vsize=14082940 memory=140133059851904 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7702/stat : 7702 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 10279 33554432000 4194304 4196468 140725130140336 139796101983120 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7703] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7703/stat : 7703 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 10279 33554432000 4194304 4196468 140725130140336 139796100930576 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7704] ppid=7697 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7704/stat : 7704 (java) S 7697 7697 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229643954 14420930560 10279 33554432000 4194304 4196468 140725130140336 139796099878032 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7705] ppid=7697 vsize=14082940 memory=140133059851904 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7705/stat : 7705 (java) S 7697 7697 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229643956 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795981342704 139796507048578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7706] ppid=7697 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7706/stat : 7706 (java) S 7697 7697 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229643956 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795980288928 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7707] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229643956 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) S 7697 7697 4413 0 -1 1077944384 645 0 0 0 1 0 0 0 20 0 15 0 229643959 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795977132528 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) S 7697 7697 4413 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 229643959 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795976079984 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14082940 memory=140133059851904 CPUtime=0.07 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) R 7697 7697 4413 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 15 0 229643959 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795975027440 139796486372768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14082940 memory=140133059851904 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643959 14420930560 10279 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42568 KiB
[startup+0.310361 s]*
/proc/loadavg: 1.67 1.72 1.87 4/218 7713
/proc/meminfo: memFree=17920840/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
[pid=7699] ppid=7697 vsize=14087196 memory=47740 CPUtime=0.51 cores=1,3,5,7
/proc/7699/stat : 7699 (java) S 7697 7697 4413 0 -1 1077944320 9100 0 0 0 49 2 0 0 20 0 15 0 229643953 14425288704 11935 33554432000 4194304 4196468 140725130140336 140725130122880 139796507037431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
/proc/7699/statm: 3521799 11935 3262 1 0 3483012 0
[pid=7699/tid=7700] ppid=7697 vsize=14087196 memory=-8976644418600983157 CPUtime=0.28 cores=1,3,5,7
/proc/7699/task/7700/stat : 7700 (java) R 7697 7697 4413 0 -1 4202560 6031 0 0 0 27 1 0 0 20 0 15 0 229643953 14425288704 11935 33554432000 4194304 4196468 140725130140336 139796511268544 139796491117918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7701] ppid=7697 vsize=14087196 memory=3472468261955003600 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7701/stat : 7701 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14425288704 11935 33554432000 4194304 4196468 140725130140336 139796422105872 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7702] ppid=7697 vsize=14087196 memory=140133059851904 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7702/stat : 7702 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14425288704 11935 33554432000 4194304 4196468 140725130140336 139796101983120 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7703] ppid=7697 vsize=14087196 memory=15 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7703/stat : 7703 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14425288704 11935 33554432000 4194304 4196468 140725130140336 139796100930576 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7704] ppid=7697 vsize=14087196 memory=140132904740895 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7704/stat : 7704 (java) S 7697 7697 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229643954 14425288704 11935 33554432000 4194304 4196468 140725130140336 139796099878032 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7705] ppid=7697 vsize=14087196 memory=280265809442560 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7705/stat : 7705 (java) S 7697 7697 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229643956 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795981342704 139796507048578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7706] ppid=7697 vsize=14087196 memory=140132904717839 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7706/stat : 7706 (java) S 7697 7697 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229643956 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795980288928 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7707] ppid=7697 vsize=14087196 memory=280265964578912 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229643956 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14087196 memory=140132904722447 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) S 7697 7697 4413 0 -1 1077944384 654 0 0 0 3 0 0 0 20 0 15 0 229643959 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795977132528 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14087196 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) R 7697 7697 4413 0 -1 4202560 311 0 0 0 5 0 0 0 20 0 15 0 229643959 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795976070368 139796490940873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) R 7697 7697 4413 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 15 0 229643959 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795975027440 139796507048578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643959 14425288704 11935 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49192 KiB
[startup+0.701711 s]
/proc/loadavg: 1.67 1.72 1.87 5/218 7713
/proc/meminfo: memFree=17908312/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
[pid=7699] ppid=7697 vsize=14089320 memory=65468 CPUtime=1.61 cores=1,3,5,7
/proc/7699/stat : 7699 (java) S 7697 7697 4413 0 -1 1077944320 12191 0 0 0 157 4 0 0 20 0 15 0 229643953 14427463680 16367 33554432000 4194304 4196468 140725130140336 140725130122880 139796507037431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
/proc/7699/statm: 3522330 16367 3365 1 0 3483524 0
[pid=7699/tid=7700] ppid=7697 vsize=14089320 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/7699/task/7700/stat : 7700 (java) R 7697 7697 4413 0 -1 4202560 6846 0 0 0 65 1 0 0 20 0 15 0 229643953 14427463680 16367 33554432000 4194304 4196468 140725130140336 139796511274624 139796105287663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7701] ppid=7697 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7701/stat : 7701 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14427463680 16367 33554432000 4194304 4196468 140725130140336 139796422105872 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7702] ppid=7697 vsize=14089320 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7702/stat : 7702 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14427463680 16367 33554432000 4194304 4196468 140725130140336 139796101983120 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7703] ppid=7697 vsize=14089320 memory=7662681601517114464 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7703/stat : 7703 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643954 14427463680 16367 33554432000 4194304 4196468 140725130140336 139796100930576 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7704] ppid=7697 vsize=14089320 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7704/stat : 7704 (java) S 7697 7697 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229643954 14427463680 16367 33554432000 4194304 4196468 140725130140336 139796099878032 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7705] ppid=7697 vsize=14089320 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7705/stat : 7705 (java) S 7697 7697 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795981342704 139796507048578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7706] ppid=7697 vsize=14089320 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7706/stat : 7706 (java) S 7697 7697 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795980288928 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7707] ppid=7697 vsize=14089320 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14089320 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14089320 memory=1244 CPUtime=0.31 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) R 7697 7697 4413 0 -1 4202560 1488 0 0 0 31 0 0 0 20 0 15 0 229643959 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795977118752 139796486284088 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14089320 memory=1060 CPUtime=0.35 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) R 7697 7697 4413 0 -1 4202560 1211 0 0 0 35 0 0 0 20 0 15 0 229643959 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795976066176 139796488557116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14089320 memory=1776 CPUtime=0.25 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) S 7697 7697 4413 0 -1 1077944384 1337 0 0 0 25 0 0 0 20 0 15 0 229643959 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795975027440 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14089320 memory=5656 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14089320 memory=14772 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 16367 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 66920 KiB
[startup+1.5008 s]
/proc/loadavg: 1.67 1.72 1.87 5/218 7713
/proc/meminfo: memFree=17883168/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14089320 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14089320 memory=301741373374332954 CPUtime=1.06 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) S 7697 7697 4413 0 -1 1077944384 16081 0 0 0 104 2 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795977132528 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14089320 memory=288230596050944315 CPUtime=1.08 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) S 7697 7697 4413 0 -1 1077944384 9627 0 0 0 107 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795976079984 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14089320 memory=13846387007688923 CPUtime=0.34 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) S 7697 7697 4413 0 -1 1077944384 5532 0 0 0 33 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795975027440 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14089320 memory=1408 CPUtime=0.55 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1637 0 0 0 21 34 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 2453.66 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3960488 KiB
[startup+2502.3 s]*
/proc/loadavg: 1.95 1.89 1.83 3/218 7881
/proc/meminfo: memFree=14331460/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
[pid=7699] ppid=7697 vsize=14089320 memory=3959036 CPUtime=2514.06 cores=1,3,5,7
/proc/7699/stat : 7699 (java) S 7697 7697 4413 0 -1 1077944320 289584 0 0 0 251254 152 0 0 20 0 15 0 229643953 14427463680 989759 33554432000 4194304 4196468 140725130140336 140725130122880 139796507037431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
/proc/7699/statm: 3522330 989759 3400 1 0 3483524 0
[pid=7699/tid=7700] ppid=7697 vsize=14089320 memory=8112282956445269571 CPUtime=2497.73 cores=1,3,5,7
/proc/7699/task/7700/stat : 7700 (java) R 7697 7697 4413 0 -1 4202560 129839 0 0 0 249705 68 0 0 20 0 15 0 229643953 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796511276832 139796105356500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7701] ppid=7697 vsize=14089320 memory=-7003737579269690708 CPUtime=3.13 cores=1,3,5,7
/proc/7699/task/7701/stat : 7701 (java) S 7697 7697 4413 0 -1 1077944384 25460 0 0 0 302 11 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796422105872 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7702] ppid=7697 vsize=14089320 memory=932 CPUtime=3.12 cores=1,3,5,7
/proc/7699/task/7702/stat : 7702 (java) S 7697 7697 4413 0 -1 1077944384 30278 0 0 0 300 12 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796101983120 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7703] ppid=7697 vsize=14089320 memory=1728 CPUtime=3.13 cores=1,3,5,7
/proc/7699/task/7703/stat : 7703 (java) S 7697 7697 4413 0 -1 1077944384 32316 0 0 0 303 10 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796100930576 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7704] ppid=7697 vsize=14089320 memory=8628 CPUtime=3.09 cores=1,3,5,7
/proc/7699/task/7704/stat : 7704 (java) S 7697 7697 4413 0 -1 1077944384 27132 0 0 0 298 11 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796099878032 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7705] ppid=7697 vsize=14089320 memory=1080 CPUtime=0.74 cores=1,3,5,7
/proc/7699/task/7705/stat : 7705 (java) S 7697 7697 4413 0 -1 1077944384 10281 0 0 0 63 11 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795981342704 139796507048578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7706] ppid=7697 vsize=14089320 memory=752 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7706/stat : 7706 (java) S 7697 7697 4413 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795980288928 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7707] ppid=7697 vsize=14089320 memory=820 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14089320 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14089320 memory=3804 CPUtime=1.06 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) S 7697 7697 4413 0 -1 1077944384 16085 0 0 0 104 2 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795977132528 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14089320 memory=3164 CPUtime=1.08 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) S 7697 7697 4413 0 -1 1077944384 9629 0 0 0 107 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795976079984 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14089320 memory=1244 CPUtime=0.34 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) S 7697 7697 4413 0 -1 1077944384 5541 0 0 0 33 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795975027440 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14089320 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14089320 memory=1776 CPUtime=0.57 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1663 0 0 0 22 35 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 2514.06 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3960488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.2 s]
/proc/loadavg: 1.96 1.89 1.83 3/218 7881
/proc/meminfo: memFree=14331156/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
[pid=7699] ppid=7697 vsize=14089320 memory=3959036 CPUtime=2520.01 cores=1,3,5,7
/proc/7699/stat : 7699 (java) S 7697 7697 4413 0 -1 1077944320 289611 0 0 0 251849 152 0 0 20 0 15 0 229643953 14427463680 989759 33554432000 4194304 4196468 140725130140336 140725130122880 139796507037431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
/proc/7699/statm: 3522330 989759 3400 1 0 3483524 0
[pid=7699/tid=7700] ppid=7697 vsize=14089320 memory=3959036 CPUtime=2503.6 cores=1,3,5,7
/proc/7699/task/7700/stat : 7700 (java) R 7697 7697 4413 0 -1 4202560 129841 0 0 0 250292 68 0 0 20 0 15 0 229643953 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796511276944 139796105254742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7701] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.15 cores=1,3,5,7
/proc/7699/task/7701/stat : 7701 (java) S 7697 7697 4413 0 -1 1077944384 25466 0 0 0 304 11 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796422105872 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7702] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.14 cores=1,3,5,7
/proc/7699/task/7702/stat : 7702 (java) S 7697 7697 4413 0 -1 1077944384 30279 0 0 0 302 12 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796101983120 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7703] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.14 cores=1,3,5,7
/proc/7699/task/7703/stat : 7703 (java) S 7697 7697 4413 0 -1 1077944384 32319 0 0 0 304 10 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796100930576 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7704] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.11 cores=1,3,5,7
/proc/7699/task/7704/stat : 7704 (java) S 7697 7697 4413 0 -1 1077944384 27143 0 0 0 300 11 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796099878032 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7705] ppid=7697 vsize=14089320 memory=1452 CPUtime=0.74 cores=1,3,5,7
/proc/7699/task/7705/stat : 7705 (java) S 7697 7697 4413 0 -1 1077944384 10283 0 0 0 63 11 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795981342704 139796507048578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7706] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7706/stat : 7706 (java) S 7697 7697 4413 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795980288928 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7707] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14089320 memory=1452 CPUtime=1.06 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) S 7697 7697 4413 0 -1 1077944384 16085 0 0 0 104 2 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795977132528 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14089320 memory=1452 CPUtime=1.08 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) S 7697 7697 4413 0 -1 1077944384 9629 0 0 0 107 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795976079984 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0.34 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) S 7697 7697 4413 0 -1 1077944384 5541 0 0 0 33 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795975027440 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14089320 memory=1452 CPUtime=0.57 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1665 0 0 0 22 35 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3960488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.21 s]
# the end of solver process 7697 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001109 s, system=0.001109 s
[startup+2508.23 s]
# the end of solver process 7699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.5 s, system=1.54964 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+2508.2 s]
/proc/loadavg: 1.96 1.89 1.83 3/218 7881
/proc/meminfo: memFree=14331156/32770624 swapFree=67108796/67108860
[pid=7697] ppid=7694 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7697/stat : 7697 (xcsp3-exec) S 7694 7697 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229643953 115843072 363 33554432000 4194304 5098028 140729337232240 140729337230344 140337677468284 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7925760 140729337238587 140729337238788 140729337238788 140729337241546 0
/proc/7697/statm: 28282 363 306 221 0 87 0
[pid=7699] ppid=7697 vsize=14089320 memory=3959036 CPUtime=2520.01 cores=1,3,5,7
/proc/7699/stat : 7699 (java) S 7697 7697 4413 0 -1 1077944320 289611 0 0 0 251849 152 0 0 20 0 15 0 229643953 14427463680 989759 33554432000 4194304 4196468 140725130140336 140725130122880 139796507037431 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
/proc/7699/statm: 3522330 989759 3400 1 0 3483524 0
[pid=7699/tid=7700] ppid=7697 vsize=14089320 memory=3959036 CPUtime=2503.6 cores=1,3,5,7
/proc/7699/task/7700/stat : 7700 (java) R 7697 7697 4413 0 -1 4202560 129841 0 0 0 250292 68 0 0 20 0 15 0 229643953 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796511276944 139796105254742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7701] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.15 cores=1,3,5,7
/proc/7699/task/7701/stat : 7701 (java) S 7697 7697 4413 0 -1 1077944384 25466 0 0 0 304 11 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796422105872 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7702] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.14 cores=1,3,5,7
/proc/7699/task/7702/stat : 7702 (java) S 7697 7697 4413 0 -1 1077944384 30279 0 0 0 302 12 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796101983120 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7703] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.14 cores=1,3,5,7
/proc/7699/task/7703/stat : 7703 (java) S 7697 7697 4413 0 -1 1077944384 32319 0 0 0 304 10 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796100930576 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7704] ppid=7697 vsize=14089320 memory=3959036 CPUtime=3.11 cores=1,3,5,7
/proc/7699/task/7704/stat : 7704 (java) S 7697 7697 4413 0 -1 1077944384 27143 0 0 0 300 11 0 0 20 0 15 0 229643954 14427463680 989759 33554432000 4194304 4196468 140725130140336 139796099878032 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7705] ppid=7697 vsize=14089320 memory=1452 CPUtime=0.74 cores=1,3,5,7
/proc/7699/task/7705/stat : 7705 (java) S 7697 7697 4413 0 -1 1077944384 10283 0 0 0 63 11 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795981342704 139796507048578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7706] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7706/stat : 7706 (java) S 7697 7697 4413 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795980288928 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7707] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7707/stat : 7707 (java) S 7697 7697 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 229643956 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795979236336 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7708] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7708/stat : 7708 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795978184912 139796507056027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7709] ppid=7697 vsize=14089320 memory=1452 CPUtime=1.06 cores=1,3,5,7
/proc/7699/task/7709/stat : 7709 (java) S 7697 7697 4413 0 -1 1077944384 16085 0 0 0 104 2 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795977132528 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7710] ppid=7697 vsize=14089320 memory=1452 CPUtime=1.08 cores=1,3,5,7
/proc/7699/task/7710/stat : 7710 (java) S 7697 7697 4413 0 -1 1077944384 9629 0 0 0 107 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795976079984 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7711] ppid=7697 vsize=14089320 memory=3959036 CPUtime=0.34 cores=1,3,5,7
/proc/7699/task/7711/stat : 7711 (java) S 7697 7697 4413 0 -1 1077944384 5541 0 0 0 33 1 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795975027440 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7712] ppid=7697 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7699/task/7712/stat : 7712 (java) S 7697 7697 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795973975136 139796507047637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
[pid=7699/tid=7713] ppid=7697 vsize=14089320 memory=1452 CPUtime=0.57 cores=1,3,5,7
/proc/7699/task/7713/stat : 7713 (java) S 7697 7697 4413 0 -1 1077944384 1665 0 0 0 22 35 0 0 20 0 15 0 229643959 14427463680 989759 33554432000 4194304 4196468 140725130140336 139795972921648 139796507048578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35364864 140725130146950 140725130147121 140725130147121 140725130149839 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3960488 KiB
Child status: 143
Real time (s): 2508.23
CPU time (s): 2520.05
CPU user time (s): 2518.5
CPU system time (s): 1.54964
CPU usage (%): 100.471
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 3960488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.5
system time used= 1.54964
maximum resident set size= 3959604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75448
involuntary context switches= 2227
# summary of solver processes directly reported to runsolver:
# pid: 7697,7699
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.5
# total CPU system time (s): 1.54964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.12 second user time and 18.531 second system time
The end