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 (10606 MiB free)
memory of node 1: 16384 MiB (7271 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306587-1534115490/watcher-4306587-1534115490 -o /tmp/evaluation-result-4306587-1534115490/solver-4306587-1534115490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 842717399 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306587-1534115490.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6945, runsolver pid=6942
[startup+0.100061 s]*
/proc/loadavg: 1.95 1.95 1.93 4/217 6961
/proc/meminfo: memFree=18290716/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
[pid=6947] ppid=6945 vsize=14082940 memory=28776 CPUtime=0.11 cores=1,3,5,7
/proc/6947/stat : 6947 (java) S 6945 6945 4413 0 -1 1077944320 5543 0 0 0 10 1 0 0 20 0 15 0 229112154 14420930560 7194 33554432000 4194304 4196468 140726467053184 140726467035728 140099376471799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
/proc/6947/statm: 3520735 7194 3030 1 0 3483012 0
[pid=6947/tid=6948] ppid=6945 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/6947/task/6948/stat : 6948 (java) R 6945 6945 4413 0 -1 4202560 3566 0 0 0 8 1 0 0 20 0 15 0 229112154 14420930560 7259 33554432000 4194304 4196468 140726467053184 140099380704128 140099376493725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6949] ppid=6945 vsize=14082940 memory=3472468361623577808 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6949/stat : 6949 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 7259 33554432000 4194304 4196468 140726467053184 140099291540240 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6950] ppid=6945 vsize=14082940 memory=140232728426112 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6950/stat : 6950 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 7259 33554432000 4194304 4196468 140726467053184 140099290487696 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6951] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6951/stat : 6951 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 7259 33554432000 4194304 4196468 140726467053184 140099289435152 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6952] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6952/stat : 6952 (java) S 6945 6945 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 7259 33554432000 4194304 4196468 140726467053184 140099288382608 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6953] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6953/stat : 6953 (java) S 6945 6945 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229112156 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098557130736 140099376482946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6954] ppid=6945 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6954/stat : 6954 (java) S 6945 6945 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229112157 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098556076960 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6955] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229112157 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) S 6945 6945 4413 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 229112159 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098552920560 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112159 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098551868016 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14082940 memory=140232728426112 CPUtime=0.01 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) R 6945 6945 4413 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 229112159 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098550815472 140099376493146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14082940 memory=140232728426112 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112160 14420930560 7259 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30228 KiB
[startup+0.21116 s]*
/proc/loadavg: 1.95 1.95 1.93 5/217 6961
/proc/meminfo: memFree=18278932/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
[pid=6947] ppid=6945 vsize=14082940 memory=40960 CPUtime=0.35 cores=1,3,5,7
/proc/6947/stat : 6947 (java) S 6945 6945 4413 0 -1 1077944320 8331 0 0 0 32 3 0 0 20 0 15 0 229112154 14420930560 10240 33554432000 4194304 4196468 140726467053184 140726467035728 140099376471799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
/proc/6947/statm: 3520735 10240 3193 1 0 3483012 0
[pid=6947/tid=6948] ppid=6945 vsize=14082940 memory=4788064525053108374 CPUtime=0.2 cores=1,3,5,7
/proc/6947/task/6948/stat : 6948 (java) R 6945 6945 4413 0 -1 4202560 5459 0 0 0 18 2 0 0 20 0 15 0 229112154 14420930560 10304 33554432000 4194304 4196468 140726467053184 140099380706784 140099369149813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6949] ppid=6945 vsize=14082940 memory=3472468361623577808 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6949/stat : 6949 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 10304 33554432000 4194304 4196468 140726467053184 140099291540240 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6950] ppid=6945 vsize=14082940 memory=140232728426112 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6950/stat : 6950 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 10304 33554432000 4194304 4196468 140726467053184 140099290487696 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6951] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6951/stat : 6951 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 10304 33554432000 4194304 4196468 140726467053184 140099289435152 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6952] ppid=6945 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6952/stat : 6952 (java) S 6945 6945 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229112155 14420930560 10304 33554432000 4194304 4196468 140726467053184 140099288382608 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6953] ppid=6945 vsize=14082940 memory=140232728426112 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6953/stat : 6953 (java) S 6945 6945 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229112156 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098557130736 140099376482946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6954] ppid=6945 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6954/stat : 6954 (java) S 6945 6945 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229112157 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098556076960 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6955] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229112157 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) S 6945 6945 4413 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 229112159 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098552920560 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) S 6945 6945 4413 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 229112159 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098551868016 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14082940 memory=140232728426112 CPUtime=0.08 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) S 6945 6945 4413 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 229112159 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098550815472 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14082940 memory=140232728426112 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112160 14420930560 10304 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42412 KiB
[startup+0.3106 s]*
/proc/loadavg: 1.95 1.95 1.93 4/217 6961
/proc/meminfo: memFree=18272604/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
[pid=6947] ppid=6945 vsize=14087196 memory=48068 CPUtime=0.53 cores=1,3,5,7
/proc/6947/stat : 6947 (java) S 6945 6945 4413 0 -1 1077944320 9213 0 0 0 49 4 0 0 20 0 15 0 229112154 14425288704 12017 33554432000 4194304 4196468 140726467053184 140726467035728 140099376471799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
/proc/6947/statm: 3521799 12017 3261 1 0 3483012 0
[pid=6947/tid=6948] ppid=6945 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/6947/task/6948/stat : 6948 (java) R 6945 6945 4413 0 -1 4202560 6166 0 0 0 27 3 0 0 20 0 15 0 229112154 14425288704 12017 33554432000 4194304 4196468 140726467053184 140099380702912 140099360552286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6949] ppid=6945 vsize=14087196 memory=3472468361623577808 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6949/stat : 6949 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14425288704 12017 33554432000 4194304 4196468 140726467053184 140099291540240 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6950] ppid=6945 vsize=14087196 memory=140232728426112 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6950/stat : 6950 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14425288704 12017 33554432000 4194304 4196468 140726467053184 140099290487696 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6951] ppid=6945 vsize=14087196 memory=12 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6951/stat : 6951 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14425288704 12017 33554432000 4194304 4196468 140726467053184 140099289435152 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6952] ppid=6945 vsize=14087196 memory=140232628512799 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6952/stat : 6952 (java) S 6945 6945 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229112155 14425288704 12017 33554432000 4194304 4196468 140726467053184 140099288382608 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6953] ppid=6945 vsize=14087196 memory=280465256986368 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6953/stat : 6953 (java) S 6945 6945 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229112156 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098557130736 140099376482946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6954] ppid=6945 vsize=14087196 memory=140232628489743 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6954/stat : 6954 (java) S 6945 6945 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229112157 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098556076960 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6955] ppid=6945 vsize=14087196 memory=280465356925024 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229112157 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14087196 memory=140232628494351 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) S 6945 6945 4413 0 -1 1077944384 550 0 0 0 5 0 0 0 20 0 15 0 229112159 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098552920560 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) S 6945 6945 4413 0 -1 1077944384 357 0 0 0 4 0 0 0 20 0 15 0 229112159 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098551868016 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) S 6945 6945 4413 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 15 0 229112159 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098550815472 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112160 14425288704 12017 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49520 KiB
[startup+0.700965 s]
/proc/loadavg: 1.95 1.95 1.93 4/217 6961
/proc/meminfo: memFree=18253872/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
[pid=6947] ppid=6945 vsize=14089320 memory=77060 CPUtime=1.59 cores=1,3,5,7
/proc/6947/stat : 6947 (java) S 6945 6945 4413 0 -1 1077944320 12962 0 0 0 153 6 0 0 20 0 15 0 229112154 14427463680 19265 33554432000 4194304 4196468 140726467053184 140726467035728 140099376471799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
/proc/6947/statm: 3522330 19265 3369 1 0 3483524 0
[pid=6947/tid=6948] ppid=6945 vsize=14089320 memory=6154820267226784105 CPUtime=0.66 cores=1,3,5,7
/proc/6947/task/6948/stat : 6948 (java) R 6945 6945 4413 0 -1 4202560 7117 0 0 0 63 3 0 0 20 0 15 0 229112154 14427463680 19265 33554432000 4194304 4196468 140726467053184 140099380707080 140098968610308 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6949] ppid=6945 vsize=14089320 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6949/stat : 6949 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14427463680 19265 33554432000 4194304 4196468 140726467053184 140099291540240 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6950] ppid=6945 vsize=14089320 memory=7228928657758113873 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6950/stat : 6950 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14427463680 19265 33554432000 4194304 4196468 140726467053184 140099290487696 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6951] ppid=6945 vsize=14089320 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6951/stat : 6951 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112155 14427463680 19265 33554432000 4194304 4196468 140726467053184 140099289435152 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6952] ppid=6945 vsize=14089320 memory=3054156605267021953 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6952/stat : 6952 (java) S 6945 6945 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229112155 14427463680 19265 33554432000 4194304 4196468 140726467053184 140099288382608 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6953] ppid=6945 vsize=14089320 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6953/stat : 6953 (java) S 6945 6945 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229112156 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098557130736 140099376482946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6954] ppid=6945 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6954/stat : 6954 (java) S 6945 6945 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098556076960 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6955] ppid=6945 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14089320 memory=62252 CPUtime=0.25 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) R 6945 6945 4413 0 -1 4202560 1238 0 0 0 25 0 0 0 20 0 15 0 229112159 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098552920560 140099361581612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14089320 memory=2056 CPUtime=0.24 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) R 6945 6945 4413 0 -1 4202560 1196 0 0 0 24 0 0 0 20 0 15 0 229112159 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098551853896 140099358016372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14089320 memory=932 CPUtime=0.4 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) S 6945 6945 4413 0 -1 1077944384 2102 0 0 0 39 1 0 0 20 0 15 0 229112159 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098550815472 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14089320 memory=7380063209972523600 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14089320 memory=8025788831307884116 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229112160 14427463680 19265 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 78512 KiB
[startup+1.50086 s]
/proc/loadavg: 1.95 1.95 1.93 5/217 6961
/proc/meminfo: memFree=18230244/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 64256 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 64256 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14089320 memory=257024 CPUtime=3.55 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) S 6945 6945 4413 0 -1 1077944384 27555 0 0 0 352 3 0 0 20 0 15 0 229112159 14427463680 64256 33554432000 4194304 4196468 140726467053184 140098552920560 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14089320 memory=1452 CPUtime=3.14 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) S 6945 6945 4413 0 -1 1077944384 16943 0 0 0 311 3 0 0 20 0 15 0 229112159 14427463680 64256 33554432000 4194304 4196468 140726467053184 140098551868016 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14089320 memory=3632 CPUtime=0.61 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) S 6945 6945 4413 0 -1 1077944384 9744 0 0 0 58 3 0 0 20 0 15 0 229112159 14427463680 64256 33554432000 4194304 4196468 140726467053184 140098550815472 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 64256 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14089320 memory=257024 CPUtime=0.49 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 2147 0 0 0 19 30 0 0 20 0 15 0 229112160 14427463680 64256 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 2451.16 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 258476 KiB
[startup+2502.3 s]
/proc/loadavg: 1.86 1.86 1.85 3/219 7212
/proc/meminfo: memFree=17594484/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
[pid=6947] ppid=6945 vsize=14089320 memory=261120 CPUtime=2511.25 cores=1,3,5,7
/proc/6947/stat : 6947 (java) S 6945 6945 4413 0 -1 1077944320 93835 0 0 0 251066 59 0 0 20 0 15 0 229112154 14427463680 65280 33554432000 4194304 4196468 140726467053184 140726467035728 140099376471799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
/proc/6947/statm: 3522330 65280 3425 1 0 3483524 0
[pid=6947/tid=6948] ppid=6945 vsize=14089320 memory=261120 CPUtime=2501.23 cores=1,3,5,7
/proc/6947/task/6948/stat : 6948 (java) R 6945 6945 4413 0 -1 4202560 19880 0 0 0 250116 7 0 0 20 0 15 0 229112154 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099380711008 140098969992962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6949] ppid=6945 vsize=14089320 memory=259072 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6949/stat : 6949 (java) S 6945 6945 4413 0 -1 1077944384 2759 0 0 0 41 4 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099291540240 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6950] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6950/stat : 6950 (java) S 6945 6945 4413 0 -1 1077944384 1997 0 0 0 40 5 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099290487696 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6951] ppid=6945 vsize=14089320 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/6947/task/6951/stat : 6951 (java) S 6945 6945 4413 0 -1 1077944384 5304 0 0 0 41 5 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099289435152 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6952] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6952/stat : 6952 (java) S 6945 6945 4413 0 -1 1077944384 2157 0 0 0 41 4 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099288382608 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6953] ppid=6945 vsize=14089320 memory=59734405166674 CPUtime=0.33 cores=1,3,5,7
/proc/6947/task/6953/stat : 6953 (java) S 6945 6945 4413 0 -1 1077944384 3962 0 0 0 28 5 0 0 20 0 15 0 229112156 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098557130736 140099376482946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6954] ppid=6945 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6954/stat : 6954 (java) S 6945 6945 4413 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098556076960 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6955] ppid=6945 vsize=14089320 memory=261120 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14089320 memory=62332 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14089320 memory=1452 CPUtime=3.55 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) S 6945 6945 4413 0 -1 1077944384 27557 0 0 0 352 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098552920560 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14089320 memory=261120 CPUtime=3.14 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) S 6945 6945 4413 0 -1 1077944384 16945 0 0 0 311 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098551868016 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14089320 memory=3632 CPUtime=0.61 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) S 6945 6945 4413 0 -1 1077944384 9746 0 0 0 58 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098550815472 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14089320 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14089320 memory=62332 CPUtime=0.5 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 2153 0 0 0 20 30 0 0 20 0 15 0 229112160 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 2511.25 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 262572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.11 s]
/proc/loadavg: 1.89 1.87 1.85 3/219 7212
/proc/meminfo: memFree=17594484/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
[pid=6947] ppid=6945 vsize=14089320 memory=261120 CPUtime=2520.08 cores=1,3,5,7
/proc/6947/stat : 6947 (java) S 6945 6945 4413 0 -1 1077944320 93853 0 0 0 251948 60 0 0 20 0 15 0 229112154 14427463680 65280 33554432000 4194304 4196468 140726467053184 140726467035728 140099376471799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
/proc/6947/statm: 3522330 65280 3425 1 0 3483524 0
[pid=6947/tid=6948] ppid=6945 vsize=14089320 memory=1452 CPUtime=2510.04 cores=1,3,5,7
/proc/6947/task/6948/stat : 6948 (java) R 6945 6945 4413 0 -1 4202560 19884 0 0 0 250997 7 0 0 20 0 15 0 229112154 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099380711360 140098970459352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6949] ppid=6945 vsize=14089320 memory=259072 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6949/stat : 6949 (java) S 6945 6945 4413 0 -1 1077944384 2760 0 0 0 41 4 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099291540240 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6950] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6950/stat : 6950 (java) S 6945 6945 4413 0 -1 1077944384 2001 0 0 0 40 5 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099290487696 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6951] ppid=6945 vsize=14089320 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/6947/task/6951/stat : 6951 (java) S 6945 6945 4413 0 -1 1077944384 5305 0 0 0 41 5 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099289435152 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6952] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6952/stat : 6952 (java) S 6945 6945 4413 0 -1 1077944384 2157 0 0 0 41 4 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099288382608 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6953] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.34 cores=1,3,5,7
/proc/6947/task/6953/stat : 6953 (java) S 6945 6945 4413 0 -1 1077944384 3968 0 0 0 29 5 0 0 20 0 15 0 229112156 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098557130736 140099376482946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6954] ppid=6945 vsize=14089320 memory=261120 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6954/stat : 6954 (java) S 6945 6945 4413 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098556076960 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6955] ppid=6945 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14089320 memory=261120 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14089320 memory=59734405166674 CPUtime=3.55 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) S 6945 6945 4413 0 -1 1077944384 27557 0 0 0 352 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098552920560 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14089320 memory=261120 CPUtime=3.14 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) S 6945 6945 4413 0 -1 1077944384 16945 0 0 0 311 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098551868016 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.61 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) S 6945 6945 4413 0 -1 1077944384 9746 0 0 0 58 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098550815472 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14089320 memory=3471202396320837713 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14089320 memory=3632 CPUtime=0.5 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 2155 0 0 0 20 30 0 0 20 0 15 0 229112160 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 262572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.12 s]
# the end of solver process 6945 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002266 s, system=0 s
[startup+2511.12 s]
# the end of solver process 6947 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.49 s, system=0.604117 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+2511.11 s]
/proc/loadavg: 1.89 1.87 1.85 3/219 7212
/proc/meminfo: memFree=17594484/32770624 swapFree=67108796/67108860
[pid=6945] ppid=6942 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6945/stat : 6945 (xcsp3-exec) S 6942 6945 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229112153 115843072 363 33554432000 4194304 5098028 140727469699136 140727469697240 139698212733564 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9814016 140727469704251 140727469704452 140727469704452 140727469707210 0
/proc/6945/statm: 28282 363 305 221 0 87 0
[pid=6947] ppid=6945 vsize=14089320 memory=261120 CPUtime=2520.08 cores=1,3,5,7
/proc/6947/stat : 6947 (java) S 6945 6945 4413 0 -1 1077944320 93853 0 0 0 251948 60 0 0 20 0 15 0 229112154 14427463680 65280 33554432000 4194304 4196468 140726467053184 140726467035728 140099376471799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
/proc/6947/statm: 3522330 65280 3425 1 0 3483524 0
[pid=6947/tid=6948] ppid=6945 vsize=14089320 memory=1452 CPUtime=2510.04 cores=1,3,5,7
/proc/6947/task/6948/stat : 6948 (java) R 6945 6945 4413 0 -1 4202560 19884 0 0 0 250997 7 0 0 20 0 15 0 229112154 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099380711360 140098970459352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6949] ppid=6945 vsize=14089320 memory=259072 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6949/stat : 6949 (java) S 6945 6945 4413 0 -1 1077944384 2760 0 0 0 41 4 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099291540240 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6950] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6950/stat : 6950 (java) S 6945 6945 4413 0 -1 1077944384 2001 0 0 0 40 5 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099290487696 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6951] ppid=6945 vsize=14089320 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/6947/task/6951/stat : 6951 (java) S 6945 6945 4413 0 -1 1077944384 5305 0 0 0 41 5 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099289435152 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6952] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.45 cores=1,3,5,7
/proc/6947/task/6952/stat : 6952 (java) S 6945 6945 4413 0 -1 1077944384 2157 0 0 0 41 4 0 0 20 0 15 0 229112155 14427463680 65280 33554432000 4194304 4196468 140726467053184 140099288382608 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6953] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.34 cores=1,3,5,7
/proc/6947/task/6953/stat : 6953 (java) S 6945 6945 4413 0 -1 1077944384 3968 0 0 0 29 5 0 0 20 0 15 0 229112156 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098557130736 140099376482946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6954] ppid=6945 vsize=14089320 memory=261120 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6954/stat : 6954 (java) S 6945 6945 4413 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098556076960 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6955] ppid=6945 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6955/stat : 6955 (java) S 6945 6945 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229112157 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098555024368 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6956] ppid=6945 vsize=14089320 memory=261120 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6956/stat : 6956 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098553972944 140099376490395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6957] ppid=6945 vsize=14089320 memory=59734405166674 CPUtime=3.55 cores=1,3,5,7
/proc/6947/task/6957/stat : 6957 (java) S 6945 6945 4413 0 -1 1077944384 27557 0 0 0 352 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098552920560 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6958] ppid=6945 vsize=14089320 memory=261120 CPUtime=3.14 cores=1,3,5,7
/proc/6947/task/6958/stat : 6958 (java) S 6945 6945 4413 0 -1 1077944384 16945 0 0 0 311 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098551868016 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6959] ppid=6945 vsize=14089320 memory=261120 CPUtime=0.61 cores=1,3,5,7
/proc/6947/task/6959/stat : 6959 (java) S 6945 6945 4413 0 -1 1077944384 9746 0 0 0 58 3 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098550815472 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6960] ppid=6945 vsize=14089320 memory=3471202396320837713 CPUtime=0 cores=1,3,5,7
/proc/6947/task/6960/stat : 6960 (java) S 6945 6945 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229112159 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098549763168 140099376482005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
[pid=6947/tid=6961] ppid=6945 vsize=14089320 memory=3632 CPUtime=0.5 cores=1,3,5,7
/proc/6947/task/6961/stat : 6961 (java) S 6945 6945 4413 0 -1 1077944384 2155 0 0 0 20 30 0 0 20 0 15 0 229112160 14427463680 65280 33554432000 4194304 4196468 140726467053184 140098548709680 140099376482946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11603968 140726467056774 140726467056945 140726467056945 140726467059663 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 262572 KiB
Child status: 143
Real time (s): 2511.12
CPU time (s): 2520.1
CPU user time (s): 2519.49
CPU system time (s): 0.604117
CPU usage (%): 100.357
Max. virtual memory (cumulated for all children) (KiB): 14206424
Max. memory (cumulated for all children) (KiB): 262572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.604117
maximum resident set size= 261500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65224
involuntary context switches= 1477
# summary of solver processes directly reported to runsolver:
# pid: 6945,6947
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.49
# total CPU system time (s): 0.604117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4452 second user time and 22.8143 second system time
The end