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 (10793 MiB free)
memory of node 1: 16384 MiB (10259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403618-1568991607/watcher-4403618-1568991607 -o /var/tmp/evaluation-result-4403618-1568991607/solver-4403618-1568991607 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 211888982 HOME/instance-4403618-1568991607.xml
running on 4 cores: 0,2,4,6
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=29324, runsolver pid=29321
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 8.00 8.53 8.31 7/233 29340
/proc/meminfo: memFree=21542312/32770624 swapFree=67002248/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
[pid=29326] ppid=29324 vsize=15144776 memory=29376 CPUtime=0.12 cores=0,2,4,6
/proc/29326/stat : 29326 (java) S 29324 29324 25111 0 -1 1077944320 5782 0 0 0 11 1 0 0 20 0 15 0 475409346 15508250624 7344 33554432000 4194304 4196468 140729671807216 140729671789760 140333242748663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
/proc/29326/statm: 3786194 7344 3147 1 0 3748377 0
[pid=29326/tid=29327] ppid=29324 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29326/task/29327/stat : 29327 (java) R 29324 29324 25111 0 -1 4202560 3703 0 0 0 8 1 0 0 20 0 15 0 475409347 15508250624 7410 33554432000 4194304 4196468 140729671807216 140333246976688 140333242770589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29328] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29328/stat : 29328 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 7410 33554432000 4194304 4196468 140729671807216 140333170788752 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29329] ppid=29324 vsize=15144776 memory=140546724771456 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29329/stat : 29329 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 7410 33554432000 4194304 4196468 140729671807216 140333169735952 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29330] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29330/stat : 29330 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 7410 33554432000 4194304 4196468 140729671807216 140333168683664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29331] ppid=29324 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29331/stat : 29331 (java) S 29324 29324 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 7410 33554432000 4194304 4196468 140729671807216 140333167630864 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29332] ppid=29324 vsize=15144776 memory=140546724771456 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29332/stat : 29332 (java) S 29324 29324 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409349 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332711299696 140333242759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29333] ppid=29324 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29333/stat : 29333 (java) S 29324 29324 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409349 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332710245664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29334] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29334/stat : 29334 (java) S 29324 29324 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409350 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332709193328 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29335] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29335/stat : 29335 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332708141648 140333242767259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29336] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29336/stat : 29336 (java) R 29324 29324 25111 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332707088592 140333242758869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29337] ppid=29324 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29337/stat : 29337 (java) R 29324 29324 25111 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332706027200 140333220610240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29338] ppid=29324 vsize=15144776 memory=140546724771456 CPUtime=0.02 cores=0,2,4,6
/proc/29326/task/29338/stat : 29338 (java) R 29324 29324 25111 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 475409352 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332704980424 140333222715782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29339] ppid=29324 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29339/stat : 29339 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332703930848 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29340] ppid=29324 vsize=15144776 memory=140546724771456 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 7410 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30832 KiB
[startup+0.213929 s]*
/proc/loadavg: 8.00 8.53 8.31 8/233 29340
/proc/meminfo: memFree=21529104/32770624 swapFree=67002248/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
[pid=29326] ppid=29324 vsize=15144776 memory=40416 CPUtime=0.35 cores=0,2,4,6
/proc/29326/stat : 29326 (java) S 29324 29324 25111 0 -1 1077944320 9362 0 0 0 32 3 0 0 20 0 15 0 475409346 15508250624 10104 33554432000 4194304 4196468 140729671807216 140729671789760 140333242748663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
/proc/29326/statm: 3786194 10104 3303 1 0 3748377 0
[pid=29326/tid=29327] ppid=29324 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29326/task/29327/stat : 29327 (java) R 29324 29324 25111 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 475409347 15508250624 10104 33554432000 4194304 4196468 140729671807216 140333246986480 140333226829150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29328] ppid=29324 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29328/stat : 29328 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 10104 33554432000 4194304 4196468 140729671807216 140333170788752 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29329] ppid=29324 vsize=15144776 memory=140546728299233 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29329/stat : 29329 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 10104 33554432000 4194304 4196468 140729671807216 140333169735952 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29330] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29330/stat : 29330 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 10104 33554432000 4194304 4196468 140729671807216 140333168683664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29331] ppid=29324 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29331/stat : 29331 (java) S 29324 29324 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409347 15508250624 10104 33554432000 4194304 4196468 140729671807216 140333167630864 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29332] ppid=29324 vsize=15144776 memory=140546724771456 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29332/stat : 29332 (java) S 29324 29324 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409349 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332711299696 140333242759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29333] ppid=29324 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29333/stat : 29333 (java) S 29324 29324 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409349 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332710245664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29334] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29334/stat : 29334 (java) S 29324 29324 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409350 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332709193328 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29335] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29335/stat : 29335 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332708141648 140333242767259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29336] ppid=29324 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29326/task/29336/stat : 29336 (java) S 29324 29324 25111 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 475409352 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332707088496 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29337] ppid=29324 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29326/task/29337/stat : 29337 (java) S 29324 29324 25111 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 475409352 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332706035696 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29338] ppid=29324 vsize=15144776 memory=140546724771456 CPUtime=0.08 cores=0,2,4,6
/proc/29326/task/29338/stat : 29338 (java) R 29324 29324 25111 0 -1 4202560 784 0 0 0 8 0 0 0 20 0 15 0 475409352 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332704983408 140333242770010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29339] ppid=29324 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29339/stat : 29339 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332703930848 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29340] ppid=29324 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409352 15508250624 10104 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41872 KiB
[startup+0.310639 s]*
/proc/loadavg: 8.00 8.53 8.31 7/233 29340
/proc/meminfo: memFree=21522108/32770624 swapFree=67002248/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
[pid=29326] ppid=29324 vsize=15149032 memory=49456 CPUtime=0.52 cores=0,2,4,6
/proc/29326/stat : 29326 (java) S 29324 29324 25111 0 -1 1077944320 10674 0 0 0 48 4 0 0 20 0 15 0 475409346 15512608768 12364 33554432000 4194304 4196468 140729671807216 140729671789760 140333242748663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
/proc/29326/statm: 3787258 12364 3338 1 0 3748377 0
[pid=29326/tid=29327] ppid=29324 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/29326/task/29327/stat : 29327 (java) R 29324 29324 25111 0 -1 4202560 7741 0 0 0 27 3 0 0 20 0 15 0 475409347 15512608768 12364 33554432000 4194304 4196468 140729671807216 140333246979776 140333226829150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29328] ppid=29324 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29328/stat : 29328 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15512608768 12364 33554432000 4194304 4196468 140729671807216 140333170788752 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29329] ppid=29324 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29329/stat : 29329 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15512608768 12364 33554432000 4194304 4196468 140729671807216 140333169735952 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29330] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29330/stat : 29330 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409347 15512608768 12364 33554432000 4194304 4196468 140729671807216 140333168683664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29331] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29331/stat : 29331 (java) S 29324 29324 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409347 15512608768 12364 33554432000 4194304 4196468 140729671807216 140333167630864 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29332] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29332/stat : 29332 (java) S 29324 29324 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409349 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332711299696 140333242759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29333] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29333/stat : 29333 (java) S 29324 29324 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409349 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332710245664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29334] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29334/stat : 29334 (java) S 29324 29324 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409350 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332709193328 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29335] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29335/stat : 29335 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409352 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332708141648 140333242767259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29336] ppid=29324 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29326/task/29336/stat : 29336 (java) S 29324 29324 25111 0 -1 1077944384 509 0 0 0 4 0 0 0 20 0 15 0 475409352 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332707088496 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29337] ppid=29324 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29326/task/29337/stat : 29337 (java) S 29324 29324 25111 0 -1 1077944384 173 0 0 0 3 0 0 0 20 0 15 0 475409352 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332706035696 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29338] ppid=29324 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29326/task/29338/stat : 29338 (java) S 29324 29324 25111 0 -1 1077944384 944 0 0 0 13 0 0 0 20 0 15 0 475409352 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332704983408 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29339] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29339/stat : 29339 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409352 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332703930848 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29340] ppid=29324 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409352 15512608768 12364 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50912 KiB
[startup+0.701129 s]
/proc/loadavg: 8.00 8.53 8.31 10/233 29340
/proc/meminfo: memFree=21508400/32770624 swapFree=67002248/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
[pid=29326] ppid=29324 vsize=15417412 memory=80268 CPUtime=1.61 cores=0,2,4,6
/proc/29326/stat : 29326 (java) S 29324 29324 25111 0 -1 1077944320 14969 0 0 0 155 6 0 0 20 0 19 0 475409346 15787429888 20067 33554432000 4194304 4196468 140729671807216 140729671789760 140333242748663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
/proc/29326/statm: 3854353 20067 3476 1 0 3815453 0
[pid=29326/tid=29327] ppid=29324 vsize=15417412 memory=29924 CPUtime=0.56 cores=0,2,4,6
/proc/29326/task/29327/stat : 29327 (java) S 29324 29324 25111 0 -1 1077944384 9071 0 0 0 52 4 0 0 20 0 19 0 475409347 15787429888 20067 33554432000 4194304 4196468 140729671807216 140333246989440 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29328] ppid=29324 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29328/stat : 29328 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409347 15787429888 20067 33554432000 4194304 4196468 140729671807216 140333170788752 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29329] ppid=29324 vsize=15417412 memory=500 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29329/stat : 29329 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409347 15787429888 20067 33554432000 4194304 4196468 140729671807216 140333169735952 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29330] ppid=29324 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29330/stat : 29330 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409347 15787429888 20067 33554432000 4194304 4196468 140729671807216 140333168683664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29331] ppid=29324 vsize=15417412 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29331/stat : 29331 (java) S 29324 29324 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475409347 15787429888 20067 33554432000 4194304 4196468 140729671807216 140333167630864 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29332] ppid=29324 vsize=15417412 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29332/stat : 29332 (java) S 29324 29324 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475409349 15787429888 20067 33554432000 4194304 4196468 140729671807216 140332711299696 140333242759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29333] ppid=29324 vsize=15417412 memory=804 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29333/stat : 29333 (java) S 29324 29324 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475409349 15787429888 20067 33554432000 4194304 4196468 140729671807216 140332710245664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29334] ppid=29324 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29334/stat : 29334 (java) S 29324 29324 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475409350 15787429888 20067 33554432000 4194304 4196468 140729671807216 140332709193328 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29335] ppid=29324 vsize=15417412 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29335/stat : 29335 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 20067 33554432000 4194304 4196468 140729671807216 140332708141648 140333242767259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29336] ppid=29324 vsize=15417412 memory=2676 CPUtime=0.2 cores=0,2,4,6
/proc/29326/task/29336/stat : 29336 (java) R 29324 29324 25111 0 -1 4202560 1541 0 0 0 20 0 0 0 20 0 19 0 475409352 15787429888 20067 33554432000 4194304 4196468 140729671807216 140332707069096 140333226232148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29337] ppid=29324 vsize=15417412 memory=1764 CPUtime=0.2 cores=0,2,4,6
/proc/29326/task/29337/stat : 29337 (java) R 29324 29324 25111 0 -1 1077944384 778 0 0 0 20 0 0 0 20 0 19 0 475409352 15787429888 20067 33554432000 4194304 4196468 140729671807216 140332706022544 140333242758869 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29338] ppid=29324 vsize=15417412 memory=111632 CPUtime=0.37 cores=0,2,4,6
/proc/29326/task/29338/stat : 29338 (java) R 29324 29324 25111 0 -1 4202560 2071 0 0 0 37 0 0 0 20 0 19 0 475409352 15787429888 20070 33554432000 4194304 4196468 140729671807216 140332704980216 140333226792293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29339] ppid=29324 vsize=15417412 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29339/stat : 29339 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 20070 33554432000 4194304 4196468 140729671807216 140332703930848 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29340] ppid=29324 vsize=15417412 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 20070 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 81724 KiB
[startup+1.50673 s]
/proc/loadavg: 8.00 8.53 8.31 12/237 29344
/proc/meminfo: memFree=21452868/32770624 swapFree=67002248/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1243 0 0 0 10 5 0 0 20 0 19 0 475409352 15787429888 334798 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29341] ppid=29324 vsize=15417412 memory=1556 CPUtime=499.24 cores=0,2,4,6
/proc/29326/task/29341/stat : 29341 (java) R 29324 29324 25111 0 -1 4202560 1712 0 0 0 49920 4 0 0 20 0 19 0 475409406 15787429888 334798 33554432000 4194304 4196468 140729671807216 140332693659368 140332843645737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29342] ppid=29324 vsize=15417412 memory=500 CPUtime=499.78 cores=0,2,4,6
/proc/29326/task/29342/stat : 29342 (java) R 29324 29324 25111 0 -1 4202560 5281 0 0 0 49973 5 0 0 20 0 19 0 475409406 15787429888 334798 33554432000 4194304 4196468 140729671807216 140332692607328 140332844141249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29343] ppid=29324 vsize=15417412 memory=932 CPUtime=499.43 cores=0,2,4,6
/proc/29326/task/29343/stat : 29343 (java) R 29324 29324 25111 0 -1 4202560 2119 0 0 0 49939 4 0 0 20 0 19 0 475409406 15787429888 334798 33554432000 4194304 4196468 140729671807216 140332691554888 140332844647959 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29344] ppid=29324 vsize=15417412 memory=1776 CPUtime=498.69 cores=0,2,4,6
/proc/29326/task/29344/stat : 29344 (java) R 29324 29324 25111 0 -1 4202560 29137 0 0 0 49851 18 0 0 20 0 19 0 475409406 15787429888 334798 33554432000 4194304 4196468 140729671807216 140332690504192 140332845494014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 2017.95 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1340648 KiB
[startup+509.609 s]
/proc/loadavg: 8.29 8.61 8.47 9/237 29494
/proc/meminfo: memFree=19746140/32770624 swapFree=67002252/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
[pid=29326] ppid=29324 vsize=15417412 memory=1339188 CPUtime=2021.16 cores=0,2,4,6
/proc/29326/stat : 29326 (java) S 29324 29324 25111 0 -1 1077944320 108537 0 0 0 201911 205 0 0 20 0 19 0 475409346 15787429888 334797 33554432000 4194304 4196468 140729671807216 140729671789760 140333242748663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
/proc/29326/statm: 3854353 334797 3542 1 0 3815453 0
[pid=29326/tid=29327] ppid=29324 vsize=15417412 memory=1416 CPUtime=0.56 cores=0,2,4,6
/proc/29326/task/29327/stat : 29327 (java) S 29324 29324 25111 0 -1 1077944384 9071 0 0 0 52 4 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333246989440 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29328] ppid=29324 vsize=15417412 memory=776 CPUtime=3.31 cores=0,2,4,6
/proc/29326/task/29328/stat : 29328 (java) S 29324 29324 25111 0 -1 1077944384 4582 0 0 0 310 21 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333170788752 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29329] ppid=29324 vsize=15417412 memory=3540 CPUtime=3.32 cores=0,2,4,6
/proc/29326/task/29329/stat : 29329 (java) S 29324 29324 25111 0 -1 1077944384 3592 0 0 0 311 21 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333169735952 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29330] ppid=29324 vsize=15417412 memory=1220 CPUtime=3.32 cores=0,2,4,6
/proc/29326/task/29330/stat : 29330 (java) S 29324 29324 25111 0 -1 1077944384 4478 0 0 0 311 21 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333168683664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29331] ppid=29324 vsize=15417412 memory=10600 CPUtime=3.3 cores=0,2,4,6
/proc/29326/task/29331/stat : 29331 (java) S 29324 29324 25111 0 -1 1077944384 2657 0 0 0 310 20 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333167630864 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29332] ppid=29324 vsize=15417412 memory=1736 CPUtime=1.71 cores=0,2,4,6
/proc/29326/task/29332/stat : 29332 (java) S 29324 29324 25111 0 -1 1077944384 14590 0 0 0 83 88 0 0 20 0 19 0 475409349 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332711299696 140333242759810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29333] ppid=29324 vsize=15417412 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29333/stat : 29333 (java) S 29324 29324 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475409349 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332710245728 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29334] ppid=29324 vsize=15417412 memory=636 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29334/stat : 29334 (java) S 29324 29324 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475409350 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332709193344 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29335] ppid=29324 vsize=15417412 memory=2836 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29335/stat : 29335 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332708141648 140333242767259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29336] ppid=29324 vsize=15417412 memory=1056 CPUtime=2.26 cores=0,2,4,6
/proc/29326/task/29336/stat : 29336 (java) S 29324 29324 25111 0 -1 1077944384 12707 0 0 0 225 1 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332707088496 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29337] ppid=29324 vsize=15417412 memory=1568 CPUtime=2.2 cores=0,2,4,6
/proc/29326/task/29337/stat : 29337 (java) S 29324 29324 25111 0 -1 1077944384 11251 0 0 0 220 0 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332706035696 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29338] ppid=29324 vsize=15417412 memory=932 CPUtime=0.57 cores=0,2,4,6
/proc/29326/task/29338/stat : 29338 (java) S 29324 29324 25111 0 -1 1077944384 4767 0 0 0 56 1 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332704983408 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29339] ppid=29324 vsize=15417412 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29339/stat : 29339 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332703930848 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29340] ppid=29324 vsize=15417412 memory=1656 CPUtime=0.2 cores=0,2,4,6
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1243 0 0 0 15 5 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29341] ppid=29324 vsize=15417412 memory=804 CPUtime=500.02 cores=0,2,4,6
/proc/29326/task/29341/stat : 29341 (java) R 29324 29324 25111 0 -1 4202560 1722 0 0 0 49998 4 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332693659232 140332842921736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29342] ppid=29324 vsize=15417412 memory=1448 CPUtime=500.58 cores=0,2,4,6
/proc/29326/task/29342/stat : 29342 (java) R 29324 29324 25111 0 -1 4202560 5294 0 0 0 50053 5 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332692607984 140332843643989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29343] ppid=29324 vsize=15417412 memory=1980 CPUtime=500.23 cores=0,2,4,6
/proc/29326/task/29343/stat : 29343 (java) R 29324 29324 25111 0 -1 4202560 2135 0 0 0 50019 4 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332691555264 140332843646969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29344] ppid=29324 vsize=15417412 memory=2676 CPUtime=499.49 cores=0,2,4,6
/proc/29326/task/29344/stat : 29344 (java) R 29324 29324 25111 0 -1 4202560 29148 0 0 0 49931 18 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332690504192 140332845495305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 2021.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1340644 KiB
[startup+510.002 s]*
/proc/loadavg: 8.29 8.61 8.47 9/237 29494
/proc/meminfo: memFree=19747676/32770624 swapFree=67002252/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
[pid=29326] ppid=29324 vsize=15417412 memory=1339188 CPUtime=2022.75 cores=0,2,4,6
/proc/29326/stat : 29326 (java) S 29324 29324 25111 0 -1 1077944320 108545 0 0 0 202070 205 0 0 20 0 19 0 475409346 15787429888 334797 33554432000 4194304 4196468 140729671807216 140729671789760 140333242748663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
/proc/29326/statm: 3854353 334797 3542 1 0 3815453 0
[pid=29326/tid=29327] ppid=29324 vsize=15417412 memory=6791534058613427641 CPUtime=0.56 cores=0,2,4,6
/proc/29326/task/29327/stat : 29327 (java) S 29324 29324 25111 0 -1 1077944384 9071 0 0 0 52 4 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333246989440 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29328] ppid=29324 vsize=15417412 memory=804 CPUtime=3.31 cores=0,2,4,6
/proc/29326/task/29328/stat : 29328 (java) S 29324 29324 25111 0 -1 1077944384 4582 0 0 0 310 21 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333170788752 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29329] ppid=29324 vsize=15417412 memory=1448 CPUtime=3.32 cores=0,2,4,6
/proc/29326/task/29329/stat : 29329 (java) S 29324 29324 25111 0 -1 1077944384 3592 0 0 0 311 21 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333169735952 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29330] ppid=29324 vsize=15417412 memory=1456 CPUtime=3.32 cores=0,2,4,6
/proc/29326/task/29330/stat : 29330 (java) S 29324 29324 25111 0 -1 1077944384 4478 0 0 0 311 21 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333168683664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29331] ppid=29324 vsize=15417412 memory=1456 CPUtime=3.3 cores=0,2,4,6
/proc/29326/task/29331/stat : 29331 (java) S 29324 29324 25111 0 -1 1077944384 2657 0 0 0 310 20 0 0 20 0 19 0 475409347 15787429888 334797 33554432000 4194304 4196468 140729671807216 140333167630864 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29332] ppid=29324 vsize=15417412 memory=6791534058613427641 CPUtime=1.71 cores=0,2,4,6
/proc/29326/task/29332/stat : 29332 (java) S 29324 29324 25111 0 -1 1077944384 14590 0 0 0 83 88 0 0 20 0 19 0 475409349 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332711299696 140333242759810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29333] ppid=29324 vsize=15417412 memory=297237821058711863 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29333/stat : 29333 (java) S 29324 29324 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475409349 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332710245728 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29334] ppid=29324 vsize=15417412 memory=14689690934577713 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29334/stat : 29334 (java) S 29324 29324 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475409350 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332709193344 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29335] ppid=29324 vsize=15417412 memory=5859271421085237344 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29335/stat : 29335 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332708141648 140333242767259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29336] ppid=29324 vsize=15417412 memory=5859271421085237344 CPUtime=2.26 cores=0,2,4,6
/proc/29326/task/29336/stat : 29336 (java) S 29324 29324 25111 0 -1 1077944384 12707 0 0 0 225 1 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332707088496 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29337] ppid=29324 vsize=15417412 memory=7588935152971047488 CPUtime=2.2 cores=0,2,4,6
/proc/29326/task/29337/stat : 29337 (java) S 29324 29324 25111 0 -1 1077944384 11251 0 0 0 220 0 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332706035696 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29338] ppid=29324 vsize=15417412 memory=7445121162629112128 CPUtime=0.57 cores=0,2,4,6
/proc/29326/task/29338/stat : 29338 (java) S 29324 29324 25111 0 -1 1077944384 4767 0 0 0 56 1 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332704983408 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29339] ppid=29324 vsize=15417412 memory=7084833192439472192 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29339/stat : 29339 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332703930848 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29340] ppid=29324 vsize=15417412 memory=5859297830837964880 CPUtime=0.2 cores=0,2,4,6
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1243 0 0 0 15 5 0 0 20 0 19 0 475409352 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29341] ppid=29324 vsize=15417412 memory=0 CPUtime=500.42 cores=0,2,4,6
/proc/29326/task/29341/stat : 29341 (java) R 29324 29324 25111 0 -1 4202560 1725 0 0 0 50038 4 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332693659368 140332842921394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29342] ppid=29324 vsize=15417412 memory=6944656592455360604 CPUtime=500.98 cores=0,2,4,6
/proc/29326/task/29342/stat : 29342 (java) R 29324 29324 25111 0 -1 4202560 5298 0 0 0 50093 5 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332692607984 140332843639122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29343] ppid=29324 vsize=15417412 memory=6944656592455097440 CPUtime=500.63 cores=0,2,4,6
/proc/29326/task/29343/stat : 29343 (java) R 29324 29324 25111 0 -1 4202560 2136 0 0 0 50059 4 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332691555152 140332843646657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29344] ppid=29324 vsize=15417412 memory=6944656592455359580 CPUtime=499.88 cores=0,2,4,6
/proc/29326/task/29344/stat : 29344 (java) R 29324 29324 25111 0 -1 4202560 29148 0 0 0 49970 18 0 0 20 0 19 0 475409406 15787429888 334797 33554432000 4194304 4196468 140729671807216 140332690504192 140332845495547 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 2022.75 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1340644 KiB
[startup+510.402 s]
/proc/loadavg: 8.29 8.61 8.47 9/237 29494
/proc/meminfo: memFree=19747676/32770624 swapFree=67002252/67108860
[pid=29324] ppid=29321 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29324/stat : 29324 (xcsp3-exec) S 29321 29324 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475409346 115843072 364 33554432000 4194304 5098028 140730881168528 140730881166632 140198518186620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21889024 140730881172311 140730881172569 140730881172569 140730881175494 0
/proc/29324/statm: 28282 364 305 221 0 87 0
[pid=29326] ppid=29324 vsize=15417412 memory=1340736 CPUtime=2024.25 cores=0,2,4,6
/proc/29326/stat : 29326 (java) S 29324 29324 25111 0 -1 1077944320 109945 0 0 0 202219 206 0 0 20 0 19 0 475409346 15787429888 335184 33554432000 4194304 4196468 140729671807216 140729671789760 140333242748663 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
/proc/29326/statm: 3854353 335184 3542 1 0 3815453 0
[pid=29326/tid=29327] ppid=29324 vsize=15417412 memory=2024 CPUtime=0.56 cores=0,2,4,6
/proc/29326/task/29327/stat : 29327 (java) S 29324 29324 25111 0 -1 1077944384 9071 0 0 0 52 4 0 0 20 0 19 0 475409347 15787429888 335184 33554432000 4194304 4196468 140729671807216 140333246989440 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29328] ppid=29324 vsize=15417412 memory=1416 CPUtime=3.31 cores=0,2,4,6
/proc/29326/task/29328/stat : 29328 (java) S 29324 29324 25111 0 -1 1077944384 4583 0 0 0 310 21 0 0 20 0 19 0 475409347 15787429888 335184 33554432000 4194304 4196468 140729671807216 140333170788752 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29329] ppid=29324 vsize=15417412 memory=776 CPUtime=3.32 cores=0,2,4,6
/proc/29326/task/29329/stat : 29329 (java) S 29324 29324 25111 0 -1 1077944384 3593 0 0 0 311 21 0 0 20 0 19 0 475409347 15787429888 335184 33554432000 4194304 4196468 140729671807216 140333169735952 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29330] ppid=29324 vsize=15417412 memory=3540 CPUtime=3.33 cores=0,2,4,6
/proc/29326/task/29330/stat : 29330 (java) S 29324 29324 25111 0 -1 1077944384 4480 0 0 0 312 21 0 0 20 0 19 0 475409347 15787429888 335184 33554432000 4194304 4196468 140729671807216 140333168683664 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29331] ppid=29324 vsize=15417412 memory=1056 CPUtime=3.32 cores=0,2,4,6
/proc/29326/task/29331/stat : 29331 (java) S 29324 29324 25111 0 -1 1077944384 2658 0 0 0 311 21 0 0 20 0 19 0 475409347 15787429888 335184 33554432000 4194304 4196468 140729671807216 140333167630864 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29332] ppid=29324 vsize=15417412 memory=1568 CPUtime=1.71 cores=0,2,4,6
/proc/29326/task/29332/stat : 29332 (java) S 29324 29324 25111 0 -1 1077944384 14590 0 0 0 83 88 0 0 20 0 19 0 475409349 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332711299696 140333242759810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29333] ppid=29324 vsize=15417412 memory=1048 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29333/stat : 29333 (java) S 29324 29324 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475409349 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332710245728 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29334] ppid=29324 vsize=15417412 memory=13976 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29334/stat : 29334 (java) S 29324 29324 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475409350 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332709193344 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29335] ppid=29324 vsize=15417412 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29335/stat : 29335 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332708141648 140333242767259 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29336] ppid=29324 vsize=15417412 memory=2120 CPUtime=2.26 cores=0,2,4,6
/proc/29326/task/29336/stat : 29336 (java) S 29324 29324 25111 0 -1 1077944384 12707 0 0 0 225 1 0 0 20 0 19 0 475409352 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332707088496 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29337] ppid=29324 vsize=15417412 memory=1220 CPUtime=2.2 cores=0,2,4,6
/proc/29326/task/29337/stat : 29337 (java) S 29324 29324 25111 0 -1 1077944384 11990 0 0 0 220 0 0 0 20 0 19 0 475409352 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332706035696 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29338] ppid=29324 vsize=15417412 memory=10600 CPUtime=0.58 cores=0,2,4,6
/proc/29326/task/29338/stat : 29338 (java) S 29324 29324 25111 0 -1 1077944384 5053 0 0 0 57 1 0 0 20 0 19 0 475409352 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332704983408 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29339] ppid=29324 vsize=15417412 memory=1736 CPUtime=0 cores=0,2,4,6
/proc/29326/task/29339/stat : 29339 (java) S 29324 29324 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409352 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332703930848 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29340] ppid=29324 vsize=15417412 memory=6064 CPUtime=0.2 cores=0,2,4,6
/proc/29326/task/29340/stat : 29340 (java) S 29324 29324 25111 0 -1 1077944384 1243 0 0 0 15 5 0 0 20 0 19 0 475409352 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332702878640 140333242759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29341] ppid=29324 vsize=15417412 memory=636 CPUtime=500.79 cores=0,2,4,6
/proc/29326/task/29341/stat : 29341 (java) S 29324 29324 25111 0 -1 1077944384 1758 0 0 0 50075 4 0 0 20 0 19 0 475409406 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332693663552 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29342] ppid=29324 vsize=15417412 memory=2836 CPUtime=501.35 cores=0,2,4,6
/proc/29326/task/29342/stat : 29342 (java) S 29324 29324 25111 0 -1 1077944384 5573 0 0 0 50130 5 0 0 20 0 19 0 475409406 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332692612688 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29343] ppid=29324 vsize=15417412 memory=29940 CPUtime=500.99 cores=0,2,4,6
/proc/29326/task/29343/stat : 29343 (java) S 29324 29324 25111 0 -1 1077944384 2166 0 0 0 50095 4 0 0 20 0 19 0 475409406 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332691559888 140333242758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
[pid=29326/tid=29344] ppid=29324 vsize=15417412 memory=1556 CPUtime=500.26 cores=0,2,4,6
/proc/29326/task/29344/stat : 29344 (java) R 29324 29324 25111 0 -1 4202560 29180 0 0 0 50008 18 0 0 20 0 19 0 475409406 15787429888 335184 33554432000 4194304 4196468 140729671807216 140332690504208 140332845495449 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38658048 140729671812059 140729671812234 140729671812234 140729671815119 0
Current children cumulated CPU time: 2024.25 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1342192 KiB
Child status: 0
Real time (s): 510.446
CPU time (s): 2024.3
CPU user time (s): 2022.22
CPU system time (s): 2.08047
CPU usage (%): 396.575
Max. virtual memory (cumulated for all children) (KiB): 15534516
Max. memory (cumulated for all children) (KiB): 1344676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2022.22
system time used= 2.08047
maximum resident set size= 1344740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31891
involuntary context switches= 43949
# summary of solver processes directly reported to runsolver:
# pid: 29324
# total CPU time (s): 2024.3
# total CPU user time (s): 2022.22
# total CPU system time (s): 2.08047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.23696 second user time and 5.71268 second system time
The end