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 (13299 MiB free)
memory of node 1: 16384 MiB (12006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406303-1569403142/watcher-4406303-1569403142 -o /var/tmp/evaluation-result-4406303-1569403142/solver-4406303-1569403142 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18884 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1672968524 HOME/instance-4406303-1569403142.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=21183, runsolver pid=21180
[startup+0.100058 s]*
/proc/loadavg: 1.93 1.91 1.90 3/228 21199
/proc/meminfo: memFree=25896168/32770624 swapFree=66956948/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
[pid=21185] ppid=21183 vsize=15144776 memory=29924 CPUtime=0.13 cores=1,3,5,7
/proc/21185/stat : 21185 (java) S 21183 21183 18852 0 -1 1077944320 5935 0 0 0 12 1 0 0 20 0 15 0 516571913 15508250624 7481 33554432000 4194304 4196468 140730688903136 140730688885680 140334573358839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
/proc/21185/statm: 3786194 7481 3178 1 0 3748377 0
[pid=21185/tid=21186] ppid=21183 vsize=15144776 memory=-2698085374278620574 CPUtime=0.08 cores=1,3,5,7
/proc/21185/task/21186/stat : 21186 (java) R 21183 21183 18852 0 -1 4202560 3842 0 0 0 8 0 0 0 20 0 15 0 516571914 15508250624 7481 33554432000 4194304 4196468 140730688903136 140334577592416 140334181008986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21187] ppid=21183 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21187/stat : 21187 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571914 15508250624 7481 33554432000 4194304 4196468 140730688903136 140334501399568 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21188] ppid=21183 vsize=15144776 memory=140518728144512 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21188/stat : 21188 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571914 15508250624 7481 33554432000 4194304 4196468 140730688903136 140334164470928 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21189] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21189/stat : 21189 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15508250624 7481 33554432000 4194304 4196468 140730688903136 140334163417872 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21190] ppid=21183 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21190/stat : 21190 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15508250624 7481 33554432000 4194304 4196468 140730688903136 140334162365328 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21191] ppid=21183 vsize=15144776 memory=140518728144512 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21191/stat : 21191 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571916 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333715900656 140334573369986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21192] ppid=21183 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21192/stat : 21192 (java) S 21183 21183 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516571916 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333714846880 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21193] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516571917 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333713793776 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) R 21183 21183 18852 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333711690576 140334573369045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) R 21183 21183 18852 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333710629440 140334551191696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15144776 memory=140518728144512 CPUtime=0.02 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) S 21183 21183 18852 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 516571919 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333709584880 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15144776 memory=140518728144512 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 7481 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31376 KiB
[startup+0.210872 s]*
/proc/loadavg: 1.93 1.91 1.90 4/228 21199
/proc/meminfo: memFree=25883424/32770624 swapFree=66956948/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
[pid=21185] ppid=21183 vsize=15144776 memory=41264 CPUtime=0.34 cores=1,3,5,7
/proc/21185/stat : 21185 (java) S 21183 21183 18852 0 -1 1077944320 9519 0 0 0 31 3 0 0 20 0 15 0 516571913 15508250624 10316 33554432000 4194304 4196468 140730688903136 140730688885680 140334573358839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
/proc/21185/statm: 3786194 10316 3308 1 0 3748377 0
[pid=21185/tid=21186] ppid=21183 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21185/task/21186/stat : 21186 (java) R 21183 21183 18852 0 -1 4202560 6677 0 0 0 18 2 0 0 20 0 15 0 516571914 15508250624 10316 33554432000 4194304 4196468 140730688903136 140334577595600 140334573380765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21187] ppid=21183 vsize=15144776 memory=1899191 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21187/stat : 21187 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571914 15508250624 10316 33554432000 4194304 4196468 140730688903136 140334501399568 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21188] ppid=21183 vsize=15144776 memory=288370894879856256 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21188/stat : 21188 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571914 15508250624 10316 33554432000 4194304 4196468 140730688903136 140334164470928 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21189] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21189/stat : 21189 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15508250624 10316 33554432000 4194304 4196468 140730688903136 140334163417872 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21190] ppid=21183 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21190/stat : 21190 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15508250624 10316 33554432000 4194304 4196468 140730688903136 140334162365328 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21191] ppid=21183 vsize=15144776 memory=140518728144512 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21191/stat : 21191 (java) S 21183 21183 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516571916 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333715900656 140334573369986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21192] ppid=21183 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21192/stat : 21192 (java) S 21183 21183 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516571916 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333714846880 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21193] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516571917 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333713793776 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) S 21183 21183 18852 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 516571919 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333711690480 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) S 21183 21183 18852 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 516571919 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333710637936 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15144776 memory=140518728144512 CPUtime=0.08 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) S 21183 21183 18852 0 -1 1077944384 719 0 0 0 8 0 0 0 20 0 15 0 516571919 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333709584880 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571919 15508250624 10316 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42716 KiB
[startup+0.318117 s]*
/proc/loadavg: 1.93 1.91 1.90 4/228 21199
/proc/meminfo: memFree=25876400/32770624 swapFree=66956948/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
[pid=21185] ppid=21183 vsize=15149032 memory=50892 CPUtime=0.54 cores=1,3,5,7
/proc/21185/stat : 21185 (java) S 21183 21183 18852 0 -1 1077944320 10949 0 0 0 50 4 0 0 20 0 15 0 516571913 15512608768 12723 33554432000 4194304 4196468 140730688903136 140730688885680 140334573358839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
/proc/21185/statm: 3787258 12723 3372 1 0 3748377 0
[pid=21185/tid=21186] ppid=21183 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/21185/task/21186/stat : 21186 (java) R 21183 21183 18852 0 -1 4202560 7907 0 0 0 27 3 0 0 20 0 15 0 516571914 15512608768 12723 33554432000 4194304 4196468 140730688903136 140334577595664 140334557439326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21187] ppid=21183 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21187/stat : 21187 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571914 15512608768 12723 33554432000 4194304 4196468 140730688903136 140334501399568 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21188] ppid=21183 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21188/stat : 21188 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571914 15512608768 12723 33554432000 4194304 4196468 140730688903136 140334164470928 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21189] ppid=21183 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21189/stat : 21189 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15512608768 12723 33554432000 4194304 4196468 140730688903136 140334163417872 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21190] ppid=21183 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21190/stat : 21190 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15512608768 12723 33554432000 4194304 4196468 140730688903136 140334162365328 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21191] ppid=21183 vsize=15149032 memory=-7017622340285087903 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21191/stat : 21191 (java) S 21183 21183 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516571916 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333715900656 140334573369986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21192] ppid=21183 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21192/stat : 21192 (java) S 21183 21183 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516571916 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333714846880 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21193] ppid=21183 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516571917 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333713793776 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) S 21183 21183 18852 0 -1 1077944384 406 0 0 0 3 0 0 0 20 0 15 0 516571919 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333711690480 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) S 21183 21183 18852 0 -1 1077944384 532 0 0 0 5 0 0 0 20 0 15 0 516571919 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333710637936 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) S 21183 21183 18852 0 -1 1077944384 809 0 0 0 12 0 0 0 20 0 15 0 516571919 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333709584880 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571919 15512608768 12723 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52344 KiB
[startup+0.703599 s]
/proc/loadavg: 1.93 1.91 1.90 6/228 21199
/proc/meminfo: memFree=25851504/32770624 swapFree=66956948/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
[pid=21185] ppid=21183 vsize=15151156 memory=91672 CPUtime=1.73 cores=1,3,5,7
/proc/21185/stat : 21185 (java) S 21183 21183 18852 0 -1 1077944320 14520 0 0 0 167 6 0 0 20 0 15 0 516571913 15514783744 22918 33554432000 4194304 4196468 140730688903136 140730688885680 140334573358839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
/proc/21185/statm: 3787789 22918 3459 1 0 3748889 0
[pid=21185/tid=21186] ppid=21183 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/21185/task/21186/stat : 21186 (java) R 21183 21183 18852 0 -1 4202560 8710 0 0 0 64 4 0 0 20 0 15 0 516571914 15514783744 22918 33554432000 4194304 4196468 140730688903136 140334577596432 140334573370774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21187] ppid=21183 vsize=15151156 memory=55244 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21187/stat : 21187 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571914 15514783744 22918 33554432000 4194304 4196468 140730688903136 140334501399568 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21188] ppid=21183 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21188/stat : 21188 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571914 15514783744 22918 33554432000 4194304 4196468 140730688903136 140334164470928 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21189] ppid=21183 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21189/stat : 21189 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15514783744 22918 33554432000 4194304 4196468 140730688903136 140334163417872 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21190] ppid=21183 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21190/stat : 21190 (java) S 21183 21183 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516571915 15514783744 22918 33554432000 4194304 4196468 140730688903136 140334162365328 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21191] ppid=21183 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21191/stat : 21191 (java) S 21183 21183 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516571916 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333715900656 140334573369986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21192] ppid=21183 vsize=15151156 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21192/stat : 21192 (java) S 21183 21183 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516571916 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333714846880 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21193] ppid=21183 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516571917 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333713793776 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15151156 memory=616 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15151156 memory=2832 CPUtime=0.26 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) R 21183 21183 18852 0 -1 4202560 945 0 0 0 26 0 0 0 20 0 15 0 516571919 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333711690480 140334573380186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15151156 memory=1620 CPUtime=0.35 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) S 21183 21183 18852 0 -1 1077944384 1564 0 0 0 35 0 0 0 20 0 15 0 516571919 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333710637936 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15151156 memory=1136 CPUtime=0.41 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) R 21183 21183 18852 0 -1 1077944384 1991 0 0 0 41 0 0 0 20 0 15 0 516571919 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333709579232 140334573369045 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516571919 15514783744 22918 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93124 KiB
[startup+1.50092 s]
/proc/loadavg: 1.93 1.91 1.90 5/228 21199
/proc/meminfo: memFree=25784380/32770624 swapFree=66956948/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 516571917 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333713793792 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15153204 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15153204 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) S 21183 21183 18852 0 -1 1077944384 15653 0 0 0 247 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333711690480 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15153204 memory=5787213827063440740 CPUtime=2.45 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) S 21183 21183 18852 0 -1 1077944384 15728 0 0 0 242 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333710637936 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.76 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) S 21183 21183 18852 0 -1 1077944384 10371 0 0 0 74 2 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333709584880 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15153204 memory=2016 CPUtime=0.95 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1520 0 0 0 39 56 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 2389.48 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 271844 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/228 21499
/proc/meminfo: memFree=25631252/32770624 swapFree=66956952/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
[pid=21185] ppid=21183 vsize=15153204 memory=270392 CPUtime=2449.52 cores=1,3,5,7
/proc/21185/stat : 21185 (java) S 21183 21183 18852 0 -1 1077944320 68727 0 0 0 244878 74 0 0 20 0 15 0 516571913 15516880896 67598 33554432000 4194304 4196468 140730688903136 140730688885680 140334573358839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
/proc/21185/statm: 3788301 67598 3514 1 0 3749401 0
[pid=21185/tid=21186] ppid=21183 vsize=15153204 memory=1452 CPUtime=2442.52 cores=1,3,5,7
/proc/21185/task/21186/stat : 21186 (java) R 21183 21183 18852 0 -1 4202560 18842 0 0 0 244244 8 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334577597976 140334189200176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21187] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21187/stat : 21187 (java) S 21183 21183 18852 0 -1 1077944384 859 0 0 0 3 1 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334501399568 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21188] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21188/stat : 21188 (java) S 21183 21183 18852 0 -1 1077944384 752 0 0 0 3 1 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334164470928 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21189] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21189/stat : 21189 (java) S 21183 21183 18852 0 -1 1077944384 690 0 0 0 3 1 0 0 20 0 15 0 516571915 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334163417872 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21190] ppid=21183 vsize=15153204 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/21185/task/21190/stat : 21190 (java) S 21183 21183 18852 0 -1 1077944384 1489 0 0 0 3 0 0 0 20 0 15 0 516571915 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334162365328 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21191] ppid=21183 vsize=15153204 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21185/task/21191/stat : 21191 (java) S 21183 21183 18852 0 -1 1077944384 1290 0 0 0 3 2 0 0 20 0 15 0 516571916 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333715900656 140334573369986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21192] ppid=21183 vsize=15153204 memory=270392 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21192/stat : 21192 (java) S 21183 21183 18852 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 516571916 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333714846944 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21193] ppid=21183 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 516571917 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333713793792 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15153204 memory=6791534058613427641 CPUtime=2.5 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) S 21183 21183 18852 0 -1 1077944384 15655 0 0 0 247 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333711690480 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15153204 memory=516 CPUtime=2.45 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) S 21183 21183 18852 0 -1 1077944384 15730 0 0 0 242 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333710637936 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15153204 memory=1452 CPUtime=0.76 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) S 21183 21183 18852 0 -1 1077944384 10420 0 0 0 74 2 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333709584880 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15153204 memory=270392 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15153204 memory=1452 CPUtime=0.97 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1526 0 0 0 40 57 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 2449.52 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 271844 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 1.98 1.96 3/228 21503
/proc/meminfo: memFree=25634432/32770624 swapFree=66956952/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
[pid=21185] ppid=21183 vsize=15153204 memory=270392 CPUtime=2509.54 cores=1,3,5,7
/proc/21185/stat : 21185 (java) S 21183 21183 18852 0 -1 1077944320 68886 0 0 0 250880 74 0 0 20 0 15 0 516571913 15516880896 67598 33554432000 4194304 4196468 140730688903136 140730688885680 140334573358839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
/proc/21185/statm: 3788301 67598 3514 1 0 3749401 0
[pid=21185/tid=21186] ppid=21183 vsize=15153204 memory=270392 CPUtime=2502.53 cores=1,3,5,7
/proc/21185/task/21186/stat : 21186 (java) R 21183 21183 18852 0 -1 4202560 18956 0 0 0 250245 8 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334577597640 140334188731754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21187] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21187/stat : 21187 (java) S 21183 21183 18852 0 -1 1077944384 859 0 0 0 3 1 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334501399568 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21188] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21188/stat : 21188 (java) S 21183 21183 18852 0 -1 1077944384 752 0 0 0 3 1 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334164470928 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21189] ppid=21183 vsize=15153204 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21189/stat : 21189 (java) S 21183 21183 18852 0 -1 1077944384 690 0 0 0 3 1 0 0 20 0 15 0 516571915 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334163417872 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21190] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.03 cores=1,3,5,7
/proc/21185/task/21190/stat : 21190 (java) S 21183 21183 18852 0 -1 1077944384 1489 0 0 0 3 0 0 0 20 0 15 0 516571915 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334162365328 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21191] ppid=21183 vsize=15153204 memory=2016 CPUtime=0.05 cores=1,3,5,7
/proc/21185/task/21191/stat : 21191 (java) S 21183 21183 18852 0 -1 1077944384 1294 0 0 0 3 2 0 0 20 0 15 0 516571916 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333715900656 140334573369986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21192] ppid=21183 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21192/stat : 21192 (java) S 21183 21183 18852 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 516571916 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333714846944 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21193] ppid=21183 vsize=15153204 memory=270392 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 516571917 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333713793792 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15153204 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15153204 memory=270392 CPUtime=2.5 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) S 21183 21183 18852 0 -1 1077944384 15656 0 0 0 247 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333711690480 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15153204 memory=1452 CPUtime=2.45 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) S 21183 21183 18852 0 -1 1077944384 15730 0 0 0 242 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333710637936 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.76 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) S 21183 21183 18852 0 -1 1077944384 10440 0 0 0 74 2 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333709584880 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15153204 memory=1452 CPUtime=1 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1546 0 0 0 42 58 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 2509.54 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 271844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.8 s]
/proc/loadavg: 2.09 2.00 1.96 3/228 21503
/proc/meminfo: memFree=25635320/32770624 swapFree=66956952/67108860
[pid=21183] ppid=21180 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21183/stat : 21183 (xcsp3-exec) S 21180 21183 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516571913 115843072 363 33554432000 4194304 5098028 140721692640176 140721692638280 139996036227708 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16969728 140721692644182 140721692644441 140721692644441 140721692647366 0
/proc/21183/statm: 28282 363 304 221 0 87 0
[pid=21185] ppid=21183 vsize=15153204 memory=270392 CPUtime=2520.05 cores=1,3,5,7
/proc/21185/stat : 21185 (java) S 21183 21183 18852 0 -1 1077944320 68893 0 0 0 251931 74 0 0 20 0 15 0 516571913 15516880896 67598 33554432000 4194304 4196468 140730688903136 140730688885680 140334573358839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
/proc/21185/statm: 3788301 67598 3514 1 0 3749401 0
[pid=21185/tid=21186] ppid=21183 vsize=15153204 memory=4104 CPUtime=2513.03 cores=1,3,5,7
/proc/21185/task/21186/stat : 21186 (java) R 21183 21183 18852 0 -1 4202560 18963 0 0 0 251295 8 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334577597640 140334188835580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21187] ppid=21183 vsize=15153204 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21187/stat : 21187 (java) S 21183 21183 18852 0 -1 1077944384 859 0 0 0 3 1 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334501399568 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21188] ppid=21183 vsize=15153204 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21188/stat : 21188 (java) S 21183 21183 18852 0 -1 1077944384 752 0 0 0 3 1 0 0 20 0 15 0 516571914 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334164470928 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21189] ppid=21183 vsize=15153204 memory=270392 CPUtime=0.04 cores=1,3,5,7
/proc/21185/task/21189/stat : 21189 (java) S 21183 21183 18852 0 -1 1077944384 690 0 0 0 3 1 0 0 20 0 15 0 516571915 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334163417872 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21190] ppid=21183 vsize=15153204 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21185/task/21190/stat : 21190 (java) S 21183 21183 18852 0 -1 1077944384 1489 0 0 0 3 0 0 0 20 0 15 0 516571915 15516880896 67598 33554432000 4194304 4196468 140730688903136 140334162365328 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21191] ppid=21183 vsize=15153204 memory=1900394 CPUtime=0.05 cores=1,3,5,7
/proc/21185/task/21191/stat : 21191 (java) S 21183 21183 18852 0 -1 1077944384 1294 0 0 0 3 2 0 0 20 0 15 0 516571916 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333715900656 140334573369986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21192] ppid=21183 vsize=15153204 memory=31356350842106267 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21192/stat : 21192 (java) S 21183 21183 18852 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 516571916 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333714846944 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21193] ppid=21183 vsize=15153204 memory=1900394 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21193/stat : 21193 (java) S 21183 21183 18852 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 516571917 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333713793792 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21194] ppid=21183 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21194/stat : 21194 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333712742352 140334573377435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21195] ppid=21183 vsize=15153204 memory=1452 CPUtime=2.5 cores=1,3,5,7
/proc/21185/task/21195/stat : 21195 (java) S 21183 21183 18852 0 -1 1077944384 15656 0 0 0 247 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333711690480 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21196] ppid=21183 vsize=15153204 memory=270392 CPUtime=2.45 cores=1,3,5,7
/proc/21185/task/21196/stat : 21196 (java) S 21183 21183 18852 0 -1 1077944384 15730 0 0 0 242 3 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333710637936 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21197] ppid=21183 vsize=15153204 memory=516 CPUtime=0.76 cores=1,3,5,7
/proc/21185/task/21197/stat : 21197 (java) S 21183 21183 18852 0 -1 1077944384 10440 0 0 0 74 2 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333709584880 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21198] ppid=21183 vsize=15153204 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/21185/task/21198/stat : 21198 (java) S 21183 21183 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333708532576 140334573369045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
[pid=21185/tid=21199] ppid=21183 vsize=15153204 memory=3760982796373485416 CPUtime=1 cores=1,3,5,7
/proc/21185/task/21199/stat : 21199 (java) S 21183 21183 18852 0 -1 1077944384 1546 0 0 0 42 58 0 0 20 0 15 0 516571919 15516880896 67598 33554432000 4194304 4196468 140730688903136 140333707479600 140334573369986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16338944 140730688906203 140730688906378 140730688906378 140730688909263 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 271844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.81 s]
# the end of solver process 21183 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001176 s, system=0.001176 s
[startup+2512.81 s]
# the end of solver process 21185 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.33 s, system=0.75235 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
Child status: 143
Real time (s): 2512.81
CPU time (s): 2520.08
CPU user time (s): 2519.33
CPU system time (s): 0.75235
CPU usage (%): 100.289
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 271844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.33
system time used= 0.75235
maximum resident set size= 270844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57561
involuntary context switches= 693
# summary of solver processes directly reported to runsolver:
# pid: 21183,21185
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.33
# total CPU system time (s): 0.75235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8092 second user time and 23.4333 second system time
The end