0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406901-1569346525.xml" -tl '20160s' -p 8
0.13/0.18 c Choco e747e1e
0.13/0.18 c [HOME/instance-4406901-1569346525.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.29 c parse instance...
52.31/10.04 c solve instance...
20038.76/2520.06 s UNKNOWN
20038.76/2520.06 c Unexpected resolution interruption!
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 (14625 MiB free)
memory of node 1: 16384 MiB (13459 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406901-1569346525/watcher-4406901-1569346525 -o /var/tmp/evaluation-result-4406901-1569346525/solver-4406901-1569346525 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1515817887 HOME/instance-4406901-1569346525.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15243, runsolver pid=15240
Current StackSize limit: 8192 KiB
[startup+0.100114 s]*
/proc/loadavg: 7.95 8.11 8.11 2/211 15264
/proc/meminfo: memFree=28742716/32770624 swapFree=66954092/67108860
[pid=15243] ppid=15240 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15243/stat : 15243 (xcsp3-exec) S 15240 15243 13124 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510907791 115843072 362 33554432000 4194304 5098028 140731810425808 140731810423912 140314367558268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9195520 140731810431825 140731810432085 140731810432085 140731810435014 0
/proc/15243/statm: 28282 362 304 221 0 87 0
[pid=15245] ppid=15243 vsize=28227396 memory=29088 CPUtime=0.13 cores=0-7
/proc/15245/stat : 15245 (java) S 15243 15243 13124 0 -1 1077944320 5743 0 0 0 11 2 0 0 20 0 20 0 510907792 28904853504 7272 33554432000 4194304 4196468 140735318645888 140735318628432 140255170617079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
/proc/15245/statm: 7056849 7272 3121 1 0 7019032 0
[pid=15245/tid=15246] ppid=15243 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15243 13124 0 -1 4202560 3661 0 0 0 8 1 0 0 20 0 20 0 510907792 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255174844656 140255170629014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15247] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15247/stat : 15247 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255123237392 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15248] ppid=15243 vsize=28227396 memory=3905946865540814496 CPUtime=0 cores=0-7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255122184848 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15249] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255121131792 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15250] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255120079248 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15251] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255119027216 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15252] ppid=15243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255117974672 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15253] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255116921616 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15254] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 7272 33554432000 4194304 4196468 140735318645888 140255115869072 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15255] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907794 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253836073200 140255170628226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15256] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15243 13124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510907795 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253230785696 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15257] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15243 13124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510907795 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253229732592 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15258] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510907797 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253228681168 140255170635675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15259] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15243 13124 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510907797 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253227629296 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15260] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510907797 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253226576752 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15261] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15243 13124 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510907797 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253225523696 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15262] ppid=15243 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15243 13124 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 510907797 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253224471152 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15263] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510907798 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253223418336 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15264] ppid=15243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510907798 28904853504 7272 33554432000 4194304 4196468 140735318645888 140253222365872 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30536 KiB
[startup+0.210157 s]*
/proc/loadavg: 7.95 8.11 8.11 2/211 15264
/proc/meminfo: memFree=28730504/32770624 swapFree=66954092/67108860
[pid=15243] ppid=15240 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15243/stat : 15243 (xcsp3-exec) S 15240 15243 13124 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510907791 115843072 362 33554432000 4194304 5098028 140731810425808 140731810423912 140314367558268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9195520 140731810431825 140731810432085 140731810432085 140731810435014 0
/proc/15243/statm: 28282 362 304 221 0 87 0
[pid=15245] ppid=15243 vsize=28227396 memory=41164 CPUtime=0.34 cores=0-7
/proc/15245/stat : 15245 (java) S 15243 15243 13124 0 -1 1077944320 9518 0 0 0 30 4 0 0 20 0 20 0 510907792 28904853504 10291 33554432000 4194304 4196468 140735318645888 140735318628432 140255170617079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
/proc/15245/statm: 7056849 10291 3280 1 0 7019032 0
[pid=15245/tid=15246] ppid=15243 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/15245/task/15246/stat : 15246 (java) S 15243 15243 13124 0 -1 1077944384 6665 0 0 0 17 3 0 0 20 0 20 0 510907792 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255174850784 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15247] ppid=15243 vsize=28227396 memory=10927 CPUtime=0 cores=0-7
/proc/15245/task/15247/stat : 15247 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255123237392 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15248] ppid=15243 vsize=28227396 memory=140490918802495 CPUtime=0 cores=0-7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255122184848 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15249] ppid=15243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255121131792 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15250] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255120079248 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15251] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255119027216 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15252] ppid=15243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255117974672 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15253] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255116921616 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15254] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28904853504 10291 33554432000 4194304 4196468 140735318645888 140255115869072 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15255] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15243 13124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510907794 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253836073200 140255170628226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15256] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15243 13124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510907795 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253230785696 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15257] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15243 13124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510907795 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253229732592 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15258] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510907797 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253228681168 140255170635675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15259] ppid=15243 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15243 13124 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 20 0 510907797 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253227629296 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15260] ppid=15243 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15245/task/15260/stat : 15260 (java) R 15243 15243 13124 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 510907797 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253226576752 140255170628226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15261] ppid=15243 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15243 13124 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 510907797 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253225523696 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15262] ppid=15243 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/15245/task/15262/stat : 15262 (java) R 15243 15243 13124 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 20 0 510907797 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253224471152 140255149459413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15263] ppid=15243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510907798 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253223418336 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15264] ppid=15243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510907798 28904853504 10291 33554432000 4194304 4196468 140735318645888 140253222365872 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42612 KiB
[startup+0.309655 s]*
/proc/loadavg: 7.95 8.11 8.11 3/211 15264
/proc/meminfo: memFree=28722500/32770624 swapFree=66954092/67108860
[pid=15243] ppid=15240 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15243/stat : 15243 (xcsp3-exec) S 15240 15243 13124 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510907791 115843072 362 33554432000 4194304 5098028 140731810425808 140731810423912 140314367558268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9195520 140731810431825 140731810432085 140731810432085 140731810435014 0
/proc/15243/statm: 28282 362 304 221 0 87 0
[pid=15245] ppid=15243 vsize=28231652 memory=49604 CPUtime=0.52 cores=0-7
/proc/15245/stat : 15245 (java) S 15243 15243 13124 0 -1 1077944320 10803 0 0 0 47 5 0 0 20 0 20 0 510907792 28909211648 12401 33554432000 4194304 4196468 140735318645888 140735318628432 140255170617079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
/proc/15245/statm: 7057913 12401 3322 1 0 7019032 0
[pid=15245/tid=15246] ppid=15243 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15243 13124 0 -1 4202560 7767 0 0 0 26 3 0 0 20 0 20 0 510907792 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255174848192 140255154697566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15247] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15247/stat : 15247 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255123237392 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15248] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255122184848 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15249] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255121131792 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15250] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255120079248 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15251] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255119027216 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15252] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255117974672 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15253] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255116921616 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15254] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28909211648 12447 33554432000 4194304 4196468 140735318645888 140255115869072 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15255] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15243 13124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510907794 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253836073200 140255170628226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15256] ppid=15243 vsize=28231652 memory=280981592546688 CPUtime=0 cores=0-7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15243 13124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510907795 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253230785696 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15257] ppid=15243 vsize=28231652 memory=280981592551296 CPUtime=0 cores=0-7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15243 13124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510907795 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253229732592 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15258] ppid=15243 vsize=28231652 memory=280981592555904 CPUtime=0 cores=0-7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510907797 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253228681168 140255170635675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15259] ppid=15243 vsize=28231652 memory=280981592560512 CPUtime=0.02 cores=0-7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15243 13124 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 20 0 510907797 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253227629296 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15260] ppid=15243 vsize=28231652 memory=280981592565120 CPUtime=0.02 cores=0-7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15243 13124 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 20 0 510907797 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253226576752 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15261] ppid=15243 vsize=28231652 memory=280981592569728 CPUtime=0.02 cores=0-7
/proc/15245/task/15261/stat : 15261 (java) R 15243 15243 13124 0 -1 4202560 250 0 0 0 2 0 0 0 20 0 20 0 510907797 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253225514080 140255170638426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15262] ppid=15243 vsize=28231652 memory=280981592574336 CPUtime=0.12 cores=0-7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15243 13124 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 20 0 510907797 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253224471152 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15263] ppid=15243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510907798 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253223418336 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15264] ppid=15243 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510907798 28909211648 12447 33554432000 4194304 4196468 140735318645888 140253222365872 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51052 KiB
[startup+0.700981 s]
/proc/loadavg: 7.95 8.11 8.11 4/211 15264
/proc/meminfo: memFree=28700532/32770624 swapFree=66954092/67108860
[pid=15243] ppid=15240 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15243/stat : 15243 (xcsp3-exec) S 15240 15243 13124 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510907791 115843072 362 33554432000 4194304 5098028 140731810425808 140731810423912 140314367558268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9195520 140731810431825 140731810432085 140731810432085 140731810435014 0
/proc/15243/statm: 28282 362 304 221 0 87 0
[pid=15245] ppid=15243 vsize=28233776 memory=118200 CPUtime=1.9 cores=0-7
/proc/15245/stat : 15245 (java) S 15243 15243 13124 0 -1 1077944320 17114 0 0 0 183 7 0 0 20 0 20 0 510907792 28911386624 29550 33554432000 4194304 4196468 140735318645888 140735318628432 140255170617079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
/proc/15245/statm: 7058444 29550 3460 1 0 7019544 0
[pid=15245/tid=15246] ppid=15243 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/15245/task/15246/stat : 15246 (java) R 15243 15243 13124 0 -1 4202560 9286 0 0 0 63 4 0 0 20 0 20 0 510907792 28911386624 29550 33554432000 4194304 4196468 140735318645888 140255174836960 140255154697566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15247] ppid=15243 vsize=28233776 memory=140490796475264 CPUtime=0 cores=0-7
/proc/15245/task/15247/stat : 15247 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28911386624 29550 33554432000 4194304 4196468 140735318645888 140255123237392 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15248] ppid=15243 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28911386624 29550 33554432000 4194304 4196468 140735318645888 140255122184848 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15249] ppid=15243 vsize=28233776 memory=9364 CPUtime=0 cores=0-7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15243 13124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510907793 28911386624 29550 33554432000 4194304 4196468 140735318645888 140255121131792 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
################
# More data... #
################
[pid=15245/tid=15274] ppid=15243 vsize=28766288 memory=1760 CPUtime=2458.88 cores=0-7
/proc/15245/task/15274/stat : 15274 (java) R 15243 15243 13124 0 -1 4202560 22934 0 0 0 245864 24 0 0 20 0 28 0 510908895 29456678912 1054659 33554432000 4194304 4196468 140735318645888 140253206016088 140254800241660 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
Current children cumulated CPU time: 19898 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 4220084 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 8.13 8.38 8.36 9/218 15482
/proc/meminfo: memFree=24542664/32770624 swapFree=66954100/67108860
[pid=15243] ppid=15240 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15243/stat : 15243 (xcsp3-exec) S 15240 15243 13124 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510907791 115843072 362 33554432000 4194304 5098028 140731810425808 140731810423912 140314367558268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9195520 140731810431825 140731810432085 140731810432085 140731810435014 0
/proc/15243/statm: 28282 362 304 221 0 87 0
[pid=15245] ppid=15243 vsize=28766288 memory=4222764 CPUtime=20038.8 cores=0-7
/proc/15245/stat : 15245 (java) S 15243 15243 13124 0 -1 1077944320 939226 0 0 0 2001471 2405 0 0 20 0 28 0 510907792 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140735318628432 140255170617079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
/proc/15245/statm: 7191572 1055691 3544 1 0 7152672 0
[pid=15245/tid=15246] ppid=15243 vsize=28766288 memory=4222244 CPUtime=4.28 cores=0-7
/proc/15245/task/15246/stat : 15246 (java) S 15243 15243 13124 0 -1 1077944384 13395 0 0 0 414 14 0 0 20 0 28 0 510907792 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255174857856 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15247] ppid=15243 vsize=28766288 memory=4222764 CPUtime=20.36 cores=0-7
/proc/15245/task/15247/stat : 15247 (java) S 15243 15243 13124 0 -1 1077944384 33112 0 0 0 1897 139 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255123237392 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15248] ppid=15243 vsize=28766288 memory=4222764 CPUtime=20.34 cores=0-7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15243 13124 0 -1 1077944384 32086 0 0 0 1893 141 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255122184848 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15249] ppid=15243 vsize=28766288 memory=280981594198912 CPUtime=20.24 cores=0-7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15243 13124 0 -1 1077944384 27949 0 0 0 1893 131 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255121131792 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15250] ppid=15243 vsize=28766288 memory=880 CPUtime=20.32 cores=0-7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15243 13124 0 -1 1077944384 28979 0 0 0 1891 141 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255120079248 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15251] ppid=15243 vsize=28766288 memory=928 CPUtime=20.32 cores=0-7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15243 13124 0 -1 1077944384 32076 0 0 0 1900 132 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255119027216 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15252] ppid=15243 vsize=28766288 memory=0 CPUtime=20.41 cores=0-7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15243 13124 0 -1 1077944384 32768 0 0 0 1900 141 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255117974672 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15253] ppid=15243 vsize=28766288 memory=6943526294502006880 CPUtime=20.4 cores=0-7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15243 13124 0 -1 1077944384 36438 0 0 0 1896 144 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255116921616 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15254] ppid=15243 vsize=28766288 memory=4222244 CPUtime=20.32 cores=0-7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15243 13124 0 -1 1077944384 27536 0 0 0 1903 129 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255115869072 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15255] ppid=15243 vsize=28766288 memory=1448 CPUtime=4.18 cores=0-7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15243 13124 0 -1 1077944384 33831 0 0 0 247 171 0 0 20 0 28 0 510907794 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253836073200 140255170628226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15256] ppid=15243 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15243 13124 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510907795 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253230785760 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15257] ppid=15243 vsize=28766288 memory=280981592342768 CPUtime=0 cores=0-7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15243 13124 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 510907795 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253229732608 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15258] ppid=15243 vsize=28766288 memory=111632 CPUtime=0 cores=0-7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253228681168 140255170635675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15259] ppid=15243 vsize=28766288 memory=804 CPUtime=2.58 cores=0-7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15243 13124 0 -1 1077944384 27092 0 0 0 255 3 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253227629296 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15260] ppid=15243 vsize=28766288 memory=6791534058613427641 CPUtime=2.65 cores=0-7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15243 13124 0 -1 1077944384 24316 0 0 0 261 4 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253226576752 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15261] ppid=15243 vsize=28766288 memory=14008 CPUtime=2.92 cores=0-7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15243 13124 0 -1 1077944384 24452 0 0 0 289 3 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253225523696 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15262] ppid=15243 vsize=28766288 memory=1448 CPUtime=0.99 cores=0-7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15243 13124 0 -1 1077944384 24226 0 0 0 94 5 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253224471152 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15263] ppid=15243 vsize=28766288 memory=988 CPUtime=0 cores=0-7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510907798 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253223418336 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15264] ppid=15243 vsize=28766288 memory=2016 CPUtime=1.17 cores=0-7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15243 13124 0 -1 1077944384 4523 0 0 0 78 39 0 0 20 0 28 0 510907798 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253222365872 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15267] ppid=15243 vsize=28766288 memory=1448 CPUtime=2476.96 cores=0-7
/proc/15245/task/15267/stat : 15267 (java) R 15243 15243 13124 0 -1 4202560 32711 0 0 0 247648 48 0 0 20 0 28 0 510908838 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253213383240 140254800717040 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15268] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2484.14 cores=0-7
/proc/15245/task/15268/stat : 15268 (java) R 15243 15243 13124 0 -1 4202560 30262 0 0 0 248380 34 0 0 20 0 28 0 510908838 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253212332184 140254800144546 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15269] ppid=15243 vsize=28766288 memory=1448 CPUtime=2483.5 cores=0-7
/proc/15245/task/15269/stat : 15269 (java) R 15243 15243 13124 0 -1 4202560 104721 0 0 0 248020 330 0 0 20 0 28 0 510908838 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253211279296 140254800715182 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15270] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2485.79 cores=0-7
/proc/15245/task/15270/stat : 15270 (java) R 15243 15243 13124 0 -1 4202560 37957 0 0 0 248544 35 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253210227400 140254799476574 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15271] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2488.96 cores=0-7
/proc/15245/task/15271/stat : 15271 (java) R 15243 15243 13124 0 -1 4202560 32845 0 0 0 248841 55 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253209174184 140254800241882 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15272] ppid=15243 vsize=28766288 memory=1448 CPUtime=2481.17 cores=0-7
/proc/15245/task/15272/stat : 15272 (java) R 15243 15243 13124 0 -1 4202560 18233 0 0 0 248058 59 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253208121624 140254800241601 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15273] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2480.1 cores=0-7
/proc/15245/task/15273/stat : 15273 (java) R 15243 15243 13124 0 -1 4202560 255152 0 0 0 247487 523 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253207068264 140254791410858 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15274] ppid=15243 vsize=28766288 memory=1448 CPUtime=2476.46 cores=0-7
/proc/15245/task/15274/stat : 15274 (java) R 15243 15243 13124 0 -1 4202560 23172 0 0 0 247622 24 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253206018768 140254800241934 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
Current children cumulated CPU time: 20038.8 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 4224212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 15243 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001159 s, system=0.001159 s
[startup+2520.11 s]
# the end of solver process 15245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20015.3 s, system=24.0866 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+2520 s]
/proc/loadavg: 8.13 8.38 8.36 9/218 15482
/proc/meminfo: memFree=24542664/32770624 swapFree=66954100/67108860
[pid=15243] ppid=15240 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15243/stat : 15243 (xcsp3-exec) S 15240 15243 13124 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510907791 115843072 362 33554432000 4194304 5098028 140731810425808 140731810423912 140314367558268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9195520 140731810431825 140731810432085 140731810432085 140731810435014 0
/proc/15243/statm: 28282 362 304 221 0 87 0
[pid=15245] ppid=15243 vsize=28766288 memory=4222764 CPUtime=20038.8 cores=0-7
/proc/15245/stat : 15245 (java) S 15243 15243 13124 0 -1 1077944320 939226 0 0 0 2001471 2405 0 0 20 0 28 0 510907792 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140735318628432 140255170617079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
/proc/15245/statm: 7191572 1055691 3544 1 0 7152672 0
[pid=15245/tid=15246] ppid=15243 vsize=28766288 memory=4222244 CPUtime=4.28 cores=0-7
/proc/15245/task/15246/stat : 15246 (java) S 15243 15243 13124 0 -1 1077944384 13395 0 0 0 414 14 0 0 20 0 28 0 510907792 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255174857856 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15247] ppid=15243 vsize=28766288 memory=4222764 CPUtime=20.36 cores=0-7
/proc/15245/task/15247/stat : 15247 (java) S 15243 15243 13124 0 -1 1077944384 33112 0 0 0 1897 139 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255123237392 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15248] ppid=15243 vsize=28766288 memory=4222764 CPUtime=20.34 cores=0-7
/proc/15245/task/15248/stat : 15248 (java) S 15243 15243 13124 0 -1 1077944384 32086 0 0 0 1893 141 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255122184848 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15249] ppid=15243 vsize=28766288 memory=280981594198912 CPUtime=20.24 cores=0-7
/proc/15245/task/15249/stat : 15249 (java) S 15243 15243 13124 0 -1 1077944384 27949 0 0 0 1893 131 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255121131792 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15250] ppid=15243 vsize=28766288 memory=880 CPUtime=20.32 cores=0-7
/proc/15245/task/15250/stat : 15250 (java) S 15243 15243 13124 0 -1 1077944384 28979 0 0 0 1891 141 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255120079248 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15251] ppid=15243 vsize=28766288 memory=928 CPUtime=20.32 cores=0-7
/proc/15245/task/15251/stat : 15251 (java) S 15243 15243 13124 0 -1 1077944384 32076 0 0 0 1900 132 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255119027216 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15252] ppid=15243 vsize=28766288 memory=0 CPUtime=20.41 cores=0-7
/proc/15245/task/15252/stat : 15252 (java) S 15243 15243 13124 0 -1 1077944384 32768 0 0 0 1900 141 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255117974672 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15253] ppid=15243 vsize=28766288 memory=6943526294502006880 CPUtime=20.4 cores=0-7
/proc/15245/task/15253/stat : 15253 (java) S 15243 15243 13124 0 -1 1077944384 36438 0 0 0 1896 144 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255116921616 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15254] ppid=15243 vsize=28766288 memory=4222244 CPUtime=20.32 cores=0-7
/proc/15245/task/15254/stat : 15254 (java) S 15243 15243 13124 0 -1 1077944384 27536 0 0 0 1903 129 0 0 20 0 28 0 510907793 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140255115869072 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15255] ppid=15243 vsize=28766288 memory=1448 CPUtime=4.18 cores=0-7
/proc/15245/task/15255/stat : 15255 (java) S 15243 15243 13124 0 -1 1077944384 33831 0 0 0 247 171 0 0 20 0 28 0 510907794 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253836073200 140255170628226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15256] ppid=15243 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15245/task/15256/stat : 15256 (java) S 15243 15243 13124 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510907795 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253230785760 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15257] ppid=15243 vsize=28766288 memory=280981592342768 CPUtime=0 cores=0-7
/proc/15245/task/15257/stat : 15257 (java) S 15243 15243 13124 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 510907795 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253229732608 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15258] ppid=15243 vsize=28766288 memory=111632 CPUtime=0 cores=0-7
/proc/15245/task/15258/stat : 15258 (java) S 15243 15243 13124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253228681168 140255170635675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15259] ppid=15243 vsize=28766288 memory=804 CPUtime=2.58 cores=0-7
/proc/15245/task/15259/stat : 15259 (java) S 15243 15243 13124 0 -1 1077944384 27092 0 0 0 255 3 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253227629296 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15260] ppid=15243 vsize=28766288 memory=6791534058613427641 CPUtime=2.65 cores=0-7
/proc/15245/task/15260/stat : 15260 (java) S 15243 15243 13124 0 -1 1077944384 24316 0 0 0 261 4 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253226576752 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15261] ppid=15243 vsize=28766288 memory=14008 CPUtime=2.92 cores=0-7
/proc/15245/task/15261/stat : 15261 (java) S 15243 15243 13124 0 -1 1077944384 24452 0 0 0 289 3 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253225523696 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15262] ppid=15243 vsize=28766288 memory=1448 CPUtime=0.99 cores=0-7
/proc/15245/task/15262/stat : 15262 (java) S 15243 15243 13124 0 -1 1077944384 24226 0 0 0 94 5 0 0 20 0 28 0 510907797 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253224471152 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15263] ppid=15243 vsize=28766288 memory=988 CPUtime=0 cores=0-7
/proc/15245/task/15263/stat : 15263 (java) S 15243 15243 13124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510907798 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253223418336 140255170627285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15264] ppid=15243 vsize=28766288 memory=2016 CPUtime=1.17 cores=0-7
/proc/15245/task/15264/stat : 15264 (java) S 15243 15243 13124 0 -1 1077944384 4523 0 0 0 78 39 0 0 20 0 28 0 510907798 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253222365872 140255170628226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15267] ppid=15243 vsize=28766288 memory=1448 CPUtime=2476.96 cores=0-7
/proc/15245/task/15267/stat : 15267 (java) R 15243 15243 13124 0 -1 4202560 32711 0 0 0 247648 48 0 0 20 0 28 0 510908838 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253213383240 140254800717040 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15268] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2484.14 cores=0-7
/proc/15245/task/15268/stat : 15268 (java) R 15243 15243 13124 0 -1 4202560 30262 0 0 0 248380 34 0 0 20 0 28 0 510908838 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253212332184 140254800144546 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15269] ppid=15243 vsize=28766288 memory=1448 CPUtime=2483.5 cores=0-7
/proc/15245/task/15269/stat : 15269 (java) R 15243 15243 13124 0 -1 4202560 104721 0 0 0 248020 330 0 0 20 0 28 0 510908838 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253211279296 140254800715182 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15270] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2485.79 cores=0-7
/proc/15245/task/15270/stat : 15270 (java) R 15243 15243 13124 0 -1 4202560 37957 0 0 0 248544 35 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253210227400 140254799476574 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15271] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2488.96 cores=0-7
/proc/15245/task/15271/stat : 15271 (java) R 15243 15243 13124 0 -1 4202560 32845 0 0 0 248841 55 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253209174184 140254800241882 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15272] ppid=15243 vsize=28766288 memory=1448 CPUtime=2481.17 cores=0-7
/proc/15245/task/15272/stat : 15272 (java) R 15243 15243 13124 0 -1 4202560 18233 0 0 0 248058 59 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253208121624 140254800241601 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15273] ppid=15243 vsize=28766288 memory=4222764 CPUtime=2480.1 cores=0-7
/proc/15245/task/15273/stat : 15273 (java) R 15243 15243 13124 0 -1 4202560 255152 0 0 0 247487 523 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253207068264 140254791410858 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
[pid=15245/tid=15274] ppid=15243 vsize=28766288 memory=1448 CPUtime=2476.46 cores=0-7
/proc/15245/task/15274/stat : 15274 (java) R 15243 15243 13124 0 -1 4202560 23172 0 0 0 247622 24 0 0 20 0 28 0 510908895 29456678912 1055691 33554432000 4194304 4196468 140735318645888 140253206018768 140254800241934 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31457280 140735318647766 140735318647942 140735318647942 140735318650831 0
Current children cumulated CPU time: 20038.8 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 4224212 KiB
Child status: 143
Real time (s): 2520.11
CPU time (s): 20039.4
CPU user time (s): 20015.3
CPU system time (s): 24.0866
CPU usage (%): 795.18
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 4557584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20015.3
system time used= 24.0866
maximum resident set size= 4556136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940346
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86900
involuntary context switches= 199028
# summary of solver processes directly reported to runsolver:
# pid: 15243,15245
# total CPU time (s): 20039.4
# total CPU user time (s): 20015.3
# total CPU system time (s): 24.0866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0448 second user time and 32.8937 second system time
The end
Begin job on node107 at 2019-09-24 18:33:21
IDJOB=4406901
IDBENCH=124102
IDSOLVER=2871
FILE ID=node107/4406901-1569346525
RUNJOBID= node107-1569332256-13151
PBS_JOBID= 21705068
Free space on /var/tmp= 12564 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Bibd/Bibd-sum-open/Bibd-sum-57-076-20-15-05.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406901-1569346525/watcher-4406901-1569346525 -o /var/tmp/evaluation-result-4406901-1569346525/solver-4406901-1569346525 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569332256-13151 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1515817887 HOME/instance-4406901-1569346525.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 103999ad3c646e4e3c5e6682f24aa76f
RANDOM SEED=1515817887
node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.11
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 28758868 kB
MemAvailable: 31802908 kB
Buffers: 64036 kB
Cached: 3119544 kB
SwapCached: 48176 kB
Active: 1975936 kB
Inactive: 1256488 kB
Active(anon): 1904 kB
Inactive(anon): 99724 kB
Active(file): 1974032 kB
Inactive(file): 1156764 kB
Unevictable: 110992 kB
Mlocked: 110992 kB
SwapTotal: 67108860 kB
SwapFree: 66954092 kB
Dirty: 26184 kB
Writeback: 0 kB
AnonPages: 113032 kB
Mapped: 53880 kB
Shmem: 44484 kB
Slab: 369652 kB
SReclaimable: 341704 kB
SUnreclaim: 27948 kB
KernelStack: 3408 kB
PageTables: 5260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 101760 kB
DirectMap2M: 33443840 kB
Free space on /var/tmp at the end= 12536 MiB
End job on node107 at 2019-09-24 19:15:21