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 (11025 MiB free)
memory of node 1: 16384 MiB (13948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284383-1503213686/watcher-4284383-1503213686 -o /tmp/evaluation-result-4284383-1503213686/solver-4284383-1503213686 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1301932915 HOME/instance-4284383-1503213686.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=30070, runsolver pid=30067
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.24 1.56 1.75 3/217 30086
/proc/meminfo: memFree=25555332/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
[pid=30072] ppid=30070 vsize=13978596 memory=28648 CPUtime=0.12 cores=1,3,5,7
/proc/30072/stat : 30072 (java) S 30070 30070 25930 0 -1 1077944320 5513 0 0 0 11 1 0 0 20 0 15 0 154456236 14314082304 7162 33554432000 4194304 4196468 140732323283360 140732323265904 140285180301047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
/proc/30072/statm: 3494649 7162 2872 1 0 3482966 0
[pid=30072/tid=30073] ppid=30070 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30072/task/30073/stat : 30073 (java) R 30070 30070 25930 0 -1 4202560 3537 0 0 0 8 1 0 0 20 0 15 0 154456236 14314082304 7162 33554432000 4194304 4196468 140732323283360 140285184534320 140285180312982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30074] ppid=30070 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30074/stat : 30074 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14314082304 7162 33554432000 4194304 4196468 140732323283360 140285110389904 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30075] ppid=30070 vsize=13978596 memory=140027508344448 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14314082304 7162 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456237 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13978596 memory=140027508344448 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456238 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456239 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456239 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) S 30070 30070 25930 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 154456241 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284717402992 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456241 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284716350192 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13978596 memory=140027508344448 CPUtime=0.01 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 154456241 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13978596 memory=140027508344448 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456242 14314082304 7162 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30032 KiB
[startup+0.210602 s]*
/proc/loadavg: 1.24 1.56 1.75 3/217 30086
/proc/meminfo: memFree=25544788/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
[pid=30072] ppid=30070 vsize=13982852 memory=39944 CPUtime=0.33 cores=1,3,5,7
/proc/30072/stat : 30072 (java) S 30070 30070 25930 0 -1 1077944320 8066 0 0 0 31 2 0 0 20 0 15 0 154456236 14318440448 9986 33554432000 4194304 4196468 140732323283360 140732323265904 140285180301047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
/proc/30072/statm: 3495713 9986 3043 1 0 3482966 0
[pid=30072/tid=30073] ppid=30070 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30072/task/30073/stat : 30073 (java) R 30070 30070 25930 0 -1 4202560 5318 0 0 0 18 2 0 0 20 0 15 0 154456236 14318440448 9986 33554432000 4194304 4196468 140732323283360 140285184511840 140285172980269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30074] ppid=30070 vsize=13982852 memory=13599 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30074/stat : 30074 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 9986 33554432000 4194304 4196468 140732323283360 140285110389904 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30075] ppid=30070 vsize=13982852 memory=3977155181801948832 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 9986 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13982852 memory=140027508344448 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456238 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456239 14318473216 9986 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456239 14318473216 9986 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) S 30070 30070 25930 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 15 0 154456241 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284717402992 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) S 30070 30070 25930 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 15 0 154456241 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284716350192 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13982852 memory=140027508344448 CPUtime=0.07 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 15 0 154456241 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456242 14318440448 9986 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41328 KiB
[startup+0.314816 s]*
/proc/loadavg: 1.24 1.56 1.75 3/217 30086
/proc/meminfo: memFree=25537112/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
[pid=30072] ppid=30070 vsize=13982852 memory=47640 CPUtime=0.52 cores=1,3,5,7
/proc/30072/stat : 30072 (java) S 30070 30070 25930 0 -1 1077944320 9082 0 0 0 49 3 0 0 20 0 15 0 154456236 14318440448 11910 33554432000 4194304 4196468 140732323283360 140732323265904 140285180301047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
/proc/30072/statm: 3495713 11910 3090 1 0 3482966 0
[pid=30072/tid=30073] ppid=30070 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30072/task/30073/stat : 30073 (java) R 30070 30070 25930 0 -1 4202560 6028 0 0 0 27 3 0 0 20 0 15 0 154456236 14318440448 11910 33554432000 4194304 4196468 140732323283360 140285184532448 140285164381534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30074] ppid=30070 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30074/stat : 30074 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 11910 33554432000 4194304 4196468 140732323283360 140285110389904 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30075] ppid=30070 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 11910 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456237 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456238 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456239 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456239 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) S 30070 30070 25930 0 -1 1077944384 672 0 0 0 3 0 0 0 20 0 15 0 154456241 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284717402992 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) S 30070 30070 25930 0 -1 1077944384 241 0 0 0 4 0 0 0 20 0 15 0 154456241 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284716350192 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 842 0 0 0 13 0 0 0 20 0 15 0 154456241 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456242 14318440448 11910 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49024 KiB
[startup+0.701481 s]
/proc/loadavg: 1.24 1.56 1.75 5/217 30086
/proc/meminfo: memFree=25519184/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
[pid=30072] ppid=30070 vsize=13984976 memory=71444 CPUtime=1.59 cores=1,3,5,7
/proc/30072/stat : 30072 (java) S 30070 30070 25930 0 -1 1077944320 11501 0 0 0 155 4 0 0 20 0 15 0 154456236 14320615424 17861 33554432000 4194304 4196468 140732323283360 140732323265904 140285180301047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
/proc/30072/statm: 3496244 17861 3205 1 0 3483478 0
[pid=30072/tid=30073] ppid=30070 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/30072/task/30073/stat : 30073 (java) R 30070 30070 25930 0 -1 4202560 6682 0 0 0 64 3 0 0 20 0 15 0 154456236 14320615424 17861 33554432000 4194304 4196468 140732323283360 140285184540208 140284792507642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30074] ppid=30070 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30074/stat : 30074 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14320615424 17861 33554432000 4194304 4196468 140732323283360 140285110389904 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30075] ppid=30070 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14320615424 17861 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13984976 memory=42904 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456237 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154456237 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13984976 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154456238 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13984976 memory=1956 CPUtime=0.24 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) R 30070 30070 25930 0 -1 4202560 1164 0 0 0 24 0 0 0 20 0 15 0 154456241 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284717394944 140285163703190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13984976 memory=8608 CPUtime=0.26 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) R 30070 30070 25930 0 -1 4202560 779 0 0 0 26 0 0 0 20 0 15 0 154456241 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284716336216 140285159544939 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13984976 memory=1228 CPUtime=0.39 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 1570 0 0 0 39 0 0 0 20 0 15 0 154456241 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154456242 14320615424 17861 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 72828 KiB
[startup+1.50084 s]
/proc/loadavg: 1.24 1.56 1.75 5/217 30086
/proc/meminfo: memFree=25482464/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1649 0 0 0 28 3 0 0 20 0 15 0 154456237 14320615424 54264 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13984976 memory=206988 CPUtime=0.31 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 960 0 0 0 28 3 0 0 20 0 15 0 154456237 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13984976 memory=2552 CPUtime=0.3 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 1267 0 0 0 28 2 0 0 20 0 15 0 154456237 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13984976 memory=4100 CPUtime=0.05 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 1380 0 0 0 4 1 0 0 20 0 15 0 154456238 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13984976 memory=25860 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13984976 memory=1384 CPUtime=3.06 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) S 30070 30070 25930 0 -1 1077944384 15590 0 0 0 305 1 0 0 20 0 15 0 154456241 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284717402992 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13984976 memory=210872 CPUtime=2.82 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) S 30070 30070 25930 0 -1 1077944384 11087 0 0 0 281 1 0 0 20 0 15 0 154456241 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284716350192 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13984976 memory=42904 CPUtime=0.63 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 4851 0 0 0 62 1 0 0 20 0 15 0 154456241 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13984976 memory=2416 CPUtime=0.02 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 193 0 0 0 1 1 0 0 20 0 15 0 154456242 14320615424 54264 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 71.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 218440 KiB
[startup+65.6008 s]
/proc/loadavg: 1.81 1.66 1.77 3/217 30087
/proc/meminfo: memFree=24713560/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
[pid=30072] ppid=30070 vsize=13984976 memory=222296 CPUtime=73.12 cores=1,3,5,7
/proc/30072/stat : 30072 (java) S 30070 30070 25930 0 -1 1077944320 52139 0 0 0 7286 26 0 0 20 0 15 0 154456236 14320615424 55574 33554432000 4194304 4196468 140732323283360 140732323265904 140285180301047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
/proc/30072/statm: 3496244 55574 3262 1 0 3483478 0
[pid=30072/tid=30073] ppid=30070 vsize=13984976 memory=217572 CPUtime=65.18 cores=1,3,5,7
/proc/30072/task/30073/stat : 30073 (java) R 30070 30070 25930 0 -1 4202560 12371 0 0 0 6513 5 0 0 20 0 15 0 154456236 14320615424 55574 33554432000 4194304 4196468 140732323283360 140285184540480 140284794547159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30074] ppid=30070 vsize=13984976 memory=192 CPUtime=0.31 cores=1,3,5,7
/proc/30072/task/30074/stat : 30074 (java) S 30070 30070 25930 0 -1 1077944384 1395 0 0 0 28 3 0 0 20 0 15 0 154456237 14320615424 55574 33554432000 4194304 4196468 140732323283360 140285110389904 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30075] ppid=30070 vsize=13984976 memory=712 CPUtime=0.32 cores=1,3,5,7
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1663 0 0 0 29 3 0 0 20 0 15 0 154456237 14320615424 55574 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13984976 memory=1522 CPUtime=0.32 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 978 0 0 0 29 3 0 0 20 0 15 0 154456237 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13984976 memory=8608 CPUtime=0.32 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 1272 0 0 0 29 3 0 0 20 0 15 0 154456237 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13984976 memory=1228 CPUtime=0.05 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 1384 0 0 0 4 1 0 0 20 0 15 0 154456238 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13984976 memory=4620 CPUtime=3.06 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) S 30070 30070 25930 0 -1 1077944384 15590 0 0 0 305 1 0 0 20 0 15 0 154456241 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284717402992 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13984976 memory=1428 CPUtime=2.82 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) S 30070 30070 25930 0 -1 1077944384 11087 0 0 0 281 1 0 0 20 0 15 0 154456241 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284716350192 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13984976 memory=4140 CPUtime=0.63 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 4851 0 0 0 62 1 0 0 20 0 15 0 154456241 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13984976 memory=42904 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13984976 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 193 0 0 0 1 1 0 0 20 0 15 0 154456242 14320615424 55574 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 73.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 223680 KiB
[startup+67.2008 s]
/proc/loadavg: 1.91 1.68 1.78 3/217 30087
/proc/meminfo: memFree=24711500/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
[pid=30072] ppid=30070 vsize=13984976 memory=223424 CPUtime=74.74 cores=1,3,5,7
/proc/30072/stat : 30072 (java) S 30070 30070 25930 0 -1 1077944320 52191 0 0 0 7448 26 0 0 20 0 15 0 154456236 14320615424 55856 33554432000 4194304 4196468 140732323283360 140732323265904 140285180301047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
/proc/30072/statm: 3496244 55856 3262 1 0 3483478 0
[pid=30072/tid=30073] ppid=30070 vsize=13984976 memory=6791534058613427641 CPUtime=66.76 cores=1,3,5,7
/proc/30072/task/30073/stat : 30073 (java) R 30070 30070 25930 0 -1 4202560 12373 0 0 0 6671 5 0 0 20 0 15 0 154456236 14320615424 55856 33554432000 4194304 4196468 140732323283360 140285184540720 140284793930815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30074] ppid=30070 vsize=13984976 memory=215940 CPUtime=0.32 cores=1,3,5,7
/proc/30072/task/30074/stat : 30074 (java) S 30070 30070 25930 0 -1 1077944384 1407 0 0 0 29 3 0 0 20 0 15 0 154456237 14320615424 55856 33554432000 4194304 4196468 140732323283360 140285110389904 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30075] ppid=30070 vsize=13984976 memory=1296 CPUtime=0.33 cores=1,3,5,7
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1664 0 0 0 30 3 0 0 20 0 15 0 154456237 14320615424 55856 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13984976 memory=2416 CPUtime=0.33 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 997 0 0 0 30 3 0 0 20 0 15 0 154456237 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13984976 memory=8996 CPUtime=0.33 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 1290 0 0 0 30 3 0 0 20 0 15 0 154456237 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13984976 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 1384 0 0 0 4 1 0 0 20 0 15 0 154456238 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13984976 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13984976 memory=18488 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13984976 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13984976 memory=1236 CPUtime=3.06 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) S 30070 30070 25930 0 -1 1077944384 15590 0 0 0 305 1 0 0 20 0 15 0 154456241 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284717402992 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13984976 memory=640 CPUtime=2.82 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) S 30070 30070 25930 0 -1 1077944384 11087 0 0 0 281 1 0 0 20 0 15 0 154456241 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284716350192 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13984976 memory=1384 CPUtime=0.63 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 4851 0 0 0 62 1 0 0 20 0 15 0 154456241 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13984976 memory=223424 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13984976 memory=1228 CPUtime=0.02 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 193 0 0 0 1 1 0 0 20 0 15 0 154456242 14320615424 55856 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 74.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224808 KiB
[startup+67.6008 s]
/proc/loadavg: 1.91 1.68 1.78 3/217 30087
/proc/meminfo: memFree=24711500/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
[pid=30072] ppid=30070 vsize=13984976 memory=223936 CPUtime=75.17 cores=1,3,5,7
/proc/30072/stat : 30072 (java) S 30070 30070 25930 0 -1 1077944320 52214 0 0 0 7490 27 0 0 20 0 15 0 154456236 14320615424 55984 33554432000 4194304 4196468 140732323283360 140732323265904 140285180301047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
/proc/30072/statm: 3496244 55984 3262 1 0 3483478 0
[pid=30072/tid=30073] ppid=30070 vsize=13984976 memory=1228 CPUtime=67.15 cores=1,3,5,7
/proc/30072/task/30073/stat : 30073 (java) R 30070 30070 25930 0 -1 4202560 12374 0 0 0 6710 5 0 0 20 0 15 0 154456236 14320615424 55984 33554432000 4194304 4196468 140732323283360 140285184540720 140284789072960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30074] ppid=30070 vsize=13984976 memory=12136 CPUtime=0.33 cores=1,3,5,7
/proc/30072/task/30074/stat : 30074 (java) S 30070 30070 25930 0 -1 1077944384 1418 0 0 0 30 3 0 0 20 0 15 0 154456237 14320615424 55984 33554432000 4194304 4196468 140732323283360 140285110389904 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30075] ppid=30070 vsize=13984976 memory=5792 CPUtime=0.33 cores=1,3,5,7
/proc/30072/task/30075/stat : 30075 (java) S 30070 30070 25930 0 -1 1077944384 1668 0 0 0 30 3 0 0 20 0 15 0 154456237 14320615424 55984 33554432000 4194304 4196468 140732323283360 140285109337104 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30076] ppid=30070 vsize=13984976 memory=6791534058613427641 CPUtime=0.34 cores=1,3,5,7
/proc/30072/task/30076/stat : 30076 (java) S 30070 30070 25930 0 -1 1077944384 1001 0 0 0 31 3 0 0 20 0 15 0 154456237 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284773710736 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30077] ppid=30070 vsize=13984976 memory=3832 CPUtime=0.34 cores=1,3,5,7
/proc/30072/task/30077/stat : 30077 (java) S 30070 30070 25930 0 -1 1077944384 1293 0 0 0 31 3 0 0 20 0 15 0 154456237 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284772657936 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30078] ppid=30070 vsize=13984976 memory=2660 CPUtime=0.05 cores=1,3,5,7
/proc/30072/task/30078/stat : 30078 (java) S 30070 30070 25930 0 -1 1077944384 1384 0 0 0 4 1 0 0 20 0 15 0 154456238 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284721613168 140285180312194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30079] ppid=30070 vsize=13984976 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30079/stat : 30079 (java) S 30070 30070 25930 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284720559136 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30080] ppid=30070 vsize=13984976 memory=269174190435066 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30080/stat : 30080 (java) S 30070 30070 25930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154456239 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284719506288 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30081] ppid=30070 vsize=13984976 memory=269174190435067 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30081/stat : 30081 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284718454608 140285180319643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30082] ppid=30070 vsize=13984976 memory=7100839861465685612 CPUtime=3.06 cores=1,3,5,7
/proc/30072/task/30082/stat : 30082 (java) S 30070 30070 25930 0 -1 1077944384 15590 0 0 0 305 1 0 0 20 0 15 0 154456241 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284717402992 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30083] ppid=30070 vsize=13984976 memory=0 CPUtime=2.82 cores=1,3,5,7
/proc/30072/task/30083/stat : 30083 (java) S 30070 30070 25930 0 -1 1077944384 11087 0 0 0 281 1 0 0 20 0 15 0 154456241 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284716350192 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30084] ppid=30070 vsize=13984976 memory=269174190435064 CPUtime=0.63 cores=1,3,5,7
/proc/30072/task/30084/stat : 30084 (java) S 30070 30070 25930 0 -1 1077944384 4851 0 0 0 62 1 0 0 20 0 15 0 154456241 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284715297392 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30085] ppid=30070 vsize=13984976 memory=223424 CPUtime=0 cores=1,3,5,7
/proc/30072/task/30085/stat : 30085 (java) S 30070 30070 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154456241 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284714244832 140285180311253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
[pid=30072/tid=30086] ppid=30070 vsize=13984976 memory=1228 CPUtime=0.02 cores=1,3,5,7
/proc/30072/task/30086/stat : 30086 (java) S 30070 30070 25930 0 -1 1077944384 193 0 0 0 1 1 0 0 20 0 15 0 154456242 14320615424 55984 33554432000 4194304 4196468 140732323283360 140284713192112 140285180312194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17825792 140732323288221 140732323288396 140732323288396 140732323291087 0
Current children cumulated CPU time: 75.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 225320 KiB
[startup+68.0008 s]*
/proc/loadavg: 1.91 1.68 1.78 3/217 30087
/proc/meminfo: memFree=24714228/32770624 swapFree=67108860/67108860
[pid=30070] ppid=30067 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/30070/stat : 30070 (xcsp3-exec) S 30067 30070 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154456235 9740288 346 33554432000 4194304 5098028 140723554670016 140723554668120 140636867027580 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17494016 140723554677876 140723554678080 140723554678080 140723554680811 0
/proc/30070/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 68.0142
CPU time (s): 75.5911
CPU user time (s): 75.3127
CPU system time (s): 0.27846
CPU usage (%): 111.14
Max. virtual memory (cumulated for all children) (KiB): 13996772
Max. memory (cumulated for all children) (KiB): 228176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.3127
system time used= 0.27846
maximum resident set size= 226792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5123
involuntary context switches= 111
# summary of solver processes directly reported to runsolver:
# pid: 30070
# total CPU time (s): 75.5911
# total CPU user time (s): 75.3127
# total CPU system time (s): 0.27846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.589343 second user time and 0.567488 second system time
The end