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 (138 MiB free)
memory of node 1: 16384 MiB (492 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403600-1568990673/watcher-4403600-1568990673 -o /var/tmp/evaluation-result-4403600-1568990673/solver-4403600-1568990673 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 906761881 HOME/instance-4403600-1568990673.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=27297, runsolver pid=27294
[startup+0.100128 s]*
/proc/loadavg: 6.73 7.66 7.81 5/230 27313
/proc/meminfo: memFree=630840/32770624 swapFree=67002248/67108860
[pid=27297] ppid=27294 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27297/stat : 27297 (xcsp3-exec) S 27294 27297 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475315961 115843072 363 33554432000 4194304 5098028 140728477098464 140728477096568 139795007206012 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31784960 140728477107031 140728477107289 140728477107289 140728477110214 0
/proc/27297/statm: 28282 363 304 221 0 87 0
[pid=27299] ppid=27297 vsize=15144776 memory=27620 CPUtime=0.13 cores=1,3,5,7
/proc/27299/stat : 27299 (java) S 27297 27297 25111 0 -1 1077944320 5841 0 0 0 12 1 0 0 20 0 15 0 475315961 15508250624 6905 33554432000 4194304 4196468 140727092720256 140727092702800 140146226372343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
/proc/27299/statm: 3786194 6905 3153 1 0 3748377 0
[pid=27299/tid=27300] ppid=27297 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/27299/task/27300/stat : 27300 (java) R 27297 27297 25111 0 -1 4202560 3720 0 0 0 8 0 0 0 20 0 15 0 475315961 15508250624 6905 33554432000 4194304 4196468 140727092720256 140146230598816 140146210452830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27301] ppid=27297 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27301/stat : 27301 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 6905 33554432000 4194304 4196468 140727092720256 140146193931024 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27302] ppid=27297 vsize=15144776 memory=140425418053248 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27302/stat : 27302 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145817480080 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27303] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27303/stat : 27303 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145816427536 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27304] ppid=27297 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27304/stat : 27304 (java) S 27297 27297 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145815374992 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27305] ppid=27297 vsize=15144776 memory=140425418053248 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27305/stat : 27305 (java) S 27297 27297 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475315963 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145694652400 140146226383490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27306] ppid=27297 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27306/stat : 27306 (java) S 27297 27297 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475315964 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145693598624 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27307] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27307/stat : 27307 (java) S 27297 27297 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475315964 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145692546032 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27308] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27308/stat : 27308 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315966 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145691494608 140146226390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27309] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27309/stat : 27309 (java) R 27297 27297 25111 0 -1 4202560 455 0 0 0 0 0 0 0 20 0 15 0 475315966 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145690442520 140146204233920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27310] ppid=27297 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27310/stat : 27310 (java) R 27297 27297 25111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 475315966 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145689389680 140146226383490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27311] ppid=27297 vsize=15144776 memory=140425418053248 CPUtime=0.02 cores=1,3,5,7
/proc/27299/task/27311/stat : 27311 (java) R 27297 27297 25111 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 475315966 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145688337136 140146219469179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27312] ppid=27297 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27312/stat : 27312 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315967 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145687284832 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27313] ppid=27297 vsize=15144776 memory=140425418053248 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27313/stat : 27313 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315967 15508250624 6905 33554432000 4194304 4196468 140727092720256 140145686231344 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29072 KiB
[startup+0.210993 s]*
/proc/loadavg: 6.73 7.66 7.81 4/230 27313
/proc/meminfo: memFree=617608/32770624 swapFree=67002248/67108860
[pid=27297] ppid=27294 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27297/stat : 27297 (xcsp3-exec) S 27294 27297 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475315961 115843072 363 33554432000 4194304 5098028 140728477098464 140728477096568 139795007206012 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31784960 140728477107031 140728477107289 140728477107289 140728477110214 0
/proc/27297/statm: 28282 363 304 221 0 87 0
[pid=27299] ppid=27297 vsize=15144776 memory=39680 CPUtime=0.34 cores=1,3,5,7
/proc/27299/stat : 27299 (java) S 27297 27297 25111 0 -1 1077944320 9673 0 0 0 32 2 0 0 20 0 15 0 475315961 15508250624 9920 33554432000 4194304 4196468 140727092720256 140727092702800 140146226372343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
/proc/27299/statm: 3786194 9920 3293 1 0 3748377 0
[pid=27299/tid=27300] ppid=27297 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/27299/task/27300/stat : 27300 (java) R 27297 27297 25111 0 -1 4202560 6676 0 0 0 18 1 0 0 20 0 15 0 475315961 15508250624 9920 33554432000 4194304 4196468 140727092720256 140146230602064 140146226384278 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27301] ppid=27297 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27301/stat : 27301 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 9920 33554432000 4194304 4196468 140727092720256 140146193931024 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27302] ppid=27297 vsize=15144776 memory=140425421578806 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27302/stat : 27302 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145817480080 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27303] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27303/stat : 27303 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145816427536 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27304] ppid=27297 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27304/stat : 27304 (java) S 27297 27297 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475315962 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145815374992 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27305] ppid=27297 vsize=15144776 memory=140425418053248 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27305/stat : 27305 (java) S 27297 27297 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475315963 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145694652400 140146226383490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27306] ppid=27297 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27306/stat : 27306 (java) S 27297 27297 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475315964 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145693598624 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27307] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27307/stat : 27307 (java) S 27297 27297 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475315964 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145692546032 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27308] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27308/stat : 27308 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315966 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145691494608 140146226390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27309] ppid=27297 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27299/task/27309/stat : 27309 (java) S 27297 27297 25111 0 -1 1077944384 698 0 0 0 3 0 0 0 20 0 15 0 475315966 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145690442224 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27310] ppid=27297 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27299/task/27310/stat : 27310 (java) S 27297 27297 25111 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 15 0 475315966 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145689389680 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27311] ppid=27297 vsize=15144776 memory=140425418053248 CPUtime=0.08 cores=1,3,5,7
/proc/27299/task/27311/stat : 27311 (java) R 27297 27297 25111 0 -1 4202560 903 0 0 0 8 0 0 0 20 0 15 0 475315966 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145688337136 140146205337206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27312] ppid=27297 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27312/stat : 27312 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315967 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145687284832 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27313] ppid=27297 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27313/stat : 27313 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315967 15508250624 9920 33554432000 4194304 4196468 140727092720256 140145686231344 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41132 KiB
[startup+0.320203 s]*
/proc/loadavg: 6.73 7.66 7.81 4/230 27313
/proc/meminfo: memFree=609480/32770624 swapFree=67002248/67108860
[pid=27297] ppid=27294 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27297/stat : 27297 (xcsp3-exec) S 27294 27297 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475315961 115843072 363 33554432000 4194304 5098028 140728477098464 140728477096568 139795007206012 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31784960 140728477107031 140728477107289 140728477107289 140728477110214 0
/proc/27297/statm: 28282 363 304 221 0 87 0
[pid=27299] ppid=27297 vsize=15149032 memory=49740 CPUtime=0.54 cores=1,3,5,7
/proc/27299/stat : 27299 (java) S 27297 27297 25111 0 -1 1077944320 11210 0 0 0 51 3 0 0 20 0 15 0 475315961 15512608768 12435 33554432000 4194304 4196468 140727092720256 140727092702800 140146226372343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
/proc/27299/statm: 3787258 12435 3359 1 0 3748377 0
[pid=27299/tid=27300] ppid=27297 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/27299/task/27300/stat : 27300 (java) R 27297 27297 25111 0 -1 4202560 7946 0 0 0 28 2 0 0 20 0 15 0 475315961 15512608768 12435 33554432000 4194304 4196468 140727092720256 140146230609360 140146210452830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27301] ppid=27297 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27301/stat : 27301 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15512608768 12435 33554432000 4194304 4196468 140727092720256 140146193931024 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27302] ppid=27297 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27302/stat : 27302 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145817480080 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27303] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27303/stat : 27303 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145816427536 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27304] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27304/stat : 27304 (java) S 27297 27297 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475315962 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145815374992 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27305] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27305/stat : 27305 (java) S 27297 27297 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475315963 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145694652400 140146226383490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27306] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27306/stat : 27306 (java) S 27297 27297 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475315964 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145693598624 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27307] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27307/stat : 27307 (java) S 27297 27297 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475315964 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145692546032 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27308] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27308/stat : 27308 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315966 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145691494608 140146226390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27309] ppid=27297 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/27299/task/27309/stat : 27309 (java) S 27297 27297 25111 0 -1 1077944384 799 0 0 0 6 0 0 0 20 0 15 0 475315966 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145690442224 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27310] ppid=27297 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27299/task/27310/stat : 27310 (java) S 27297 27297 25111 0 -1 1077944384 101 0 0 0 3 0 0 0 20 0 15 0 475315966 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145689389680 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27311] ppid=27297 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27299/task/27311/stat : 27311 (java) S 27297 27297 25111 0 -1 1077944384 1058 0 0 0 12 0 0 0 20 0 15 0 475315966 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145688337136 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27312] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27312/stat : 27312 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315967 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145687284832 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27313] ppid=27297 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27313/stat : 27313 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315967 15512608768 12435 33554432000 4194304 4196468 140727092720256 140145686231344 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51192 KiB
[startup+0.701199 s]
/proc/loadavg: 6.73 7.66 7.81 6/230 27313
/proc/meminfo: memFree=583424/32770624 swapFree=67002248/67108860
[pid=27297] ppid=27294 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27297/stat : 27297 (xcsp3-exec) S 27294 27297 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475315961 115843072 363 33554432000 4194304 5098028 140728477098464 140728477096568 139795007206012 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31784960 140728477107031 140728477107289 140728477107289 140728477110214 0
/proc/27297/statm: 28282 363 304 221 0 87 0
[pid=27299] ppid=27297 vsize=15151156 memory=110204 CPUtime=1.7 cores=1,3,5,7
/proc/27299/stat : 27299 (java) S 27297 27297 25111 0 -1 1077944320 14117 0 0 0 165 5 0 0 20 0 15 0 475315961 15514783744 27551 33554432000 4194304 4196468 140727092720256 140727092702800 140146226372343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
/proc/27299/statm: 3787789 27551 3440 1 0 3748889 0
[pid=27299/tid=27300] ppid=27297 vsize=15151156 memory=29916 CPUtime=0.67 cores=1,3,5,7
/proc/27299/task/27300/stat : 27300 (java) R 27297 27297 25111 0 -1 4202560 8344 0 0 0 64 3 0 0 20 0 15 0 475315961 15514783744 27551 33554432000 4194304 4196468 140727092720256 140146230606184 140145865898948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27301] ppid=27297 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27301/stat : 27301 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15514783744 27551 33554432000 4194304 4196468 140727092720256 140146193931024 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27302] ppid=27297 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27302/stat : 27302 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145817480080 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27303] ppid=27297 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27303/stat : 27303 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315962 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145816427536 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27304] ppid=27297 vsize=15151156 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27304/stat : 27304 (java) S 27297 27297 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475315962 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145815374992 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27305] ppid=27297 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27305/stat : 27305 (java) S 27297 27297 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475315963 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145694652400 140146226383490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27306] ppid=27297 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27306/stat : 27306 (java) S 27297 27297 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475315964 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145693598624 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27307] ppid=27297 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27307/stat : 27307 (java) S 27297 27297 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475315964 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145692546032 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27308] ppid=27297 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27308/stat : 27308 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315966 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145691494608 140146226390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27309] ppid=27297 vsize=15151156 memory=2676 CPUtime=0.36 cores=1,3,5,7
/proc/27299/task/27309/stat : 27309 (java) R 27297 27297 25111 0 -1 4202560 1837 0 0 0 36 0 0 0 20 0 15 0 475315966 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145690423632 140146209869131 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27310] ppid=27297 vsize=15151156 memory=1764 CPUtime=0.34 cores=1,3,5,7
/proc/27299/task/27310/stat : 27310 (java) R 27297 27297 25111 0 -1 4202560 852 0 0 0 34 0 0 0 20 0 15 0 475315966 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145689378352 140146206208660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27311] ppid=27297 vsize=15151156 memory=111632 CPUtime=0.29 cores=1,3,5,7
/proc/27299/task/27311/stat : 27311 (java) S 27297 27297 25111 0 -1 1077944384 1775 0 0 0 29 0 0 0 20 0 15 0 475315966 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145688337136 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27312] ppid=27297 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27312/stat : 27312 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475315967 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145687284832 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27313] ppid=27297 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27313/stat : 27313 (java) S 27297 27297 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475315967 15514783744 27551 33554432000 4194304 4196468 140727092720256 140145686231344 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111656 KiB
[startup+1.50565 s]
/proc/loadavg: 6.75 7.65 7.81 9/230 27313
/proc/meminfo: memFree=449292/32770624 swapFree=67002248/67108860
[pid=27297] ppid=27294 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27297/stat : 27297 (xcsp3-exec) S 27294 27297 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475315961 115843072 363 33554432000 4194304 5098028 140728477098464 140728477096568 139795007206012 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31784960 140728477107031 140728477107289 140728477107289 140728477110214 0
/proc/27297/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
[pid=27299/tid=27311] ppid=27297 vsize=15419460 memory=1452 CPUtime=1.07 cores=1,3,5,7
/proc/27299/task/27311/stat : 27311 (java) S 27297 27297 25111 0 -1 1077944384 10772 0 0 0 105 2 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145688337136 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27312] ppid=27297 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27312/stat : 27312 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475315967 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145687284832 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27313] ppid=27297 vsize=15419460 memory=1452 CPUtime=0.4 cores=1,3,5,7
/proc/27299/task/27313/stat : 27313 (java) S 27297 27297 25111 0 -1 1077944384 1293 0 0 0 22 18 0 0 20 0 19 0 475315967 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145686231344 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27320] ppid=27297 vsize=15419460 memory=3608 CPUtime=510.16 cores=1,3,5,7
/proc/27299/task/27320/stat : 27320 (java) R 27297 27297 25111 0 -1 4202560 288959 0 0 0 50963 53 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145677249064 140145872118008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27321] ppid=27297 vsize=15419460 memory=55332 CPUtime=509.85 cores=1,3,5,7
/proc/27299/task/27321/stat : 27321 (java) R 27297 27297 25111 0 -1 4202560 4860121 0 0 0 50622 363 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145676197344 140145866478330 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27322] ppid=27297 vsize=15419460 memory=988 CPUtime=510.12 cores=1,3,5,7
/proc/27299/task/27322/stat : 27322 (java) R 27297 27297 25111 0 -1 4202560 215524 0 0 0 50963 49 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145675145544 140145872120592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27323] ppid=27297 vsize=15419460 memory=1452 CPUtime=508.3 cores=1,3,5,7
/proc/27299/task/27323/stat : 27323 (java) R 27297 27297 25111 0 -1 4202560 1767803 0 0 0 50696 134 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145674095376 140145872117791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
Current children cumulated CPU time: 2205.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 8638080 KiB
[startup+642.301 s]
/proc/loadavg: 8.18 8.41 8.17 9/238 28367
/proc/meminfo: memFree=12761000/32770624 swapFree=67002248/67108860
[pid=27297] ppid=27294 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27297/stat : 27297 (xcsp3-exec) S 27294 27297 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475315961 115843072 363 33554432000 4194304 5098028 140728477098464 140728477096568 139795007206012 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31784960 140728477107031 140728477107289 140728477107289 140728477110214 0
/proc/27297/statm: 28282 363 304 221 0 87 0
[pid=27299] ppid=27297 vsize=15419460 memory=8636628 CPUtime=2444.33 cores=1,3,5,7
/proc/27299/stat : 27299 (java) S 27297 27297 25111 0 -1 1077944320 14754886 0 1 0 239850 4583 0 0 20 0 19 0 475315961 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140727092702800 140146226372343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
/proc/27299/statm: 3854865 2159157 3555 1 0 3815965 0
[pid=27299/tid=27300] ppid=27297 vsize=15419460 memory=8636628 CPUtime=40.03 cores=1,3,5,7
/proc/27299/task/27300/stat : 27300 (java) S 27297 27297 25111 0 -1 1077944384 1589043 0 0 0 3623 380 0 0 20 0 19 0 475315961 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140146230613120 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27301] ppid=27297 vsize=15419460 memory=1452 CPUtime=28.27 cores=1,3,5,7
/proc/27299/task/27301/stat : 27301 (java) S 27297 27297 25111 0 -1 1077944384 1370786 0 0 0 1929 898 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140146193931024 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27302] ppid=27297 vsize=15419460 memory=280850595842288 CPUtime=28.1 cores=1,3,5,7
/proc/27299/task/27302/stat : 27302 (java) S 27297 27297 25111 0 -1 1077944384 1354253 0 0 0 1924 886 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145817480080 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27303] ppid=27297 vsize=15419460 memory=1452 CPUtime=28.03 cores=1,3,5,7
/proc/27299/task/27303/stat : 27303 (java) S 27297 27297 25111 0 -1 1077944384 1318434 0 0 0 1935 868 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145816427536 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27304] ppid=27297 vsize=15419460 memory=3608 CPUtime=28.11 cores=1,3,5,7
/proc/27299/task/27304/stat : 27304 (java) S 27297 27297 25111 0 -1 1077944384 1284032 0 0 0 1943 868 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145815374992 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27305] ppid=27297 vsize=15419460 memory=1416 CPUtime=0.44 cores=1,3,5,7
/proc/27299/task/27305/stat : 27305 (java) S 27297 27297 25111 0 -1 1077944384 28543 0 0 0 41 3 0 0 20 0 19 0 475315963 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145694652400 140146226383490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27306] ppid=27297 vsize=15419460 memory=776 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27306/stat : 27306 (java) S 27297 27297 25111 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475315964 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145693598688 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27307] ppid=27297 vsize=15419460 memory=988 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27307/stat : 27307 (java) S 27297 27297 25111 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 475315964 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145692546048 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27308] ppid=27297 vsize=15419460 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27308/stat : 27308 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145691494608 140146226390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27309] ppid=27297 vsize=15419460 memory=8636628 CPUtime=6.38 cores=1,3,5,7
/proc/27299/task/27309/stat : 27309 (java) S 27297 27297 25111 0 -1 1077944384 31727 0 1 0 635 3 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145690442224 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27310] ppid=27297 vsize=15419460 memory=1452 CPUtime=6.16 cores=1,3,5,7
/proc/27299/task/27310/stat : 27310 (java) S 27297 27297 25111 0 -1 1077944384 31570 0 0 0 613 3 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145689389680 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27311] ppid=27297 vsize=15419460 memory=1452 CPUtime=1.07 cores=1,3,5,7
/proc/27299/task/27311/stat : 27311 (java) S 27297 27297 25111 0 -1 1077944384 10777 0 0 0 105 2 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145688337136 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27312] ppid=27297 vsize=15419460 memory=8636628 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27312/stat : 27312 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475315967 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145687284832 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27313] ppid=27297 vsize=15419460 memory=1452 CPUtime=0.42 cores=1,3,5,7
/proc/27299/task/27313/stat : 27313 (java) S 27297 27297 25111 0 -1 1077944384 1327 0 0 0 23 19 0 0 20 0 19 0 475315967 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145686231344 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27320] ppid=27297 vsize=15419460 memory=1452 CPUtime=569.8 cores=1,3,5,7
/proc/27299/task/27320/stat : 27320 (java) R 27297 27297 25111 0 -1 4202560 315927 0 0 0 56923 57 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145677249064 140145864582815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27321] ppid=27297 vsize=15419460 memory=0 CPUtime=569.35 cores=1,3,5,7
/proc/27299/task/27321/stat : 27321 (java) R 27297 27297 25111 0 -1 4202560 5313421 0 0 0 56541 394 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145676197344 140145866711414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27322] ppid=27297 vsize=15419460 memory=8316868033356759116 CPUtime=570.07 cores=1,3,5,7
/proc/27299/task/27322/stat : 27322 (java) R 27297 27297 25111 0 -1 4202560 236755 0 0 0 56953 54 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145675145544 140145866076076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27323] ppid=27297 vsize=15419460 memory=8636628 CPUtime=567.97 cores=1,3,5,7
/proc/27299/task/27323/stat : 27323 (java) R 27297 27297 25111 0 -1 4202560 1866881 0 0 0 56653 144 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145674092808 140145872117791 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
Current children cumulated CPU time: 2444.33 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 8638080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+661.401 s]
/proc/loadavg: 8.20 8.40 8.17 10/238 28369
/proc/meminfo: memFree=12760168/32770624 swapFree=67002248/67108860
[pid=27297] ppid=27294 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27297/stat : 27297 (xcsp3-exec) S 27294 27297 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475315961 115843072 363 33554432000 4194304 5098028 140728477098464 140728477096568 139795007206012 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31784960 140728477107031 140728477107289 140728477107289 140728477110214 0
/proc/27297/statm: 28282 363 304 221 0 87 0
[pid=27299] ppid=27297 vsize=15419460 memory=8636628 CPUtime=2520.34 cores=1,3,5,7
/proc/27299/stat : 27299 (java) S 27297 27297 25111 0 -1 1077944320 14971025 0 1 0 247432 4602 0 0 20 0 19 0 475315961 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140727092702800 140146226372343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
/proc/27299/statm: 3854865 2159157 3555 1 0 3815965 0
[pid=27299/tid=27300] ppid=27297 vsize=15419460 memory=1736 CPUtime=40.03 cores=1,3,5,7
/proc/27299/task/27300/stat : 27300 (java) S 27297 27297 25111 0 -1 1077944384 1589043 0 0 0 3623 380 0 0 20 0 19 0 475315961 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140146230613120 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27301] ppid=27297 vsize=15419460 memory=6064 CPUtime=28.27 cores=1,3,5,7
/proc/27299/task/27301/stat : 27301 (java) S 27297 27297 25111 0 -1 1077944384 1370786 0 0 0 1929 898 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140146193931024 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27302] ppid=27297 vsize=15419460 memory=636 CPUtime=28.1 cores=1,3,5,7
/proc/27299/task/27302/stat : 27302 (java) S 27297 27297 25111 0 -1 1077944384 1354253 0 0 0 1924 886 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145817480080 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27303] ppid=27297 vsize=15419460 memory=2836 CPUtime=28.03 cores=1,3,5,7
/proc/27299/task/27303/stat : 27303 (java) S 27297 27297 25111 0 -1 1077944384 1318434 0 0 0 1935 868 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145816427536 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27304] ppid=27297 vsize=15419460 memory=1056 CPUtime=28.11 cores=1,3,5,7
/proc/27299/task/27304/stat : 27304 (java) S 27297 27297 25111 0 -1 1077944384 1284032 0 0 0 1943 868 0 0 20 0 19 0 475315962 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145815374992 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27305] ppid=27297 vsize=15419460 memory=1764 CPUtime=0.44 cores=1,3,5,7
/proc/27299/task/27305/stat : 27305 (java) S 27297 27297 25111 0 -1 1077944384 28551 0 0 0 41 3 0 0 20 0 19 0 475315963 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145694652400 140146226383490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27306] ppid=27297 vsize=15419460 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27306/stat : 27306 (java) S 27297 27297 25111 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475315964 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145693598688 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27307] ppid=27297 vsize=15419460 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27307/stat : 27307 (java) S 27297 27297 25111 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 475315964 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145692546048 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27308] ppid=27297 vsize=15419460 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27308/stat : 27308 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145691494608 140146226390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27309] ppid=27297 vsize=15419460 memory=1808 CPUtime=6.38 cores=1,3,5,7
/proc/27299/task/27309/stat : 27309 (java) S 27297 27297 25111 0 -1 1077944384 31733 0 1 0 635 3 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145690442224 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27310] ppid=27297 vsize=15419460 memory=920 CPUtime=6.16 cores=1,3,5,7
/proc/27299/task/27310/stat : 27310 (java) S 27297 27297 25111 0 -1 1077944384 31572 0 0 0 613 3 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145689389680 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27311] ppid=27297 vsize=15419460 memory=1452 CPUtime=1.07 cores=1,3,5,7
/proc/27299/task/27311/stat : 27311 (java) S 27297 27297 25111 0 -1 1077944384 10782 0 0 0 105 2 0 0 20 0 19 0 475315966 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145688337136 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27312] ppid=27297 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27299/task/27312/stat : 27312 (java) S 27297 27297 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475315967 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145687284832 140146226382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27313] ppid=27297 vsize=15419460 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/27299/task/27313/stat : 27313 (java) S 27297 27297 25111 0 -1 1077944384 1350 0 0 0 23 20 0 0 20 0 19 0 475315967 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145686231344 140146226383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27320] ppid=27297 vsize=15419460 memory=0 CPUtime=588.9 cores=1,3,5,7
/proc/27299/task/27320/stat : 27320 (java) R 27297 27297 25111 0 -1 4202560 319319 0 0 0 58831 59 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145677249064 140145864582843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27321] ppid=27297 vsize=15419460 memory=0 CPUtime=588.24 cores=1,3,5,7
/proc/27299/task/27321/stat : 27321 (java) R 27297 27297 25111 0 -1 4202560 5462120 0 0 0 58419 405 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145676197344 140145868559649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27322] ppid=27297 vsize=15419460 memory=0 CPUtime=589.08 cores=1,3,5,7
/proc/27299/task/27322/stat : 27322 (java) R 27297 27297 25111 0 -1 4202560 239906 0 0 0 58853 55 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145675145544 140145871301184 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
[pid=27299/tid=27323] ppid=27297 vsize=15419460 memory=0 CPUtime=586.97 cores=1,3,5,7
/proc/27299/task/27323/stat : 27323 (java) R 27297 27297 25111 0 -1 4202560 1927736 0 0 0 58549 148 0 0 20 0 19 0 475322744 15789527040 2159157 33554432000 4194304 4196468 140727092720256 140145674092808 140145866076027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140727092724699 140727092724874 140727092724874 140727092727759 0
Current children cumulated CPU time: 2520.34 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 8638080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+661.435 s]
# the end of solver process 27297 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001155 s, system=0.001155 s
[startup+661.932 s]
# the end of solver process 27299 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2474.61 s, system=46.4843 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+661.61 s]
/proc/loadavg: 8.20 8.40 8.17 6/219 28371
/proc/meminfo: memFree=14399684/32770624 swapFree=67002248/67108860
Current cumulated CPU time of completed processes: 0.00231 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+661.8 s]
/proc/loadavg: 8.20 8.40 8.17 6/219 28371
/proc/meminfo: memFree=14399684/32770624 swapFree=67002248/67108860
Current cumulated CPU time of completed processes: 0.00231 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+661.9 s]
/proc/loadavg: 8.20 8.40 8.17 6/219 28371
/proc/meminfo: memFree=14399684/32770624 swapFree=67002248/67108860
Current cumulated CPU time of completed processes: 0.00231 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 661.932
CPU time (s): 2521.09
CPU user time (s): 2474.61
CPU system time (s): 46.4843
CPU usage (%): 380.869
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 8638644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2474.61
system time used= 46.4843
maximum resident set size= 8637244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14976053
page faults= 1
swaps= 0
block input operations= 224
block output operations= 2208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20539
involuntary context switches= 40531
# summary of solver processes directly reported to runsolver:
# pid: 27297,27299
# total CPU time (s): 2521.09
# total CPU user time (s): 2474.61
# total CPU system time (s): 46.4843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37993 second user time and 7.60269 second system time
The end