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 (14052 MiB free)
memory of node 1: 16384 MiB (12915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272569-1502814705/watcher-4272569-1502814705 -o /tmp/evaluation-result-4272569-1502814705/solver-4272569-1502814705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 870360779 HOME/instance-4272569-1502814705.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10464, runsolver pid=10461
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 2.23 1.97 1.91 4/217 10480
/proc/meminfo: memFree=27598804/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13978596 memory=28360 CPUtime=0.12 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 5530 0 0 0 11 1 0 0 20 0 15 0 114558685 14314082304 7090 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3494649 7090 2838 1 0 3482966 0
[pid=10466/tid=10467] ppid=10464 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) R 10464 10464 5918 0 -1 4202560 3532 0 0 0 8 0 0 0 20 0 15 0 114558685 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567575814464 140567571594646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567167810448 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13978596 memory=140376644544128 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567166757648 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567165705360 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567164652560 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13978596 memory=140376644544128 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558687 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567112935536 140567571593858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114558688 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567111881504 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114558688 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567110829168 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) S 10464 10464 5918 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 114558690 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567108725360 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) S 10464 10464 5918 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 114558690 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567107672560 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13978596 memory=140376644544128 CPUtime=0.01 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) R 10464 10464 5918 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 114558690 14314082304 7090 33554432000 4194304 4196468 140728658777232 140567106620272 140567552842049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14314082304 7155 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13978596 memory=140376644544128 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) S 10464 10464 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114558691 14314082304 7155 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29744 KiB
[startup+0.210674 s]*
/proc/loadavg: 2.23 1.97 1.91 3/217 10480
/proc/meminfo: memFree=27587848/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13982852 memory=40188 CPUtime=0.34 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 8116 0 0 0 32 2 0 0 20 0 15 0 114558685 14318440448 10047 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3495713 10047 3053 1 0 3482966 0
[pid=10466/tid=10467] ppid=10464 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) R 10464 10464 5918 0 -1 1077944384 5336 0 0 0 18 1 0 0 20 0 15 0 114558685 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567575792512 140567564261933 0 4 0 16800975 18446744072101617188 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13982884 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318473216 10047 33554432000 4194304 4196468 140728658777232 140567167810448 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13982884 memory=140376645108138 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318473216 10047 33554432000 4194304 4196468 140728658777232 140567166757648 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567165705360 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567164652560 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13982852 memory=140376644544128 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558687 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567112935536 140567571593858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114558688 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567111881504 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114558688 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567110829168 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13982884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) S 10464 10464 5918 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 114558690 14318473216 10047 33554432000 4194304 4196468 140728658777232 140567108725360 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) S 10464 10464 5918 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 114558690 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567107672560 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13982852 memory=140376644544128 CPUtime=0.07 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) S 10464 10464 5918 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 15 0 114558690 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567106620272 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) S 10464 10464 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114558691 14318440448 10047 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41572 KiB
[startup+0.313327 s]*
/proc/loadavg: 2.23 1.97 1.91 5/217 10480
/proc/meminfo: memFree=27581272/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13982852 memory=48092 CPUtime=0.52 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 9172 0 0 0 50 2 0 0 20 0 15 0 114558685 14318440448 12023 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3495713 12023 3130 1 0 3482966 0
[pid=10466/tid=10467] ppid=10464 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) R 10464 10464 5918 0 -1 4202560 5928 0 0 0 28 1 0 0 20 0 15 0 114558685 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567575816768 140567571604637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13982852 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567167810448 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13982852 memory=571526 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567166757648 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567165705360 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558686 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567164652560 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114558687 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567112935536 140567571593858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114558688 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567111881504 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114558688 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567110829168 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13982852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) R 10464 10464 5918 0 -1 4202560 639 0 0 0 5 0 0 0 20 0 15 0 114558690 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567108711328 140567556697766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) R 10464 10464 5918 0 -1 4202560 497 0 0 0 4 0 0 0 20 0 15 0 114558690 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567107672560 140567551272828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) R 10464 10464 5918 0 -1 1077944384 801 0 0 0 12 0 0 0 20 0 15 0 114558690 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567106620272 140567571593858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) S 10464 10464 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114558691 14318440448 12023 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49476 KiB
[startup+0.702703 s]
/proc/loadavg: 2.23 1.97 1.91 6/217 10480
/proc/meminfo: memFree=27383968/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13982852 memory=338068 CPUtime=1.31 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 10534 0 0 0 105 26 0 0 20 0 15 0 114558685 14318440448 84517 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3495713 84517 3168 1 0 3482966 0
[pid=10466/tid=10467] ppid=10464 vsize=13982852 memory=4044 CPUtime=0.59 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) S 10464 10464 5918 0 -1 1077944384 5989 0 0 0 52 7 0 0 20 0 15 0 114558685 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567575821824 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13982852 memory=1792 CPUtime=0.06 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) R 10464 10464 5918 0 -1 4202560 78 0 0 0 3 3 0 0 20 0 15 0 114558686 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567167810336 140567564685428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13982852 memory=636 CPUtime=0.07 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) R 10464 10464 5918 0 -1 4202560 121 0 0 0 3 4 0 0 20 0 15 0 114558686 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567166757848 140567564685428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13982852 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) R 10464 10464 5918 0 -1 4202560 132 0 0 0 4 4 0 0 20 0 15 0 114558686 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567165705360 140567564685764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13982852 memory=2340 CPUtime=0.07 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) R 10464 10464 5918 0 -1 4202560 120 0 0 0 3 4 0 0 20 0 15 0 114558686 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567164652560 140567564685428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13982852 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114558687 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567112934048 140567571592917 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13982852 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 114558688 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567111881504 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13982852 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 114558688 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567110829168 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13982852 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13982852 memory=932 CPUtime=0.13 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) S 10464 10464 5918 0 -1 1077944384 1098 0 0 0 13 0 0 0 20 0 15 0 114558690 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567108710352 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13982852 memory=2200 CPUtime=0.09 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) S 10464 10464 5918 0 -1 1077944384 762 0 0 0 9 0 0 0 20 0 15 0 114558690 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567107672560 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13982852 memory=6504 CPUtime=0.14 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) S 10464 10464 5918 0 -1 1077944384 853 0 0 0 14 0 0 0 20 0 15 0 114558690 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567106620272 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13982852 memory=840 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13982852 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) S 10464 10464 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114558691 14318440448 85029 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 339452 KiB
[startup+1.50091 s]
/proc/loadavg: 2.23 1.97 1.91 6/217 10480
/proc/meminfo: memFree=27157020/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13984976 memory=5433748 CPUtime=83.62 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 77335 0 0 0 8022 340 0 0 20 0 15 0 114558685 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3496244 1358437 3261 1 0 3483478 0
[pid=10466/tid=10467] ppid=10464 vsize=13984976 memory=6791534058613427641 CPUtime=61.94 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) R 10464 10464 5918 0 -1 4202560 21479 0 0 0 6146 48 0 0 20 0 15 0 114558685 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567575819448 140567186946969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13984976 memory=4126316290023845779 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) S 10464 10464 5918 0 -1 1077944384 6083 0 0 0 353 71 0 0 20 0 15 0 114558686 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567167810448 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13984976 memory=7092150515423733614 CPUtime=4.21 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) S 10464 10464 5918 0 -1 1077944384 10807 0 0 0 354 67 0 0 20 0 15 0 114558686 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567166757648 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13984976 memory=4641076404092823657 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) S 10464 10464 5918 0 -1 1077944384 6690 0 0 0 351 73 0 0 20 0 15 0 114558686 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567165705360 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13984976 memory=6298392214985593958 CPUtime=4.23 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) S 10464 10464 5918 0 -1 1077944384 5860 0 0 0 354 69 0 0 20 0 15 0 114558686 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567164652560 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13984976 memory=-7751062316387021378 CPUtime=1.76 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 6728 0 0 0 172 4 0 0 20 0 15 0 114558687 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567112935536 140567571593858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567111881568 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13984976 memory=280753020981632 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567110829184 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13984976 memory=3472468672671008624 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13984976 memory=140376510437329 CPUtime=1.14 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) R 10464 10464 5918 0 -1 4202560 5589 0 0 0 113 1 0 0 20 0 15 0 114558690 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567108706376 140567552758788 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13984976 memory=140380536969217 CPUtime=1.22 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) R 10464 10464 5918 0 -1 4202560 8504 0 0 0 121 1 0 0 20 0 15 0 114558690 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567107672560 140567549329696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13984976 memory=140376510054378 CPUtime=0.51 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) S 10464 10464 5918 0 -1 1077944384 3689 0 0 0 50 1 0 0 20 0 15 0 114558690 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567106620272 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13984976 memory=3472468672738017696 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13984976 memory=140380536869329 CPUtime=0.04 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) R 10464 10464 5918 0 -1 1077944384 534 0 0 0 2 2 0 0 20 0 15 0 114558691 14320615424 1358437 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 83.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5435132 KiB
[startup+68.8008 s]
/proc/loadavg: 2.26 2.03 1.93 5/217 10481
/proc/meminfo: memFree=22287044/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13984976 memory=5444480 CPUtime=85.04 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 80763 0 0 0 8164 340 0 0 20 0 15 0 114558685 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3496244 1361120 3265 1 0 3483478 0
[pid=10466/tid=10467] ppid=10464 vsize=13984976 memory=-7361174377247368086 CPUtime=62.73 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) R 10464 10464 5918 0 -1 4202560 21520 0 0 0 6225 48 0 0 20 0 15 0 114558685 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567575819408 140567187004403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13984976 memory=1384 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) S 10464 10464 5918 0 -1 1077944384 6083 0 0 0 353 71 0 0 20 0 15 0 114558686 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567167810448 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13984976 memory=6791534058613427641 CPUtime=4.21 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) S 10464 10464 5918 0 -1 1077944384 10807 0 0 0 354 67 0 0 20 0 15 0 114558686 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567166757648 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13984976 memory=792 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) S 10464 10464 5918 0 -1 1077944384 6690 0 0 0 351 73 0 0 20 0 15 0 114558686 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567165705360 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13984976 memory=1004 CPUtime=4.23 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) S 10464 10464 5918 0 -1 1077944384 5860 0 0 0 354 69 0 0 20 0 15 0 114558686 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567164652560 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13984976 memory=5296 CPUtime=1.76 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 6728 0 0 0 172 4 0 0 20 0 15 0 114558687 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567112935536 140567571593858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567111881568 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567110829184 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13984976 memory=11032 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13984976 memory=1712 CPUtime=1.61 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) S 10464 10464 5918 0 -1 1077944384 8864 0 0 0 160 1 0 0 20 0 15 0 114558690 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567108725360 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13984976 memory=1952 CPUtime=1.35 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) S 10464 10464 5918 0 -1 1077944384 8547 0 0 0 134 1 0 0 20 0 15 0 114558690 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567107672560 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13984976 memory=8560 CPUtime=0.54 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) S 10464 10464 5918 0 -1 1077944384 3758 0 0 0 53 1 0 0 20 0 15 0 114558690 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567106620272 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13984976 memory=5405800 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13984976 memory=32064 CPUtime=0.04 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) S 10464 10464 5918 0 -1 1077944384 534 0 0 0 2 2 0 0 20 0 15 0 114558691 14320615424 1361120 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 85.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5445864 KiB
[startup+69.2008 s]
/proc/loadavg: 2.26 2.03 1.93 3/217 10481
/proc/meminfo: memFree=22276440/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13984976 memory=5444552 CPUtime=85.73 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 80792 0 0 0 8232 341 0 0 20 0 15 0 114558685 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3496244 1361138 3265 1 0 3483478 0
[pid=10466/tid=10467] ppid=10464 vsize=13984976 memory=2428 CPUtime=63.13 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) R 10464 10464 5918 0 -1 4202560 21520 0 0 0 6265 48 0 0 20 0 15 0 114558685 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567575820960 140567187004461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13984976 memory=1728 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) S 10464 10464 5918 0 -1 1077944384 6083 0 0 0 353 71 0 0 20 0 15 0 114558686 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567167810448 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13984976 memory=1420 CPUtime=4.21 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) S 10464 10464 5918 0 -1 1077944384 10807 0 0 0 354 67 0 0 20 0 15 0 114558686 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567166757648 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13984976 memory=11032 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) S 10464 10464 5918 0 -1 1077944384 6690 0 0 0 351 73 0 0 20 0 15 0 114558686 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567165705360 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13984976 memory=1712 CPUtime=4.23 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) S 10464 10464 5918 0 -1 1077944384 5860 0 0 0 354 69 0 0 20 0 15 0 114558686 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567164652560 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13984976 memory=1952 CPUtime=1.76 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 6728 0 0 0 172 4 0 0 20 0 15 0 114558687 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567112935536 140567571593858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13984976 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567111881568 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567110829184 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13984976 memory=1004 CPUtime=1.77 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) R 10464 10464 5918 0 -1 4202560 8876 0 0 0 176 1 0 0 20 0 15 0 114558690 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567108725360 140567553126003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13984976 memory=5296 CPUtime=1.47 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) S 10464 10464 5918 0 -1 1077944384 8563 0 0 0 146 1 0 0 20 0 15 0 114558690 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567107672560 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13984976 memory=1196 CPUtime=0.54 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) S 10464 10464 5918 0 -1 1077944384 3759 0 0 0 53 1 0 0 20 0 15 0 114558690 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567106620272 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13984976 memory=288230574492221466 CPUtime=0.04 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) S 10464 10464 5918 0 -1 1077944384 534 0 0 0 2 2 0 0 20 0 15 0 114558691 14320615424 1361138 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 85.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5445936 KiB
[startup+69.3007 s]
/proc/loadavg: 2.26 2.03 1.93 3/217 10481
/proc/meminfo: memFree=22276440/32770624 swapFree=67108860/67108860
[pid=10464] ppid=10461 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10464/stat : 10464 (xcsp3-exec) S 10461 10464 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114558684 9740288 346 33554432000 4194304 5098028 140720391140768 140720391138872 139742519280252 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11821056 140720391148655 140720391148859 140720391148859 140720391151595 0
/proc/10464/statm: 2378 346 289 221 0 87 0
[pid=10466] ppid=10464 vsize=13984976 memory=5444608 CPUtime=85.88 cores=0,2,4,6
/proc/10466/stat : 10466 (java) S 10464 10464 5918 0 -1 1077944320 80831 0 0 0 8247 341 0 0 20 0 15 0 114558685 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140728658759776 140567571582711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
/proc/10466/statm: 3496244 1361152 3270 1 0 3483478 0
[pid=10466/tid=10467] ppid=10464 vsize=13984976 memory=5430532 CPUtime=63.23 cores=0,2,4,6
/proc/10466/task/10467/stat : 10467 (java) R 10464 10464 5918 0 -1 4202560 21541 0 0 0 6275 48 0 0 20 0 15 0 114558685 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567575819896 140567187110586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10468] ppid=10464 vsize=13984976 memory=5444552 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10468/stat : 10468 (java) S 10464 10464 5918 0 -1 1077944384 6083 0 0 0 353 71 0 0 20 0 15 0 114558686 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567167810448 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10469] ppid=10464 vsize=13984976 memory=1384 CPUtime=4.21 cores=0,2,4,6
/proc/10466/task/10469/stat : 10469 (java) S 10464 10464 5918 0 -1 1077944384 10807 0 0 0 354 67 0 0 20 0 15 0 114558686 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567166757648 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10470] ppid=10464 vsize=13984976 memory=47128474814954 CPUtime=4.24 cores=0,2,4,6
/proc/10466/task/10470/stat : 10470 (java) S 10464 10464 5918 0 -1 1077944384 6690 0 0 0 351 73 0 0 20 0 15 0 114558686 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567165705360 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10471] ppid=10464 vsize=13984976 memory=47128474814698 CPUtime=4.23 cores=0,2,4,6
/proc/10466/task/10471/stat : 10471 (java) S 10464 10464 5918 0 -1 1077944384 5860 0 0 0 354 69 0 0 20 0 15 0 114558686 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567164652560 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10472] ppid=10464 vsize=13984976 memory=1384 CPUtime=1.76 cores=0,2,4,6
/proc/10466/task/10472/stat : 10472 (java) S 10464 10464 5918 0 -1 1077944384 6728 0 0 0 172 4 0 0 20 0 15 0 114558687 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567112935536 140567571593858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10473] ppid=10464 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10473/stat : 10473 (java) S 10464 10464 5918 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567111881568 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10474] ppid=10464 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10474/stat : 10474 (java) S 10464 10464 5918 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 114558688 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567110829184 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10475] ppid=10464 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10475/stat : 10475 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567109777488 140567571601307 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10476] ppid=10464 vsize=13984976 memory=1728 CPUtime=1.81 cores=0,2,4,6
/proc/10466/task/10476/stat : 10476 (java) R 10464 10464 5918 0 -1 4202560 8890 0 0 0 180 1 0 0 20 0 15 0 114558690 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567108712992 140567551246304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10477] ppid=10464 vsize=13984976 memory=1420 CPUtime=1.47 cores=0,2,4,6
/proc/10466/task/10477/stat : 10477 (java) S 10464 10464 5918 0 -1 1077944384 8565 0 0 0 146 1 0 0 20 0 15 0 114558690 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567107672560 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10478] ppid=10464 vsize=13984976 memory=1384 CPUtime=0.55 cores=0,2,4,6
/proc/10466/task/10478/stat : 10478 (java) S 10464 10464 5918 0 -1 1077944384 3761 0 0 0 54 1 0 0 20 0 15 0 114558690 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567106620272 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10479] ppid=10464 vsize=13984976 memory=5405800 CPUtime=0 cores=0,2,4,6
/proc/10466/task/10479/stat : 10479 (java) S 10464 10464 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114558690 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567105567712 140567571592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
[pid=10466/tid=10480] ppid=10464 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/10466/task/10480/stat : 10480 (java) S 10464 10464 5918 0 -1 1077944384 534 0 0 0 2 2 0 0 20 0 15 0 114558691 14320615424 1361152 33554432000 4194304 4196468 140728658777232 140567104514480 140567571593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24891392 140728658781335 140728658781511 140728658781511 140728658784207 0
Current children cumulated CPU time: 85.88 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5445992 KiB
Child status: 0
Real time (s): 69.3445
CPU time (s): 85.9251
CPU user time (s): 82.4837
CPU system time (s): 3.44136
CPU usage (%): 123.91
Max. virtual memory (cumulated for all children) (KiB): 13997236
Max. memory (cumulated for all children) (KiB): 5445992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.4837
system time used= 3.44136
maximum resident set size= 5445128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4933
involuntary context switches= 258
# summary of solver processes directly reported to runsolver:
# pid: 10464
# total CPU time (s): 85.9251
# total CPU user time (s): 82.4837
# total CPU system time (s): 3.44136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.460566 second user time and 0.731128 second system time
The end