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 (12484 MiB free)
memory of node 1: 16384 MiB (13590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284454-1503213005/watcher-4284454-1503213005 -o /tmp/evaluation-result-4284454-1503213005/solver-4284454-1503213005 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25961 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1052510591 HOME/instance-4284454-1503213005.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=29183, runsolver pid=29180
[startup+0.100059 s]*
/proc/loadavg: 1.82 1.83 1.83 4/217 29199
/proc/meminfo: memFree=26683488/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13978596 memory=28312 CPUtime=0.11 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 5436 0 0 0 10 1 0 0 20 0 15 0 154388131 14314082304 7078 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3494649 7078 2873 1 0 3482966 0
[pid=29185/tid=29186] ppid=29183 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 3450 0 0 0 8 1 0 0 20 0 15 0 154388131 14314082304 7078 33554432000 4194304 4196468 140730528693296 140063464561696 140063460347286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14314082304 7078 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13978596 memory=140156459599488 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14314082304 7078 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14314082304 7078 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154388132 14314082304 7078 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13978596 memory=140156459599488 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154388133 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154388134 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154388134 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062931501808 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) S 29183 29183 25930 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 154388136 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062929398512 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062928345968 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13978596 memory=140156459599488 CPUtime=0.01 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) R 29183 29183 25930 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 154388136 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062927292912 140063444497606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13978596 memory=140156459599488 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388137 14314082304 7078 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29696 KiB
[startup+0.210534 s]*
/proc/loadavg: 1.82 1.83 1.83 4/217 29199
/proc/meminfo: memFree=26672028/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13982852 memory=40508 CPUtime=0.33 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 8235 0 0 0 30 3 0 0 20 0 15 0 154388131 14318440448 10127 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3495713 10127 3052 1 0 3482966 0
[pid=29185/tid=29186] ppid=29183 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 5395 0 0 0 18 2 0 0 20 0 15 0 154388131 14318473216 10127 33554432000 4194304 4196468 140730528693296 140063464546272 140063453015069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13982884 memory=13599 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14318473216 10127 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13982852 memory=3474448694634399392 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14318440448 10127 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14318440448 10127 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154388132 14318440448 10127 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13982852 memory=140156459599488 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154388133 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154388134 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154388134 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062931501808 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14318473216 10127 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) S 29183 29183 25930 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 154388136 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062929398512 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) S 29183 29183 25930 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 15 0 154388136 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062928345968 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13982852 memory=140156459599488 CPUtime=0.07 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) S 29183 29183 25930 0 -1 1077944384 729 0 0 0 7 0 0 0 20 0 15 0 154388136 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062927292912 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388137 14318440448 10127 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41892 KiB
[startup+0.311332 s]*
/proc/loadavg: 1.82 1.83 1.83 4/217 29199
/proc/meminfo: memFree=26665436/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13982852 memory=47392 CPUtime=0.51 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 9038 0 0 0 47 4 0 0 20 0 15 0 154388131 14318440448 11848 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3495713 11848 3086 1 0 3482966 0
[pid=29185/tid=29186] ppid=29183 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 6019 0 0 0 27 2 0 0 20 0 15 0 154388131 14318440448 11848 33554432000 4194304 4196468 140730528693296 140063464559168 140063444415838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14318440448 11848 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14318440448 11848 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14318440448 11848 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154388132 14318440448 11848 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154388133 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154388134 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154388134 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062931501808 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) S 29183 29183 25930 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 154388136 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062929398512 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) S 29183 29183 25930 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 15 0 154388136 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062928345968 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) R 29183 29183 25930 0 -1 4202560 842 0 0 0 12 0 0 0 20 0 15 0 154388136 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062927292912 140063439267272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388137 14318440448 11848 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48776 KiB
[startup+0.702963 s]
/proc/loadavg: 1.82 1.83 1.83 6/217 29199
/proc/meminfo: memFree=26652876/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13984976 memory=79520 CPUtime=1.56 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 14162 0 0 0 151 5 0 0 20 0 15 0 154388131 14320615424 19880 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3496244 19880 3209 1 0 3483478 0
[pid=29185/tid=29186] ppid=29183 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 6933 0 0 0 65 2 0 0 20 0 15 0 154388131 14320615424 19880 33554432000 4194304 4196468 140730528693296 140063464570544 140063064903328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 19880 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 19880 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13984976 memory=42872 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 19880 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 19880 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154388133 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062931501808 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13984976 memory=1956 CPUtime=0.22 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) R 29183 29183 25930 0 -1 4202560 2273 0 0 0 22 0 0 0 20 0 15 0 154388136 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062929379528 140063443861828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13984976 memory=8608 CPUtime=0.24 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) R 29183 29183 25930 0 -1 4202560 1419 0 0 0 24 0 0 0 20 0 15 0 154388136 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062928331848 140063441856484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13984976 memory=1228 CPUtime=0.4 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) S 29183 29183 25930 0 -1 1077944384 2230 0 0 0 40 0 0 0 20 0 15 0 154388136 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062927292912 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 19880 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80904 KiB
[startup+1.50082 s]
/proc/loadavg: 1.82 1.83 1.83 5/217 29199
/proc/meminfo: memFree=26598576/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13984976 memory=293108 CPUtime=18.1 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 84750 0 0 0 1794 16 0 0 20 0 15 0 154388131 14320615424 73277 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3496244 73277 3250 1 0 3483478 0
[pid=29185/tid=29186] ppid=29183 vsize=13984976 memory=1692 CPUtime=6.35 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 9670 0 0 0 630 5 0 0 20 0 15 0 154388131 14320615424 73277 33554432000 4194304 4196468 140730528693296 140063464573080 140063068843028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73277 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13984976 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73277 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13984976 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73277 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13984976 memory=25848 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73277 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13984976 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 154388133 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13984976 memory=18488 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062931501824 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13984976 memory=640 CPUtime=5.43 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) R 29183 29183 25930 0 -1 4202560 31469 0 0 0 540 3 0 0 20 0 15 0 154388136 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062929398512 140063460356698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13984976 memory=956 CPUtime=5.5 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) R 29183 29183 25930 0 -1 4202560 33180 0 0 0 546 4 0 0 20 0 15 0 154388136 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062928345968 140063446399329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13984976 memory=1384 CPUtime=0.75 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) S 29183 29183 25930 0 -1 1077944384 7571 0 0 0 73 2 0 0 20 0 15 0 154388136 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062927292912 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13984976 memory=42872 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73277 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 18.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 294492 KiB
[startup+7.2007 s]
/proc/loadavg: 1.92 1.85 1.84 3/217 29199
/proc/meminfo: memFree=26420012/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13984976 memory=293624 CPUtime=19.06 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 84909 0 0 0 1890 16 0 0 20 0 15 0 154388131 14320615424 73406 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3496244 73406 3250 1 0 3483478 0
[pid=29185/tid=29186] ppid=29183 vsize=13984976 memory=796 CPUtime=7.15 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 9676 0 0 0 710 5 0 0 20 0 15 0 154388131 14320615424 73406 33554432000 4194304 4196468 140730528693296 140063464574080 140063068622290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13984976 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73406 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73406 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13984976 memory=293196 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73406 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73406 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 154388133 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13984976 memory=1956 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062931501824 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13984976 memory=8608 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13984976 memory=1228 CPUtime=5.47 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) S 29183 29183 25930 0 -1 1077944384 31484 0 0 0 544 3 0 0 20 0 15 0 154388136 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062929398512 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13984976 memory=288230574492221466 CPUtime=5.59 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) S 29183 29183 25930 0 -1 1077944384 33210 0 0 0 555 4 0 0 20 0 15 0 154388136 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062928345968 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13984976 memory=288230596050944315 CPUtime=0.79 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) S 29183 29183 25930 0 -1 1077944384 7678 0 0 0 77 2 0 0 20 0 15 0 154388136 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062927292912 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13984976 memory=13570405394822872 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73406 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 19.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 295008 KiB
[startup+7.60099 s]
/proc/loadavg: 1.92 1.85 1.84 3/217 29199
/proc/meminfo: memFree=26420012/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13984976 memory=293700 CPUtime=19.67 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 84954 0 0 0 1950 17 0 0 20 0 15 0 154388131 14320615424 73425 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3496244 73425 3252 1 0 3483478 0
[pid=29185/tid=29186] ppid=29183 vsize=13984976 memory=796 CPUtime=7.55 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 9676 0 0 0 750 5 0 0 20 0 15 0 154388131 14320615424 73425 33554432000 4194304 4196468 140730528693296 140063464567072 140063068801944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73425 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13984976 memory=734279879112430864 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73425 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13984976 memory=1399103955520229747 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73425 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13984976 memory=590024370432206619 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73425 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13984976 memory=20917 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 154388133 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13984976 memory=7596562577221643618 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13984976 memory=7590655979367786604 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062931501824 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13984976 memory=7521971708393319273 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13984976 memory=7158899594160088986 CPUtime=5.56 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) R 29183 29183 25930 0 -1 4202560 31501 0 0 0 553 3 0 0 20 0 15 0 154388136 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062929398808 140063438169088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13984976 memory=14475003558 CPUtime=5.69 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) S 29183 29183 25930 0 -1 1077944384 33225 0 0 0 565 4 0 0 20 0 15 0 154388136 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062928345968 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13984976 memory=1796 CPUtime=0.8 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) S 29183 29183 25930 0 -1 1077944384 7691 0 0 0 78 2 0 0 20 0 15 0 154388136 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062927292912 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13984976 memory=640 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73425 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 19.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 295084 KiB
[startup+8.00069 s]*
/proc/loadavg: 1.92 1.85 1.84 4/217 29199
/proc/meminfo: memFree=26419640/32770624 swapFree=67108860/67108860
[pid=29183] ppid=29180 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154388130 9740288 346 33554432000 4194304 5098028 140728985357008 140728985355112 139963279770236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32145408 140728985363572 140728985363776 140728985363776 140728985366507 0
/proc/29183/statm: 2378 346 289 221 0 87 0
[pid=29185] ppid=29183 vsize=13984976 memory=293960 CPUtime=20.14 cores=0,2,4,6
/proc/29185/stat : 29185 (java) S 29183 29183 25930 0 -1 1077944320 86966 0 0 0 1997 17 0 0 20 0 15 0 154388131 14320615424 73490 33554432000 4194304 4196468 140730528693296 140730528675840 140063460335351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
/proc/29185/statm: 3496244 73490 3257 1 0 3483478 0
[pid=29185/tid=29186] ppid=29183 vsize=13984976 memory=6791534058613427641 CPUtime=7.96 cores=0,2,4,6
/proc/29185/task/29186/stat : 29186 (java) R 29183 29183 25930 0 -1 4202560 9791 0 0 0 791 5 0 0 20 0 15 0 154388131 14320615424 73490 33554432000 4194304 4196468 140730528693296 140063464567072 140063067648293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29187] ppid=29183 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29187/stat : 29187 (java) S 29183 29183 25930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73490 33554432000 4194304 4196468 140730528693296 140063390424080 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29188] ppid=29183 vsize=13984976 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29188/stat : 29188 (java) S 29183 29183 25930 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73490 33554432000 4194304 4196468 140730528693296 140063389371536 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29189] ppid=29183 vsize=13984976 memory=25848 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29189/stat : 29189 (java) S 29183 29183 25930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73490 33554432000 4194304 4196468 140730528693296 140063388318480 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29190] ppid=29183 vsize=13984976 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29190/stat : 29190 (java) S 29183 29183 25930 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 154388132 14320615424 73490 33554432000 4194304 4196468 140730528693296 140063387265936 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29191] ppid=29183 vsize=13984976 memory=18488 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29191/stat : 29191 (java) S 29183 29183 25930 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 15 0 154388133 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062933608688 140063460346498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29192] ppid=29183 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29192/stat : 29192 (java) S 29183 29183 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062932554912 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29193] ppid=29183 vsize=13984976 memory=265493403460616 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29193/stat : 29193 (java) S 29183 29183 25930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154388134 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062931501824 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29194] ppid=29183 vsize=13984976 memory=265493403460617 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29194/stat : 29194 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388136 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062930450384 140063460353947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29195] ppid=29183 vsize=13984976 memory=265493403460618 CPUtime=5.62 cores=0,2,4,6
/proc/29185/task/29195/stat : 29195 (java) S 29183 29183 25930 0 -1 1077944384 33122 0 0 0 558 4 0 0 20 0 15 0 154388136 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062929398512 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29196] ppid=29183 vsize=13984976 memory=265493403460619 CPUtime=5.7 cores=0,2,4,6
/proc/29185/task/29196/stat : 29196 (java) S 29183 29183 25930 0 -1 1077944384 33351 0 0 0 566 4 0 0 20 0 15 0 154388136 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062928345968 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29197] ppid=29183 vsize=13984976 memory=265493403460620 CPUtime=0.81 cores=0,2,4,6
/proc/29185/task/29197/stat : 29197 (java) S 29183 29183 25930 0 -1 1077944384 7841 0 0 0 79 2 0 0 20 0 15 0 154388136 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062927292912 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29198] ppid=29183 vsize=13984976 memory=265493403460621 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29198/stat : 29198 (java) S 29183 29183 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062926240608 140063460345557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
[pid=29185/tid=29199] ppid=29183 vsize=13984976 memory=265493403460622 CPUtime=0 cores=0,2,4,6
/proc/29185/task/29199/stat : 29199 (java) S 29183 29183 25930 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 154388137 14320615424 73490 33554432000 4194304 4196468 140730528693296 140062925187632 140063460346498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13000704 140730528695453 140730528695628 140730528695628 140730528698319 0
Current children cumulated CPU time: 20.14 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 295344 KiB
Child status: 0
Real time (s): 8.10259
CPU time (s): 20.2778
CPU user time (s): 20.0911
CPU system time (s): 0.186653
CPU usage (%): 250.263
Max. virtual memory (cumulated for all children) (KiB): 13998396
Max. memory (cumulated for all children) (KiB): 295344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.0911
system time used= 0.186653
maximum resident set size= 294432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3296
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 29183
# total CPU time (s): 20.2778
# total CPU user time (s): 20.0911
# total CPU system time (s): 0.186653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076732 second user time and 0.152441 second system time
The end