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 (11124 MiB free)
memory of node 1: 16384 MiB (9389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284290-1503212296/watcher-4284290-1503212296 -o /tmp/evaluation-result-4284290-1503212296/solver-4284290-1503212296 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20020 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1775747841 HOME/instance-4284290-1503212296.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22243, runsolver pid=22240
Current StackSize limit: 8192 KiB
[startup+0.102547 s]*
/proc/loadavg: 2.06 1.94 1.75 3/218 22259
/proc/meminfo: memFree=20989916/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
[pid=22245] ppid=22243 vsize=13978596 memory=28540 CPUtime=0.13 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22243 19988 0 -1 1077944320 5396 0 0 0 12 1 0 0 20 0 15 0 154317203 14314082304 7135 33554432000 4194304 4196468 140727144572192 140727144554736 140711984676599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
/proc/22245/statm: 3494649 7135 2905 1 0 3482966 0
[pid=22245/tid=22246] ppid=22243 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22243 19988 0 -1 4202560 3320 0 0 0 9 0 0 0 20 0 15 0 154317204 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711988909872 140711968757086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22247] ppid=22243 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22247/stat : 22247 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711922276880 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22248] ppid=22243 vsize=13978596 memory=139749801256576 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711921224336 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22249] ppid=22243 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711578573072 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22250] ppid=22243 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22243 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154317204 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711577520528 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22251] ppid=22243 vsize=13978596 memory=139749801256576 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22243 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154317206 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711526103792 140711984687746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22252] ppid=22243 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22243 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154317206 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711525050016 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22253] ppid=22243 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154317206 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711523996912 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22243 19988 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 154317209 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711521892592 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22243 19988 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 154317209 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711520840048 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13978596 memory=139749801256576 CPUtime=0.01 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22243 19988 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 154317209 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711519786992 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13978596 memory=139749801256576 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317209 14314082304 7135 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29924 KiB
[startup+0.21186 s]*
/proc/loadavg: 2.06 1.94 1.75 4/218 22259
/proc/meminfo: memFree=20977636/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
[pid=22245] ppid=22243 vsize=13982852 memory=40572 CPUtime=0.33 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22243 19988 0 -1 1077944320 8243 0 0 0 31 2 0 0 20 0 15 0 154317203 14318440448 10143 33554432000 4194304 4196468 140727144572192 140727144554736 140711984676599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
/proc/22245/statm: 3495713 10143 3081 1 0 3482966 0
[pid=22245/tid=22246] ppid=22243 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22243 19988 0 -1 4202560 5363 0 0 0 18 1 0 0 20 0 15 0 154317204 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711988886336 140711970371568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22247] ppid=22243 vsize=13982852 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22247/stat : 22247 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711922276880 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22248] ppid=22243 vsize=13982852 memory=139749801277652 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711921224336 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22249] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711578573072 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22250] ppid=22243 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22243 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711577520528 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22251] ppid=22243 vsize=13982852 memory=139749801256576 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22243 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154317206 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711526103792 140711984687746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22252] ppid=22243 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22243 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154317206 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711525050016 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22253] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154317206 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711523996912 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) R 22243 22243 19988 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 154317209 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711521892592 140711984688534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22243 19988 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 154317209 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711520840048 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13982852 memory=139749801256576 CPUtime=0.08 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) R 22243 22243 19988 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 15 0 154317209 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711519786992 140711964065900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317209 14318440448 10143 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41956 KiB
[startup+0.310569 s]*
/proc/loadavg: 2.06 1.94 1.75 4/218 22259
/proc/meminfo: memFree=20970936/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
[pid=22245] ppid=22243 vsize=13982852 memory=47740 CPUtime=0.5 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22243 19988 0 -1 1077944320 9072 0 0 0 48 2 0 0 20 0 15 0 154317203 14318440448 11935 33554432000 4194304 4196468 140727144572192 140727144554736 140711984676599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
/proc/22245/statm: 3495713 11935 3124 1 0 3482966 0
[pid=22245/tid=22246] ppid=22243 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22243 19988 0 -1 4202560 5990 0 0 0 28 2 0 0 20 0 15 0 154317204 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711988908992 140711984698525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22247] ppid=22243 vsize=13982852 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22247/stat : 22247 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711922276880 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22248] ppid=22243 vsize=13982852 memory=4050206357687914293 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711921224336 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22249] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711578573072 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22250] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22243 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154317204 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711577520528 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22251] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22243 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154317206 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711526103792 140711984687746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22252] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22243 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154317206 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711525050016 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22253] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154317206 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711523996912 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22243 19988 0 -1 1077944384 391 0 0 0 3 0 0 0 20 0 15 0 154317209 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711521892592 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22243 19988 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 154317209 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711520840048 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22243 19988 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 154317209 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711519786992 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317209 14318440448 11935 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49124 KiB
[startup+0.70281 s]
/proc/loadavg: 2.06 1.94 1.75 6/218 22259
/proc/meminfo: memFree=20954684/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
[pid=22245] ppid=22243 vsize=13984976 memory=78508 CPUtime=1.56 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22243 19988 0 -1 1077944320 13412 0 0 0 152 4 0 0 20 0 15 0 154317203 14320615424 19627 33554432000 4194304 4196468 140727144572192 140727144554736 140711984676599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
/proc/22245/statm: 3496244 19627 3210 1 0 3483478 0
[pid=22245/tid=22246] ppid=22243 vsize=13984976 memory=23612 CPUtime=0.67 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22243 19988 0 -1 4202560 6808 0 0 0 65 2 0 0 20 0 15 0 154317204 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711988914496 140711967104759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22247] ppid=22243 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22247/stat : 22247 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711922276880 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22248] ppid=22243 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711921224336 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22249] ppid=22243 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317204 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711578573072 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22250] ppid=22243 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22243 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154317204 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711577520528 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22251] ppid=22243 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22243 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711526103792 140711984687746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22252] ppid=22243 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22243 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711525050016 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22253] ppid=22243 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711523996912 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13984976 memory=4124 CPUtime=0.25 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) R 22243 22243 19988 0 -1 4202560 1712 0 0 0 25 0 0 0 20 0 15 0 154317209 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711521873608 140711969801795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13984976 memory=2200 CPUtime=0.24 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) R 22243 22243 19988 0 -1 4202560 1638 0 0 0 24 0 0 0 20 0 15 0 154317209 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711520826152 140711966220316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13984976 memory=7528 CPUtime=0.37 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22243 19988 0 -1 1077944384 1963 0 0 0 37 0 0 0 20 0 15 0 154317209 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711519786992 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 19627 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13984976 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 19693 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79892 KiB
[startup+1.50086 s]
/proc/loadavg: 2.06 1.94 1.75 5/218 22259
/proc/meminfo: memFree=20927072/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 53715 33554432000 4194304 4196468 140727144572192 140711523996928 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13984976 memory=226084 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 53715 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13984976 memory=229512 CPUtime=3.71 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22243 19988 0 -1 1077944384 18288 0 0 0 370 1 0 0 20 0 15 0 154317209 14320615424 53715 33554432000 4194304 4196468 140727144572192 140711521892592 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13984976 memory=2372 CPUtime=3.25 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22243 19988 0 -1 1077944384 16379 0 0 0 324 1 0 0 20 0 15 0 154317209 14320615424 53715 33554432000 4194304 4196468 140727144572192 140711520840048 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13984976 memory=1384 CPUtime=0.72 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22243 19988 0 -1 1077944384 7269 0 0 0 71 1 0 0 20 0 15 0 154317209 14320615424 53715 33554432000 4194304 4196468 140727144572192 140711519786992 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13984976 memory=220952 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 53715 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13984976 memory=56 CPUtime=0.04 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 558 0 0 0 2 2 0 0 20 0 15 0 154317209 14320615424 53715 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 110.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 216244 KiB
[startup+162.301 s]
/proc/loadavg: 1.61 1.81 1.74 3/217 22262
/proc/meminfo: memFree=20568848/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
[pid=22245] ppid=22243 vsize=13984976 memory=228368 CPUtime=171.84 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22243 19988 0 -1 1077944320 69855 0 0 0 17154 30 0 0 20 0 15 0 154317203 14320615424 57092 33554432000 4194304 4196468 140727144572192 140727144554736 140711984676599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
/proc/22245/statm: 3496244 57092 3274 1 0 3483478 0
[pid=22245/tid=22246] ppid=22243 vsize=13984976 memory=1384 CPUtime=161.69 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22243 19988 0 -1 4202560 14450 0 0 0 16165 4 0 0 20 0 15 0 154317204 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711988916064 140711607752139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22247] ppid=22243 vsize=13984976 memory=228372 CPUtime=0.47 cores=1,3,5,7
/proc/22245/task/22247/stat : 22247 (java) S 22243 22243 19988 0 -1 1077944384 1818 0 0 0 43 4 0 0 20 0 15 0 154317204 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711922276880 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22248] ppid=22243 vsize=13984976 memory=226832 CPUtime=0.48 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22243 19988 0 -1 1077944384 534 0 0 0 44 4 0 0 20 0 15 0 154317204 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711921224336 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22249] ppid=22243 vsize=13984976 memory=228368 CPUtime=0.48 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22243 19988 0 -1 1077944384 2357 0 0 0 43 5 0 0 20 0 15 0 154317204 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711578573072 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22250] ppid=22243 vsize=13984976 memory=228368 CPUtime=0.49 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22243 19988 0 -1 1077944384 819 0 0 0 45 4 0 0 20 0 15 0 154317204 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711577520528 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22251] ppid=22243 vsize=13984976 memory=235282603486668 CPUtime=0.07 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22243 19988 0 -1 1077944384 1489 0 0 0 6 1 0 0 20 0 15 0 154317206 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711526103792 140711984687746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22252] ppid=22243 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22243 19988 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711525050080 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22253] ppid=22243 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711523996928 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13984976 memory=226836 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13984976 memory=3617148314324132965 CPUtime=3.82 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22243 19988 0 -1 1077944384 18874 0 0 0 381 1 0 0 20 0 15 0 154317209 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711521892592 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13984976 memory=-1807685287717842718 CPUtime=3.47 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22243 19988 0 -1 1077944384 19137 0 0 0 346 1 0 0 20 0 15 0 154317209 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711520840048 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13984976 memory=1384 CPUtime=0.73 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22243 19988 0 -1 1077944384 8233 0 0 0 72 1 0 0 20 0 15 0 154317209 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711519786992 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 755 0 0 0 3 3 0 0 20 0 15 0 154317209 14320615424 57092 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 171.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229752 KiB
[startup+222.301 s]
/proc/loadavg: 1.39 1.72 1.72 3/217 22263
/proc/meminfo: memFree=20538920/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
[pid=22245] ppid=22243 vsize=13984976 memory=346892 CPUtime=233.03 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22243 19988 0 -1 1077944320 76170 0 0 0 23254 49 0 0 20 0 15 0 154317203 14320615424 86723 33554432000 4194304 4196468 140727144572192 140727144554736 140711984676599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
/proc/22245/statm: 3496244 86723 3274 1 0 3483478 0
[pid=22245/tid=22246] ppid=22243 vsize=13984976 memory=333056 CPUtime=221.28 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22243 19988 0 -1 4202560 15337 0 0 0 22124 4 0 0 20 0 15 0 154317204 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711988915888 140711602208745 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22247] ppid=22243 vsize=13984976 memory=315124 CPUtime=0.83 cores=1,3,5,7
/proc/22245/task/22247/stat : 22247 (java) S 22243 22243 19988 0 -1 1077944384 2350 0 0 0 75 8 0 0 20 0 15 0 154317204 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711922276880 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22248] ppid=22243 vsize=13984976 memory=327416 CPUtime=0.84 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22243 19988 0 -1 1077944384 1051 0 0 0 76 8 0 0 20 0 15 0 154317204 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711921224336 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22249] ppid=22243 vsize=13984976 memory=345344 CPUtime=0.84 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22243 19988 0 -1 1077944384 2881 0 0 0 75 9 0 0 20 0 15 0 154317204 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711578573072 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22250] ppid=22243 vsize=13984976 memory=346892 CPUtime=0.85 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22243 19988 0 -1 1077944384 1844 0 0 0 77 8 0 0 20 0 15 0 154317204 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711577520528 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22251] ppid=22243 vsize=13984976 memory=1384 CPUtime=0.1 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22243 19988 0 -1 1077944384 1784 0 0 0 9 1 0 0 20 0 15 0 154317206 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711526103792 140711984687746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22252] ppid=22243 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22243 19988 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711525050080 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22253] ppid=22243 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711523996928 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13984976 memory=4140 CPUtime=3.82 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22243 19988 0 -1 1077944384 19239 0 0 0 381 1 0 0 20 0 15 0 154317209 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711521892592 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13984976 memory=1384 CPUtime=3.53 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22243 19988 0 -1 1077944384 20204 0 0 0 352 1 0 0 20 0 15 0 154317209 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711520840048 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13984976 memory=337152 CPUtime=0.73 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22243 19988 0 -1 1077944384 9263 0 0 0 72 1 0 0 20 0 15 0 154317209 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711519786992 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13984976 memory=335104 CPUtime=0.08 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 828 0 0 0 4 4 0 0 20 0 15 0 154317209 14320615424 86723 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 233.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 348276 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.002 s]*
/proc/loadavg: 1.38 1.70 1.71 6/217 22341
/proc/meminfo: memFree=19511056/32770624 swapFree=67108860/67108860
[pid=22243] ppid=22240 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22243/stat : 22243 (xcsp3-exec) S 22240 22243 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154317203 9740288 346 33554432000 4194304 5098028 140731363940736 140731363938840 140229135880828 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28925952 140731363947636 140731363947840 140731363947840 140731363950571 0
/proc/22243/statm: 2378 346 289 221 0 87 0
[pid=22245] ppid=22243 vsize=13984976 memory=377452 CPUtime=251.12 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22243 19988 0 -1 1077944320 76539 0 0 0 25059 53 0 0 20 0 15 0 154317203 14320615424 94363 33554432000 4194304 4196468 140727144572192 140727144554736 140711984676599 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
/proc/22245/statm: 3496244 94363 3274 1 0 3483478 0
[pid=22245/tid=22246] ppid=22243 vsize=13984976 memory=6791534058613427641 CPUtime=238.82 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22243 19988 0 -1 4202560 15368 0 0 0 23878 4 0 0 20 0 15 0 154317204 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711988915984 140711605896520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22247] ppid=22243 vsize=13984976 memory=4624 CPUtime=0.96 cores=1,3,5,7
/proc/22245/task/22247/stat : 22247 (java) S 22243 22243 19988 0 -1 1077944384 2422 0 0 0 87 9 0 0 20 0 15 0 154317204 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711922276880 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22248] ppid=22243 vsize=13984976 memory=1424 CPUtime=0.97 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22243 19988 0 -1 1077944384 1110 0 0 0 88 9 0 0 20 0 15 0 154317204 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711921224336 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22249] ppid=22243 vsize=13984976 memory=13160 CPUtime=0.97 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22243 19988 0 -1 1077944384 2943 0 0 0 87 10 0 0 20 0 15 0 154317204 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711578573072 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22250] ppid=22243 vsize=13984976 memory=4872558044660077418 CPUtime=0.98 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22243 19988 0 -1 1077944384 1905 0 0 0 89 9 0 0 20 0 15 0 154317204 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711577520528 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22251] ppid=22243 vsize=13984976 memory=371308 CPUtime=0.12 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22243 19988 0 -1 1077944384 1791 0 0 0 11 1 0 0 20 0 15 0 154317206 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711526103792 140711984687746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22252] ppid=22243 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22243 19988 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711525050080 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22253] ppid=22243 vsize=13984976 memory=370284 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22243 19988 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154317206 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711523996928 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22254] ppid=22243 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711522945488 140711984695195 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22255] ppid=22243 vsize=13984976 memory=5428 CPUtime=3.82 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22243 19988 0 -1 1077944384 19239 0 0 0 381 1 0 0 20 0 15 0 154317209 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711521892592 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22256] ppid=22243 vsize=13984976 memory=4624 CPUtime=3.54 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22243 19988 0 -1 1077944384 20279 0 0 0 353 1 0 0 20 0 15 0 154317209 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711520840048 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22257] ppid=22243 vsize=13984976 memory=1424 CPUtime=0.73 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22243 19988 0 -1 1077944384 9263 0 0 0 72 1 0 0 20 0 15 0 154317209 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711519786992 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22258] ppid=22243 vsize=13984976 memory=13160 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22243 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154317209 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711518734688 140711984686805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
[pid=22245/tid=22259] ppid=22243 vsize=13984976 memory=7528 CPUtime=0.09 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22243 19988 0 -1 1077944384 830 0 0 0 5 4 0 0 20 0 15 0 154317209 14320615424 94363 33554432000 4194304 4196468 140727144572192 140711450111024 140711984687746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23228416 140727144580253 140727144580428 140727144580428 140727144583119 0
Current children cumulated CPU time: 251.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 378836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 22243 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000967 s, system=0.000967 s
[startup+240.024 s]
# the end of solver process 22245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.605 s, system=0.547435 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.024
CPU time (s): 251.152
CPU user time (s): 250.605
CPU system time (s): 0.547435
CPU usage (%): 104.636
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 378836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.605
system time used= 0.547435
maximum resident set size= 378164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11214
involuntary context switches= 446
# summary of solver processes directly reported to runsolver:
# pid: 22243,22245
# total CPU time (s): 251.152
# total CPU user time (s): 250.605
# total CPU system time (s): 0.547435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3763 second user time and 2.43128 second system time
The end