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 (10001 MiB free)
memory of node 1: 16384 MiB (12136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284330-1503213317/watcher-4284330-1503213317 -o /tmp/evaluation-result-4284330-1503213317/solver-4284330-1503213317 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1919152646 HOME/instance-4284330-1503213317.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=6494, runsolver pid=6491
[startup+0.100835 s]*
/proc/loadavg: 1.51 1.65 1.78 3/217 6510
/proc/meminfo: memFree=22652072/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13978596 memory=27932 CPUtime=0.12 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 5367 0 0 0 11 1 0 0 20 0 15 0 154419434 14314082304 6983 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3494649 6983 2867 1 0 3482966 0
[pid=6496/tid=6497] ppid=6494 vsize=13978596 memory=8116231582430499675 CPUtime=0.08 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 3359 0 0 0 8 0 0 0 20 0 15 0 154419434 14314082304 6983 33554432000 4194304 4196468 140725414067472 139748279891024 139747913552136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13978596 memory=140602055284352 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13978596 memory=140602055284352 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419436 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154419437 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154419437 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 3809 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 154419439 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747452394352 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 3809 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 154419439 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747451341552 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13978596 memory=140602055284352 CPUtime=0.01 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) R 6494 6494 3809 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 15 0 154419439 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747450288752 139748254616318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13978596 memory=140602055284352 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419440 14314082304 6983 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29316 KiB
[startup+0.210792 s]*
/proc/loadavg: 1.51 1.65 1.78 3/217 6510
/proc/meminfo: memFree=22640412/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13982852 memory=40428 CPUtime=0.34 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 8164 0 0 0 32 2 0 0 20 0 15 0 154419434 14318440448 10107 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3495721 10107 3052 1 0 3482974 0
[pid=6496/tid=6497] ppid=6494 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 5327 0 0 0 18 2 0 0 20 0 15 0 154419434 14318473216 10129 33554432000 4194304 4196468 140725414067472 139748279884480 139748268354589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13982884 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14318473216 10129 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13982852 memory=140602055818205 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13982852 memory=140602055284352 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419436 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154419437 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154419437 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14318473216 10129 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13982884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 3809 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 154419439 14318473216 10129 33554432000 4194304 4196468 140725414067472 139747452394352 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 3809 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 15 0 154419439 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747451341552 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13982852 memory=140602055284352 CPUtime=0.08 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 3809 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 154419439 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747450288752 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419440 14318440448 10129 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41812 KiB
[startup+0.311449 s]*
/proc/loadavg: 1.51 1.65 1.78 3/217 6510
/proc/meminfo: memFree=22633836/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13982928 memory=47708 CPUtime=0.5 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 9123 0 0 0 47 3 0 0 20 0 15 0 154419434 14318518272 11927 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3495732 11927 3129 1 0 3482966 0
[pid=6496/tid=6497] ppid=6494 vsize=13982928 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 6103 0 0 0 27 2 0 0 20 0 15 0 154419434 14318518272 11927 33554432000 4194304 4196468 140725414067472 139748279907232 139748275686806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13982928 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13982928 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13982928 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419436 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13982928 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154419437 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13982928 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154419437 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13982928 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13982928 memory=7100839887185294217 CPUtime=0.02 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) R 6494 6494 3809 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 154419439 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747452394352 139748275686018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 3809 0 -1 1077944384 517 0 0 0 4 0 0 0 20 0 15 0 154419439 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747451341552 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) R 6494 6494 3809 0 -1 1077944384 845 0 0 0 11 0 0 0 20 0 15 0 154419439 14318518272 11927 33554432000 4194304 4196468 140725414067472 139747450288752 139748275686018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14318518272 11943 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419440 14318518272 11943 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49092 KiB
[startup+0.70078 s]
/proc/loadavg: 1.51 1.65 1.78 6/217 6510
/proc/meminfo: memFree=22621512/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13984976 memory=76968 CPUtime=1.68 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 13471 0 0 0 164 4 0 0 20 0 15 0 154419434 14320615424 19242 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3496244 19242 3201 1 0 3483478 0
[pid=6496/tid=6497] ppid=6494 vsize=13984976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 6616 0 0 0 64 3 0 0 20 0 15 0 154419434 14320615424 19242 33554432000 4194304 4196468 140725414067472 139748279911344 139747916540291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419435 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154419435 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154419436 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13984976 memory=11112 CPUtime=0.33 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) R 6494 6494 3809 0 -1 4202560 1905 0 0 0 33 0 0 0 20 0 15 0 154419439 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747452384064 139748254902420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13984976 memory=1228 CPUtime=0.34 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) R 6494 6494 3809 0 -1 4202560 1810 0 0 0 34 0 0 0 20 0 15 0 154419439 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747451332384 139748259171659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13984976 memory=1420 CPUtime=0.31 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 3809 0 -1 1077944384 1832 0 0 0 31 0 0 0 20 0 15 0 154419439 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747450288752 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154419440 14320615424 19242 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78352 KiB
[startup+1.50089 s]
/proc/loadavg: 1.51 1.65 1.78 6/217 6510
/proc/meminfo: memFree=22584108/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13984976 memory=219424 CPUtime=24.39 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 52556 0 0 0 2422 17 0 0 20 0 15 0 154419434 14320615424 54856 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3496244 54856 3262 1 0 3483478 0
[pid=6496/tid=6497] ppid=6494 vsize=13984976 memory=8112282956445269571 CPUtime=18.31 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 9666 0 0 0 1826 5 0 0 20 0 15 0 154419434 14320615424 54856 33554432000 4194304 4196468 140725414067472 139748279914432 139747916371320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13984976 memory=4126316290023845779 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 666 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 365 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13984976 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13984976 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 15 0 154419436 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13984976 memory=219872 CPUtime=2.6 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 3809 0 -1 1077944384 21661 0 0 0 257 3 0 0 20 0 15 0 154419439 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747452394352 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13984976 memory=1296 CPUtime=2.73 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 3809 0 -1 1077944384 12929 0 0 0 272 1 0 0 20 0 15 0 154419439 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747451341552 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13984976 memory=2428 CPUtime=0.51 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 3809 0 -1 1077944384 4403 0 0 0 50 1 0 0 20 0 15 0 154419439 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747450288752 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154419440 14320615424 54856 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 24.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 220808 KiB
[startup+19.2008 s]
/proc/loadavg: 1.62 1.67 1.79 3/217 6532
/proc/meminfo: memFree=22349480/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13984976 memory=219428 CPUtime=25.21 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 52939 0 0 0 2504 17 0 0 20 0 15 0 154419434 14320615424 54857 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3496244 54857 3262 1 0 3483478 0
[pid=6496/tid=6497] ppid=6494 vsize=13984976 memory=644 CPUtime=19.11 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 9778 0 0 0 1906 5 0 0 20 0 15 0 154419434 14320615424 54857 33554432000 4194304 4196468 140725414067472 139748279911488 139747917520295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13984976 memory=1788 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 666 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13984976 memory=952 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 365 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13984976 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13984976 memory=4140 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 15 0 154419436 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13984976 memory=226476 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13984976 memory=0 CPUtime=2.62 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 3809 0 -1 1077944384 21858 0 0 0 259 3 0 0 20 0 15 0 154419439 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747452394352 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13984976 memory=0 CPUtime=2.73 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 3809 0 -1 1077944384 12929 0 0 0 272 1 0 0 20 0 15 0 154419439 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747451341552 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13984976 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 3809 0 -1 1077944384 4477 0 0 0 51 1 0 0 20 0 15 0 154419439 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747450288752 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154419440 14320615424 54857 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 220812 KiB
[startup+19.6008 s]
/proc/loadavg: 1.62 1.67 1.79 3/217 6532
/proc/meminfo: memFree=22349480/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13984976 memory=215324 CPUtime=25.62 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 52952 0 0 0 2545 17 0 0 20 0 15 0 154419434 14320615424 53831 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3496244 53831 3262 1 0 3483478 0
[pid=6496/tid=6497] ppid=6494 vsize=13984976 memory=281201978109214 CPUtime=19.5 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 9779 0 0 0 1945 5 0 0 20 0 15 0 154419434 14320615424 53831 33554432000 4194304 4196468 140725414067472 139748279914688 139747916430561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 668 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13984976 memory=219424 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 372 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13984976 memory=219428 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 503 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13984976 memory=226476 CPUtime=0.01 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 15 0 154419436 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13984976 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13984976 memory=1228 CPUtime=2.62 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 3809 0 -1 1077944384 21858 0 0 0 259 3 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747452394352 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13984976 memory=1420 CPUtime=2.73 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 3809 0 -1 1077944384 12929 0 0 0 272 1 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747451341552 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13984976 memory=15876 CPUtime=0.52 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 3809 0 -1 1077944384 4477 0 0 0 51 1 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747450288752 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13984976 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154419440 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 25.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 216708 KiB
[startup+19.7008 s]
/proc/loadavg: 1.62 1.67 1.79 3/217 6532
/proc/meminfo: memFree=22349480/32770624 swapFree=67108860/67108860
[pid=6494] ppid=6491 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6494/stat : 6494 (xcsp3-exec) S 6491 6494 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154419433 9740288 346 33554432000 4194304 5098028 140734482874528 140734482872632 140319829017212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7405568 140734482879604 140734482879808 140734482879808 140734482882539 0
/proc/6494/statm: 2378 346 289 221 0 87 0
[pid=6496] ppid=6494 vsize=13984976 memory=215324 CPUtime=25.72 cores=1,3,5,7
/proc/6496/stat : 6496 (java) S 6494 6494 3809 0 -1 1077944320 52952 0 0 0 2555 17 0 0 20 0 15 0 154419434 14320615424 53831 33554432000 4194304 4196468 140725414067472 140725414050016 139748275674871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
/proc/6496/statm: 3496244 53831 3262 1 0 3483478 0
[pid=6496/tid=6497] ppid=6494 vsize=13984976 memory=1384 CPUtime=19.6 cores=1,3,5,7
/proc/6496/task/6497/stat : 6497 (java) R 6494 6494 3809 0 -1 4202560 9779 0 0 0 1955 5 0 0 20 0 15 0 154419434 14320615424 53831 33554432000 4194304 4196468 140725414067472 139748279914688 139747918400766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6498] ppid=6494 vsize=13984976 memory=223464 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6498/stat : 6498 (java) S 6494 6494 3809 0 -1 1077944384 668 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747871927440 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6499] ppid=6494 vsize=13984976 memory=796 CPUtime=0.04 cores=1,3,5,7
/proc/6496/task/6499/stat : 6499 (java) S 6494 6494 3809 0 -1 1077944384 372 0 0 0 3 1 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747870874640 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6500] ppid=6494 vsize=13984976 memory=1952 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6500/stat : 6500 (java) S 6494 6494 3809 0 -1 1077944384 372 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747869821840 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6501] ppid=6494 vsize=13984976 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/6496/task/6501/stat : 6501 (java) S 6494 6494 3809 0 -1 1077944384 503 0 0 0 3 0 0 0 20 0 15 0 154419435 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747868769040 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6502] ppid=6494 vsize=13984976 memory=2428 CPUtime=0.01 cores=1,3,5,7
/proc/6496/task/6502/stat : 6502 (java) S 6494 6494 3809 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 15 0 154419436 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747456604528 139748275686018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6503] ppid=6494 vsize=13984976 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6503/stat : 6503 (java) S 6494 6494 3809 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747455550496 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6504] ppid=6494 vsize=13984976 memory=31556 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6504/stat : 6504 (java) S 6494 6494 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154419437 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747454497648 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6505] ppid=6494 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6505/stat : 6505 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747453445968 139748275693467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6506] ppid=6494 vsize=13984976 memory=4420 CPUtime=2.62 cores=1,3,5,7
/proc/6496/task/6506/stat : 6506 (java) S 6494 6494 3809 0 -1 1077944384 21858 0 0 0 259 3 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747452394352 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6507] ppid=6494 vsize=13984976 memory=1384 CPUtime=2.73 cores=1,3,5,7
/proc/6496/task/6507/stat : 6507 (java) S 6494 6494 3809 0 -1 1077944384 12929 0 0 0 272 1 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747451341552 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6508] ppid=6494 vsize=13984976 memory=219872 CPUtime=0.52 cores=1,3,5,7
/proc/6496/task/6508/stat : 6508 (java) S 6494 6494 3809 0 -1 1077944384 4477 0 0 0 51 1 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747450288752 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6509] ppid=6494 vsize=13984976 memory=42896 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6509/stat : 6509 (java) S 6494 6494 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154419439 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747449236192 139748275685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
[pid=6496/tid=6510] ppid=6494 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/6496/task/6510/stat : 6510 (java) S 6494 6494 3809 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154419440 14320615424 53831 33554432000 4194304 4196468 140725414067472 139747448183472 139748275686018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27484160 140725414073501 140725414073676 140725414073676 140725414076367 0
Current children cumulated CPU time: 25.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 216708 KiB
Child status: 0
Real time (s): 19.7709
CPU time (s): 25.7963
CPU user time (s): 25.6162
CPU system time (s): 0.180067
CPU usage (%): 130.476
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 238908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.6162
system time used= 0.180067
maximum resident set size= 237524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53992
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= 2989
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 6494
# total CPU time (s): 25.7963
# total CPU user time (s): 25.6162
# total CPU system time (s): 0.180067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.155355 second user time and 0.231377 second system time
The end