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 (3228 MiB free)
memory of node 1: 16384 MiB (3375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403752-1568990038/watcher-4403752-1568990038 -o /var/tmp/evaluation-result-4403752-1568990038/solver-4403752-1568990038 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1342314414 HOME/instance-4403752-1568990038.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4258, runsolver pid=4255
[startup+0.100061 s]*
/proc/loadavg: 8.02 8.27 8.07 6/233 4274
/proc/meminfo: memFree=6747132/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
[pid=4260] ppid=4258 vsize=15144776 memory=28052 CPUtime=0.1 cores=1,3,5,7
/proc/4260/stat : 4260 (java) S 4258 4258 1883 0 -1 1077944320 5444 0 0 0 9 1 0 0 20 0 15 0 475259392 15508250624 7013 33554432000 4194304 4196468 140722151807248 140722151789792 140672579153655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
/proc/4260/statm: 3786194 7013 3118 1 0 3748377 0
[pid=4260/tid=4261] ppid=4258 vsize=15144776 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/4260/task/4261/stat : 4261 (java) R 4258 4258 1883 0 -1 4202560 3492 0 0 0 7 1 0 0 20 0 15 0 475259393 15508250624 7013 33554432000 4194304 4196468 140722151807248 140672583388288 140672563234142 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4262] ppid=4258 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4262/stat : 4262 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 7013 33554432000 4194304 4196468 140722151807248 140672531774096 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4263] ppid=4258 vsize=15144776 memory=140563650434688 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4263/stat : 4263 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 7013 33554432000 4194304 4196468 140722151807248 140672530721296 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4264] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4264/stat : 4264 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 7013 33554432000 4194304 4196468 140722151807248 140672529668496 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4265] ppid=4258 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4265/stat : 4265 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 7013 33554432000 4194304 4196468 140722151807248 140672528615696 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4266] ppid=4258 vsize=15144776 memory=140563650434688 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4266/stat : 4266 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259396 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671654554480 140672579164802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4267] ppid=4258 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4267/stat : 4267 (java) S 4258 4258 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475259397 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671653500448 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4268] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4268/stat : 4268 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475259397 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671652447600 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4269] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4269/stat : 4269 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475259399 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671651395920 140672579172251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4270] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4270/stat : 4270 (java) S 4258 4258 1883 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 475259399 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671650343280 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4271] ppid=4258 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4271/stat : 4271 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475259399 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671649290480 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4272] ppid=4258 vsize=15144776 memory=140563650434688 CPUtime=0.01 cores=1,3,5,7
/proc/4260/task/4272/stat : 4272 (java) S 4258 4258 1883 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 475259399 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671648237680 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4273] ppid=4258 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4273/stat : 4273 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475259400 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671647185120 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4274] ppid=4258 vsize=15144776 memory=140563650434688 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259400 15508250624 7013 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29504 KiB
[startup+0.211061 s]*
/proc/loadavg: 8.02 8.27 8.07 6/233 4274
/proc/meminfo: memFree=6733632/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
[pid=4260] ppid=4258 vsize=15144776 memory=40540 CPUtime=0.31 cores=1,3,5,7
/proc/4260/stat : 4260 (java) S 4258 4258 1883 0 -1 1077944320 9286 0 0 0 28 3 0 0 20 0 15 0 475259392 15508250624 10135 33554432000 4194304 4196468 140722151807248 140722151789792 140672579153655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
/proc/4260/statm: 3786194 10135 3317 1 0 3748377 0
[pid=4260/tid=4261] ppid=4258 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/4260/task/4261/stat : 4261 (java) R 4258 4258 1883 0 -1 4202560 6509 0 0 0 16 3 0 0 20 0 15 0 475259393 15508250624 10135 33554432000 4194304 4196468 140722151807248 140672583384784 140672579175581 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4262] ppid=4258 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4262/stat : 4262 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 10135 33554432000 4194304 4196468 140722151807248 140672531774096 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4263] ppid=4258 vsize=15144776 memory=3472750360638510752 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4263/stat : 4263 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 10135 33554432000 4194304 4196468 140722151807248 140672530721296 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4264] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4264/stat : 4264 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 10135 33554432000 4194304 4196468 140722151807248 140672529668496 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4265] ppid=4258 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4265/stat : 4265 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259395 15508250624 10135 33554432000 4194304 4196468 140722151807248 140672528615696 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4266] ppid=4258 vsize=15144776 memory=140563650434688 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4266/stat : 4266 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259396 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671654554480 140672579164802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4267] ppid=4258 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4267/stat : 4267 (java) S 4258 4258 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475259397 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671653500448 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4268] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4268/stat : 4268 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475259397 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671652447600 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4269] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4269/stat : 4269 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475259399 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671651395920 140672579172251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4270] ppid=4258 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4260/task/4270/stat : 4270 (java) S 4258 4258 1883 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 475259399 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671650343280 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4271] ppid=4258 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4260/task/4271/stat : 4271 (java) S 4258 4258 1883 0 -1 1077944384 182 0 0 0 2 0 0 0 20 0 15 0 475259399 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671649290480 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4272] ppid=4258 vsize=15144776 memory=140563650434688 CPUtime=0.07 cores=1,3,5,7
/proc/4260/task/4272/stat : 4272 (java) S 4258 4258 1883 0 -1 1077944384 810 0 0 0 7 0 0 0 20 0 15 0 475259399 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671648237680 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4273] ppid=4258 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4273/stat : 4273 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475259400 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671647185120 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4274] ppid=4258 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259400 15508250624 10135 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41992 KiB
[startup+0.310963 s]*
/proc/loadavg: 8.02 8.27 8.07 6/233 4274
/proc/meminfo: memFree=6728408/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
[pid=4260] ppid=4258 vsize=15149032 memory=46632 CPUtime=0.5 cores=1,3,5,7
/proc/4260/stat : 4260 (java) S 4258 4258 1883 0 -1 1077944320 10507 0 0 0 46 4 0 0 20 0 15 0 475259392 15512608768 11658 33554432000 4194304 4196468 140722151807248 140722151789792 140672579153655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
/proc/4260/statm: 3787258 11658 3347 1 0 3748377 0
[pid=4260/tid=4261] ppid=4258 vsize=15149032 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/4260/task/4261/stat : 4261 (java) R 4258 4258 1883 0 -1 4202560 7578 0 0 0 25 3 0 0 20 0 15 0 475259393 15512608768 11658 33554432000 4194304 4196468 140722151807248 140672583389520 140672563197285 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4262] ppid=4258 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4262/stat : 4262 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259395 15512608768 11658 33554432000 4194304 4196468 140722151807248 140672531774096 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4263] ppid=4258 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4263/stat : 4263 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475259395 15512608768 11658 33554432000 4194304 4196468 140722151807248 140672530721296 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4264] ppid=4258 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4264/stat : 4264 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259395 15512608768 11658 33554432000 4194304 4196468 140722151807248 140672529668496 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4265] ppid=4258 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4265/stat : 4265 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259395 15512608768 11658 33554432000 4194304 4196468 140722151807248 140672528615696 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4266] ppid=4258 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4266/stat : 4266 (java) S 4258 4258 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475259396 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671654554480 140672579164802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4267] ppid=4258 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4267/stat : 4267 (java) S 4258 4258 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475259397 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671653500448 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4268] ppid=4258 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4268/stat : 4268 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475259397 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671652447600 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4269] ppid=4258 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4269/stat : 4269 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475259399 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671651395920 140672579172251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4270] ppid=4258 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/4260/task/4270/stat : 4270 (java) S 4258 4258 1883 0 -1 1077944384 490 0 0 0 4 0 0 0 20 0 15 0 475259399 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671650343280 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4271] ppid=4258 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4260/task/4271/stat : 4271 (java) S 4258 4258 1883 0 -1 1077944384 182 0 0 0 3 0 0 0 20 0 15 0 475259399 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671649290480 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4272] ppid=4258 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4260/task/4272/stat : 4272 (java) R 4258 4258 1883 0 -1 4202560 960 0 0 0 12 0 0 0 20 0 15 0 475259399 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671648237680 140672579165590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4273] ppid=4258 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4273/stat : 4273 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475259400 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671647185120 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4274] ppid=4258 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475259400 15512608768 11658 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48084 KiB
[startup+0.700784 s]
/proc/loadavg: 8.02 8.27 8.07 8/233 4274
/proc/meminfo: memFree=6711652/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
[pid=4260] ppid=4258 vsize=15417412 memory=84360 CPUtime=1.52 cores=1,3,5,7
/proc/4260/stat : 4260 (java) S 4258 4258 1883 0 -1 1077944320 14440 0 0 0 146 6 0 0 20 0 19 0 475259392 15787429888 21090 33554432000 4194304 4196468 140722151807248 140722151789792 140672579153655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
/proc/4260/statm: 3854353 21090 3452 1 0 3815453 0
[pid=4260/tid=4261] ppid=4258 vsize=15417412 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/4260/task/4261/stat : 4261 (java) S 4258 4258 1883 0 -1 1077944384 9252 0 0 0 57 4 0 0 20 0 19 0 475259393 15787429888 21090 33554432000 4194304 4196468 140722151807248 140672583394432 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4262] ppid=4258 vsize=15417412 memory=164 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4262/stat : 4262 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475259395 15787429888 21090 33554432000 4194304 4196468 140722151807248 140672531774096 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4263] ppid=4258 vsize=15417412 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4263/stat : 4263 (java) S 4258 4258 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475259395 15787429888 21090 33554432000 4194304 4196468 140722151807248 140672530721296 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4264] ppid=4258 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4264/stat : 4264 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475259395 15787429888 21090 33554432000 4194304 4196468 140722151807248 140672529668496 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4265] ppid=4258 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4265/stat : 4265 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475259395 15787429888 21090 33554432000 4194304 4196468 140722151807248 140672528615696 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4266] ppid=4258 vsize=15417412 memory=40228 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4266/stat : 4266 (java) S 4258 4258 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475259396 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671654554480 140672579164802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4267] ppid=4258 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4267/stat : 4267 (java) S 4258 4258 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475259397 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671653500448 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4268] ppid=4258 vsize=15417412 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4268/stat : 4268 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475259397 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671652447600 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4269] ppid=4258 vsize=15417412 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4269/stat : 4269 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259399 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671651395920 140672579172251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4270] ppid=4258 vsize=15417412 memory=1044 CPUtime=0.19 cores=1,3,5,7
/proc/4260/task/4270/stat : 4270 (java) R 4258 4258 1883 0 -1 4202560 1035 0 0 0 19 0 0 0 20 0 19 0 475259399 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671650329848 140672562621913 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4271] ppid=4258 vsize=15417412 memory=708 CPUtime=0.21 cores=1,3,5,7
/proc/4260/task/4271/stat : 4271 (java) R 4258 4258 1883 0 -1 4202560 710 0 0 0 21 0 0 0 20 0 19 0 475259399 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671649290480 140672558870791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4272] ppid=4258 vsize=15417412 memory=9364 CPUtime=0.36 cores=1,3,5,7
/proc/4260/task/4272/stat : 4272 (java) R 4258 4258 1883 0 -1 1077944384 1974 0 0 0 36 0 0 0 20 0 19 0 475259399 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671648237680 140672579164802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4273] ppid=4258 vsize=15417412 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4273/stat : 4273 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259400 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671647185120 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4274] ppid=4258 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475259400 15787429888 21090 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 85812 KiB
[startup+1.50346 s]
/proc/loadavg: 8.02 8.27 8.07 9/237 4314
/proc/meminfo: memFree=6592384/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475259400 15858741248 50152 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4319] ppid=4258 vsize=15487052 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/4260/task/4319/stat : 4319 (java) R 4258 4258 1883 0 -1 4202560 116 0 0 0 99 0 0 0 20 0 19 0 475259644 15858741248 50152 33554432000 4194304 4196468 140722151807248 140671631649752 140672214321355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4320] ppid=4258 vsize=15487052 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/4260/task/4320/stat : 4320 (java) R 4258 4258 1883 0 -1 4202560 203 0 0 0 102 0 0 0 20 0 19 0 475259644 15858741248 50152 33554432000 4194304 4196468 140722151807248 140671632703496 140672564364768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4321] ppid=4258 vsize=15487052 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/4260/task/4321/stat : 4321 (java) R 4258 4258 1883 0 -1 4202560 366 0 0 0 116 0 0 0 20 0 19 0 475259644 15858741248 50152 33554432000 4194304 4196468 140722151807248 140671634809000 140672213373100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4322] ppid=4258 vsize=15487052 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/4260/task/4322/stat : 4322 (java) R 4258 4258 1883 0 -1 4202560 150 0 0 0 130 0 0 0 20 0 19 0 475259644 15858741248 50152 33554432000 4194304 4196468 140722151807248 140671633756984 140672213883516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 14.62 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 202060 KiB
[startup+4.80095 s]
/proc/loadavg: 8.34 8.34 8.09 11/237 4322
/proc/meminfo: memFree=6577224/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
[pid=4260] ppid=4258 vsize=15487052 memory=206968 CPUtime=17.71 cores=1,3,5,7
/proc/4260/stat : 4260 (java) S 4258 4258 1883 0 -1 1077944320 27038 0 0 0 1761 10 0 0 20 0 19 0 475259392 15858741248 51742 33554432000 4194304 4196468 140722151807248 140722151789792 140672579153655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
/proc/4260/statm: 3871763 51742 3518 1 0 3832863 0
[pid=4260/tid=4261] ppid=4258 vsize=15487052 memory=7014751519633922146 CPUtime=0.61 cores=1,3,5,7
/proc/4260/task/4261/stat : 4261 (java) S 4258 4258 1883 0 -1 1077944384 9255 0 0 0 57 4 0 0 20 0 19 0 475259393 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672583394432 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4262] ppid=4258 vsize=15487052 memory=7014751519633922146 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4262/stat : 4262 (java) S 4258 4258 1883 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672531774096 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4263] ppid=4258 vsize=15487052 memory=7014751519633922146 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4263/stat : 4263 (java) S 4258 4258 1883 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672530721296 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4264] ppid=4258 vsize=15487052 memory=7014751519633922146 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4264/stat : 4264 (java) S 4258 4258 1883 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672529668496 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4265] ppid=4258 vsize=15487052 memory=7014751519633922146 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4265/stat : 4265 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672528615696 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4266] ppid=4258 vsize=15487052 memory=281127085049312 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4266/stat : 4266 (java) S 4258 4258 1883 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 19 0 475259396 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671654554480 140672579164802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4267] ppid=4258 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4267/stat : 4267 (java) S 4258 4258 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475259397 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671653500448 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4268] ppid=4258 vsize=15487052 memory=71192 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4268/stat : 4268 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475259397 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671652447600 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4269] ppid=4258 vsize=15487052 memory=13564911997421614 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4269/stat : 4269 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671651395920 140672579172251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4270] ppid=4258 vsize=15487052 memory=0 CPUtime=2.32 cores=1,3,5,7
/proc/4260/task/4270/stat : 4270 (java) S 4258 4258 1883 0 -1 1077944384 6076 0 0 0 231 1 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671650343280 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4271] ppid=4258 vsize=15487052 memory=6944656592455097440 CPUtime=2.1 cores=1,3,5,7
/proc/4260/task/4271/stat : 4271 (java) S 4258 4258 1883 0 -1 1077944384 4885 0 0 0 210 0 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671649290480 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4272] ppid=4258 vsize=15487052 memory=6656426216303648864 CPUtime=0.68 cores=1,3,5,7
/proc/4260/task/4272/stat : 4272 (java) S 4258 4258 1883 0 -1 1077944384 3218 0 0 0 67 1 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671648237680 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4273] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4273/stat : 4273 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259400 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671647185120 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4274] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475259400 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4319] ppid=4258 vsize=15487052 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/4260/task/4319/stat : 4319 (java) R 4258 4258 1883 0 -1 4202560 157 0 0 0 167 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671631650200 140672214237971 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4320] ppid=4258 vsize=15487052 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/4260/task/4320/stat : 4320 (java) R 4258 4258 1883 0 -1 4202560 243 0 0 0 172 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671632703992 140672213248198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4321] ppid=4258 vsize=15487052 memory=0 CPUtime=1.92 cores=1,3,5,7
/proc/4260/task/4321/stat : 4321 (java) R 4258 4258 1883 0 -1 4202560 407 0 0 0 192 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671634808736 140672213248198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4322] ppid=4258 vsize=15487052 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/4260/task/4322/stat : 4322 (java) R 4258 4258 1883 0 -1 4202560 162 0 0 0 202 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671633757496 140672213640920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 17.71 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 208420 KiB
[startup+5.00145 s]*
/proc/loadavg: 8.34 8.34 8.09 10/237 4322
/proc/meminfo: memFree=6559692/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
[pid=4260] ppid=4258 vsize=15487052 memory=206968 CPUtime=18.54 cores=1,3,5,7
/proc/4260/stat : 4260 (java) S 4258 4258 1883 0 -1 1077944320 27103 0 0 0 1844 10 0 0 20 0 19 0 475259392 15858741248 51742 33554432000 4194304 4196468 140722151807248 140722151789792 140672579153655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
/proc/4260/statm: 3871763 51742 3518 1 0 3832863 0
[pid=4260/tid=4261] ppid=4258 vsize=15487052 memory=32213995742560408 CPUtime=0.61 cores=1,3,5,7
/proc/4260/task/4261/stat : 4261 (java) S 4258 4258 1883 0 -1 1077944384 9255 0 0 0 57 4 0 0 20 0 19 0 475259393 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672583394432 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4262] ppid=4258 vsize=15487052 memory=288230608969400343 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4262/stat : 4262 (java) S 4258 4258 1883 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672531774096 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4263] ppid=4258 vsize=15487052 memory=13709847974893208 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4263/stat : 4263 (java) S 4258 4258 1883 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672530721296 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4264] ppid=4258 vsize=15487052 memory=6154565154910070117 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4264/stat : 4264 (java) S 4258 4258 1883 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672529668496 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4265] ppid=4258 vsize=15487052 memory=3473458624346731575 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4265/stat : 4265 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672528615696 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4266] ppid=4258 vsize=15487052 memory=140563650434688 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4266/stat : 4266 (java) S 4258 4258 1883 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 19 0 475259396 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671654554480 140672579164802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4267] ppid=4258 vsize=15487052 memory=2319389238105223199 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4267/stat : 4267 (java) S 4258 4258 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475259397 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671653500448 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4268] ppid=4258 vsize=15487052 memory=7662704773051410791 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4268/stat : 4268 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475259397 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671652447600 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4269] ppid=4258 vsize=15487052 memory=7809898610629503841 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4269/stat : 4269 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671651395920 140672579172251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4270] ppid=4258 vsize=15487052 memory=0 CPUtime=2.32 cores=1,3,5,7
/proc/4260/task/4270/stat : 4270 (java) S 4258 4258 1883 0 -1 1077944384 6079 0 0 0 231 1 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671650343280 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4271] ppid=4258 vsize=15487052 memory=3904964135954231343 CPUtime=2.11 cores=1,3,5,7
/proc/4260/task/4271/stat : 4271 (java) S 4258 4258 1883 0 -1 1077944384 4944 0 0 0 211 0 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671649290480 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4272] ppid=4258 vsize=15487052 memory=3472468859878114992 CPUtime=0.68 cores=1,3,5,7
/proc/4260/task/4272/stat : 4272 (java) S 4258 4258 1883 0 -1 1077944384 3218 0 0 0 67 1 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671648237680 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4273] ppid=4258 vsize=15487052 memory=7311435031524761458 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4273/stat : 4273 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259400 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671647185120 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4274] ppid=4258 vsize=15487052 memory=3472468859878114992 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475259400 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4319] ppid=4258 vsize=15487052 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/4260/task/4319/stat : 4319 (java) R 4258 4258 1883 0 -1 4202560 157 0 0 0 186 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671631650200 140672213246902 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4320] ppid=4258 vsize=15487052 memory=0 CPUtime=1.93 cores=1,3,5,7
/proc/4260/task/4320/stat : 4320 (java) R 4258 4258 1883 0 -1 4202560 257 0 0 0 193 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671632703992 140672214237735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4321] ppid=4258 vsize=15487052 memory=0 CPUtime=2.13 cores=1,3,5,7
/proc/4260/task/4321/stat : 4321 (java) R 4258 4258 1883 0 -1 4202560 409 0 0 0 213 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671634808440 140672213639684 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4322] ppid=4258 vsize=15487052 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/4260/task/4322/stat : 4322 (java) R 4258 4258 1883 0 -1 4202560 163 0 0 0 223 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671633757416 140672212984182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 18.54 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 208420 KiB
[startup+5.11345 s]
/proc/loadavg: 8.34 8.34 8.09 10/237 4322
/proc/meminfo: memFree=6559692/32770624 swapFree=66952588/67108860
[pid=4258] ppid=4255 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4258/stat : 4258 (xcsp3-exec) S 4255 4258 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475259392 115843072 363 33554432000 4194304 5098028 140734158777584 140734158775688 139858672059004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12574720 140734158783318 140734158783577 140734158783577 140734158786502 0
/proc/4258/statm: 28282 363 304 221 0 87 0
[pid=4260] ppid=4258 vsize=15487052 memory=206968 CPUtime=18.95 cores=1,3,5,7
/proc/4260/stat : 4260 (java) S 4258 4258 1883 0 -1 1077944320 27121 0 0 0 1885 10 0 0 20 0 19 0 475259392 15858741248 51742 33554432000 4194304 4196468 140722151807248 140722151789792 140672579153655 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
/proc/4260/statm: 3871763 51742 3518 1 0 3832863 0
[pid=4260/tid=4261] ppid=4258 vsize=15487052 memory=204876 CPUtime=0.61 cores=1,3,5,7
/proc/4260/task/4261/stat : 4261 (java) S 4258 4258 1883 0 -1 1077944384 9255 0 0 0 57 4 0 0 20 0 19 0 475259393 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672583394432 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4262] ppid=4258 vsize=15487052 memory=140563542628448 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4262/stat : 4262 (java) S 4258 4258 1883 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672531774096 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4263] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4263/stat : 4263 (java) S 4258 4258 1883 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672530721296 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4264] ppid=4258 vsize=15487052 memory=292003098 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4264/stat : 4264 (java) S 4258 4258 1883 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672529668496 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4265] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4265/stat : 4265 (java) S 4258 4258 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475259395 15858741248 51742 33554432000 4194304 4196468 140722151807248 140672528615696 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4266] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4266/stat : 4266 (java) S 4258 4258 1883 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 19 0 475259396 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671654554480 140672579164802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4267] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4267/stat : 4267 (java) S 4258 4258 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475259397 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671653500448 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4268] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4268/stat : 4268 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475259397 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671652447600 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4269] ppid=4258 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4269/stat : 4269 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671651395920 140672579172251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4270] ppid=4258 vsize=15487052 memory=0 CPUtime=2.32 cores=1,3,5,7
/proc/4260/task/4270/stat : 4270 (java) S 4258 4258 1883 0 -1 1077944384 6079 0 0 0 231 1 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671650343280 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4271] ppid=4258 vsize=15487052 memory=7598542776401657925 CPUtime=2.11 cores=1,3,5,7
/proc/4260/task/4271/stat : 4271 (java) S 4258 4258 1883 0 -1 1077944384 4944 0 0 0 211 0 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671649290480 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4272] ppid=4258 vsize=15487052 memory=288293255328835982 CPUtime=0.68 cores=1,3,5,7
/proc/4260/task/4272/stat : 4272 (java) S 4258 4258 1883 0 -1 1077944384 3218 0 0 0 67 1 0 0 20 0 19 0 475259399 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671648237680 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4273] ppid=4258 vsize=15487052 memory=4438184911633935392 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4273/stat : 4273 (java) S 4258 4258 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475259400 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671647185120 140672579163861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4274] ppid=4258 vsize=15487052 memory=281127084502960 CPUtime=0 cores=1,3,5,7
/proc/4260/task/4274/stat : 4274 (java) S 4258 4258 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475259400 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671646133424 140672579164802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4319] ppid=4258 vsize=15487052 memory=10814 CPUtime=1.96 cores=1,3,5,7
/proc/4260/task/4319/stat : 4319 (java) R 4258 4258 1883 0 -1 4202560 157 0 0 0 196 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671631650200 140672213984970 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4320] ppid=4258 vsize=15487052 memory=24217 CPUtime=2.03 cores=1,3,5,7
/proc/4260/task/4320/stat : 4320 (java) R 4258 4258 1883 0 -1 4202560 261 0 0 0 203 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671632703992 140672213883852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4321] ppid=4258 vsize=15487052 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/4260/task/4321/stat : 4321 (java) R 4258 4258 1883 0 -1 4202560 409 0 0 0 223 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671634808440 140672214905366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
[pid=4260/tid=4322] ppid=4258 vsize=15487052 memory=0 CPUtime=2.33 cores=1,3,5,7
/proc/4260/task/4322/stat : 4322 (java) R 4258 4258 1883 0 -1 4202560 163 0 0 0 233 0 0 0 20 0 19 0 475259644 15858741248 51742 33554432000 4194304 4196468 140722151807248 140671633757416 140672214904750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25440256 140722151814107 140722151814282 140722151814282 140722151817167 0
Current children cumulated CPU time: 18.95 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 208420 KiB
Child status: 0
Real time (s): 5.14013
CPU time (s): 19.0442
CPU user time (s): 18.9287
CPU system time (s): 0.115522
CPU usage (%): 370.501
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 208420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9287
system time used= 0.115522
maximum resident set size= 207224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28404
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2739
involuntary context switches= 815
# summary of solver processes directly reported to runsolver:
# pid: 4258
# total CPU time (s): 19.0442
# total CPU user time (s): 18.9287
# total CPU system time (s): 0.115522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049335 second user time and 0.118174 second system time
The end