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 (10350 MiB free)
memory of node 1: 16384 MiB (15154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406501-1569397208/watcher-4406501-1569397208 -o /tmp/evaluation-result-4406501-1569397208/solver-4406501-1569397208 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1569392986-17026 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406501-1569397208.xml
running on 4 cores: 0,2,4,6
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
solver pid=17430, runsolver pid=17427
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 1.58 1.34 0.72 5/228 17446
/proc/meminfo: memFree=26101592/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15144776 memory=29340 CPUtime=0.13 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 5816 0 0 0 11 2 0 0 20 0 15 0 515974751 15508250624 7335 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3786194 7335 3121 1 0 3748377 0
[pid=17432/tid=17433] ppid=17430 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 3717 0 0 0 7 1 0 0 20 0 15 0 515974751 15508250624 7335 33554432000 4194304 4196468 140726249448272 139847035771888 139847031567517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15144776 memory=3545088553600583328 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974754 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515974754 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846499054624 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515974754 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846498001776 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) S 17430 17430 16995 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846495898480 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) S 17430 17430 16995 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846494845680 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15144776 memory=139683302901376 CPUtime=0.02 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) S 17430 17430 16995 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 515974757 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846493792880 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 7335 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30792 KiB
[startup+0.2107 s]*
/proc/loadavg: 1.58 1.34 0.72 3/228 17446
/proc/meminfo: memFree=26089364/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15144776 memory=40388 CPUtime=0.33 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 9310 0 0 0 30 3 0 0 20 0 15 0 515974751 15508250624 10097 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3786194 10097 3317 1 0 3748377 0
[pid=17432/tid=17433] ppid=17430 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 6605 0 0 0 17 2 0 0 20 0 15 0 515974751 15508250624 10097 33554432000 4194304 4196468 140726249448272 139847035778688 139847015626078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15144776 memory=2669799 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15144776 memory=139683306527479 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15144776 memory=139683302901376 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515974754 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515974754 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846499054624 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515974754 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846498001776 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) S 17430 17430 16995 0 -1 1077944384 480 0 0 0 3 0 0 0 20 0 15 0 515974757 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846495898480 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) S 17430 17430 16995 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 15 0 515974757 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846494845680 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15144776 memory=139683302901376 CPUtime=0.08 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) R 17430 17430 16995 0 -1 4202560 784 0 0 0 8 0 0 0 20 0 15 0 515974757 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846493792688 139847009548096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974757 15508250624 10097 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41840 KiB
[startup+0.310551 s]*
/proc/loadavg: 1.58 1.34 0.72 4/228 17446
/proc/meminfo: memFree=26083780/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15149032 memory=49860 CPUtime=0.52 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 10797 0 0 0 48 4 0 0 20 0 15 0 515974751 15512608768 12465 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3787258 12465 3357 1 0 3748377 0
[pid=17432/tid=17433] ppid=17430 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 7761 0 0 0 26 3 0 0 20 0 15 0 515974751 15512608768 12465 33554432000 4194304 4196468 140726249448272 139847035772208 139847015626078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974752 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515974754 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515974754 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846499054624 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515974754 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846498001776 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) S 17430 17430 16995 0 -1 1077944384 494 0 0 0 5 0 0 0 20 0 15 0 515974757 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846495898480 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) R 17430 17430 16995 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 515974757 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846494836064 139847010784075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) S 17430 17430 16995 0 -1 1077944384 947 0 0 0 12 0 0 0 20 0 15 0 515974757 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846493792880 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974757 15512608768 12465 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51312 KiB
[startup+0.701274 s]
/proc/loadavg: 1.58 1.34 0.72 5/228 17446
/proc/meminfo: memFree=26065916/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15151156 memory=71840 CPUtime=1.62 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 15230 0 0 0 156 6 0 0 20 0 15 0 515974751 15514783744 17960 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3787789 17960 3455 1 0 3748889 0
[pid=17432/tid=17433] ppid=17430 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 9165 0 0 0 63 4 0 0 20 0 15 0 515974751 15514783744 17960 33554432000 4194304 4196468 140726249448272 139847035781008 139847031557526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974752 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15151156 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515974752 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15151156 memory=948 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846499054624 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15151156 memory=9588 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846498001776 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15151156 memory=628 CPUtime=0.29 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) R 17430 17430 16995 0 -1 4202560 1595 0 0 0 29 0 0 0 20 0 15 0 515974757 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846495879496 139847015008517 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15151156 memory=1056 CPUtime=0.29 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) R 17430 17430 16995 0 -1 4202560 1283 0 0 0 29 0 0 0 20 0 15 0 515974757 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846494835392 139847011200785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15151156 memory=1716 CPUtime=0.32 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) S 17430 17430 16995 0 -1 1077944384 1879 0 0 0 32 0 0 0 20 0 15 0 515974757 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846493792880 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15151156 memory=6176 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 17960 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 73292 KiB
[startup+1.50084 s]
/proc/loadavg: 1.58 1.34 0.72 5/228 17446
/proc/meminfo: memFree=26044996/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15151156 memory=213704 CPUtime=126.93 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 45562 0 0 0 12678 15 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3787789 53426 3509 1 0 3748889 0
[pid=17432/tid=17433] ppid=17430 vsize=15151156 memory=772 CPUtime=123.13 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 12835 0 0 0 12305 8 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 139847035785104 139846639032203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15151156 memory=3648 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 1500 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15151156 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 661 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15151156 memory=3624 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15151156 memory=55044 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15151156 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 896 0 0 0 1 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15151156 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846499054688 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846498001792 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15151156 memory=213176 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15151156 memory=165720 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) S 17430 17430 16995 0 -1 1077944384 10780 0 0 0 158 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846495898480 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15151156 memory=1412 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) S 17430 17430 16995 0 -1 1077944384 9796 0 0 0 159 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846494845680 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15151156 memory=2868 CPUtime=0.47 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) S 17430 17430 16995 0 -1 1077944384 6131 0 0 0 46 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846493792880 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15151156 memory=213704 CPUtime=0.02 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 667 0 0 0 1 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 126.93 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 215156 KiB
[startup+123.601 s]
/proc/loadavg: 1.77 1.52 0.86 3/228 17461
/proc/meminfo: memFree=25960236/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15151156 memory=213704 CPUtime=127.33 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 45564 0 0 0 12718 15 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3787789 53426 3509 1 0 3748889 0
[pid=17432/tid=17433] ppid=17430 vsize=15151156 memory=213704 CPUtime=123.53 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 12835 0 0 0 12345 8 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 139847035785104 139846638896674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 1500 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15151156 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 661 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15151156 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15151156 memory=860 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15151156 memory=948 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 896 0 0 0 1 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846499054688 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15151156 memory=9588 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846498001792 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15151156 memory=628 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) S 17430 17430 16995 0 -1 1077944384 10780 0 0 0 158 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846495898480 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15151156 memory=1056 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) S 17430 17430 16995 0 -1 1077944384 9796 0 0 0 159 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846494845680 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15151156 memory=1980 CPUtime=0.47 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) S 17430 17430 16995 0 -1 1077944384 6131 0 0 0 46 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846493792880 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15151156 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15151156 memory=1760 CPUtime=0.02 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 669 0 0 0 1 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 127.33 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 215156 KiB
[startup+124.001 s]*
/proc/loadavg: 1.77 1.52 0.86 3/228 17461
/proc/meminfo: memFree=25960376/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15151156 memory=213704 CPUtime=127.74 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 45564 0 0 0 12759 15 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3787789 53426 3509 1 0 3748889 0
[pid=17432/tid=17433] ppid=17430 vsize=15151156 memory=3624 CPUtime=123.94 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 12835 0 0 0 12386 8 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 139847035785104 139846639031863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15151156 memory=55044 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 1500 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15151156 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 661 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15151156 memory=8317482817917895235 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15151156 memory=1428 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15151156 memory=1128 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 896 0 0 0 1 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846499054688 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15151156 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846498001792 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15151156 memory=948 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15151156 memory=2832 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) S 17430 17430 16995 0 -1 1077944384 10780 0 0 0 158 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846495898480 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15151156 memory=9588 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) S 17430 17430 16995 0 -1 1077944384 9796 0 0 0 159 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846494845680 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15151156 memory=1548 CPUtime=0.47 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) S 17430 17430 16995 0 -1 1077944384 6131 0 0 0 46 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846493792880 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15151156 memory=628 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15151156 memory=1056 CPUtime=0.02 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 669 0 0 0 1 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 127.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 215156 KiB
[startup+124.11 s]
/proc/loadavg: 1.77 1.52 0.86 3/228 17461
/proc/meminfo: memFree=25960376/32770624 swapFree=66999776/67108860
[pid=17430] ppid=17427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/17430/stat : 17430 (xcsp3-exec) S 17427 17430 16995 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515974751 115843072 363 33554432000 4194304 5098028 140725801784496 140725801782600 140229718614652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9220096 140725801788282 140725801788525 140725801788525 140725801791434 0
/proc/17430/statm: 28282 363 304 221 0 87 0
[pid=17432] ppid=17430 vsize=15151156 memory=213704 CPUtime=127.84 cores=0,2,4,6
/proc/17432/stat : 17432 (java) S 17430 17430 16995 0 -1 1077944320 45564 0 0 0 12769 15 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 140726249430816 139847031545591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
/proc/17432/statm: 3787789 53426 3509 1 0 3748889 0
[pid=17432/tid=17433] ppid=17430 vsize=15151156 memory=213704 CPUtime=124.04 cores=0,2,4,6
/proc/17432/task/17433/stat : 17433 (java) R 17430 17430 16995 0 -1 4202560 12835 0 0 0 12396 8 0 0 20 0 15 0 515974751 15514783744 53426 33554432000 4194304 4196468 140726249448272 139847035785104 139846639534784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17434] ppid=17430 vsize=15151156 memory=213704 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17434/stat : 17434 (java) S 17430 17430 16995 0 -1 1077944384 1500 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846959586448 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17435] ppid=17430 vsize=15151156 memory=213704 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17435/stat : 17435 (java) S 17430 17430 16995 0 -1 1077944384 661 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846958533648 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17436] ppid=17430 vsize=15151156 memory=213704 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17436/stat : 17436 (java) S 17430 17430 16995 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846957480848 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17437] ppid=17430 vsize=15151156 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17437/stat : 17437 (java) S 17430 17430 16995 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 515974752 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846956428048 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17438] ppid=17430 vsize=15151156 memory=500 CPUtime=0.01 cores=0,2,4,6
/proc/17432/task/17438/stat : 17438 (java) S 17430 17430 16995 0 -1 1077944384 896 0 0 0 1 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846500108656 139847031556738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17439] ppid=17430 vsize=15151156 memory=213156 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17439/stat : 17439 (java) S 17430 17430 16995 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846499054688 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17440] ppid=17430 vsize=15151156 memory=301793952433749199 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17440/stat : 17440 (java) S 17430 17430 16995 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 515974754 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846498001792 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17441] ppid=17430 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17441/stat : 17441 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846496950096 139847031564187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17442] ppid=17430 vsize=15151156 memory=500 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17442/stat : 17442 (java) S 17430 17430 16995 0 -1 1077944384 10780 0 0 0 158 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846495898480 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17443] ppid=17430 vsize=15151156 memory=1452 CPUtime=1.59 cores=0,2,4,6
/proc/17432/task/17443/stat : 17443 (java) S 17430 17430 16995 0 -1 1077944384 9796 0 0 0 159 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846494845680 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17444] ppid=17430 vsize=15151156 memory=213156 CPUtime=0.47 cores=0,2,4,6
/proc/17432/task/17444/stat : 17444 (java) S 17430 17430 16995 0 -1 1077944384 6131 0 0 0 46 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846493792880 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17445] ppid=17430 vsize=15151156 memory=213156 CPUtime=0 cores=0,2,4,6
/proc/17432/task/17445/stat : 17445 (java) S 17430 17430 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846492740320 139847031555797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
[pid=17432/tid=17446] ppid=17430 vsize=15151156 memory=928 CPUtime=0.02 cores=0,2,4,6
/proc/17432/task/17446/stat : 17446 (java) S 17430 17430 16995 0 -1 1077944384 669 0 0 0 1 1 0 0 20 0 15 0 515974757 15514783744 53426 33554432000 4194304 4196468 140726249448272 139846491687600 139847031556738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 30855168 140726249452527 140726249452698 140726249452698 140726249455567 0
Current children cumulated CPU time: 127.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 215156 KiB
Child status: 0
Real time (s): 124.153
CPU time (s): 127.895
CPU user time (s): 127.733
CPU system time (s): 0.161422
CPU usage (%): 103.014
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 215156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.733
system time used= 0.161422
maximum resident set size= 215248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5108
involuntary context switches= 153
# summary of solver processes directly reported to runsolver:
# pid: 17430
# total CPU time (s): 127.895
# total CPU user time (s): 127.733
# total CPU system time (s): 0.161422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.764761 second user time and 1.10508 second system time
The end