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 (4680 MiB free)
memory of node 1: 16384 MiB (5051 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404096-1568991455/watcher-4404096-1568991455 -o /tmp/evaluation-result-4404096-1568991455/solver-4404096-1568991455 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568991261-14403 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 485203431 HOME/instance-4404096-1568991455.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15523, runsolver pid=15520
[startup+0.100058 s]*
/proc/loadavg: 7.53 3.51 2.06 9/233 15539
/proc/meminfo: memFree=9949028/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
[pid=15525] ppid=15523 vsize=15144776 memory=29644 CPUtime=0.13 cores=1,3,5,7
/proc/15525/stat : 15525 (java) S 15523 15523 14371 0 -1 1077944320 5839 0 0 0 12 1 0 0 20 0 15 0 475398556 15508250624 7411 33554432000 4194304 4196468 140734753916208 140734753898752 139645510135543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
/proc/15525/statm: 3786194 7411 3156 1 0 3748377 0
[pid=15525/tid=15526] ppid=15523 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/15525/task/15526/stat : 15526 (java) R 15523 15523 14371 0 -1 4202560 3739 0 0 0 9 0 0 0 20 0 15 0 475398557 15508250624 7411 33554432000 4194304 4196468 140734753916208 139645514368432 139645107333728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15527] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15527/stat : 15527 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 7411 33554432000 4194304 4196468 140734753916208 139645438175760 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15528] ppid=15523 vsize=15144776 memory=3616588038591215264 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15528/stat : 15528 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 7411 33554432000 4194304 4196468 140734753916208 139645437123216 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15529] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15529/stat : 15529 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 7411 33554432000 4194304 4196468 140734753916208 139645436070160 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15530] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15530/stat : 15530 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 7411 33554432000 4194304 4196468 140734753916208 139645435017616 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15531] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15531/stat : 15531 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398559 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644978608880 139645510146690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15532] ppid=15523 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15532/stat : 15532 (java) S 15523 15523 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475398559 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644977555104 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15533] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15533/stat : 15533 (java) S 15523 15523 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475398559 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644976502000 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15534] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15534/stat : 15534 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644975450576 139645510154139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15535] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15535/stat : 15535 (java) R 15523 15523 14371 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644974397680 139645510146690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15536] ppid=15523 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15536/stat : 15536 (java) S 15523 15523 14371 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644973345136 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15537] ppid=15523 vsize=15144776 memory=140139047417472 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15537/stat : 15537 (java) R 15523 15523 14371 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 475398562 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644972292080 139645510156890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15538] ppid=15523 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15538/stat : 15538 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644971239776 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15539] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 7411 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31096 KiB
[startup+0.210777 s]*
/proc/loadavg: 7.53 3.51 2.06 8/233 15539
/proc/meminfo: memFree=9936520/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
[pid=15525] ppid=15523 vsize=15144776 memory=40776 CPUtime=0.34 cores=1,3,5,7
/proc/15525/stat : 15525 (java) S 15523 15523 14371 0 -1 1077944320 9460 0 0 0 31 3 0 0 20 0 15 0 475398556 15508250624 10194 33554432000 4194304 4196468 140734753916208 140734753898752 139645510135543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
/proc/15525/statm: 3786194 10194 3255 1 0 3748377 0
[pid=15525/tid=15526] ppid=15523 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15525/task/15526/stat : 15526 (java) R 15523 15523 14371 0 -1 4202560 6649 0 0 0 18 2 0 0 20 0 15 0 475398557 15508250624 10194 33554432000 4194304 4196468 140734753916208 139645514368272 139645494216060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15527] ppid=15523 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15527/stat : 15527 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 10194 33554432000 4194304 4196468 140734753916208 139645438175760 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15528] ppid=15523 vsize=15144776 memory=140139051216519 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15528/stat : 15528 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 10194 33554432000 4194304 4196468 140734753916208 139645437123216 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15529] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15529/stat : 15529 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 10194 33554432000 4194304 4196468 140734753916208 139645436070160 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15530] ppid=15523 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15530/stat : 15530 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15508250624 10194 33554432000 4194304 4196468 140734753916208 139645435017616 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15531] ppid=15523 vsize=15144776 memory=140139047417472 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15531/stat : 15531 (java) S 15523 15523 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475398559 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644978608880 139645510146690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15532] ppid=15523 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15532/stat : 15532 (java) S 15523 15523 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475398559 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644977555104 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15533] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15533/stat : 15533 (java) S 15523 15523 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475398559 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644976502000 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15534] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15534/stat : 15534 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644975450576 139645510154139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15535] ppid=15523 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15535/stat : 15535 (java) S 15523 15523 14371 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 475398562 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644974397680 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15536] ppid=15523 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15525/task/15536/stat : 15536 (java) S 15523 15523 14371 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 475398562 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644973345136 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15537] ppid=15523 vsize=15144776 memory=140139047417472 CPUtime=0.08 cores=1,3,5,7
/proc/15525/task/15537/stat : 15537 (java) S 15523 15523 14371 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 475398562 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644972292080 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15538] ppid=15523 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15538/stat : 15538 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644971239776 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15539] ppid=15523 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475398562 15508250624 10194 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42228 KiB
[startup+0.31054 s]*
/proc/loadavg: 7.53 3.51 2.06 6/233 15539
/proc/meminfo: memFree=9928876/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
[pid=15525] ppid=15523 vsize=15149032 memory=49916 CPUtime=0.51 cores=1,3,5,7
/proc/15525/stat : 15525 (java) S 15523 15523 14371 0 -1 1077944320 10824 0 0 0 47 4 0 0 20 0 15 0 475398556 15512608768 12479 33554432000 4194304 4196468 140734753916208 140734753898752 139645510135543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
/proc/15525/statm: 3787258 12479 3329 1 0 3748377 0
[pid=15525/tid=15526] ppid=15523 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/15525/task/15526/stat : 15526 (java) R 15523 15523 14371 0 -1 4202560 7862 0 0 0 27 3 0 0 20 0 15 0 475398557 15512608768 12479 33554432000 4194304 4196468 140734753916208 139645514369328 139645494216030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15527] ppid=15523 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15527/stat : 15527 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475398557 15512608768 12479 33554432000 4194304 4196468 140734753916208 139645438175760 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15528] ppid=15523 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15528/stat : 15528 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15512608768 12479 33554432000 4194304 4196468 140734753916208 139645437123216 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15529] ppid=15523 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15529/stat : 15529 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15512608768 12479 33554432000 4194304 4196468 140734753916208 139645436070160 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15530] ppid=15523 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15530/stat : 15530 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475398557 15512608768 12479 33554432000 4194304 4196468 140734753916208 139645435017616 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15531] ppid=15523 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15531/stat : 15531 (java) S 15523 15523 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475398559 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644978608880 139645510146690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15532] ppid=15523 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15532/stat : 15532 (java) S 15523 15523 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475398559 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644977555104 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15533] ppid=15523 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15533/stat : 15533 (java) S 15523 15523 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475398559 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644976502000 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15534] ppid=15523 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15534/stat : 15534 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475398562 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644975450576 139645510154139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15535] ppid=15523 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/15525/task/15535/stat : 15535 (java) S 15523 15523 14371 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 15 0 475398562 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644974397680 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15536] ppid=15523 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15525/task/15536/stat : 15536 (java) S 15523 15523 14371 0 -1 1077944384 318 0 0 0 4 0 0 0 20 0 15 0 475398562 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644973345136 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15537] ppid=15523 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15525/task/15537/stat : 15537 (java) S 15523 15523 14371 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 15 0 475398562 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644972292080 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15538] ppid=15523 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15538/stat : 15538 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475398562 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644971239776 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15539] ppid=15523 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475398562 15512608768 12479 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51368 KiB
[startup+0.700859 s]
/proc/loadavg: 7.53 3.51 2.06 8/233 15539
/proc/meminfo: memFree=9911800/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
[pid=15525] ppid=15523 vsize=15417412 memory=93592 CPUtime=1.59 cores=1,3,5,7
/proc/15525/stat : 15525 (java) S 15523 15523 14371 0 -1 1077944320 15547 0 0 0 153 6 0 0 20 0 19 0 475398556 15787429888 23398 33554432000 4194304 4196468 140734753916208 140734753898752 139645510135543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
/proc/15525/statm: 3854353 23398 3453 1 0 3815453 0
[pid=15525/tid=15526] ppid=15523 vsize=15417412 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/15525/task/15526/stat : 15526 (java) S 15523 15523 14371 0 -1 1077944384 9345 0 0 0 58 4 0 0 20 0 19 0 475398557 15787429888 23398 33554432000 4194304 4196468 140734753916208 139645514376320 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15527] ppid=15523 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15527/stat : 15527 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475398557 15787429888 23398 33554432000 4194304 4196468 140734753916208 139645438175760 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15528] ppid=15523 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15528/stat : 15528 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475398557 15787429888 23398 33554432000 4194304 4196468 140734753916208 139645437123216 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15529] ppid=15523 vsize=15417412 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15529/stat : 15529 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475398557 15787429888 23398 33554432000 4194304 4196468 140734753916208 139645436070160 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15530] ppid=15523 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15530/stat : 15530 (java) S 15523 15523 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475398557 15787429888 23398 33554432000 4194304 4196468 140734753916208 139645435017616 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15531] ppid=15523 vsize=15417412 memory=676 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15531/stat : 15531 (java) S 15523 15523 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475398559 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644978608880 139645510146690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15532] ppid=15523 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15532/stat : 15532 (java) S 15523 15523 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475398559 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644977555104 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15533] ppid=15523 vsize=15417412 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15533/stat : 15533 (java) S 15523 15523 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475398559 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644976502000 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15534] ppid=15523 vsize=15417412 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15534/stat : 15534 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644975450576 139645510154139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15535] ppid=15523 vsize=15417412 memory=1712 CPUtime=0.24 cores=1,3,5,7
/proc/15525/task/15535/stat : 15535 (java) R 15523 15523 14371 0 -1 4202560 1185 0 0 0 24 0 0 0 20 0 19 0 475398562 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644974384248 139645495295473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15536] ppid=15523 vsize=15417412 memory=1112 CPUtime=0.19 cores=1,3,5,7
/proc/15525/task/15536/stat : 15536 (java) R 15523 15523 14371 0 -1 1077944384 1183 0 0 0 19 0 0 0 20 0 19 0 475398562 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644973338160 139645510145749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15537] ppid=15523 vsize=15417412 memory=1004 CPUtime=0.39 cores=1,3,5,7
/proc/15525/task/15537/stat : 15537 (java) S 15523 15523 14371 0 -1 1077944384 1858 0 0 0 39 0 0 0 20 0 19 0 475398562 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644972289872 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15538] ppid=15523 vsize=15417412 memory=6064 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15538/stat : 15538 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644971239776 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15539] ppid=15523 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475398562 15787429888 23398 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 95044 KiB
[startup+1.50286 s]
/proc/loadavg: 7.53 3.51 2.06 11/237 15551
/proc/meminfo: memFree=9849448/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 637 0 0 0 0 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15587] ppid=15523 vsize=15552588 memory=1712 CPUtime=22.59 cores=1,3,5,7
/proc/15525/task/15587/stat : 15587 (java) R 15523 15523 14371 0 -1 4202560 284 0 0 0 2259 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644887875672 139645112826953 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15588] ppid=15523 vsize=15552588 memory=1112 CPUtime=22.56 cores=1,3,5,7
/proc/15525/task/15588/stat : 15588 (java) R 15523 15523 14371 0 -1 4202560 1276 0 0 0 2256 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644960153592 139645113223601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15589] ppid=15523 vsize=15552588 memory=6791534058613427641 CPUtime=22.52 cores=1,3,5,7
/proc/15525/task/15589/stat : 15589 (java) R 15523 15523 14371 0 -1 4202560 162 0 0 0 2252 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644888928712 139645114358335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15590] ppid=15523 vsize=15552588 memory=2012 CPUtime=22.36 cores=1,3,5,7
/proc/15525/task/15590/stat : 15590 (java) R 15523 15523 14371 0 -1 4202560 558 0 0 0 2236 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644961208944 139645113223996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 278.91 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 234772 KiB
[startup+71.2009 s]
/proc/loadavg: 8.34 4.61 2.55 9/237 15594
/proc/meminfo: memFree=9766204/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
[pid=15525] ppid=15523 vsize=15552588 memory=233320 CPUtime=282.09 cores=1,3,5,7
/proc/15525/stat : 15525 (java) S 15523 15523 14371 0 -1 1077944320 82508 0 0 0 28193 16 0 0 20 0 19 0 475398556 15925850112 58330 33554432000 4194304 4196468 140734753916208 140734753898752 139645510135543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
/proc/15525/statm: 3888147 58330 3517 1 0 3849247 0
[pid=15525/tid=15526] ppid=15523 vsize=15552588 memory=8243114992657236051 CPUtime=0.62 cores=1,3,5,7
/proc/15525/task/15526/stat : 15526 (java) S 15523 15523 14371 0 -1 1077944384 9792 0 0 0 58 4 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645514376320 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15527] ppid=15523 vsize=15552588 memory=288292194505458544 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15527/stat : 15527 (java) S 15523 15523 14371 0 -1 1077944384 1820 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645438175760 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15528] ppid=15523 vsize=15552588 memory=3332019 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15528/stat : 15528 (java) S 15523 15523 14371 0 -1 1077944384 2915 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645437123216 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15529] ppid=15523 vsize=15552588 memory=8317482817917895235 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15529/stat : 15529 (java) S 15523 15523 14371 0 -1 1077944384 1838 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645436070160 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15530] ppid=15523 vsize=15552588 memory=1764 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15530/stat : 15530 (java) S 15523 15523 14371 0 -1 1077944384 2383 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645435017616 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15531] ppid=15523 vsize=15552588 memory=111628 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15531/stat : 15531 (java) S 15523 15523 14371 0 -1 1077944384 1801 0 0 0 1 1 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644978608880 139645510146690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15532] ppid=15523 vsize=15552588 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15532/stat : 15532 (java) S 15523 15523 14371 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644977555168 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15533] ppid=15523 vsize=15552588 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15533/stat : 15533 (java) S 15523 15523 14371 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644976502016 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15534] ppid=15523 vsize=15552588 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15534/stat : 15534 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644975450576 139645510154139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15535] ppid=15523 vsize=15552588 memory=916 CPUtime=4.43 cores=1,3,5,7
/proc/15525/task/15535/stat : 15535 (java) S 15523 15523 14371 0 -1 1077944384 21060 0 0 0 442 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644974397680 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15536] ppid=15523 vsize=15552588 memory=3804 CPUtime=4.16 cores=1,3,5,7
/proc/15525/task/15536/stat : 15536 (java) S 15523 15523 14371 0 -1 1077944384 23134 0 0 0 415 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644973345136 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15537] ppid=15523 vsize=15552588 memory=3604 CPUtime=0.66 cores=1,3,5,7
/proc/15525/task/15537/stat : 15537 (java) S 15523 15523 14371 0 -1 1077944384 7532 0 0 0 65 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644972292080 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15538] ppid=15523 vsize=15552588 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15538/stat : 15538 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644971239776 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15539] ppid=15523 vsize=15552588 memory=676 CPUtime=0.01 cores=1,3,5,7
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 691 0 0 0 0 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15587] ppid=15523 vsize=15552588 memory=1060 CPUtime=23.39 cores=1,3,5,7
/proc/15525/task/15587/stat : 15587 (java) R 15523 15523 14371 0 -1 4202560 284 0 0 0 2339 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644887875672 139645114473694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15588] ppid=15523 vsize=15552588 memory=1548 CPUtime=23.36 cores=1,3,5,7
/proc/15525/task/15588/stat : 15588 (java) R 15523 15523 14371 0 -1 4202560 1285 0 0 0 2336 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644960153592 139645113223805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15589] ppid=15523 vsize=15552588 memory=8560 CPUtime=23.3 cores=1,3,5,7
/proc/15525/task/15589/stat : 15589 (java) R 15523 15523 14371 0 -1 4202560 163 0 0 0 2330 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644888928712 139645114473905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15590] ppid=15523 vsize=15552588 memory=1712 CPUtime=23.16 cores=1,3,5,7
/proc/15525/task/15590/stat : 15590 (java) R 15523 15523 14371 0 -1 4202560 599 0 0 0 2316 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644961208944 139645113222700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 282.09 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 234772 KiB
[startup+71.6009 s]
/proc/loadavg: 8.34 4.61 2.55 9/237 15594
/proc/meminfo: memFree=9766204/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
[pid=15525] ppid=15523 vsize=15552588 memory=233320 CPUtime=283.69 cores=1,3,5,7
/proc/15525/stat : 15525 (java) S 15523 15523 14371 0 -1 1077944320 82516 0 0 0 28353 16 0 0 20 0 19 0 475398556 15925850112 58330 33554432000 4194304 4196468 140734753916208 140734753898752 139645510135543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
/proc/15525/statm: 3888147 58330 3517 1 0 3849247 0
[pid=15525/tid=15526] ppid=15523 vsize=15552588 memory=55888 CPUtime=0.62 cores=1,3,5,7
/proc/15525/task/15526/stat : 15526 (java) S 15523 15523 14371 0 -1 1077944384 9792 0 0 0 58 4 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645514376320 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15527] ppid=15523 vsize=15552588 memory=3028 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15527/stat : 15527 (java) S 15523 15523 14371 0 -1 1077944384 1820 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645438175760 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15528] ppid=15523 vsize=15552588 memory=2012 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15528/stat : 15528 (java) S 15523 15523 14371 0 -1 1077944384 2915 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645437123216 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15529] ppid=15523 vsize=15552588 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15529/stat : 15529 (java) S 15523 15523 14371 0 -1 1077944384 1838 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645436070160 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15530] ppid=15523 vsize=15552588 memory=776 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15530/stat : 15530 (java) S 15523 15523 14371 0 -1 1077944384 2383 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645435017616 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15531] ppid=15523 vsize=15552588 memory=3604 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15531/stat : 15531 (java) S 15523 15523 14371 0 -1 1077944384 1801 0 0 0 1 1 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644978608880 139645510146690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15532] ppid=15523 vsize=15552588 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15532/stat : 15532 (java) S 15523 15523 14371 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644977555168 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15533] ppid=15523 vsize=15552588 memory=676 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15533/stat : 15533 (java) S 15523 15523 14371 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644976502016 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15534] ppid=15523 vsize=15552588 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15534/stat : 15534 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644975450576 139645510154139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15535] ppid=15523 vsize=15552588 memory=1548 CPUtime=4.43 cores=1,3,5,7
/proc/15525/task/15535/stat : 15535 (java) S 15523 15523 14371 0 -1 1077944384 21060 0 0 0 442 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644974397680 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15536] ppid=15523 vsize=15552588 memory=8560 CPUtime=4.16 cores=1,3,5,7
/proc/15525/task/15536/stat : 15536 (java) S 15523 15523 14371 0 -1 1077944384 23134 0 0 0 415 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644973345136 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15537] ppid=15523 vsize=15552588 memory=1712 CPUtime=0.66 cores=1,3,5,7
/proc/15525/task/15537/stat : 15537 (java) S 15523 15523 14371 0 -1 1077944384 7532 0 0 0 65 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644972292080 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15538] ppid=15523 vsize=15552588 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15538/stat : 15538 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644971239776 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15539] ppid=15523 vsize=15552588 memory=1004 CPUtime=0.01 cores=1,3,5,7
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 691 0 0 0 0 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15587] ppid=15523 vsize=15552588 memory=6064 CPUtime=23.79 cores=1,3,5,7
/proc/15525/task/15587/stat : 15587 (java) R 15523 15523 14371 0 -1 4202560 284 0 0 0 2379 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644887875672 139645114365522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15588] ppid=15523 vsize=15552588 memory=14008 CPUtime=23.76 cores=1,3,5,7
/proc/15525/task/15588/stat : 15588 (java) R 15523 15523 14371 0 -1 4202560 1293 0 0 0 2376 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644960153592 139645113223387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15589] ppid=15523 vsize=15552588 memory=2124 CPUtime=23.7 cores=1,3,5,7
/proc/15525/task/15589/stat : 15589 (java) R 15523 15523 14371 0 -1 4202560 163 0 0 0 2370 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644888928712 139645113098768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15590] ppid=15523 vsize=15552588 memory=30480 CPUtime=23.56 cores=1,3,5,7
/proc/15525/task/15590/stat : 15590 (java) R 15523 15523 14371 0 -1 4202560 599 0 0 0 2356 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644961208944 139645115946246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 283.69 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 234772 KiB
[startup+71.8009 s]
/proc/loadavg: 8.34 4.61 2.55 9/237 15594
/proc/meminfo: memFree=9766204/32770624 swapFree=66999216/67108860
[pid=15523] ppid=15520 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (xcsp3-exec) S 15520 15523 14371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475398556 115843072 363 33554432000 4194304 5098028 140723208550336 140723208548440 140397348893308 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38391808 140723208553339 140723208553581 140723208553581 140723208556490 0
/proc/15523/statm: 28282 363 304 221 0 87 0
[pid=15525] ppid=15523 vsize=15552588 memory=233320 CPUtime=284.49 cores=1,3,5,7
/proc/15525/stat : 15525 (java) S 15523 15523 14371 0 -1 1077944320 82518 0 0 0 28433 16 0 0 20 0 19 0 475398556 15925850112 58330 33554432000 4194304 4196468 140734753916208 140734753898752 139645510135543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
/proc/15525/statm: 3888147 58330 3517 1 0 3849247 0
[pid=15525/tid=15526] ppid=15523 vsize=15552588 memory=1560 CPUtime=0.62 cores=1,3,5,7
/proc/15525/task/15526/stat : 15526 (java) S 15523 15523 14371 0 -1 1077944384 9792 0 0 0 58 4 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645514376320 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15527] ppid=15523 vsize=15552588 memory=932 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15527/stat : 15527 (java) S 15523 15523 14371 0 -1 1077944384 1820 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645438175760 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15528] ppid=15523 vsize=15552588 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15528/stat : 15528 (java) S 15523 15523 14371 0 -1 1077944384 2915 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645437123216 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15529] ppid=15523 vsize=15552588 memory=1560 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15529/stat : 15529 (java) S 15523 15523 14371 0 -1 1077944384 1838 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645436070160 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15530] ppid=15523 vsize=15552588 memory=932 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15530/stat : 15530 (java) S 15523 15523 14371 0 -1 1077944384 2383 0 0 0 2 0 0 0 20 0 19 0 475398557 15925850112 58330 33554432000 4194304 4196468 140734753916208 139645435017616 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15531] ppid=15523 vsize=15552588 memory=3768 CPUtime=0.02 cores=1,3,5,7
/proc/15525/task/15531/stat : 15531 (java) S 15523 15523 14371 0 -1 1077944384 1801 0 0 0 1 1 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644978608880 139645510146690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15532] ppid=15523 vsize=15552588 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15532/stat : 15532 (java) S 15523 15523 14371 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644977555168 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15533] ppid=15523 vsize=15552588 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15533/stat : 15533 (java) S 15523 15523 14371 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 19 0 475398559 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644976502016 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15534] ppid=15523 vsize=15552588 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15534/stat : 15534 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644975450576 139645510154139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15535] ppid=15523 vsize=15552588 memory=796 CPUtime=4.43 cores=1,3,5,7
/proc/15525/task/15535/stat : 15535 (java) S 15523 15523 14371 0 -1 1077944384 21060 0 0 0 442 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644974397680 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15536] ppid=15523 vsize=15552588 memory=1764 CPUtime=4.16 cores=1,3,5,7
/proc/15525/task/15536/stat : 15536 (java) S 15523 15523 14371 0 -1 1077944384 23134 0 0 0 415 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644973345136 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15537] ppid=15523 vsize=15552588 memory=111628 CPUtime=0.66 cores=1,3,5,7
/proc/15525/task/15537/stat : 15537 (java) S 15523 15523 14371 0 -1 1077944384 7532 0 0 0 65 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644972292080 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15538] ppid=15523 vsize=15552588 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15525/task/15538/stat : 15538 (java) S 15523 15523 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644971239776 139645510145749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15539] ppid=15523 vsize=15552588 memory=4100 CPUtime=0.01 cores=1,3,5,7
/proc/15525/task/15539/stat : 15539 (java) S 15523 15523 14371 0 -1 1077944384 691 0 0 0 0 1 0 0 20 0 19 0 475398562 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644970187824 139645510146690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15587] ppid=15523 vsize=15552588 memory=1804 CPUtime=23.99 cores=1,3,5,7
/proc/15525/task/15587/stat : 15587 (java) R 15523 15523 14371 0 -1 4202560 284 0 0 0 2399 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644887875672 139645113223462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15588] ppid=15523 vsize=15552588 memory=916 CPUtime=23.96 cores=1,3,5,7
/proc/15525/task/15588/stat : 15588 (java) R 15523 15523 14371 0 -1 4202560 1295 0 0 0 2396 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644960153592 139645114473750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15589] ppid=15523 vsize=15552588 memory=1452 CPUtime=23.9 cores=1,3,5,7
/proc/15525/task/15589/stat : 15589 (java) R 15523 15523 14371 0 -1 4202560 163 0 0 0 2390 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644888928712 139645113223814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
[pid=15525/tid=15590] ppid=15523 vsize=15552588 memory=205716 CPUtime=23.76 cores=1,3,5,7
/proc/15525/task/15590/stat : 15590 (java) R 15523 15523 14371 0 -1 4202560 599 0 0 0 2376 0 0 0 20 0 19 0 475403330 15925850112 58330 33554432000 4194304 4196468 140734753916208 139644961208944 139645114056234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22564864 140734753924079 140734753924250 140734753924250 140734753927119 0
Current children cumulated CPU time: 284.49 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 234772 KiB
Child status: 0
Real time (s): 71.8994
CPU time (s): 284.82
CPU user time (s): 284.646
CPU system time (s): 0.173716
CPU usage (%): 396.137
Max. virtual memory (cumulated for all children) (KiB): 15667796
Max. memory (cumulated for all children) (KiB): 234772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.646
system time used= 0.173716
maximum resident set size= 237424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84075
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5346
involuntary context switches= 6315
# summary of solver processes directly reported to runsolver:
# pid: 15523
# total CPU time (s): 284.82
# total CPU user time (s): 284.646
# total CPU system time (s): 0.173716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.472901 second user time and 0.793941 second system time
The end