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 (11289 MiB free)
memory of node 1: 16384 MiB (15489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271962-1502845499/watcher-4271962-1502845499 -o /tmp/evaluation-result-4271962-1502845499/solver-4271962-1502845499 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502842139-30799 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 640718176 HOME/instance-4271962-1502845499.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31067, runsolver pid=31064
Current StackSize limit: 8192 KiB
[startup+0.100373 s]*
/proc/loadavg: 1.67 1.59 2.05 3/218 31083
/proc/meminfo: memFree=27405136/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
[pid=31069] ppid=31067 vsize=13978596 memory=28004 CPUtime=0.12 cores=1,3,5,7
/proc/31069/stat : 31069 (java) S 31067 31067 30767 0 -1 1077944320 5429 0 0 0 11 1 0 0 20 0 15 0 117638173 14314082304 7001 33554432000 4194304 4196468 140724742942672 140724742925216 140212063473399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
/proc/31069/statm: 3494649 7001 2841 1 0 3482966 0
[pid=31069/tid=31070] ppid=31067 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=1,3,5,7
/proc/31069/task/31070/stat : 31070 (java) R 31067 31067 30767 0 -1 4202560 3438 0 0 0 8 0 0 0 20 0 15 0 117638174 14314082304 7001 33554432000 4194304 4196468 140724742942672 140212067706672 140212063485334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31071] ppid=31067 vsize=13978596 memory=3472468225550570704 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31071/stat : 31071 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211659139600 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31072] ppid=31067 vsize=13978596 memory=140096655419008 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31072/stat : 31072 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211658087056 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211657034000 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638175 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211655981456 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638176 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211403373296 140212063484546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117638176 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211402319520 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117638177 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211401266416 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) S 31067 31067 30767 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 117638179 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211399162096 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) S 31067 31067 30767 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 117638179 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13978596 memory=140096655419008 CPUtime=0.01 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) R 31067 31067 30767 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 117638179 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211397056496 140212063485334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13978596 memory=140096655419008 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638180 14314082304 7001 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29388 KiB
[startup+0.210907 s]*
/proc/loadavg: 1.67 1.59 2.05 4/218 31083
/proc/meminfo: memFree=27348576/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
[pid=31069] ppid=31067 vsize=13982852 memory=40464 CPUtime=0.34 cores=1,3,5,7
/proc/31069/stat : 31069 (java) S 31067 31067 30767 0 -1 1077944320 8095 0 0 0 32 2 0 0 20 0 15 0 117638173 14318440448 10116 33554432000 4194304 4196468 140724742942672 140724742925216 140212063473399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
/proc/31069/statm: 3495713 10116 3091 1 0 3482966 0
[pid=31069/tid=31070] ppid=31067 vsize=13982852 memory=5853394889045019040 CPUtime=0.19 cores=1,3,5,7
/proc/31069/task/31070/stat : 31070 (java) R 31067 31067 30767 0 -1 4202560 5291 0 0 0 18 1 0 0 20 0 15 0 117638174 14318440448 10116 33554432000 4194304 4196468 140724742942672 140212067694392 140212056151413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31071] ppid=31067 vsize=13982852 memory=3472468225550570704 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31071/stat : 31071 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211659139600 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31072] ppid=31067 vsize=13982852 memory=140096655419008 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31072/stat : 31072 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211658087056 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211657034000 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211655981456 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13982852 memory=140096655419008 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638176 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211403373296 140212063484546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117638176 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211402319520 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117638177 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211401266416 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) S 31067 31067 30767 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 117638179 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211399162096 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) S 31067 31067 30767 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 15 0 117638179 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13982852 memory=140096655419008 CPUtime=0.08 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) R 31067 31067 30767 0 -1 4202560 703 0 0 0 8 0 0 0 20 0 15 0 117638179 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211397056496 140212063485334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13982852 memory=140096655419008 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638180 14318440448 10116 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41848 KiB
[startup+0.310771 s]*
/proc/loadavg: 1.67 1.59 2.05 3/218 31083
/proc/meminfo: memFree=27346268/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
[pid=31069] ppid=31067 vsize=13982852 memory=46872 CPUtime=0.5 cores=1,3,5,7
/proc/31069/stat : 31069 (java) S 31067 31067 30767 0 -1 1077944320 8912 0 0 0 48 2 0 0 20 0 15 0 117638173 14318440448 11718 33554432000 4194304 4196468 140724742942672 140724742925216 140212063473399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
/proc/31069/statm: 3495713 11718 3107 1 0 3482966 0
[pid=31069/tid=31070] ppid=31067 vsize=13982852 memory=5853961137533323680 CPUtime=0.3 cores=1,3,5,7
/proc/31069/task/31070/stat : 31070 (java) R 31067 31067 30767 0 -1 4202560 5955 0 0 0 28 2 0 0 20 0 15 0 117638174 14318440448 11718 33554432000 4194304 4196468 140724742942672 140212067710912 140212063495325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31071] ppid=31067 vsize=13982852 memory=3472468225550570704 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31071/stat : 31071 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211659139600 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31072] ppid=31067 vsize=13982852 memory=140096655449698 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31072/stat : 31072 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211658087056 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13982852 memory=140096531739711 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) S 31067 31067 30767 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211657034000 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13982852 memory=140096531722703 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638175 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211655981456 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13982852 memory=140096655449802 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638176 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211403373296 140212063484546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13982852 memory=140096531713487 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117638176 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211402319520 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13982852 memory=280193063440784 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117638177 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211401266416 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13982852 memory=280193063429232 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) R 31067 31067 30767 0 -1 4202560 401 0 0 0 2 0 0 0 20 0 15 0 117638179 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211399162096 140212042630464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13982852 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) R 31067 31067 30767 0 -1 1077944384 462 0 0 0 4 0 0 0 20 0 15 0 117638179 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13982852 memory=140096655419008 CPUtime=0.12 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) S 31067 31067 30767 0 -1 1077944384 789 0 0 0 12 0 0 0 20 0 15 0 117638179 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211397056496 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13982852 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13982852 memory=140096655419008 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638180 14318440448 11718 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48256 KiB
[startup+0.700826 s]
/proc/loadavg: 1.67 1.59 2.05 6/218 31083
/proc/meminfo: memFree=27177020/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
[pid=31069] ppid=31067 vsize=13982928 memory=422084 CPUtime=1.18 cores=1,3,5,7
/proc/31069/stat : 31069 (java) S 31067 31067 30767 0 -1 1077944320 9857 0 0 0 93 25 0 0 20 0 15 0 117638173 14318518272 105009 33554432000 4194304 4196468 140724742942672 140724742925216 140212063473399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
/proc/31069/statm: 3495732 105521 3167 1 0 3482966 0
[pid=31069/tid=31070] ppid=31067 vsize=13982928 memory=1420 CPUtime=0.6 cores=1,3,5,7
/proc/31069/task/31070/stat : 31070 (java) R 31067 31067 30767 0 -1 4202560 6348 0 0 0 54 6 0 0 20 0 15 0 117638174 14318518272 105521 33554432000 4194304 4196468 140724742942672 140212067707456 140211700966150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31071] ppid=31067 vsize=13982928 memory=13040 CPUtime=0.06 cores=1,3,5,7
/proc/31069/task/31071/stat : 31071 (java) S 31067 31067 30767 0 -1 1077944384 65 0 0 0 2 4 0 0 20 0 15 0 117638175 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211659139600 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31072] ppid=31067 vsize=13982928 memory=1944 CPUtime=0.06 cores=1,3,5,7
/proc/31069/task/31072/stat : 31072 (java) S 31067 31067 30767 0 -1 1077944384 64 0 0 0 2 4 0 0 20 0 15 0 117638175 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211658087056 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13982928 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) S 31067 31067 30767 0 -1 1077944384 60 0 0 0 2 4 0 0 20 0 15 0 117638175 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211657034000 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13982928 memory=280193063520064 CPUtime=0.05 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) S 31067 31067 30767 0 -1 1077944384 56 0 0 0 2 3 0 0 20 0 15 0 117638175 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211655981456 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13982928 memory=140096531770852 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) S 31067 31067 30767 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117638176 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211403373296 140212063484546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13982928 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117638176 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211402319520 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13982928 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 117638177 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211401266416 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13982928 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13982928 memory=3791 CPUtime=0.05 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) S 31067 31067 30767 0 -1 1077944384 541 0 0 0 5 0 0 0 20 0 15 0 117638179 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211399162096 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13982928 memory=4 CPUtime=0.07 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) S 31067 31067 30767 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 15 0 117638179 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13982928 memory=7024 CPUtime=0.17 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) S 31067 31067 30767 0 -1 1077944384 863 0 0 0 17 0 0 0 20 0 15 0 117638179 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211397056496 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13982928 memory=370 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117638180 14318518272 105521 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 423468 KiB
[startup+1.50603 s]
/proc/loadavg: 1.67 1.59 2.05 5/218 31083
/proc/meminfo: memFree=26376300/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/31069/task/31072/stat : 31072 (java) S 31067 31067 30767 0 -1 1077944384 47145 0 0 0 873 289 0 0 20 0 15 0 117638175 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211658087056 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13984976 memory=1296 CPUtime=11.64 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) S 31067 31067 30767 0 -1 1077944384 64486 0 0 0 850 314 0 0 20 0 15 0 117638175 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211657034000 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13984976 memory=288230574492221466 CPUtime=11.64 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) S 31067 31067 30767 0 -1 1077944384 88485 0 0 0 871 293 0 0 20 0 15 0 117638175 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211655981456 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13984976 memory=288230613214036277 CPUtime=2.28 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) S 31067 31067 30767 0 -1 1077944384 16373 0 0 0 225 3 0 0 20 0 15 0 117638176 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211403373296 140212063484546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13984976 memory=16106991470774530 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117638176 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211402319584 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13984976 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117638177 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211401266432 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13984976 memory=10501832 CPUtime=0.44 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) S 31067 31067 30767 0 -1 1077944384 3013 0 0 0 44 0 0 0 20 0 15 0 117638179 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211399162096 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13984976 memory=1696 CPUtime=0.46 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) S 31067 31067 30767 0 -1 1077944384 2565 0 0 0 46 0 0 0 20 0 15 0 117638179 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13984976 memory=920 CPUtime=0.31 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) S 31067 31067 30767 0 -1 1077944384 2698 0 0 0 31 0 0 0 20 0 15 0 117638179 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211397056496 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13984976 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13984976 memory=1724 CPUtime=0.06 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 631 0 0 0 2 4 0 0 20 0 15 0 117638180 14320615424 2625458 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 128.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 10503216 KiB
[startup+96.0008 s]*
/proc/loadavg: 2.73 1.93 2.12 4/218 31161
/proc/meminfo: memFree=17944628/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
[pid=31069] ppid=31067 vsize=13984976 memory=11480960 CPUtime=139.32 cores=1,3,5,7
/proc/31069/stat : 31069 (java) S 31067 31067 30767 0 -1 1077944320 377026 0 0 0 12649 1283 0 0 20 0 15 0 117638173 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140724742925216 140212063473399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
/proc/31069/statm: 3496244 2870240 3250 1 0 3483478 0
[pid=31069/tid=31070] ppid=31067 vsize=13984976 memory=6791534058613427641 CPUtime=79.2 cores=1,3,5,7
/proc/31069/task/31070/stat : 31070 (java) S 31067 31067 30767 0 -1 1077944384 47721 0 0 0 7898 22 0 0 20 0 15 0 117638174 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140212067711616 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31071] ppid=31067 vsize=13984976 memory=840 CPUtime=14.02 cores=1,3,5,7
/proc/31069/task/31071/stat : 31071 (java) R 31067 31067 30767 0 -1 4202560 99681 0 0 0 1121 281 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211659139800 140212048173216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31072] ppid=31067 vsize=13984976 memory=4104 CPUtime=14.06 cores=1,3,5,7
/proc/31069/task/31072/stat : 31072 (java) R 31067 31067 30767 0 -1 4202560 48233 0 0 0 1084 322 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211658086864 140212056101607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13984976 memory=736 CPUtime=14.07 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) R 31067 31067 30767 0 -1 4202560 65224 0 0 0 1085 322 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211657033808 140212056101607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13984976 memory=-7003737579269690708 CPUtime=14.04 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) R 31067 31067 30767 0 -1 4202560 89228 0 0 0 1078 326 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211655981576 140212056101607 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13984976 memory=32872 CPUtime=2.58 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) S 31067 31067 30767 0 -1 1077944384 16672 0 0 0 255 3 0 0 20 0 15 0 117638176 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211403371856 140212063483605 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117638176 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211402319584 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13984976 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117638177 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211401266432 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13984976 memory=15876 CPUtime=0.44 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) S 31067 31067 30767 0 -1 1077944384 3013 0 0 0 44 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211399162096 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13984976 memory=18476 CPUtime=0.46 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) S 31067 31067 30767 0 -1 1077944384 2565 0 0 0 46 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13984976 memory=18616 CPUtime=0.31 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) S 31067 31067 30767 0 -1 1077944384 2705 0 0 0 31 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211397056496 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13984976 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 633 0 0 0 3 4 0 0 20 0 15 0 117638180 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 139.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11482344 KiB
[startup+96.8008 s]
/proc/loadavg: 2.73 1.93 2.12 4/218 31161
/proc/meminfo: memFree=17944628/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
[pid=31069] ppid=31067 vsize=13984976 memory=11480960 CPUtime=142.4 cores=1,3,5,7
/proc/31069/stat : 31069 (java) S 31067 31067 30767 0 -1 1077944320 384001 0 0 0 12954 1286 0 0 20 0 15 0 117638173 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140724742925216 140212063473399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
/proc/31069/statm: 3496244 2870240 3250 1 0 3483478 0
[pid=31069/tid=31070] ppid=31067 vsize=13984976 memory=11480960 CPUtime=79.2 cores=1,3,5,7
/proc/31069/task/31070/stat : 31070 (java) S 31067 31067 30767 0 -1 1077944384 47721 0 0 0 7898 22 0 0 20 0 15 0 117638174 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140212067711616 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31071] ppid=31067 vsize=13984976 memory=1716 CPUtime=14.81 cores=1,3,5,7
/proc/31069/task/31071/stat : 31071 (java) R 31067 31067 30767 0 -1 4202560 106656 0 0 0 1200 281 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211659139800 140212056576385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31072] ppid=31067 vsize=13984976 memory=5792 CPUtime=14.82 cores=1,3,5,7
/proc/31069/task/31072/stat : 31072 (java) R 31067 31067 30767 0 -1 4202560 48233 0 0 0 1159 323 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211658086864 140212056101607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13984976 memory=6791534058613427641 CPUtime=14.84 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) R 31067 31067 30767 0 -1 4202560 65224 0 0 0 1161 323 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211657033808 140212056101607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13984976 memory=18616 CPUtime=14.8 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) R 31067 31067 30767 0 -1 4202560 89228 0 0 0 1153 327 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211655981576 140212056101607 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13984976 memory=4040 CPUtime=2.58 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) S 31067 31067 30767 0 -1 1077944384 16672 0 0 0 255 3 0 0 20 0 15 0 117638176 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211403371856 140212063483605 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117638176 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211402319584 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13984976 memory=644 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117638177 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211401266432 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13984976 memory=15876 CPUtime=0.44 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) S 31067 31067 30767 0 -1 1077944384 3013 0 0 0 44 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211399162096 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13984976 memory=18476 CPUtime=0.46 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) S 31067 31067 30767 0 -1 1077944384 2565 0 0 0 46 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13984976 memory=18616 CPUtime=0.31 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) S 31067 31067 30767 0 -1 1077944384 2705 0 0 0 31 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211397056496 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13984976 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 633 0 0 0 3 4 0 0 20 0 15 0 117638180 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 142.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11482344 KiB
[startup+97.6008 s]
/proc/loadavg: 2.73 1.93 2.12 6/218 31161
/proc/meminfo: memFree=17944636/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
[pid=31069] ppid=31067 vsize=13984976 memory=11480960 CPUtime=144.58 cores=1,3,5,7
/proc/31069/stat : 31069 (java) S 31067 31067 30767 0 -1 1077944320 384800 0 0 0 13171 1287 0 0 20 0 15 0 117638173 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140724742925216 140212063473399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
/proc/31069/statm: 3496244 2870240 3250 1 0 3483478 0
[pid=31069/tid=31070] ppid=31067 vsize=13984976 memory=16106991470774530 CPUtime=79.2 cores=1,3,5,7
/proc/31069/task/31070/stat : 31070 (java) S 31067 31067 30767 0 -1 1077944384 47721 0 0 0 7898 22 0 0 20 0 15 0 117638174 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140212067711616 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31071] ppid=31067 vsize=13984976 memory=6791534058613427641 CPUtime=15.3 cores=1,3,5,7
/proc/31069/task/31071/stat : 31071 (java) S 31067 31067 30767 0 -1 1077944384 107448 0 0 0 1249 281 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211659139600 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31072] ppid=31067 vsize=13984976 memory=32872 CPUtime=15.3 cores=1,3,5,7
/proc/31069/task/31072/stat : 31072 (java) S 31067 31067 30767 0 -1 1077944384 48233 0 0 0 1206 324 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211658087056 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31073] ppid=31067 vsize=13984976 memory=1296 CPUtime=15.3 cores=1,3,5,7
/proc/31069/task/31073/stat : 31073 (java) S 31067 31067 30767 0 -1 1077944384 65224 0 0 0 1207 323 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211657034000 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31074] ppid=31067 vsize=13984976 memory=2336 CPUtime=15.25 cores=1,3,5,7
/proc/31069/task/31074/stat : 31074 (java) S 31067 31067 30767 0 -1 1077944384 89228 0 0 0 1198 327 0 0 20 0 15 0 117638175 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211655981456 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31075] ppid=31067 vsize=13984976 memory=6791534058613427641 CPUtime=2.89 cores=1,3,5,7
/proc/31069/task/31075/stat : 31075 (java) R 31067 31067 30767 0 -1 4202560 16679 0 0 0 286 3 0 0 20 0 15 0 117638176 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211403371856 140212048469908 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31076] ppid=31067 vsize=13984976 memory=11480952 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31076/stat : 31076 (java) S 31067 31067 30767 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117638176 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211402319584 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31077] ppid=31067 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31077/stat : 31077 (java) S 31067 31067 30767 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117638177 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211401266432 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31078] ppid=31067 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31078/stat : 31078 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211400214992 140212063491995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31079] ppid=31067 vsize=13984976 memory=11480960 CPUtime=0.44 cores=1,3,5,7
/proc/31069/task/31079/stat : 31079 (java) S 31067 31067 30767 0 -1 1077944384 3013 0 0 0 44 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211399162096 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31080] ppid=31067 vsize=13984976 memory=1384 CPUtime=0.46 cores=1,3,5,7
/proc/31069/task/31080/stat : 31080 (java) S 31067 31067 30767 0 -1 1077944384 2565 0 0 0 46 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211398109552 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31081] ppid=31067 vsize=13984976 memory=10543548 CPUtime=0.31 cores=1,3,5,7
/proc/31069/task/31081/stat : 31081 (java) S 31067 31067 30767 0 -1 1077944384 2705 0 0 0 31 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211397056496 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31082] ppid=31067 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/31069/task/31082/stat : 31082 (java) S 31067 31067 30767 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117638179 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211396004192 140212063483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
[pid=31069/tid=31083] ppid=31067 vsize=13984976 memory=2344 CPUtime=0.07 cores=1,3,5,7
/proc/31069/task/31083/stat : 31083 (java) S 31067 31067 30767 0 -1 1077944384 633 0 0 0 3 4 0 0 20 0 15 0 117638180 14320615424 2870240 33554432000 4194304 4196468 140724742942672 140211394952240 140212063484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18083840 140724742943895 140724742944071 140724742944071 140724742946767 0
Current children cumulated CPU time: 144.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11482344 KiB
[startup+97.8008 s]
/proc/loadavg: 2.73 1.93 2.12 6/218 31161
/proc/meminfo: memFree=17944636/32770624 swapFree=67108860/67108860
[pid=31067] ppid=31064 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/31067/stat : 31067 (xcsp3-exec) S 31064 31067 30767 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117638173 9740288 346 33554432000 4194304 5098028 140720403306784 140720403304888 139644045718140 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39882752 140720403309679 140720403309883 140720403309883 140720403312619 0
/proc/31067/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 1
Real time (s): 97.8168
CPU time (s): 144.811
CPU user time (s): 131.866
CPU system time (s): 12.945
CPU usage (%): 148.043
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 11482344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.866
system time used= 12.945
maximum resident set size= 11481484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9662
involuntary context switches= 943
# summary of solver processes directly reported to runsolver:
# pid: 31067
# total CPU time (s): 144.811
# total CPU user time (s): 131.866
# total CPU system time (s): 12.945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.6541 second user time and 1.11915 second system time
The end