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 (14946 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393335-1568319961/watcher-4393335-1568319961 -o /tmp/evaluation-result-4393335-1568319961/solver-4393335-1568319961 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 269034976 HOME/instance-4393335-1568319961.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
Current StackSize limit: 8192 KiB
solver pid=22275, runsolver pid=22272
[startup+0.100535 s]*
/proc/loadavg: 8.10 8.44 8.38 5/233 22291
/proc/meminfo: memFree=31091256/32770624 swapFree=66920744/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
[pid=22277] ppid=22275 vsize=15144768 memory=29352 CPUtime=0.14 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22275 14254 0 -1 1077944320 5798 0 0 0 12 2 0 0 20 0 15 0 408252151 15508242432 7338 33554432000 4194304 4196468 140734364839824 140734364822368 140342614486775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
/proc/22277/statm: 3786192 7338 3144 1 0 3748377 0
[pid=22277/tid=22278] ppid=22275 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/22277/task/22278/stat : 22278 (java) R 22275 22275 14254 0 -1 4202560 3656 0 0 0 8 1 0 0 20 0 15 0 408252152 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342618708832 140342614508122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22279] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342567107088 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22280] ppid=22275 vsize=15144768 memory=3472750302674286240 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342566054544 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22281] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342565001488 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22282] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22275 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342563948944 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22283] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22275 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408252154 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342082923248 140342614497922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22284] ppid=22275 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22275 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408252154 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342081869472 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22285] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22275 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408252154 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342080816368 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22286] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342079764944 140342614505371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22287] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) R 22275 22275 14254 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342078712048 140342614498710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22288] ppid=22275 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) R 22275 22275 14254 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342077659504 140342614497922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22289] ppid=22275 vsize=15144768 memory=140505686210176 CPUtime=0.02 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) R 22275 22275 14254 0 -1 4202560 375 0 0 0 2 0 0 0 20 0 15 0 408252157 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342076603984 140342614498710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22290] ppid=22275 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342075554144 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22291] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 7338 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30804 KiB
[startup+0.210823 s]*
/proc/loadavg: 8.10 8.44 8.38 6/233 22291
/proc/meminfo: memFree=31079224/32770624 swapFree=66920744/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
[pid=22277] ppid=22275 vsize=15144768 memory=41196 CPUtime=0.34 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22275 14254 0 -1 1077944320 9467 0 0 0 31 3 0 0 20 0 15 0 408252151 15508242432 10299 33554432000 4194304 4196468 140734364839824 140734364822368 140342614486775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
/proc/22277/statm: 3786192 10299 3304 1 0 3748377 0
[pid=22277/tid=22278] ppid=22275 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22277/task/22278/stat : 22278 (java) R 22275 22275 14254 0 -1 4202560 6646 0 0 0 18 2 0 0 20 0 15 0 408252152 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342618721760 140342598567262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22279] ppid=22275 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342567107088 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22280] ppid=22275 vsize=15144768 memory=140505689063363 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342566054544 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22281] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342565001488 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22282] ppid=22275 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22275 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408252152 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342563948944 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22283] ppid=22275 vsize=15144768 memory=140505686210176 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22275 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408252154 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342082923248 140342614497922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22284] ppid=22275 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22275 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408252154 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342081869472 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22285] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22275 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408252154 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342080816368 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22286] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342079764944 140342614505371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22287] ppid=22275 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22275 14254 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 15 0 408252157 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342078712048 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22288] ppid=22275 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22275 14254 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 15 0 408252157 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342077659504 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22289] ppid=22275 vsize=15144768 memory=140505686210176 CPUtime=0.08 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22275 14254 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 408252157 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342076606448 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22290] ppid=22275 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342075554144 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22291] ppid=22275 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252157 15508242432 10299 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42648 KiB
[startup+0.313614 s]*
/proc/loadavg: 8.10 8.44 8.38 7/233 22291
/proc/meminfo: memFree=31071708/32770624 swapFree=66920744/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
[pid=22277] ppid=22275 vsize=15149024 memory=50356 CPUtime=0.53 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22275 14254 0 -1 1077944320 10930 0 0 0 49 4 0 0 20 0 15 0 408252151 15512600576 12589 33554432000 4194304 4196468 140734364839824 140734364822368 140342614486775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
/proc/22277/statm: 3787256 12589 3353 1 0 3748377 0
[pid=22277/tid=22278] ppid=22275 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/22277/task/22278/stat : 22278 (java) R 22275 22275 14254 0 -1 4202560 7877 0 0 0 27 3 0 0 20 0 15 0 408252152 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342618723216 140342598567262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22279] ppid=22275 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342567107088 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22280] ppid=22275 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342566054544 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22281] ppid=22275 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252152 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342565001488 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22282] ppid=22275 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22275 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408252152 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342563948944 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22283] ppid=22275 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22275 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408252154 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342082923248 140342614497922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22284] ppid=22275 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22275 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408252154 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342081869472 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22285] ppid=22275 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22275 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408252154 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342080816368 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22286] ppid=22275 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408252157 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342079764944 140342614505371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22287] ppid=22275 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22275 14254 0 -1 1077944384 710 0 0 0 6 0 0 0 20 0 15 0 408252157 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342078712048 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22288] ppid=22275 vsize=15149024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22275 14254 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 15 0 408252157 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342077659504 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22289] ppid=22275 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22275 14254 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 408252157 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342076606448 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22290] ppid=22275 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408252157 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342075554144 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22291] ppid=22275 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408252157 15512600576 12597 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51808 KiB
[startup+0.702967 s]
/proc/loadavg: 8.10 8.44 8.38 7/233 22291
/proc/meminfo: memFree=31053412/32770624 swapFree=66920744/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
[pid=22277] ppid=22275 vsize=15417404 memory=92180 CPUtime=1.58 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22275 14254 0 -1 1077944320 15691 0 0 0 152 6 0 0 20 0 19 0 408252151 15787421696 23045 33554432000 4194304 4196468 140734364839824 140734364822368 140342614486775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
/proc/22277/statm: 3854351 23045 3451 1 0 3815453 0
[pid=22277/tid=22278] ppid=22275 vsize=15417404 memory=-3704326594973231466 CPUtime=0.63 cores=1,3,5,7
/proc/22277/task/22278/stat : 22278 (java) S 22275 22275 14254 0 -1 1077944384 9327 0 0 0 59 4 0 0 20 0 19 0 408252152 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342618727552 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22279] ppid=22275 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408252152 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342567107088 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22280] ppid=22275 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408252152 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342566054544 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22281] ppid=22275 vsize=15417404 memory=708 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408252152 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342565001488 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22282] ppid=22275 vsize=15417404 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22275 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408252152 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342563948944 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22283] ppid=22275 vsize=15417404 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22275 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408252154 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342082923248 140342614497922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22284] ppid=22275 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22275 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408252154 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342081869472 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22285] ppid=22275 vsize=15417404 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22275 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408252154 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342080816368 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22286] ppid=22275 vsize=15417404 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342079764944 140342614505371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22287] ppid=22275 vsize=15417404 memory=3444 CPUtime=0.23 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) R 22275 22275 14254 0 -1 4202560 1322 0 0 0 23 0 0 0 20 0 19 0 408252157 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342078692224 140342599368579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22288] ppid=22275 vsize=15417404 memory=1556 CPUtime=0.19 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) R 22275 22275 14254 0 -1 1077944384 933 0 0 0 19 0 0 0 20 0 19 0 408252157 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342077659632 140342614496981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22289] ppid=22275 vsize=15417404 memory=2832 CPUtime=0.4 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) R 22275 22275 14254 0 -1 4202560 2129 0 0 0 39 1 0 0 20 0 19 0 408252157 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342076606576 140342607583611 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22290] ppid=22275 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342075554144 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22291] ppid=22275 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408252157 15787421696 23045 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 93632 KiB
[startup+1.50081 s]
/proc/loadavg: 8.10 8.44 8.38 12/237 22299
/proc/meminfo: memFree=31004092/32770624 swapFree=66920744/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1605 0 0 0 3 6 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22319] ppid=22275 vsize=15486016 memory=8317482817917895235 CPUtime=134.52 cores=1,3,5,7
/proc/22277/task/22319/stat : 22319 (java) S 22275 22275 14254 0 -1 1077944384 828 0 0 0 13449 3 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342058987712 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22320] ppid=22275 vsize=15486016 memory=1284 CPUtime=134.62 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22275 14254 0 -1 1077944384 1932 0 0 0 13462 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342064243920 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22321] ppid=22275 vsize=15486016 memory=1044 CPUtime=134.24 cores=1,3,5,7
/proc/22277/task/22321/stat : 22321 (java) S 22275 22275 14254 0 -1 1077944384 1852 0 0 0 13424 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342065296720 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22322] ppid=22275 vsize=15486016 memory=708 CPUtime=148.48 cores=1,3,5,7
/proc/22277/task/22322/stat : 22322 (java) R 22275 22275 14254 0 -1 4202560 640 0 0 0 14848 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342063185488 140342242478071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 669.57 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 254472 KiB
[startup+182.401 s]
/proc/loadavg: 6.93 8.17 8.32 6/236 23610
/proc/meminfo: memFree=30970056/32770624 swapFree=66920748/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
[pid=22277] ppid=22275 vsize=15486016 memory=253020 CPUtime=670.38 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22275 14254 0 -1 1077944320 103534 0 0 0 67008 30 0 0 20 0 19 0 408252151 15857680384 63255 33554432000 4194304 4196468 140734364839824 140734364822368 140342614486775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
/proc/22277/statm: 3871504 63255 3530 1 0 3832606 0
[pid=22277/tid=22278] ppid=22275 vsize=15486016 memory=708 CPUtime=0.63 cores=1,3,5,7
/proc/22277/task/22278/stat : 22278 (java) S 22275 22275 14254 0 -1 1077944384 9896 0 0 0 59 4 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342618727552 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22279] ppid=22275 vsize=15486016 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22275 14254 0 -1 1077944384 2649 0 0 0 8 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342567107088 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22280] ppid=22275 vsize=15486016 memory=3444 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22275 14254 0 -1 1077944384 2072 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342566054544 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22281] ppid=22275 vsize=15486016 memory=1556 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22275 14254 0 -1 1077944384 3090 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342565001488 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22282] ppid=22275 vsize=15486016 memory=2832 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22275 14254 0 -1 1077944384 2182 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342563948944 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22283] ppid=22275 vsize=15486016 memory=253020 CPUtime=0.05 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22275 14254 0 -1 1077944384 3100 0 0 0 4 1 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342082923248 140342614497922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22284] ppid=22275 vsize=15486016 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22275 14254 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342081869536 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22285] ppid=22275 vsize=15486016 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22275 14254 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342080816384 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22286] ppid=22275 vsize=15486016 memory=776 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342079764944 140342614505371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22287] ppid=22275 vsize=15486016 memory=1552 CPUtime=3.7 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22275 14254 0 -1 1077944384 26074 0 0 0 368 2 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342078712048 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22288] ppid=22275 vsize=15486016 memory=7956 CPUtime=3.93 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22275 14254 0 -1 1077944384 29358 0 0 0 391 2 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342077659504 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22289] ppid=22275 vsize=15486016 memory=6791534058613427641 CPUtime=0.75 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22275 14254 0 -1 1077944384 9013 0 0 0 74 1 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342076606448 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22290] ppid=22275 vsize=15486016 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342075554144 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22291] ppid=22275 vsize=15486016 memory=253020 CPUtime=0.09 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1605 0 0 0 3 6 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22319] ppid=22275 vsize=15486016 memory=1452 CPUtime=134.52 cores=1,3,5,7
/proc/22277/task/22319/stat : 22319 (java) S 22275 22275 14254 0 -1 1077944384 828 0 0 0 13449 3 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342058987712 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22320] ppid=22275 vsize=15486016 memory=253020 CPUtime=134.62 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22275 14254 0 -1 1077944384 1932 0 0 0 13462 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342064243920 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22321] ppid=22275 vsize=15486016 memory=1412 CPUtime=134.24 cores=1,3,5,7
/proc/22277/task/22321/stat : 22321 (java) S 22275 22275 14254 0 -1 1077944384 1852 0 0 0 13424 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342065296720 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22322] ppid=22275 vsize=15486016 memory=3444 CPUtime=149.28 cores=1,3,5,7
/proc/22277/task/22322/stat : 22322 (java) R 22275 22275 14254 0 -1 4202560 640 0 0 0 14928 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342063185488 140342242476318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 670.38 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 254472 KiB
[startup+182.601 s]
/proc/loadavg: 6.93 8.17 8.32 6/236 23610
/proc/meminfo: memFree=30970056/32770624 swapFree=66920748/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
[pid=22277] ppid=22275 vsize=15486016 memory=253020 CPUtime=670.58 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22275 14254 0 -1 1077944320 103534 0 0 0 67028 30 0 0 20 0 19 0 408252151 15857680384 63255 33554432000 4194304 4196468 140734364839824 140734364822368 140342614486775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
/proc/22277/statm: 3871504 63255 3530 1 0 3832606 0
[pid=22277/tid=22278] ppid=22275 vsize=15486016 memory=984 CPUtime=0.63 cores=1,3,5,7
/proc/22277/task/22278/stat : 22278 (java) S 22275 22275 14254 0 -1 1077944384 9896 0 0 0 59 4 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342618727552 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22279] ppid=22275 vsize=15486016 memory=14012 CPUtime=0.1 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22275 14254 0 -1 1077944384 2649 0 0 0 8 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342567107088 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22280] ppid=22275 vsize=15486016 memory=5228 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22275 14254 0 -1 1077944384 2072 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342566054544 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22281] ppid=22275 vsize=15486016 memory=290763849282617370 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22275 14254 0 -1 1077944384 3090 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342565001488 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22282] ppid=22275 vsize=15486016 memory=288230596050944315 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22275 14254 0 -1 1077944384 2182 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342563948944 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22283] ppid=22275 vsize=15486016 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22275 14254 0 -1 1077944384 3100 0 0 0 4 1 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342082923248 140342614497922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22284] ppid=22275 vsize=15486016 memory=253020 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22275 14254 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342081869536 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22285] ppid=22275 vsize=15486016 memory=12020 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22275 14254 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342080816384 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22286] ppid=22275 vsize=15486016 memory=496 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342079764944 140342614505371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22287] ppid=22275 vsize=15486016 memory=984 CPUtime=3.7 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22275 14254 0 -1 1077944384 26074 0 0 0 368 2 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342078712048 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22288] ppid=22275 vsize=15486016 memory=14012 CPUtime=3.93 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22275 14254 0 -1 1077944384 29358 0 0 0 391 2 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342077659504 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22289] ppid=22275 vsize=15486016 memory=5228 CPUtime=0.75 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22275 14254 0 -1 1077944384 9013 0 0 0 74 1 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342076606448 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22290] ppid=22275 vsize=15486016 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342075554144 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22291] ppid=22275 vsize=15486016 memory=12020 CPUtime=0.09 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1605 0 0 0 3 6 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22319] ppid=22275 vsize=15486016 memory=496 CPUtime=134.52 cores=1,3,5,7
/proc/22277/task/22319/stat : 22319 (java) S 22275 22275 14254 0 -1 1077944384 828 0 0 0 13449 3 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342058987712 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22320] ppid=22275 vsize=15486016 memory=6791534058613427641 CPUtime=134.62 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22275 14254 0 -1 1077944384 1932 0 0 0 13462 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342064243920 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22321] ppid=22275 vsize=15486016 memory=928 CPUtime=134.24 cores=1,3,5,7
/proc/22277/task/22321/stat : 22321 (java) S 22275 22275 14254 0 -1 1077944384 1852 0 0 0 13424 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342065296720 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22322] ppid=22275 vsize=15486016 memory=2120 CPUtime=149.48 cores=1,3,5,7
/proc/22277/task/22322/stat : 22322 (java) R 22275 22275 14254 0 -1 4202560 640 0 0 0 14948 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342063185488 140342242476296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 670.58 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 254472 KiB
[startup+182.701 s]
/proc/loadavg: 6.93 8.17 8.32 6/236 23610
/proc/meminfo: memFree=30970056/32770624 swapFree=66920748/67108860
[pid=22275] ppid=22272 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22275/stat : 22275 (xcsp3-exec) S 22272 22275 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408252151 115843072 363 33554432000 4194304 5098028 140731673958736 140731673956840 140647147283068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17301504 140731673961339 140731673961581 140731673961581 140731673964490 0
/proc/22275/statm: 28282 363 304 221 0 87 0
[pid=22277] ppid=22275 vsize=15486016 memory=253020 CPUtime=670.68 cores=1,3,5,7
/proc/22277/stat : 22277 (java) S 22275 22275 14254 0 -1 1077944320 103534 0 0 0 67038 30 0 0 20 0 19 0 408252151 15857680384 63255 33554432000 4194304 4196468 140734364839824 140734364822368 140342614486775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
/proc/22277/statm: 3871504 63255 3530 1 0 3832606 0
[pid=22277/tid=22278] ppid=22275 vsize=15486016 memory=253020 CPUtime=0.63 cores=1,3,5,7
/proc/22277/task/22278/stat : 22278 (java) S 22275 22275 14254 0 -1 1077944384 9896 0 0 0 59 4 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342618727552 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22279] ppid=22275 vsize=15486016 memory=253020 CPUtime=0.1 cores=1,3,5,7
/proc/22277/task/22279/stat : 22279 (java) S 22275 22275 14254 0 -1 1077944384 2649 0 0 0 8 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342567107088 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22280] ppid=22275 vsize=15486016 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22280/stat : 22280 (java) S 22275 22275 14254 0 -1 1077944384 2072 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342566054544 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22281] ppid=22275 vsize=15486016 memory=9364 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22281/stat : 22281 (java) S 22275 22275 14254 0 -1 1077944384 3090 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342565001488 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22282] ppid=22275 vsize=15486016 memory=253020 CPUtime=0.11 cores=1,3,5,7
/proc/22277/task/22282/stat : 22282 (java) S 22275 22275 14254 0 -1 1077944384 2182 0 0 0 9 2 0 0 20 0 19 0 408252152 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342563948944 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22283] ppid=22275 vsize=15486016 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/22277/task/22283/stat : 22283 (java) S 22275 22275 14254 0 -1 1077944384 3100 0 0 0 4 1 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342082923248 140342614497922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22284] ppid=22275 vsize=15486016 memory=267956 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22284/stat : 22284 (java) S 22275 22275 14254 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342081869536 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22285] ppid=22275 vsize=15486016 memory=269644 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22285/stat : 22285 (java) S 22275 22275 14254 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 408252154 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342080816384 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22286] ppid=22275 vsize=15486016 memory=164 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22286/stat : 22286 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342079764944 140342614505371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22287] ppid=22275 vsize=15486016 memory=6944656592387989600 CPUtime=3.7 cores=1,3,5,7
/proc/22277/task/22287/stat : 22287 (java) S 22275 22275 14254 0 -1 1077944384 26074 0 0 0 368 2 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342078712048 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22288] ppid=22275 vsize=15486016 memory=259032 CPUtime=3.93 cores=1,3,5,7
/proc/22277/task/22288/stat : 22288 (java) S 22275 22275 14254 0 -1 1077944384 29358 0 0 0 391 2 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342077659504 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22289] ppid=22275 vsize=15486016 memory=1452 CPUtime=0.75 cores=1,3,5,7
/proc/22277/task/22289/stat : 22289 (java) S 22275 22275 14254 0 -1 1077944384 9013 0 0 0 74 1 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342076606448 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22290] ppid=22275 vsize=15486016 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22277/task/22290/stat : 22290 (java) S 22275 22275 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342075554144 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22291] ppid=22275 vsize=15486016 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/22277/task/22291/stat : 22291 (java) S 22275 22275 14254 0 -1 1077944384 1605 0 0 0 3 6 0 0 20 0 19 0 408252157 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342074502192 140342614497922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22319] ppid=22275 vsize=15486016 memory=1452 CPUtime=134.52 cores=1,3,5,7
/proc/22277/task/22319/stat : 22319 (java) S 22275 22275 14254 0 -1 1077944384 828 0 0 0 13449 3 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342058987712 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22320] ppid=22275 vsize=15486016 memory=3580 CPUtime=134.62 cores=1,3,5,7
/proc/22277/task/22320/stat : 22320 (java) S 22275 22275 14254 0 -1 1077944384 1932 0 0 0 13462 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342064243920 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22321] ppid=22275 vsize=15486016 memory=16956 CPUtime=134.24 cores=1,3,5,7
/proc/22277/task/22321/stat : 22321 (java) S 22275 22275 14254 0 -1 1077944384 1852 0 0 0 13424 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342065296720 140342614496981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
[pid=22277/tid=22322] ppid=22275 vsize=15486016 memory=988 CPUtime=149.58 cores=1,3,5,7
/proc/22277/task/22322/stat : 22322 (java) R 22275 22275 14254 0 -1 4202560 640 0 0 0 14958 0 0 0 20 0 19 0 408255380 15857680384 63255 33554432000 4194304 4196468 140734364839824 140342063185488 140342242476208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23126016 140734364840943 140734364841114 140734364841114 140734364843983 0
Current children cumulated CPU time: 670.68 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 254472 KiB
Child status: 0
Real time (s): 182.782
CPU time (s): 670.777
CPU user time (s): 670.465
CPU system time (s): 0.311557
CPU usage (%): 366.982
Max. virtual memory (cumulated for all children) (KiB): 15601964
Max. memory (cumulated for all children) (KiB): 271096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 670.465
system time used= 0.311557
maximum resident set size= 271180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8303
involuntary context switches= 11982
# summary of solver processes directly reported to runsolver:
# pid: 22275
# total CPU time (s): 670.777
# total CPU user time (s): 670.465
# total CPU system time (s): 0.311557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19527 second user time and 2.13552 second system time
The end