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 (13971 MiB free)
memory of node 1: 16384 MiB (13746 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307007-1534058092/watcher-4307007-1534058092 -o /tmp/evaluation-result-4307007-1534058092/solver-4307007-1534058092 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16489 --watchdog 2580 HOME/xcsp3-exec -seed 533181032 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307007-1534058092.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=19157, runsolver pid=19154
[startup+0.100107 s]*
/proc/loadavg: 1.67 1.71 1.68 4/218 19173
/proc/meminfo: memFree=28366580/32770624 swapFree=67030644/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
[pid=19159] ppid=19157 vsize=14082940 memory=28616 CPUtime=0.12 cores=1,3,5,7
/proc/19159/stat : 19159 (java) S 19157 19157 15061 0 -1 1077944320 5583 0 0 0 11 1 0 0 20 0 15 0 223372358 14420930560 7154 33554432000 4194304 4196468 140729947200976 140729947183520 139975984606967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
/proc/19159/statm: 3520735 7154 2994 1 0 3483012 0
[pid=19159/tid=19160] ppid=19157 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/19159/task/19160/stat : 19160 (java) R 19157 19157 15061 0 -1 4202560 3593 0 0 0 8 1 0 0 20 0 15 0 223372358 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975988841120 139975984618902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19161] ppid=19157 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19161/stat : 19161 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975580641552 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19162] ppid=19157 vsize=14082940 memory=140036322887296 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19162/stat : 19162 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975579589008 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19163] ppid=19157 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19163/stat : 19163 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975578536464 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19164] ppid=19157 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19164/stat : 19164 (java) S 19157 19157 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223372359 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975577483920 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19165] ppid=19157 vsize=14082940 memory=140036322887296 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19165/stat : 19165 (java) S 19157 19157 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223372360 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975458777584 139975984618114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19166] ppid=19157 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19166/stat : 19166 (java) S 19157 19157 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223372361 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975457723808 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19167] ppid=19157 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223372361 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) S 19157 19157 15061 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 223372364 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975454566384 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) S 19157 19157 15061 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 223372364 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975453513840 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14082940 memory=140036322887296 CPUtime=0.01 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) S 19157 19157 15061 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 223372364 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975452461296 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14082940 memory=140036322887296 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372364 14420930560 7154 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30068 KiB
[startup+0.216061 s]*
/proc/loadavg: 1.67 1.71 1.68 5/218 19173
/proc/meminfo: memFree=28355108/32770624 swapFree=67030644/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
[pid=19159] ppid=19157 vsize=14087196 memory=41228 CPUtime=0.34 cores=1,3,5,7
/proc/19159/stat : 19159 (java) S 19157 19157 15061 0 -1 1077944320 8374 0 0 0 32 2 0 0 20 0 15 0 223372358 14425288704 10307 33554432000 4194304 4196468 140729947200976 140729947183520 139975984606967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
/proc/19159/statm: 3521799 10307 3199 1 0 3483012 0
[pid=19159/tid=19160] ppid=19157 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19159/task/19160/stat : 19160 (java) R 19157 19157 15061 0 -1 4202560 5497 0 0 0 19 1 0 0 20 0 15 0 223372358 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975988827960 139975976846720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19161] ppid=19157 vsize=14087196 memory=8948 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19161/stat : 19161 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975580641552 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19162] ppid=19157 vsize=14087196 memory=3474728954240960160 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19162/stat : 19162 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975579589008 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19163] ppid=19157 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19163/stat : 19163 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975578536464 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19164] ppid=19157 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19164/stat : 19164 (java) S 19157 19157 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975577483920 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19165] ppid=19157 vsize=14087196 memory=140036322887296 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19165/stat : 19165 (java) S 19157 19157 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223372360 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975458777584 139975984618114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19166] ppid=19157 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19166/stat : 19166 (java) S 19157 19157 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223372361 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975457723808 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19167] ppid=19157 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223372361 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) S 19157 19157 15061 0 -1 1077944384 562 0 0 0 2 0 0 0 20 0 15 0 223372364 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975454566384 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) S 19157 19157 15061 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 15 0 223372364 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975453513840 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14087196 memory=140036322887296 CPUtime=0.08 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) S 19157 19157 15061 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 223372364 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975452461296 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372364 14425288704 10307 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42680 KiB
[startup+0.31068 s]*
/proc/loadavg: 1.67 1.71 1.68 5/218 19173
/proc/meminfo: memFree=28349152/32770624 swapFree=67030644/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
[pid=19159] ppid=19157 vsize=14087196 memory=47860 CPUtime=0.52 cores=1,3,5,7
/proc/19159/stat : 19159 (java) S 19157 19157 15061 0 -1 1077944320 9163 0 0 0 49 3 0 0 20 0 15 0 223372358 14425288704 11965 33554432000 4194304 4196468 140729947200976 140729947183520 139975984606967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
/proc/19159/statm: 3521799 11965 3253 1 0 3483012 0
[pid=19159/tid=19160] ppid=19157 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19159/task/19160/stat : 19160 (java) R 19157 19157 15061 0 -1 4202560 6126 0 0 0 27 2 0 0 20 0 15 0 223372358 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975988844128 139975984628893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19161] ppid=19157 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19161/stat : 19161 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975580641552 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19162] ppid=19157 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19162/stat : 19162 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975579589008 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19163] ppid=19157 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19163/stat : 19163 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975578536464 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19164] ppid=19157 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19164/stat : 19164 (java) S 19157 19157 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223372359 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975577483920 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19165] ppid=19157 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19165/stat : 19165 (java) S 19157 19157 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223372360 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975458777584 139975984618114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19166] ppid=19157 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19166/stat : 19166 (java) S 19157 19157 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223372361 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975457723808 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19167] ppid=19157 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223372361 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14087196 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) S 19157 19157 15061 0 -1 1077944384 569 0 0 0 3 0 0 0 20 0 15 0 223372364 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975454566384 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14087196 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) R 19157 19157 15061 0 -1 4202560 306 0 0 0 6 0 0 0 20 0 15 0 223372364 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975453494856 139975969730540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) S 19157 19157 15061 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 15 0 223372364 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975452461296 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372364 14425288704 11965 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49312 KiB
[startup+0.700917 s]
/proc/loadavg: 1.67 1.71 1.68 6/218 19173
/proc/meminfo: memFree=28333520/32770624 swapFree=67030644/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
[pid=19159] ppid=19157 vsize=14089320 memory=88684 CPUtime=1.7 cores=1,3,5,7
/proc/19159/stat : 19159 (java) S 19157 19157 15061 0 -1 1077944320 13290 0 0 0 164 6 0 0 20 0 15 0 223372358 14427463680 22171 33554432000 4194304 4196468 140729947200976 140729947183520 139975984606967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
/proc/19159/statm: 3522330 22171 3364 1 0 3483524 0
[pid=19159/tid=19160] ppid=19157 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/19159/task/19160/stat : 19160 (java) R 19157 19157 15061 0 -1 4202560 7043 0 0 0 63 4 0 0 20 0 15 0 223372358 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975988838800 139975618336244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19161] ppid=19157 vsize=14089320 memory=288230608902300371 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19161/stat : 19161 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975580641552 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19162] ppid=19157 vsize=14089320 memory=15260328862699250 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19162/stat : 19162 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975579589008 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19163] ppid=19157 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19163/stat : 19163 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372359 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975578536464 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19164] ppid=19157 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19164/stat : 19164 (java) S 19157 19157 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223372359 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975577483920 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19165] ppid=19157 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19165/stat : 19165 (java) S 19157 19157 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223372360 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975458777584 139975984618114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19166] ppid=19157 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19166/stat : 19166 (java) S 19157 19157 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223372361 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975457723808 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19167] ppid=19157 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223372361 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14089320 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) R 19157 19157 15061 0 -1 4202560 1503 0 0 0 29 0 0 0 20 0 15 0 223372364 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975454551824 139975962354433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14089320 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) R 19157 19157 15061 0 -1 4202560 1103 0 0 0 28 0 0 0 20 0 15 0 223372364 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975453500544 139975964262161 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14089320 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) R 19157 19157 15061 0 -1 4202560 2333 0 0 0 43 0 0 0 20 0 15 0 223372364 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975452457168 139975963284145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14089320 memory=4639074098508484691 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14089320 memory=8102373097368544878 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223372364 14427463680 22171 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 90136 KiB
[startup+1.50092 s]
/proc/loadavg: 1.67 1.71 1.68 5/218 19173
/proc/meminfo: memFree=28260248/32770624 swapFree=67030644/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223372361 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14091368 memory=258576 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14091368 memory=1452 CPUtime=4.08 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) S 19157 19157 15061 0 -1 1077944384 29332 0 0 0 405 3 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975454566384 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14091368 memory=3848 CPUtime=3.97 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) S 19157 19157 15061 0 -1 1077944384 31231 0 0 0 393 4 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975453513840 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14091368 memory=2784 CPUtime=0.84 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) S 19157 19157 15061 0 -1 1077944384 12691 0 0 0 82 2 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975452461296 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.48 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1676 0 0 0 20 28 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 2451.63 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 260028 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/217 19328
/proc/meminfo: memFree=28107952/32770624 swapFree=67030648/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
[pid=19159] ppid=19157 vsize=14091368 memory=258576 CPUtime=2511.65 cores=1,3,5,7
/proc/19159/stat : 19159 (java) S 19157 19157 15061 0 -1 1077944320 103568 0 0 0 251123 42 0 0 20 0 15 0 223372358 14429560832 64644 33554432000 4194304 4196468 140729947200976 140729947183520 139975984606967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
/proc/19159/statm: 3522842 64644 3427 1 0 3484036 0
[pid=19159/tid=19160] ppid=19157 vsize=14091368 memory=258576 CPUtime=2502 cores=1,3,5,7
/proc/19159/task/19160/stat : 19160 (java) R 19157 19157 15061 0 -1 4202560 20140 0 0 0 250193 7 0 0 20 0 15 0 223372358 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975988846168 139975625618284 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19161] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19161/stat : 19161 (java) S 19157 19157 15061 0 -1 1077944384 739 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975580641552 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19162] ppid=19157 vsize=14091368 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19162/stat : 19162 (java) S 19157 19157 15061 0 -1 1077944384 2702 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975579589008 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19163] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19163/stat : 19163 (java) S 19157 19157 15061 0 -1 1077944384 1258 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975578536464 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19164] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19164/stat : 19164 (java) S 19157 19157 15061 0 -1 1077944384 697 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975577483920 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19165] ppid=19157 vsize=14091368 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19165/stat : 19165 (java) S 19157 19157 15061 0 -1 1077944384 1676 0 0 0 3 1 0 0 20 0 15 0 223372360 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975458777584 139975984618114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19166] ppid=19157 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19166/stat : 19166 (java) S 19157 19157 15061 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 223372361 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975457723808 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19167] ppid=19157 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223372361 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14091368 memory=258576 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14091368 memory=258576 CPUtime=4.08 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) S 19157 19157 15061 0 -1 1077944384 29335 0 0 0 405 3 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975454566384 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14091368 memory=258576 CPUtime=3.97 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) S 19157 19157 15061 0 -1 1077944384 31233 0 0 0 393 4 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975453513840 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14091368 memory=1452 CPUtime=0.84 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) S 19157 19157 15061 0 -1 1077944384 12693 0 0 0 82 2 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975452461296 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14091368 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14091368 memory=58764 CPUtime=0.49 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1695 0 0 0 20 29 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 2511.65 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 260028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.7 s]
/proc/loadavg: 2.00 2.01 1.98 3/217 19328
/proc/meminfo: memFree=28108076/32770624 swapFree=67030648/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
[pid=19159] ppid=19157 vsize=14091368 memory=258576 CPUtime=2520.05 cores=1,3,5,7
/proc/19159/stat : 19159 (java) S 19157 19157 15061 0 -1 1077944320 103579 0 0 0 251963 42 0 0 20 0 15 0 223372358 14429560832 64644 33554432000 4194304 4196468 140729947200976 140729947183520 139975984606967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
/proc/19159/statm: 3522842 64644 3427 1 0 3484036 0
[pid=19159/tid=19160] ppid=19157 vsize=14091368 memory=258576 CPUtime=2510.4 cores=1,3,5,7
/proc/19159/task/19160/stat : 19160 (java) R 19157 19157 15061 0 -1 4202560 20149 0 0 0 251033 7 0 0 20 0 15 0 223372358 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975988846168 139975626604149 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19161] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19161/stat : 19161 (java) S 19157 19157 15061 0 -1 1077944384 739 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975580641552 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19162] ppid=19157 vsize=14091368 memory=280072402009216 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19162/stat : 19162 (java) S 19157 19157 15061 0 -1 1077944384 2702 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975579589008 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19163] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19163/stat : 19163 (java) S 19157 19157 15061 0 -1 1077944384 1258 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975578536464 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19164] ppid=19157 vsize=14091368 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19164/stat : 19164 (java) S 19157 19157 15061 0 -1 1077944384 697 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975577483920 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19165] ppid=19157 vsize=14091368 memory=164634686428602 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19165/stat : 19165 (java) S 19157 19157 15061 0 -1 1077944384 1676 0 0 0 3 1 0 0 20 0 15 0 223372360 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975458777584 139975984618114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19166] ppid=19157 vsize=14091368 memory=4 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19166/stat : 19166 (java) S 19157 19157 15061 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 223372361 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975457723808 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19167] ppid=19157 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223372361 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14091368 memory=776 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14091368 memory=1876 CPUtime=4.08 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) S 19157 19157 15061 0 -1 1077944384 29335 0 0 0 405 3 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975454566384 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14091368 memory=1452 CPUtime=3.97 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) S 19157 19157 15061 0 -1 1077944384 31233 0 0 0 393 4 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975453513840 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.84 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) S 19157 19157 15061 0 -1 1077944384 12693 0 0 0 82 2 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975452461296 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14091368 memory=1452 CPUtime=0.49 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1697 0 0 0 20 29 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 260028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.72 s]
# the end of solver process 19157 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001481 s, system=0.00074 s
[startup+2510.72 s]
# the end of solver process 19159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.68 s, system=0.446793 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+2510.7 s]
/proc/loadavg: 2.00 2.01 1.98 3/217 19328
/proc/meminfo: memFree=28108076/32770624 swapFree=67030648/67108860
[pid=19157] ppid=19154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19157/stat : 19157 (xcsp3-exec) S 19154 19157 15061 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 223372358 115843072 363 33554432000 4194304 5098028 140735128497776 140735128495880 139799228047996 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7757824 140735128499259 140735128499460 140735128499460 140735128502218 0
/proc/19157/statm: 28282 363 306 221 0 87 0
[pid=19159] ppid=19157 vsize=14091368 memory=258576 CPUtime=2520.05 cores=1,3,5,7
/proc/19159/stat : 19159 (java) S 19157 19157 15061 0 -1 1077944320 103579 0 0 0 251963 42 0 0 20 0 15 0 223372358 14429560832 64644 33554432000 4194304 4196468 140729947200976 140729947183520 139975984606967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
/proc/19159/statm: 3522842 64644 3427 1 0 3484036 0
[pid=19159/tid=19160] ppid=19157 vsize=14091368 memory=258576 CPUtime=2510.4 cores=1,3,5,7
/proc/19159/task/19160/stat : 19160 (java) R 19157 19157 15061 0 -1 4202560 20149 0 0 0 251033 7 0 0 20 0 15 0 223372358 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975988846168 139975626604149 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19161] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19161/stat : 19161 (java) S 19157 19157 15061 0 -1 1077944384 739 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975580641552 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19162] ppid=19157 vsize=14091368 memory=280072402009216 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19162/stat : 19162 (java) S 19157 19157 15061 0 -1 1077944384 2702 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975579589008 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19163] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19163/stat : 19163 (java) S 19157 19157 15061 0 -1 1077944384 1258 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975578536464 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19164] ppid=19157 vsize=14091368 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19164/stat : 19164 (java) S 19157 19157 15061 0 -1 1077944384 697 0 0 0 3 1 0 0 20 0 15 0 223372359 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975577483920 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19165] ppid=19157 vsize=14091368 memory=164634686428602 CPUtime=0.04 cores=1,3,5,7
/proc/19159/task/19165/stat : 19165 (java) S 19157 19157 15061 0 -1 1077944384 1676 0 0 0 3 1 0 0 20 0 15 0 223372360 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975458777584 139975984618114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19166] ppid=19157 vsize=14091368 memory=4 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19166/stat : 19166 (java) S 19157 19157 15061 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 223372361 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975457723808 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19167] ppid=19157 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19167/stat : 19167 (java) S 19157 19157 15061 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 223372361 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975456671216 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19168] ppid=19157 vsize=14091368 memory=776 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19168/stat : 19168 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975455619792 139975984625563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19169] ppid=19157 vsize=14091368 memory=1876 CPUtime=4.08 cores=1,3,5,7
/proc/19159/task/19169/stat : 19169 (java) S 19157 19157 15061 0 -1 1077944384 29335 0 0 0 405 3 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975454566384 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19170] ppid=19157 vsize=14091368 memory=1452 CPUtime=3.97 cores=1,3,5,7
/proc/19159/task/19170/stat : 19170 (java) S 19157 19157 15061 0 -1 1077944384 31233 0 0 0 393 4 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975453513840 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19171] ppid=19157 vsize=14091368 memory=258576 CPUtime=0.84 cores=1,3,5,7
/proc/19159/task/19171/stat : 19171 (java) S 19157 19157 15061 0 -1 1077944384 12693 0 0 0 82 2 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975452461296 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19172] ppid=19157 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/19159/task/19172/stat : 19172 (java) S 19157 19157 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975451408992 139975984617173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
[pid=19159/tid=19173] ppid=19157 vsize=14091368 memory=1452 CPUtime=0.49 cores=1,3,5,7
/proc/19159/task/19173/stat : 19173 (java) S 19157 19157 15061 0 -1 1077944384 1697 0 0 0 20 29 0 0 20 0 15 0 223372364 14429560832 64644 33554432000 4194304 4196468 140729947200976 139975450356528 139975984618114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 29790208 140729947206790 140729947206961 140729947206961 140729947209679 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 260028 KiB
Child status: 143
Real time (s): 2510.72
CPU time (s): 2520.12
CPU user time (s): 2519.68
CPU system time (s): 0.446793
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 264668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.446793
maximum resident set size= 271072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57739
involuntary context switches= 960
# summary of solver processes directly reported to runsolver:
# pid: 19157,19159
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.68
# total CPU system time (s): 0.446793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0822 second user time and 21.4643 second system time
The end