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 (2025 MiB free)
memory of node 1: 16384 MiB (3020 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403956-1568991510/watcher-4403956-1568991510 -o /var/tmp/evaluation-result-4403956-1568991510/solver-4403956-1568991510 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7233 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 153298461 HOME/instance-4403956-1568991510.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=11226, runsolver pid=11223
[startup+0.100058 s]*
/proc/loadavg: 8.71 7.90 5.41 7/233 11242
/proc/meminfo: memFree=5150168/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
[pid=11228] ppid=11226 vsize=15144776 memory=29748 CPUtime=0.13 cores=1,3,5,7
/proc/11228/stat : 11228 (java) S 11226 11226 7201 0 -1 1077944320 5886 0 0 0 11 2 0 0 20 0 15 0 475423552 15508250624 7437 33554432000 4194304 4196468 140726357425200 140726357407744 140385230077687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
/proc/11228/statm: 3786194 7437 3175 1 0 3748377 0
[pid=11228/tid=11229] ppid=11226 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/11228/task/11229/stat : 11229 (java) R 11226 11226 7201 0 -1 4202560 3795 0 0 0 8 1 0 0 20 0 15 0 475423552 15508250624 7437 33554432000 4194304 4196468 140726357425200 140385234310000 140385222314814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11230] ppid=11226 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11230/stat : 11230 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 7437 33554432000 4194304 4196468 140726357425200 140385182698128 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11231] ppid=11226 vsize=15144776 memory=140149373425280 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11231/stat : 11231 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 7437 33554432000 4194304 4196468 140726357425200 140385181645328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11232] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11232/stat : 11232 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 7437 33554432000 4194304 4196468 140726357425200 140385180592528 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11233] ppid=11226 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11233/stat : 11233 (java) S 11226 11226 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 7437 33554432000 4194304 4196468 140726357425200 140385179539728 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11234] ppid=11226 vsize=15144776 memory=140149373425280 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11234/stat : 11234 (java) S 11226 11226 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475423554 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384765832048 140385230088834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11235] ppid=11226 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11235/stat : 11235 (java) S 11226 11226 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475423555 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384697050656 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11236] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11236/stat : 11236 (java) S 11226 11226 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475423555 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384695997808 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11237] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11237/stat : 11237 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384694946128 140385230096283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11238] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11238/stat : 11238 (java) S 11226 11226 7201 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384693893488 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11239] ppid=11226 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11239/stat : 11239 (java) S 11226 11226 7201 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384692840688 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11240] ppid=11226 vsize=15144776 memory=140149373425280 CPUtime=0.02 cores=1,3,5,7
/proc/11228/task/11240/stat : 11240 (java) S 11226 11226 7201 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 475423558 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384691787888 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11241] ppid=11226 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11241/stat : 11241 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384690735328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11242] ppid=11226 vsize=15144776 memory=140149373425280 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 7437 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31200 KiB
[startup+0.210994 s]*
/proc/loadavg: 8.49 7.87 5.42 7/233 11242
/proc/meminfo: memFree=5138096/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
[pid=11228] ppid=11226 vsize=15144776 memory=41232 CPUtime=0.33 cores=1,3,5,7
/proc/11228/stat : 11228 (java) S 11226 11226 7201 0 -1 1077944320 9479 0 0 0 30 3 0 0 20 0 15 0 475423552 15508250624 10308 33554432000 4194304 4196468 140726357425200 140726357407744 140385230077687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
/proc/11228/statm: 3786194 10308 3319 1 0 3748377 0
[pid=11228/tid=11229] ppid=11226 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11228/task/11229/stat : 11229 (java) R 11226 11226 7201 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 475423552 15508250624 10308 33554432000 4194304 4196468 140726357425200 140385234311744 140385214158174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11230] ppid=11226 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11230/stat : 11230 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 10308 33554432000 4194304 4196468 140726357425200 140385182698128 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11231] ppid=11226 vsize=15144776 memory=140149373436763 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11231/stat : 11231 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 10308 33554432000 4194304 4196468 140726357425200 140385181645328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11232] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11232/stat : 11232 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 10308 33554432000 4194304 4196468 140726357425200 140385180592528 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11233] ppid=11226 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11233/stat : 11233 (java) S 11226 11226 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475423553 15508250624 10308 33554432000 4194304 4196468 140726357425200 140385179539728 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11234] ppid=11226 vsize=15144776 memory=140149373425280 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11234/stat : 11234 (java) S 11226 11226 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475423554 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384765832048 140385230088834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11235] ppid=11226 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11235/stat : 11235 (java) S 11226 11226 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475423555 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384697050656 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11236] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11236/stat : 11236 (java) S 11226 11226 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475423555 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384695997808 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11237] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11237/stat : 11237 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384694946128 140385230096283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11238] ppid=11226 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11238/stat : 11238 (java) S 11226 11226 7201 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 475423558 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384693893488 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11239] ppid=11226 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11228/task/11239/stat : 11239 (java) S 11226 11226 7201 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 475423558 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384692840688 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11240] ppid=11226 vsize=15144776 memory=140149373425280 CPUtime=0.08 cores=1,3,5,7
/proc/11228/task/11240/stat : 11240 (java) S 11226 11226 7201 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 475423558 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384691787888 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11241] ppid=11226 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11241/stat : 11241 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384690735328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11242] ppid=11226 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423558 15508250624 10308 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42684 KiB
[startup+0.318514 s]*
/proc/loadavg: 8.49 7.87 5.42 6/233 11242
/proc/meminfo: memFree=5130836/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
[pid=11228] ppid=11226 vsize=15149032 memory=50224 CPUtime=0.52 cores=1,3,5,7
/proc/11228/stat : 11228 (java) S 11226 11226 7201 0 -1 1077944320 10844 0 0 0 47 5 0 0 20 0 15 0 475423552 15512608768 12556 33554432000 4194304 4196468 140726357425200 140726357407744 140385230077687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
/proc/11228/statm: 3787258 12556 3352 1 0 3748377 0
[pid=11228/tid=11229] ppid=11226 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/11228/task/11229/stat : 11229 (java) R 11226 11226 7201 0 -1 4202560 7919 0 0 0 27 3 0 0 20 0 15 0 475423552 15512608768 12556 33554432000 4194304 4196468 140726357425200 140385234312496 140385214158174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11230] ppid=11226 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11230/stat : 11230 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423553 15512608768 12556 33554432000 4194304 4196468 140726357425200 140385182698128 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11231] ppid=11226 vsize=15149032 memory=3373065 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11231/stat : 11231 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423553 15512608768 12556 33554432000 4194304 4196468 140726357425200 140385181645328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11232] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11232/stat : 11232 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423553 15512608768 12556 33554432000 4194304 4196468 140726357425200 140385180592528 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11233] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11233/stat : 11233 (java) S 11226 11226 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475423553 15512608768 12556 33554432000 4194304 4196468 140726357425200 140385179539728 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11234] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11234/stat : 11234 (java) S 11226 11226 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475423554 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384765832048 140385230088834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11235] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11235/stat : 11235 (java) S 11226 11226 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475423555 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384697050656 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11236] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11236/stat : 11236 (java) S 11226 11226 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475423555 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384695997808 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11237] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11237/stat : 11237 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423558 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384694946128 140385230096283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11238] ppid=11226 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11228/task/11238/stat : 11238 (java) S 11226 11226 7201 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 475423558 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384693893488 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11239] ppid=11226 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11228/task/11239/stat : 11239 (java) S 11226 11226 7201 0 -1 1077944384 473 0 0 0 4 0 0 0 20 0 15 0 475423558 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384692840688 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11240] ppid=11226 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11228/task/11240/stat : 11240 (java) S 11226 11226 7201 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 15 0 475423558 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384691787888 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11241] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11241/stat : 11241 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475423558 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384690735328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11242] ppid=11226 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475423558 15512608768 12556 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51676 KiB
[startup+0.710514 s]
/proc/loadavg: 8.49 7.87 5.42 8/236 11313
/proc/meminfo: memFree=5014356/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
[pid=11228] ppid=11226 vsize=15483976 memory=187704 CPUtime=1.66 cores=1,3,5,7
/proc/11228/stat : 11228 (java) S 11226 11226 7201 0 -1 1077944320 17920 0 0 0 156 10 0 0 20 0 19 0 475423552 15855591424 46926 33554432000 4194304 4196468 140726357425200 140726357407744 140385230077687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
/proc/11228/statm: 3870994 46926 3464 1 0 3832094 0
[pid=11228/tid=11229] ppid=11226 vsize=15483976 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/11228/task/11229/stat : 11229 (java) S 11226 11226 7201 0 -1 1077944384 9030 0 0 0 40 4 0 0 20 0 19 0 475423552 15855591424 46926 33554432000 4194304 4196468 140726357425200 140385234318464 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11230] ppid=11226 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11230/stat : 11230 (java) S 11226 11226 7201 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 475423553 15855591424 46926 33554432000 4194304 4196468 140726357425200 140385182698128 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11231] ppid=11226 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11231/stat : 11231 (java) S 11226 11226 7201 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475423553 15855591424 46926 33554432000 4194304 4196468 140726357425200 140385181645328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11232] ppid=11226 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11232/stat : 11232 (java) S 11226 11226 7201 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475423553 15855591424 46926 33554432000 4194304 4196468 140726357425200 140385180592528 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11233] ppid=11226 vsize=15483976 memory=12328 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11233/stat : 11233 (java) S 11226 11226 7201 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475423553 15855591424 46926 33554432000 4194304 4196468 140726357425200 140385179539728 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11234] ppid=11226 vsize=15483976 memory=500 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11234/stat : 11234 (java) S 11226 11226 7201 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475423554 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384765832048 140385230088834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11235] ppid=11226 vsize=15483976 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11235/stat : 11235 (java) S 11226 11226 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475423555 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384697050656 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11236] ppid=11226 vsize=15483976 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11236/stat : 11236 (java) S 11226 11226 7201 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475423555 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384695997808 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11237] ppid=11226 vsize=15483976 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11237/stat : 11237 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384694946128 140385230096283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11238] ppid=11226 vsize=15483976 memory=1940 CPUtime=0.23 cores=1,3,5,7
/proc/11228/task/11238/stat : 11238 (java) R 11226 11226 7201 0 -1 4202560 1642 0 0 0 23 0 0 0 20 0 19 0 475423558 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384693874504 140385209739680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11239] ppid=11226 vsize=15483976 memory=1996 CPUtime=0.23 cores=1,3,5,7
/proc/11228/task/11239/stat : 11239 (java) D 11226 11226 7201 0 -1 4202560 1490 0 0 0 23 0 0 0 20 0 19 0 475423558 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384692821704 140385210777984 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11240] ppid=11226 vsize=15483976 memory=2508 CPUtime=0.29 cores=1,3,5,7
/proc/11228/task/11240/stat : 11240 (java) D 11226 11226 7201 0 -1 4202560 1828 0 0 0 29 0 0 0 20 0 19 0 475423558 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384691784824 140385222794839 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11241] ppid=11226 vsize=15483976 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11241/stat : 11241 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384690735328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11242] ppid=11226 vsize=15483976 memory=836 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475423558 15855591424 46926 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 189156 KiB
[startup+1.50152 s]
/proc/loadavg: 8.49 7.87 5.42 12/237 11414
/proc/meminfo: memFree=4980204/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 146693 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11435] ppid=11226 vsize=15617104 memory=0 CPUtime=8.12 cores=1,3,5,7
/proc/11228/task/11435/stat : 11435 (java) R 11226 11226 7201 0 -1 4202560 53 0 0 0 812 0 0 0 20 0 19 0 475423680 15991914496 146693 33554432000 4194304 4196468 140726357425200 140384679649336 140384852380569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11436] ppid=11226 vsize=15617104 memory=0 CPUtime=7.97 cores=1,3,5,7
/proc/11228/task/11436/stat : 11436 (java) R 11226 11226 7201 0 -1 4202560 392 0 0 0 796 1 0 0 20 0 19 0 475423680 15991914496 146693 33554432000 4194304 4196468 140726357425200 140384676494432 140384853631381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11437] ppid=11226 vsize=15617104 memory=0 CPUtime=7.86 cores=1,3,5,7
/proc/11228/task/11437/stat : 11437 (java) R 11226 11226 7201 0 -1 4202560 406 0 0 0 786 0 0 0 20 0 19 0 475423680 15991914496 146693 33554432000 4194304 4196468 140726357425200 140384677544808 140384851682727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11438] ppid=11226 vsize=15617104 memory=6791534058613427641 CPUtime=7.96 cores=1,3,5,7
/proc/11228/task/11438/stat : 11438 (java) R 11226 11226 7201 0 -1 4202560 443 0 0 0 792 4 0 0 20 0 19 0 475423680 15991914496 146693 33554432000 4194304 4196468 140726357425200 140384675438760 140384853082062 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 36.92 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 588224 KiB
[startup+10.4015 s]
/proc/loadavg: 8.61 7.91 5.44 9/237 11438
/proc/meminfo: memFree=4594976/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
[pid=11228] ppid=11226 vsize=15617104 memory=583180 CPUtime=40.11 cores=1,3,5,7
/proc/11228/stat : 11228 (java) S 11226 11226 7201 0 -1 1077944320 27215 0 0 0 3990 21 0 0 20 0 19 0 475423552 15991914496 145795 33554432000 4194304 4196468 140726357425200 140726357407744 140385230077687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
/proc/11228/statm: 3904276 145795 3517 1 0 3865376 0
[pid=11228/tid=11229] ppid=11226 vsize=15617104 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/11228/task/11229/stat : 11229 (java) S 11226 11226 7201 0 -1 1077944384 9030 0 0 0 41 4 0 0 20 0 19 0 475423552 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385234318464 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11230] ppid=11226 vsize=15617104 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11230/stat : 11230 (java) S 11226 11226 7201 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385182698128 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11231] ppid=11226 vsize=15617104 memory=586756 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11231/stat : 11231 (java) S 11226 11226 7201 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385181645328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11232] ppid=11226 vsize=15617104 memory=7594853927227839339 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11232/stat : 11232 (java) S 11226 11226 7201 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385180592528 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11233] ppid=11226 vsize=15617104 memory=7739829960228300115 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11233/stat : 11233 (java) S 11226 11226 7201 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385179539728 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11234] ppid=11226 vsize=15617104 memory=7739829960228300115 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11234/stat : 11234 (java) S 11226 11226 7201 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 19 0 475423554 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384765832048 140385230088834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11235] ppid=11226 vsize=15617104 memory=7812453866878555493 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11235/stat : 11235 (java) S 11226 11226 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475423555 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384697050720 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11236] ppid=11226 vsize=15617104 memory=44 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11236/stat : 11236 (java) S 11226 11226 7201 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475423555 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384695997824 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11237] ppid=11226 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11237/stat : 11237 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384694946128 140385230096283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11238] ppid=11226 vsize=15617104 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/11228/task/11238/stat : 11238 (java) S 11226 11226 7201 0 -1 1077944384 3777 0 0 0 116 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384693893488 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11239] ppid=11226 vsize=15617104 memory=338 CPUtime=1.26 cores=1,3,5,7
/proc/11228/task/11239/stat : 11239 (java) S 11226 11226 7201 0 -1 1077944384 4412 0 0 0 126 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384692840688 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11240] ppid=11226 vsize=15617104 memory=326 CPUtime=0.45 cores=1,3,5,7
/proc/11228/task/11240/stat : 11240 (java) S 11226 11226 7201 0 -1 1077944384 2316 0 0 0 44 1 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384691787888 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11241] ppid=11226 vsize=15617104 memory=320 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11241/stat : 11241 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384690735328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11242] ppid=11226 vsize=15617104 memory=326 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11435] ppid=11226 vsize=15617104 memory=0 CPUtime=8.91 cores=1,3,5,7
/proc/11228/task/11435/stat : 11435 (java) R 11226 11226 7201 0 -1 4202560 57 0 0 0 891 0 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384679649336 140384851896302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11436] ppid=11226 vsize=15617104 memory=0 CPUtime=8.77 cores=1,3,5,7
/proc/11228/task/11436/stat : 11436 (java) R 11226 11226 7201 0 -1 4202560 425 0 0 0 876 1 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384676491288 140384853594104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11437] ppid=11226 vsize=15617104 memory=0 CPUtime=8.64 cores=1,3,5,7
/proc/11228/task/11437/stat : 11437 (java) R 11226 11226 7201 0 -1 4202560 415 0 0 0 864 0 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384677546488 140384851977277 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11438] ppid=11226 vsize=15617104 memory=0 CPUtime=8.75 cores=1,3,5,7
/proc/11228/task/11438/stat : 11438 (java) R 11226 11226 7201 0 -1 4202560 529 0 0 0 871 4 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384675438112 140384852677261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 40.11 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 584632 KiB
[startup+11.2068 s]
/proc/loadavg: 8.64 7.92 5.46 9/237 11438
/proc/meminfo: memFree=4595188/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
[pid=11228] ppid=11226 vsize=15617104 memory=583180 CPUtime=43.3 cores=1,3,5,7
/proc/11228/stat : 11228 (java) S 11226 11226 7201 0 -1 1077944320 27433 0 0 0 4309 21 0 0 20 0 19 0 475423552 15991914496 145795 33554432000 4194304 4196468 140726357425200 140726357407744 140385230077687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
/proc/11228/statm: 3904276 145795 3517 1 0 3865376 0
[pid=11228/tid=11229] ppid=11226 vsize=15617104 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/11228/task/11229/stat : 11229 (java) S 11226 11226 7201 0 -1 1077944384 9030 0 0 0 41 4 0 0 20 0 19 0 475423552 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385234318464 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11230] ppid=11226 vsize=15617104 memory=583180 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11230/stat : 11230 (java) S 11226 11226 7201 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385182698128 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11231] ppid=11226 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11231/stat : 11231 (java) S 11226 11226 7201 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385181645328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11232] ppid=11226 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11232/stat : 11232 (java) S 11226 11226 7201 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385180592528 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11233] ppid=11226 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11233/stat : 11233 (java) S 11226 11226 7201 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145795 33554432000 4194304 4196468 140726357425200 140385179539728 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11234] ppid=11226 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11234/stat : 11234 (java) S 11226 11226 7201 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 19 0 475423554 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384765832048 140385230088834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11235] ppid=11226 vsize=15617104 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11235/stat : 11235 (java) S 11226 11226 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475423555 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384697050720 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11236] ppid=11226 vsize=15617104 memory=587216 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11236/stat : 11236 (java) S 11226 11226 7201 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475423555 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384695997824 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11237] ppid=11226 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11237/stat : 11237 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384694946128 140385230096283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11238] ppid=11226 vsize=15617104 memory=140149212482843 CPUtime=1.16 cores=1,3,5,7
/proc/11228/task/11238/stat : 11238 (java) S 11226 11226 7201 0 -1 1077944384 3777 0 0 0 116 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384693893488 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11239] ppid=11226 vsize=15617104 memory=280298424947248 CPUtime=1.26 cores=1,3,5,7
/proc/11228/task/11239/stat : 11239 (java) S 11226 11226 7201 0 -1 1077944384 4412 0 0 0 126 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384692840688 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11240] ppid=11226 vsize=15617104 memory=7812448378111420501 CPUtime=0.46 cores=1,3,5,7
/proc/11228/task/11240/stat : 11240 (java) S 11226 11226 7201 0 -1 1077944384 2498 0 0 0 45 1 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384691787888 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11241] ppid=11226 vsize=15617104 memory=2084 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11241/stat : 11241 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384690735328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11242] ppid=11226 vsize=15617104 memory=1480 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11435] ppid=11226 vsize=15617104 memory=3880 CPUtime=9.72 cores=1,3,5,7
/proc/11228/task/11435/stat : 11435 (java) R 11226 11226 7201 0 -1 4202560 57 0 0 0 972 0 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384679649336 140384852294774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11436] ppid=11226 vsize=15617104 memory=7712 CPUtime=9.56 cores=1,3,5,7
/proc/11228/task/11436/stat : 11436 (java) R 11226 11226 7201 0 -1 4202560 426 0 0 0 955 1 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384676494432 140384852370442 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11437] ppid=11226 vsize=15617104 memory=1760 CPUtime=9.44 cores=1,3,5,7
/proc/11228/task/11437/stat : 11437 (java) R 11226 11226 7201 0 -1 4202560 416 0 0 0 944 0 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384677544824 140384853600222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11438] ppid=11226 vsize=15617104 memory=1172 CPUtime=9.55 cores=1,3,5,7
/proc/11228/task/11438/stat : 11438 (java) R 11226 11226 7201 0 -1 4202560 552 0 0 0 951 4 0 0 20 0 19 0 475423680 15991914496 145795 33554432000 4194304 4196468 140726357425200 140384675438472 140384851893686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 43.3 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 584632 KiB
[startup+11.6015 s]
/proc/loadavg: 8.64 7.92 5.46 9/237 11438
/proc/meminfo: memFree=4595188/32770624 swapFree=67021824/67108860
[pid=11226] ppid=11223 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (xcsp3-exec) S 11223 11226 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475423552 115843072 363 33554432000 4194304 5098028 140729807459232 140729807457336 140046669038204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38621184 140729807467351 140729807467609 140729807467609 140729807470534 0
/proc/11226/statm: 28282 363 304 221 0 87 0
[pid=11228] ppid=11226 vsize=15617104 memory=583252 CPUtime=44.88 cores=1,3,5,7
/proc/11228/stat : 11228 (java) S 11226 11226 7201 0 -1 1077944320 27666 0 0 0 4467 21 0 0 20 0 19 0 475423552 15991914496 145813 33554432000 4194304 4196468 140726357425200 140726357407744 140385230077687 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
/proc/11228/statm: 3904276 145813 3517 1 0 3865376 0
[pid=11228/tid=11229] ppid=11226 vsize=15617104 memory=1 CPUtime=0.45 cores=1,3,5,7
/proc/11228/task/11229/stat : 11229 (java) S 11226 11226 7201 0 -1 1077944384 9030 0 0 0 41 4 0 0 20 0 19 0 475423552 15991914496 145813 33554432000 4194304 4196468 140726357425200 140385234318464 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11230] ppid=11226 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11230/stat : 11230 (java) S 11226 11226 7201 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145813 33554432000 4194304 4196468 140726357425200 140385182698128 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11231] ppid=11226 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11231/stat : 11231 (java) S 11226 11226 7201 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145813 33554432000 4194304 4196468 140726357425200 140385181645328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11232] ppid=11226 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11232/stat : 11232 (java) S 11226 11226 7201 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145813 33554432000 4194304 4196468 140726357425200 140385180592528 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11233] ppid=11226 vsize=15617104 memory=7712 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11233/stat : 11233 (java) S 11226 11226 7201 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 19 0 475423553 15991914496 145813 33554432000 4194304 4196468 140726357425200 140385179539728 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11234] ppid=11226 vsize=15617104 memory=1760 CPUtime=0.01 cores=1,3,5,7
/proc/11228/task/11234/stat : 11234 (java) S 11226 11226 7201 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 19 0 475423554 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384765832048 140385230088834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11235] ppid=11226 vsize=15617104 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11235/stat : 11235 (java) S 11226 11226 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475423555 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384697050720 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11236] ppid=11226 vsize=15617104 memory=6316 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11236/stat : 11236 (java) S 11226 11226 7201 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475423555 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384695997824 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11237] ppid=11226 vsize=15617104 memory=828 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11237/stat : 11237 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384694946128 140385230096283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11238] ppid=11226 vsize=15617104 memory=736 CPUtime=1.16 cores=1,3,5,7
/proc/11228/task/11238/stat : 11238 (java) S 11226 11226 7201 0 -1 1077944384 3793 0 0 0 116 0 0 0 20 0 19 0 475423558 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384693893488 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11239] ppid=11226 vsize=15617104 memory=1608 CPUtime=1.28 cores=1,3,5,7
/proc/11228/task/11239/stat : 11239 (java) S 11226 11226 7201 0 -1 1077944384 4514 0 0 0 128 0 0 0 20 0 19 0 475423558 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384692840688 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11240] ppid=11226 vsize=15617104 memory=1076 CPUtime=0.46 cores=1,3,5,7
/proc/11228/task/11240/stat : 11240 (java) S 11226 11226 7201 0 -1 1077944384 2498 0 0 0 45 1 0 0 20 0 19 0 475423558 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384691787888 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11241] ppid=11226 vsize=15617104 memory=3124 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11241/stat : 11241 (java) S 11226 11226 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384690735328 140385230087893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11242] ppid=11226 vsize=15617104 memory=1244 CPUtime=0 cores=1,3,5,7
/proc/11228/task/11242/stat : 11242 (java) S 11226 11226 7201 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475423558 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384689683632 140385230088834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11435] ppid=11226 vsize=15617104 memory=14064 CPUtime=10.11 cores=1,3,5,7
/proc/11228/task/11435/stat : 11435 (java) R 11226 11226 7201 0 -1 4202560 69 0 0 0 1011 0 0 0 20 0 19 0 475423680 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384679649336 140384851977316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11436] ppid=11226 vsize=15617104 memory=17720 CPUtime=9.95 cores=1,3,5,7
/proc/11228/task/11436/stat : 11436 (java) R 11226 11226 7201 0 -1 4202560 436 0 0 0 994 1 0 0 20 0 19 0 475423680 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384676491384 140384852369900 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11437] ppid=11226 vsize=15617104 memory=2256 CPUtime=9.83 cores=1,3,5,7
/proc/11228/task/11437/stat : 11437 (java) R 11226 11226 7201 0 -1 4202560 455 0 0 0 983 0 0 0 20 0 19 0 475423680 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384677544824 140726357981576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
[pid=11228/tid=11438] ppid=11226 vsize=15617104 memory=12328 CPUtime=9.92 cores=1,3,5,7
/proc/11228/task/11438/stat : 11438 (java) R 11226 11226 7201 0 -1 4202560 607 0 0 0 988 4 0 0 20 0 19 0 475423680 15991914496 145813 33554432000 4194304 4196468 140726357425200 140384675438472 140384853702856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25387008 140726357431259 140726357431434 140726357431434 140726357434319 0
Current children cumulated CPU time: 44.88 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 584704 KiB
Child status: 0
Real time (s): 11.668
CPU time (s): 45.1292
CPU user time (s): 44.9082
CPU system time (s): 0.220978
CPU usage (%): 386.777
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 588720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.9082
system time used= 0.220978
maximum resident set size= 589264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3648
involuntary context switches= 1315
# summary of solver processes directly reported to runsolver:
# pid: 11226
# total CPU time (s): 45.1292
# total CPU user time (s): 44.9082
# total CPU system time (s): 0.220978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086134 second user time and 0.192037 second system time
The end