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 (11436 MiB free)
memory of node 1: 16384 MiB (15681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399090-1568694997/watcher-4399090-1568694997 -o /tmp/evaluation-result-4399090-1568694997/solver-4399090-1568694997 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 986426737 HOME/instance-4399090-1568694997.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
solver pid=23262, runsolver pid=23259
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.33 8.33 6.86 8/233 23278
/proc/meminfo: memFree=27752488/32770624 swapFree=66976980/67108860
[pid=23262] ppid=23259 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23262/stat : 23262 (xcsp3-exec) S 23259 23262 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762311 115843072 362 33554432000 4194304 5098028 140735799545408 140735799543512 140367078388348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9023488 140735799550843 140735799551085 140735799551085 140735799553994 0
/proc/23262/statm: 28282 362 304 221 0 87 0
[pid=23264] ppid=23262 vsize=15144776 memory=28876 CPUtime=0.13 cores=1,3,5,7
/proc/23264/stat : 23264 (java) S 23262 23262 21506 0 -1 1077944320 5703 0 0 0 12 1 0 0 20 0 15 0 445762311 15508250624 7219 33554432000 4194304 4196468 140726256064528 140726256047072 139950484713207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
/proc/23264/statm: 3786194 7219 3181 1 0 3748377 0
[pid=23264/tid=23265] ppid=23262 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=1,3,5,7
/proc/23264/task/23265/stat : 23265 (java) R 23262 23262 21506 0 -1 4202560 3577 0 0 0 9 0 0 0 20 0 15 0 445762312 15508250624 7219 33554432000 4194304 4196468 140726256064528 139950488935264 139950116981743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23266] ppid=23262 vsize=15144776 memory=3472468506404381904 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23266/stat : 23266 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 7219 33554432000 4194304 4196468 140726256064528 139950437334160 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23267] ppid=23262 vsize=15144776 memory=140377509230208 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23267/stat : 23267 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 7219 33554432000 4194304 4196468 140726256064528 139950075862032 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23268] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23268/stat : 23268 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 7219 33554432000 4194304 4196468 140726256064528 139950074809232 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23269] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23269/stat : 23269 (java) S 23262 23262 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 7219 33554432000 4194304 4196468 140726256064528 139950073756432 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23270] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23270/stat : 23270 (java) S 23262 23262 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762314 15508250624 7219 33554432000 4194304 4196468 140726256064528 139949953198448 139950484724354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23271] ppid=23262 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23271/stat : 23271 (java) S 23262 23262 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762314 15508250624 7219 33554432000 4194304 4196468 140726256064528 139949952144416 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23272] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23272/stat : 23272 (java) S 23262 23262 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762314 15508250624 7219 33554432000 4194304 4196468 140726256064528 139949951091568 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23273] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23273/stat : 23273 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 7285 33554432000 4194304 4196468 140726256064528 139949950039888 139950484731803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23274] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23274/stat : 23274 (java) S 23262 23262 21506 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 7285 33554432000 4194304 4196468 140726256064528 139949948988272 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23275] ppid=23262 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23275/stat : 23275 (java) R 23262 23262 21506 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 7285 33554432000 4194304 4196468 140726256064528 139949947935472 139950484724354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23276] ppid=23262 vsize=15144776 memory=140377509230208 CPUtime=0.02 cores=1,3,5,7
/proc/23264/task/23276/stat : 23276 (java) R 23262 23262 21506 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 445762317 15508250624 7285 33554432000 4194304 4196468 140726256064528 139949946882672 139950463369081 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23277] ppid=23262 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23277/stat : 23277 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 7285 33554432000 4194304 4196468 140726256064528 139949945830112 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23278] ppid=23262 vsize=15144776 memory=140377509230208 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23278/stat : 23278 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 7285 33554432000 4194304 4196468 140726256064528 139949944777392 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30324 KiB
[startup+0.210944 s]*
/proc/loadavg: 8.33 8.33 6.86 7/233 23278
/proc/meminfo: memFree=27739632/32770624 swapFree=66976980/67108860
[pid=23262] ppid=23259 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23262/stat : 23262 (xcsp3-exec) S 23259 23262 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762311 115843072 362 33554432000 4194304 5098028 140735799545408 140735799543512 140367078388348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9023488 140735799550843 140735799551085 140735799551085 140735799553994 0
/proc/23262/statm: 28282 362 304 221 0 87 0
[pid=23264] ppid=23262 vsize=15144776 memory=40840 CPUtime=0.34 cores=1,3,5,7
/proc/23264/stat : 23264 (java) S 23262 23262 21506 0 -1 1077944320 9461 0 0 0 31 3 0 0 20 0 15 0 445762311 15508250624 10210 33554432000 4194304 4196468 140726256064528 140726256047072 139950484713207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
/proc/23264/statm: 3786194 10210 3301 1 0 3748377 0
[pid=23264/tid=23265] ppid=23262 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=1,3,5,7
/proc/23264/task/23265/stat : 23265 (java) R 23262 23262 21506 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 445762312 15508250624 10210 33554432000 4194304 4196468 140726256064528 139950488951024 139950484735133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23266] ppid=23262 vsize=15144776 memory=3472468506404381904 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23266/stat : 23266 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 10210 33554432000 4194304 4196468 140726256064528 139950437334160 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23267] ppid=23262 vsize=15144776 memory=140377509230208 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23267/stat : 23267 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 10210 33554432000 4194304 4196468 140726256064528 139950075862032 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23268] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23268/stat : 23268 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 10210 33554432000 4194304 4196468 140726256064528 139950074809232 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23269] ppid=23262 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23269/stat : 23269 (java) S 23262 23262 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762312 15508250624 10210 33554432000 4194304 4196468 140726256064528 139950073756432 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23270] ppid=23262 vsize=15144776 memory=140377509230208 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23270/stat : 23270 (java) S 23262 23262 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445762314 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949953198448 139950484724354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23271] ppid=23262 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23271/stat : 23271 (java) S 23262 23262 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762314 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949952144416 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23272] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23272/stat : 23272 (java) S 23262 23262 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762314 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949951091568 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23273] ppid=23262 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23273/stat : 23273 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949950039888 139950484731803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23274] ppid=23262 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23264/task/23274/stat : 23274 (java) S 23262 23262 21506 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 445762317 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949948988272 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23275] ppid=23262 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23264/task/23275/stat : 23275 (java) S 23262 23262 21506 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 445762317 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949947935472 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23276] ppid=23262 vsize=15144776 memory=140377509230208 CPUtime=0.08 cores=1,3,5,7
/proc/23264/task/23276/stat : 23276 (java) S 23262 23262 21506 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 445762317 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949946882672 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23277] ppid=23262 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23277/stat : 23277 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949945830112 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23278] ppid=23262 vsize=15144776 memory=140377509230208 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23278/stat : 23278 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762317 15508250624 10210 33554432000 4194304 4196468 140726256064528 139949944777392 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42288 KiB
[startup+0.312597 s]*
/proc/loadavg: 8.33 8.33 6.86 7/233 23278
/proc/meminfo: memFree=27732724/32770624 swapFree=66976980/67108860
[pid=23262] ppid=23259 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23262/stat : 23262 (xcsp3-exec) S 23259 23262 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762311 115843072 362 33554432000 4194304 5098028 140735799545408 140735799543512 140367078388348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9023488 140735799550843 140735799551085 140735799551085 140735799553994 0
/proc/23262/statm: 28282 362 304 221 0 87 0
[pid=23264] ppid=23262 vsize=15149032 memory=50092 CPUtime=0.54 cores=1,3,5,7
/proc/23264/stat : 23264 (java) S 23262 23262 21506 0 -1 1077944320 10891 0 0 0 50 4 0 0 20 0 15 0 445762311 15512608768 12523 33554432000 4194304 4196468 140726256064528 140726256047072 139950484713207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
/proc/23264/statm: 3787258 12523 3343 1 0 3748377 0
[pid=23264/tid=23265] ppid=23262 vsize=15149032 memory=-8439527450518781933 CPUtime=0.31 cores=1,3,5,7
/proc/23264/task/23265/stat : 23265 (java) R 23262 23262 21506 0 -1 4202560 7832 0 0 0 28 3 0 0 20 0 15 0 445762312 15512608768 12523 33554432000 4194304 4196468 140726256064528 139950488946992 139950468793694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23266] ppid=23262 vsize=15149032 memory=3472468506404381904 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23266/stat : 23266 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15512608768 12523 33554432000 4194304 4196468 140726256064528 139950437334160 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23267] ppid=23262 vsize=15149032 memory=280754891532672 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23267/stat : 23267 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15512608768 12523 33554432000 4194304 4196468 140726256064528 139950075862032 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23268] ppid=23262 vsize=15149032 memory=280754764637216 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23268/stat : 23268 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15512608768 12523 33554432000 4194304 4196468 140726256064528 139950074809232 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23269] ppid=23262 vsize=15149032 memory=140377382302479 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23269/stat : 23269 (java) S 23262 23262 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762312 15512608768 12523 33554432000 4194304 4196468 140726256064528 139950073756432 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23270] ppid=23262 vsize=15149032 memory=280754891539584 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23270/stat : 23270 (java) S 23262 23262 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445762314 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949953198448 139950484724354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23271] ppid=23262 vsize=15149032 memory=140377382307087 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23271/stat : 23271 (java) S 23262 23262 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762314 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949952144416 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23272] ppid=23262 vsize=15149032 memory=140377382330930 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23272/stat : 23272 (java) S 23262 23262 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762314 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949951091568 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23273] ppid=23262 vsize=15149032 memory=140377382334757 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23273/stat : 23273 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949950039888 139950484731803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23274] ppid=23262 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23264/task/23274/stat : 23274 (java) S 23262 23262 21506 0 -1 1077944384 518 0 0 0 4 0 0 0 20 0 15 0 445762317 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949948988272 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23275] ppid=23262 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/23264/task/23275/stat : 23275 (java) S 23262 23262 21506 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 445762317 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949947935472 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23276] ppid=23262 vsize=15149032 memory=140377509230208 CPUtime=0.12 cores=1,3,5,7
/proc/23264/task/23276/stat : 23276 (java) S 23262 23262 21506 0 -1 1077944384 893 0 0 0 12 0 0 0 20 0 15 0 445762317 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949946882672 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23277] ppid=23262 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23277/stat : 23277 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949945830112 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23278] ppid=23262 vsize=15149032 memory=140377509231656 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23278/stat : 23278 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762317 15512608768 12523 33554432000 4194304 4196468 140726256064528 139949944777392 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51540 KiB
[startup+0.701167 s]
/proc/loadavg: 8.33 8.33 6.86 8/233 23278
/proc/meminfo: memFree=27720728/32770624 swapFree=66976980/67108860
[pid=23262] ppid=23259 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23262/stat : 23262 (xcsp3-exec) S 23259 23262 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762311 115843072 362 33554432000 4194304 5098028 140735799545408 140735799543512 140367078388348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9023488 140735799550843 140735799551085 140735799551085 140735799553994 0
/proc/23262/statm: 28282 362 304 221 0 87 0
[pid=23264] ppid=23262 vsize=15151156 memory=96360 CPUtime=1.64 cores=1,3,5,7
/proc/23264/stat : 23264 (java) S 23262 23262 21506 0 -1 1077944320 14690 0 0 0 158 6 0 0 20 0 15 0 445762311 15514783744 24090 33554432000 4194304 4196468 140726256064528 140726256047072 139950484713207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
/proc/23264/statm: 3787789 24090 3456 1 0 3748889 0
[pid=23264/tid=23265] ppid=23262 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23264/task/23265/stat : 23265 (java) R 23262 23262 21506 0 -1 4202560 9139 0 0 0 64 4 0 0 20 0 15 0 445762312 15514783744 24090 33554432000 4194304 4196468 140726256064528 139950488948528 139950116924870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23266] ppid=23262 vsize=15151156 memory=128 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23266/stat : 23266 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15514783744 24090 33554432000 4194304 4196468 140726256064528 139950437334160 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23267] ppid=23262 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23267/stat : 23267 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15514783744 24090 33554432000 4194304 4196468 140726256064528 139950075862032 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23268] ppid=23262 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23268/stat : 23268 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762312 15514783744 24090 33554432000 4194304 4196468 140726256064528 139950074809232 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23269] ppid=23262 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23269/stat : 23269 (java) S 23262 23262 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445762312 15514783744 24090 33554432000 4194304 4196468 140726256064528 139950073756432 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23270] ppid=23262 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23270/stat : 23270 (java) S 23262 23262 21506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445762314 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949953198448 139950484724354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23271] ppid=23262 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23271/stat : 23271 (java) S 23262 23262 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445762314 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949952144416 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23272] ppid=23262 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23272/stat : 23272 (java) S 23262 23262 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445762314 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949951091568 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23273] ppid=23262 vsize=15151156 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23273/stat : 23273 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949950039888 139950484731803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23274] ppid=23262 vsize=15151156 memory=1164 CPUtime=0.26 cores=1,3,5,7
/proc/23264/task/23274/stat : 23274 (java) R 23262 23262 21506 0 -1 4202560 1311 0 0 0 26 0 0 0 20 0 15 0 445762317 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949948977744 139950484727089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23275] ppid=23262 vsize=15151156 memory=9448 CPUtime=0.28 cores=1,3,5,7
/proc/23264/task/23275/stat : 23275 (java) R 23262 23262 21506 0 -1 4202560 966 0 0 0 28 0 0 0 20 0 15 0 445762317 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949947919776 139950469638317 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23276] ppid=23262 vsize=15151156 memory=14008 CPUtime=0.38 cores=1,3,5,7
/proc/23264/task/23276/stat : 23276 (java) R 23262 23262 21506 0 -1 4202560 1967 0 0 0 38 0 0 0 20 0 15 0 445762317 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949946881856 139950484725142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23277] ppid=23262 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23277/stat : 23277 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445762317 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949945830112 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23278] ppid=23262 vsize=15151156 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23278/stat : 23278 (java) S 23262 23262 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445762317 15514783744 24090 33554432000 4194304 4196468 140726256064528 139949944777392 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 97808 KiB
[startup+1.50163 s]
/proc/loadavg: 8.33 8.33 6.86 12/238 23284
/proc/meminfo: memFree=27538692/32770624 swapFree=66976980/67108860
[pid=23262] ppid=23259 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23262/stat : 23262 (xcsp3-exec) S 23259 23262 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762311 115843072 362 33554432000 4194304 5098028 140735799545408 140735799543512 140367078388348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9023488 140735799550843 140735799551085 140735799551085 140735799553994 0
/proc/23262/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23264/stat : 23264 (java) S 23262 23262 21506 0 -1 1077944320 83323 0 0 0 207557 97 0 0 20 0 19 0 445762311 15787429888 759106 33554432000 4194304 4196468 140726256064528 140726256047072 139950484713207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
/proc/23264/statm: 3854353 759106 3516 1 0 3815453 0
[pid=23264/tid=23265] ppid=23262 vsize=15417412 memory=3036424 CPUtime=0.9 cores=1,3,5,7
/proc/23264/task/23265/stat : 23265 (java) S 23262 23262 21506 0 -1 1077944384 9242 0 0 0 85 5 0 0 20 0 19 0 445762312 15787429888 759106 33554432000 4194304 4196468 140726256064528 139950488953984 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23266] ppid=23262 vsize=15417412 memory=3036424 CPUtime=0.33 cores=1,3,5,7
/proc/23264/task/23266/stat : 23266 (java) S 23262 23262 21506 0 -1 1077944384 1943 0 0 0 28 5 0 0 20 0 19 0 445762312 15787429888 759106 33554432000 4194304 4196468 140726256064528 139950437334160 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23267] ppid=23262 vsize=15417412 memory=3036424 CPUtime=0.34 cores=1,3,5,7
/proc/23264/task/23267/stat : 23267 (java) S 23262 23262 21506 0 -1 1077944384 1173 0 0 0 29 5 0 0 20 0 19 0 445762312 15787429888 759106 33554432000 4194304 4196468 140726256064528 139950075862032 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23268] ppid=23262 vsize=15417412 memory=3036424 CPUtime=0.32 cores=1,3,5,7
/proc/23264/task/23268/stat : 23268 (java) S 23262 23262 21506 0 -1 1077944384 1950 0 0 0 27 5 0 0 20 0 19 0 445762312 15787429888 759106 33554432000 4194304 4196468 140726256064528 139950074809232 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23269] ppid=23262 vsize=15417412 memory=3036424 CPUtime=0.34 cores=1,3,5,7
/proc/23264/task/23269/stat : 23269 (java) S 23262 23262 21506 0 -1 1077944384 1396 0 0 0 29 5 0 0 20 0 19 0 445762312 15787429888 759106 33554432000 4194304 4196468 140726256064528 139950073756432 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23270] ppid=23262 vsize=15417412 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/23264/task/23270/stat : 23270 (java) S 23262 23262 21506 0 -1 1077944384 3801 0 0 0 4 2 0 0 20 0 19 0 445762314 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949953198448 139950484724354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23271] ppid=23262 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23271/stat : 23271 (java) S 23262 23262 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445762314 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949952144416 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23272] ppid=23262 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23272/stat : 23272 (java) S 23262 23262 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445762314 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949951091568 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23273] ppid=23262 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23273/stat : 23273 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762317 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949950039888 139950484731803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23274] ppid=23262 vsize=15417412 memory=1448 CPUtime=2.26 cores=1,3,5,7
/proc/23264/task/23274/stat : 23274 (java) S 23262 23262 21506 0 -1 1077944384 11796 0 0 0 225 1 0 0 20 0 19 0 445762317 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949948988272 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23275] ppid=23262 vsize=15417412 memory=724268 CPUtime=1.98 cores=1,3,5,7
/proc/23264/task/23275/stat : 23275 (java) S 23262 23262 21506 0 -1 1077944384 7306 0 0 0 198 0 0 0 20 0 19 0 445762317 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949947935472 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23276] ppid=23262 vsize=15417412 memory=6791534058613427641 CPUtime=0.76 cores=1,3,5,7
/proc/23264/task/23276/stat : 23276 (java) S 23262 23262 21506 0 -1 1077944384 6815 0 0 0 74 2 0 0 20 0 19 0 445762317 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949946882672 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23277] ppid=23262 vsize=15417412 memory=5787477641288517003 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23277/stat : 23277 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762317 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949945830112 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23278] ppid=23262 vsize=15417412 memory=1448 CPUtime=0.25 cores=1,3,5,7
/proc/23264/task/23278/stat : 23278 (java) S 23262 23262 21506 0 -1 1077944384 502 0 0 0 0 25 0 0 20 0 19 0 445762317 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949944777392 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23281] ppid=23262 vsize=15417412 memory=3036424 CPUtime=513.99 cores=1,3,5,7
/proc/23264/task/23281/stat : 23281 (java) R 23262 23262 21506 0 -1 4202560 1930 0 0 0 51398 1 0 0 20 0 19 0 445762410 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949935557248 139950124468724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23282] ppid=23262 vsize=15417412 memory=1448 CPUtime=517.61 cores=1,3,5,7
/proc/23264/task/23282/stat : 23282 (java) R 23262 23262 21506 0 -1 4202560 28146 0 0 0 51703 58 0 0 20 0 19 0 445762411 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949934506296 139950123410701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23283] ppid=23262 vsize=15417412 memory=1448 CPUtime=518.06 cores=1,3,5,7
/proc/23264/task/23283/stat : 23283 (java) R 23262 23262 21506 0 -1 4202560 1680 0 0 0 51804 2 0 0 20 0 19 0 445762411 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949933455840 139950123720910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23284] ppid=23262 vsize=15417412 memory=1448 CPUtime=519.21 cores=1,3,5,7
/proc/23264/task/23284/stat : 23284 (java) R 23262 23262 21506 0 -1 4202560 4346 0 0 0 51920 1 0 0 20 0 19 0 445762411 15787429888 759106 33554432000 4194304 4196468 140726256064528 139949932401144 139950123409253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
Current children cumulated CPU time: 2076.54 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3037872 KiB
[startup+582.301 s]
/proc/loadavg: 8.61 8.55 7.64 10/237 23416
/proc/meminfo: memFree=27946476/32770624 swapFree=66976992/67108860
[pid=23262] ppid=23259 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23262/stat : 23262 (xcsp3-exec) S 23259 23262 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762311 115843072 362 33554432000 4194304 5098028 140735799545408 140735799543512 140367078388348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9023488 140735799550843 140735799551085 140735799551085 140735799553994 0
/proc/23262/statm: 28282 362 304 221 0 87 0
[pid=23264] ppid=23262 vsize=15417412 memory=3036940 CPUtime=2315.28 cores=1,3,5,7
/proc/23264/stat : 23264 (java) S 23262 23262 21506 0 -1 1077944320 86493 0 0 0 231430 98 0 0 20 0 19 0 445762311 15787429888 759235 33554432000 4194304 4196468 140726256064528 140726256047072 139950484713207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
/proc/23264/statm: 3854353 759235 3516 1 0 3815453 0
[pid=23264/tid=23265] ppid=23262 vsize=15417412 memory=3036940 CPUtime=0.9 cores=1,3,5,7
/proc/23264/task/23265/stat : 23265 (java) S 23262 23262 21506 0 -1 1077944384 9242 0 0 0 85 5 0 0 20 0 19 0 445762312 15787429888 759235 33554432000 4194304 4196468 140726256064528 139950488953984 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23266] ppid=23262 vsize=15417412 memory=3036940 CPUtime=0.34 cores=1,3,5,7
/proc/23264/task/23266/stat : 23266 (java) S 23262 23262 21506 0 -1 1077944384 2342 0 0 0 29 5 0 0 20 0 19 0 445762312 15787429888 759235 33554432000 4194304 4196468 140726256064528 139950437334160 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23267] ppid=23262 vsize=15417412 memory=1448 CPUtime=0.35 cores=1,3,5,7
/proc/23264/task/23267/stat : 23267 (java) S 23262 23262 21506 0 -1 1077944384 1194 0 0 0 30 5 0 0 20 0 19 0 445762312 15787429888 759235 33554432000 4194304 4196468 140726256064528 139950075862032 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23268] ppid=23262 vsize=15417412 memory=3036940 CPUtime=0.34 cores=1,3,5,7
/proc/23264/task/23268/stat : 23268 (java) S 23262 23262 21506 0 -1 1077944384 2047 0 0 0 28 6 0 0 20 0 19 0 445762312 15787429888 759235 33554432000 4194304 4196468 140726256064528 139950074809232 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23269] ppid=23262 vsize=15417412 memory=3620 CPUtime=0.34 cores=1,3,5,7
/proc/23264/task/23269/stat : 23269 (java) S 23262 23262 21506 0 -1 1077944384 1472 0 0 0 29 5 0 0 20 0 19 0 445762312 15787429888 759235 33554432000 4194304 4196468 140726256064528 139950073756432 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23270] ppid=23262 vsize=15417412 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/23264/task/23270/stat : 23270 (java) S 23262 23262 21506 0 -1 1077944384 4065 0 0 0 4 2 0 0 20 0 19 0 445762314 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949953198448 139950484724354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23271] ppid=23262 vsize=15417412 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23271/stat : 23271 (java) S 23262 23262 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445762314 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949952144416 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23272] ppid=23262 vsize=15417412 memory=3036940 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23272/stat : 23272 (java) S 23262 23262 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445762314 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949951091568 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23273] ppid=23262 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23273/stat : 23273 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762317 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949950039888 139950484731803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23274] ppid=23262 vsize=15417412 memory=1448 CPUtime=2.26 cores=1,3,5,7
/proc/23264/task/23274/stat : 23274 (java) S 23262 23262 21506 0 -1 1077944384 11803 0 0 0 225 1 0 0 20 0 19 0 445762317 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949948988272 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23275] ppid=23262 vsize=15417412 memory=1448 CPUtime=1.98 cores=1,3,5,7
/proc/23264/task/23275/stat : 23275 (java) S 23262 23262 21506 0 -1 1077944384 7310 0 0 0 198 0 0 0 20 0 19 0 445762317 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949947935472 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23276] ppid=23262 vsize=15417412 memory=3036940 CPUtime=0.76 cores=1,3,5,7
/proc/23264/task/23276/stat : 23276 (java) S 23262 23262 21506 0 -1 1077944384 6825 0 0 0 74 2 0 0 20 0 19 0 445762317 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949946882672 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23277] ppid=23262 vsize=15417412 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23277/stat : 23277 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762317 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949945830112 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23278] ppid=23262 vsize=15417412 memory=1164 CPUtime=0.29 cores=1,3,5,7
/proc/23264/task/23278/stat : 23278 (java) S 23262 23262 21506 0 -1 1077944384 557 0 0 0 0 29 0 0 20 0 19 0 445762317 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949944777392 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23281] ppid=23262 vsize=15417412 memory=3036940 CPUtime=573.08 cores=1,3,5,7
/proc/23264/task/23281/stat : 23281 (java) R 23262 23262 21506 0 -1 4202560 2112 0 0 0 57307 1 0 0 20 0 19 0 445762410 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949935557400 139950123378830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23282] ppid=23262 vsize=15417412 memory=2004 CPUtime=577.59 cores=1,3,5,7
/proc/23264/task/23282/stat : 23282 (java) R 23262 23262 21506 0 -1 4202560 29655 0 0 0 57701 58 0 0 20 0 19 0 445762411 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949934505440 139950123044906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23283] ppid=23262 vsize=15417412 memory=984 CPUtime=578.02 cores=1,3,5,7
/proc/23264/task/23283/stat : 23283 (java) R 23262 23262 21506 0 -1 4202560 1935 0 0 0 57800 2 0 0 20 0 19 0 445762411 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949933452920 139950124267183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23284] ppid=23262 vsize=15417412 memory=3620 CPUtime=578.86 cores=1,3,5,7
/proc/23264/task/23284/stat : 23284 (java) R 23262 23262 21506 0 -1 4202560 4637 0 0 0 57885 1 0 0 20 0 19 0 445762411 15787429888 759235 33554432000 4194304 4196468 140726256064528 139949932403840 139950124162440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
Current children cumulated CPU time: 2315.28 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3038388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.801 s]
/proc/loadavg: 8.32 8.48 7.67 10/238 23422
/proc/meminfo: memFree=27902072/32770624 swapFree=66976992/67108860
[pid=23262] ppid=23259 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23262/stat : 23262 (xcsp3-exec) S 23259 23262 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445762311 115843072 362 33554432000 4194304 5098028 140735799545408 140735799543512 140367078388348 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9023488 140735799550843 140735799551085 140735799551085 140735799553994 0
/proc/23262/statm: 28282 362 304 221 0 87 0
[pid=23264] ppid=23262 vsize=15417412 memory=3030784 CPUtime=2520.23 cores=1,3,5,7
/proc/23264/stat : 23264 (java) S 23262 23262 21506 0 -1 1077944320 90214 0 0 0 251923 100 0 0 20 0 19 0 445762311 15787429888 757696 33554432000 4194304 4196468 140726256064528 140726256047072 139950484713207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
/proc/23264/statm: 3854353 757696 3516 1 0 3815453 0
[pid=23264/tid=23265] ppid=23262 vsize=15417412 memory=9448 CPUtime=0.9 cores=1,3,5,7
/proc/23264/task/23265/stat : 23265 (java) S 23262 23262 21506 0 -1 1077944384 9242 0 0 0 85 5 0 0 20 0 19 0 445762312 15787429888 757696 33554432000 4194304 4196468 140726256064528 139950488953984 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23266] ppid=23262 vsize=15417412 memory=14008 CPUtime=0.34 cores=1,3,5,7
/proc/23264/task/23266/stat : 23266 (java) S 23262 23262 21506 0 -1 1077944384 2373 0 0 0 29 5 0 0 20 0 19 0 445762312 15787429888 757696 33554432000 4194304 4196468 140726256064528 139950437334160 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23267] ppid=23262 vsize=15417412 memory=2120 CPUtime=0.35 cores=1,3,5,7
/proc/23264/task/23267/stat : 23267 (java) S 23262 23262 21506 0 -1 1077944384 1255 0 0 0 30 5 0 0 20 0 19 0 445762312 15787429888 757696 33554432000 4194304 4196468 140726256064528 139950075862032 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23268] ppid=23262 vsize=15417412 memory=11976 CPUtime=0.34 cores=1,3,5,7
/proc/23264/task/23268/stat : 23268 (java) S 23262 23262 21506 0 -1 1077944384 2545 0 0 0 28 6 0 0 20 0 19 0 445762312 15787429888 757696 33554432000 4194304 4196468 140726256064528 139950074809232 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23269] ppid=23262 vsize=15417412 memory=11396 CPUtime=0.35 cores=1,3,5,7
/proc/23264/task/23269/stat : 23269 (java) S 23262 23262 21506 0 -1 1077944384 1575 0 0 0 30 5 0 0 20 0 19 0 445762312 15787429888 757696 33554432000 4194304 4196468 140726256064528 139950073756432 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23270] ppid=23262 vsize=15417412 memory=512 CPUtime=0.06 cores=1,3,5,7
/proc/23264/task/23270/stat : 23270 (java) S 23262 23262 21506 0 -1 1077944384 4315 0 0 0 4 2 0 0 20 0 19 0 445762314 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949953198448 139950484724354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23271] ppid=23262 vsize=15417412 memory=904 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23271/stat : 23271 (java) S 23262 23262 21506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445762314 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949952144416 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23272] ppid=23262 vsize=15417412 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23272/stat : 23272 (java) S 23262 23262 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445762314 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949951091568 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23273] ppid=23262 vsize=15417412 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23273/stat : 23273 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762317 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949950039888 139950484731803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23274] ppid=23262 vsize=15417412 memory=1764 CPUtime=2.26 cores=1,3,5,7
/proc/23264/task/23274/stat : 23274 (java) S 23262 23262 21506 0 -1 1077944384 11811 0 0 0 225 1 0 0 20 0 19 0 445762317 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949948988272 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23275] ppid=23262 vsize=15417412 memory=111632 CPUtime=1.98 cores=1,3,5,7
/proc/23264/task/23275/stat : 23275 (java) S 23262 23262 21506 0 -1 1077944384 7314 0 0 0 198 0 0 0 20 0 19 0 445762317 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949947935472 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23276] ppid=23262 vsize=15417412 memory=804 CPUtime=0.76 cores=1,3,5,7
/proc/23264/task/23276/stat : 23276 (java) S 23262 23262 21506 0 -1 1077944384 7070 0 0 0 74 2 0 0 20 0 19 0 445762317 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949946882672 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23277] ppid=23262 vsize=15417412 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/23264/task/23277/stat : 23277 (java) S 23262 23262 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445762317 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949945830112 139950484723413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23278] ppid=23262 vsize=15417412 memory=1804 CPUtime=0.31 cores=1,3,5,7
/proc/23264/task/23278/stat : 23278 (java) S 23262 23262 21506 0 -1 1077944384 608 0 0 0 0 31 0 0 20 0 19 0 445762317 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949944777392 139950484724354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23281] ppid=23262 vsize=15417412 memory=920 CPUtime=624.57 cores=1,3,5,7
/proc/23264/task/23281/stat : 23281 (java) R 23262 23262 21506 0 -1 4202560 2358 0 0 0 62456 1 0 0 20 0 19 0 445762410 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949935557496 139950123379060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23282] ppid=23262 vsize=15417412 memory=3848 CPUtime=629.05 cores=1,3,5,7
/proc/23264/task/23282/stat : 23282 (java) R 23262 23262 21506 0 -1 4202560 30780 0 0 0 62846 59 0 0 20 0 19 0 445762411 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949934505816 139950125131611 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23283] ppid=23262 vsize=15417412 memory=2592 CPUtime=629.48 cores=1,3,5,7
/proc/23264/task/23283/stat : 23283 (java) R 23262 23262 21506 0 -1 4202560 2102 0 0 0 62946 2 0 0 20 0 19 0 445762411 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949933452864 139950124267209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
[pid=23264/tid=23284] ppid=23262 vsize=15417412 memory=2656 CPUtime=629.35 cores=1,3,5,7
/proc/23264/task/23284/stat : 23284 (java) R 23262 23262 21506 0 -1 4202560 5569 0 0 0 62933 2 0 0 20 0 19 0 445762411 15787429888 757696 33554432000 4194304 4196468 140726256064528 139949932403952 139950124162347 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140726256067567 140726256067738 140726256067738 140726256070607 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3032232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.835 s]
# the end of solver process 23262 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002454 s, system=0 s
[startup+633.885 s]
# the end of solver process 23264 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.51 s, system=1.01883 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 633.885
CPU time (s): 2520.53
CPU user time (s): 2519.51
CPU system time (s): 1.01883
CPU usage (%): 397.632
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 3443040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 1.01883
maximum resident set size= 3443640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17125
involuntary context switches= 44337
# summary of solver processes directly reported to runsolver:
# pid: 23262,23264
# total CPU time (s): 2520.53
# total CPU user time (s): 2519.51
# total CPU system time (s): 1.01883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10227 second user time and 7.93242 second system time
The end