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 (12216 MiB free)
memory of node 1: 16384 MiB (13674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282987-1503212954/watcher-4282987-1503212954 -o /tmp/evaluation-result-4282987-1503212954/solver-4282987-1503212954 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21141 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 941184418 HOME/instance-4282987-1503212954.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=24205, runsolver pid=24202
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 2.23 2.13 1.96 4/218 24221
/proc/meminfo: memFree=26494812/32770624 swapFree=67108860/67108860
[pid=24205] ppid=24202 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24205/stat : 24205 (xcsp3-exec) S 24202 24205 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154382961 9740288 345 33554432000 4194304 5098028 140732584590544 140732584588648 140241104634492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36872192 140732584592501 140732584592704 140732584592704 140732584595435 0
/proc/24205/statm: 2378 345 289 221 0 87 0
[pid=24207] ppid=24205 vsize=13978596 memory=28096 CPUtime=0.12 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24205 24205 21109 0 -1 1077944320 5384 0 0 0 11 1 0 0 20 0 15 0 154382961 14314082304 7024 33554432000 4194304 4196468 140723730679280 140723730661824 140543457591031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
/proc/24207/statm: 3494649 7024 2866 1 0 3482966 0
[pid=24207/tid=24208] ppid=24205 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/24207/task/24208/stat : 24208 (java) R 24205 24205 21109 0 -1 4202560 3398 0 0 0 8 0 0 0 20 0 15 0 154382961 14314082304 7024 33554432000 4194304 4196468 140723730679280 140543461823280 140543457602966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24209] ppid=24205 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14314082304 7024 33554432000 4194304 4196468 140723730679280 140543053195536 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24210] ppid=24205 vsize=13978596 memory=140019982218880 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14314082304 7024 33554432000 4194304 4196468 140723730679280 140543052142992 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24211] ppid=24205 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14314082304 7024 33554432000 4194304 4196468 140723730679280 140543051090448 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24212] ppid=24205 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14314082304 7024 33554432000 4194304 4196468 140723730679280 140543050037904 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24213] ppid=24205 vsize=13978596 memory=140019982218880 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382963 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542931331568 140543457602178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24214] ppid=24205 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24205 24205 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154382964 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542930277792 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24215] ppid=24205 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24205 24205 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154382964 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542929225200 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24216] ppid=24205 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542928173776 140543457609627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24217] ppid=24205 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24205 24205 21109 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 154382967 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542927120368 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24218] ppid=24205 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542926067824 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24219] ppid=24205 vsize=13978596 memory=140019982218880 CPUtime=0.01 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) R 24205 24205 21109 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 154382967 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542925015280 140543438828592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24220] ppid=24205 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542923962976 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24221] ppid=24205 vsize=13978596 memory=140019982218880 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382967 14314082304 7024 33554432000 4194304 4196468 140723730679280 140542922910512 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29476 KiB
[startup+0.21044 s]*
/proc/loadavg: 2.23 2.13 1.96 3/218 24221
/proc/meminfo: memFree=26483648/32770624 swapFree=67108860/67108860
[pid=24205] ppid=24202 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24205/stat : 24205 (xcsp3-exec) S 24202 24205 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154382961 9740288 345 33554432000 4194304 5098028 140732584590544 140732584588648 140241104634492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36872192 140732584592501 140732584592704 140732584592704 140732584595435 0
/proc/24205/statm: 2378 345 289 221 0 87 0
[pid=24207] ppid=24205 vsize=13982852 memory=40648 CPUtime=0.33 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24205 24205 21109 0 -1 1077944320 8178 0 0 0 31 2 0 0 20 0 15 0 154382961 14318440448 10162 33554432000 4194304 4196468 140723730679280 140723730661824 140543457591031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
/proc/24207/statm: 3495713 10162 3075 1 0 3482966 0
[pid=24207/tid=24208] ppid=24205 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/24207/task/24208/stat : 24208 (java) R 24205 24205 21109 0 -1 4202560 5320 0 0 0 18 1 0 0 20 0 15 0 154382961 14318440448 10162 33554432000 4194304 4196468 140723730679280 140543461802000 140543450308135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24209] ppid=24205 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14318440448 10162 33554432000 4194304 4196468 140723730679280 140543053195536 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24210] ppid=24205 vsize=13982852 memory=140019982961653 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14318440448 10162 33554432000 4194304 4196468 140723730679280 140543052142992 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24211] ppid=24205 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14318440448 10162 33554432000 4194304 4196468 140723730679280 140543051090448 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24212] ppid=24205 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14318440448 10162 33554432000 4194304 4196468 140723730679280 140543050037904 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24213] ppid=24205 vsize=13982852 memory=140019982218880 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382963 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542931331568 140543457602178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24214] ppid=24205 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24205 24205 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154382964 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542930277792 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24215] ppid=24205 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24205 24205 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154382964 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542929225200 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24216] ppid=24205 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14318473216 10162 33554432000 4194304 4196468 140723730679280 140542928173776 140543457609627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24217] ppid=24205 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24205 24205 21109 0 -1 1077944384 599 0 0 0 2 0 0 0 20 0 15 0 154382967 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542927120368 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24218] ppid=24205 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24205 24205 21109 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 154382967 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542926067824 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24219] ppid=24205 vsize=13982852 memory=140019982218880 CPUtime=0.08 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) S 24205 24205 21109 0 -1 1077944384 738 0 0 0 8 0 0 0 20 0 15 0 154382967 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542925015280 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24220] ppid=24205 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542923962976 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24221] ppid=24205 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382967 14318440448 10162 33554432000 4194304 4196468 140723730679280 140542922910512 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42028 KiB
[startup+0.310602 s]*
/proc/loadavg: 2.23 2.13 1.96 5/218 24221
/proc/meminfo: memFree=26477196/32770624 swapFree=67108860/67108860
[pid=24205] ppid=24202 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24205/stat : 24205 (xcsp3-exec) S 24202 24205 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154382961 9740288 345 33554432000 4194304 5098028 140732584590544 140732584588648 140241104634492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36872192 140732584592501 140732584592704 140732584592704 140732584595435 0
/proc/24205/statm: 2378 345 289 221 0 87 0
[pid=24207] ppid=24205 vsize=13982928 memory=47568 CPUtime=0.51 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24205 24205 21109 0 -1 1077944320 9150 0 0 0 48 3 0 0 20 0 15 0 154382961 14318518272 11892 33554432000 4194304 4196468 140723730679280 140723730661824 140543457591031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
/proc/24207/statm: 3495732 11892 3092 1 0 3482966 0
[pid=24207/tid=24208] ppid=24205 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24207/task/24208/stat : 24208 (java) R 24205 24205 21109 0 -1 4202560 6051 0 0 0 27 2 0 0 20 0 15 0 154382961 14318518272 11892 33554432000 4194304 4196468 140723730679280 140543461823392 140543441671518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24209] ppid=24205 vsize=13982928 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14318518272 11892 33554432000 4194304 4196468 140723730679280 140543053195536 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24210] ppid=24205 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14318518272 11892 33554432000 4194304 4196468 140723730679280 140543052142992 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24211] ppid=24205 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14318518272 11892 33554432000 4194304 4196468 140723730679280 140543051090448 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24212] ppid=24205 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14318518272 11892 33554432000 4194304 4196468 140723730679280 140543050037904 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24213] ppid=24205 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382963 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542931331568 140543457602178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24214] ppid=24205 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24205 24205 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154382964 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542930277792 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24215] ppid=24205 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24205 24205 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154382964 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542929225200 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24216] ppid=24205 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542928173776 140543457609627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24217] ppid=24205 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24205 24205 21109 0 -1 1077944384 644 0 0 0 3 0 0 0 20 0 15 0 154382967 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542927120368 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24218] ppid=24205 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24205 24205 21109 0 -1 1077944384 259 0 0 0 4 0 0 0 20 0 15 0 154382967 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542926067824 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24219] ppid=24205 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) R 24205 24205 21109 0 -1 4202560 893 0 0 0 12 0 0 0 20 0 15 0 154382967 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542925015280 140543457612378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24220] ppid=24205 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542923962976 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24221] ppid=24205 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382967 14318518272 11892 33554432000 4194304 4196468 140723730679280 140542922910512 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48948 KiB
[startup+0.553659 s]
# the end of solver process 24205 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.04182 s, system=0.049915 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410532 s]*
/proc/loadavg: 2.23 2.13 1.96 5/218 24221
/proc/meminfo: memFree=26469504/32770624 swapFree=67108860/67108860
[pid=24205] ppid=24202 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24205/stat : 24205 (xcsp3-exec) S 24202 24205 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154382961 9740288 345 33554432000 4194304 5098028 140732584590544 140732584588648 140241104634492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36872192 140732584592501 140732584592704 140732584592704 140732584595435 0
/proc/24205/statm: 2378 345 289 221 0 87 0
[pid=24207] ppid=24205 vsize=13984976 memory=54588 CPUtime=0.74 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24205 24205 21109 0 -1 1077944320 9900 0 0 0 70 4 0 0 20 0 15 0 154382961 14320615424 13647 33554432000 4194304 4196468 140723730679280 140723730661824 140543457591031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
/proc/24207/statm: 3496244 13647 3154 1 0 3483478 0
[pid=24207/tid=24208] ppid=24205 vsize=13984976 memory=7883960649037381690 CPUtime=0.39 cores=1,3,5,7
/proc/24207/task/24208/stat : 24208 (java) R 24205 24205 21109 0 -1 4202560 6479 0 0 0 36 3 0 0 20 0 15 0 154382961 14320615424 13647 33554432000 4194304 4196468 140723730679280 140543461798352 140543441671548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24209] ppid=24205 vsize=13984976 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 13647 33554432000 4194304 4196468 140723730679280 140543053195536 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24210] ppid=24205 vsize=13984976 memory=140019982961653 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 13647 33554432000 4194304 4196468 140723730679280 140543052142992 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24211] ppid=24205 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 13647 33554432000 4194304 4196468 140723730679280 140543051090448 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24212] ppid=24205 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 13647 33554432000 4194304 4196468 140723730679280 140543050037904 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24213] ppid=24205 vsize=13984976 memory=140019982218880 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382963 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542931331568 140543457602178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24214] ppid=24205 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24205 24205 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154382964 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542930277792 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24215] ppid=24205 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24205 24205 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154382964 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542929225200 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24216] ppid=24205 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542928173776 140543457609627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24217] ppid=24205 vsize=13984976 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) S 24205 24205 21109 0 -1 1077944384 696 0 0 0 6 0 0 0 20 0 15 0 154382967 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542927120368 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24218] ppid=24205 vsize=13984976 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) S 24205 24205 21109 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 15 0 154382967 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542926067824 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24219] ppid=24205 vsize=13984976 memory=140019982218880 CPUtime=0.19 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) R 24205 24205 21109 0 -1 4202560 1043 0 0 0 19 0 0 0 20 0 15 0 154382967 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542925015280 140543457612378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24220] ppid=24205 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542923962976 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24221] ppid=24205 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382967 14320615424 13647 33554432000 4194304 4196468 140723730679280 140542922910512 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 55968 KiB
[startup+0.510262 s]*
/proc/loadavg: 2.23 2.13 1.96 6/218 24221
/proc/meminfo: memFree=26462992/32770624 swapFree=67108860/67108860
[pid=24205] ppid=24202 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24205/stat : 24205 (xcsp3-exec) S 24202 24205 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154382961 9740288 345 33554432000 4194304 5098028 140732584590544 140732584588648 140241104634492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36872192 140732584592501 140732584592704 140732584592704 140732584595435 0
/proc/24205/statm: 2378 345 289 221 0 87 0
[pid=24207] ppid=24205 vsize=13984976 memory=61964 CPUtime=1 cores=1,3,5,7
/proc/24207/stat : 24207 (java) S 24205 24205 21109 0 -1 1077944320 11257 0 0 0 96 4 0 0 20 0 15 0 154382961 14320615424 15491 33554432000 4194304 4196468 140723730679280 140723730661824 140543457591031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
/proc/24207/statm: 3496244 15491 3193 1 0 3483478 0
[pid=24207/tid=24208] ppid=24205 vsize=13984976 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/24207/task/24208/stat : 24208 (java) R 24205 24205 21109 0 -1 4202560 6764 0 0 0 46 3 0 0 20 0 15 0 154382961 14320615424 15491 33554432000 4194304 4196468 140723730679280 140543461828032 140543090903712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24209] ppid=24205 vsize=13984976 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24209/stat : 24209 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 15491 33554432000 4194304 4196468 140723730679280 140543053195536 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24210] ppid=24205 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24210/stat : 24210 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 15491 33554432000 4194304 4196468 140723730679280 140543052142992 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24211] ppid=24205 vsize=13984976 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24211/stat : 24211 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 15491 33554432000 4194304 4196468 140723730679280 140543051090448 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24212] ppid=24205 vsize=13984976 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24212/stat : 24212 (java) S 24205 24205 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154382962 14320615424 15491 33554432000 4194304 4196468 140723730679280 140543050037904 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24213] ppid=24205 vsize=13984976 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24213/stat : 24213 (java) S 24205 24205 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154382963 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542931331568 140543457602178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24214] ppid=24205 vsize=13984976 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24214/stat : 24214 (java) S 24205 24205 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154382964 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542930277792 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24215] ppid=24205 vsize=13984976 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24215/stat : 24215 (java) S 24205 24205 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154382964 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542929225200 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24216] ppid=24205 vsize=13984976 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24216/stat : 24216 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542928173776 140543457609627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24217] ppid=24205 vsize=13984976 memory=4713750055892520310 CPUtime=0.11 cores=1,3,5,7
/proc/24207/task/24217/stat : 24217 (java) R 24205 24205 21109 0 -1 1077944384 1115 0 0 0 11 0 0 0 20 0 15 0 154382967 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542927120368 140543457602178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24218] ppid=24205 vsize=13984976 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24207/task/24218/stat : 24218 (java) R 24205 24205 21109 0 -1 4202560 700 0 0 0 13 0 0 0 20 0 15 0 154382967 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542926067824 140543442499921 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24219] ppid=24205 vsize=13984976 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/24207/task/24219/stat : 24219 (java) R 24205 24205 21109 0 -1 4202560 1371 0 0 0 26 0 0 0 20 0 15 0 154382967 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542925015280 140543442756686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24220] ppid=24205 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24220/stat : 24220 (java) S 24205 24205 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154382967 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542923962976 140543457601237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
[pid=24207/tid=24221] ppid=24205 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24207/task/24221/stat : 24221 (java) S 24205 24205 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154382967 14320615424 15491 33554432000 4194304 4196468 140723730679280 140542922910512 140543457602178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12840960 140723730683037 140723730683212 140723730683212 140723730685903 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 63344 KiB
Child status: 0
Real time (s): 0.553705
CPU time (s): 1.09173
CPU user time (s): 1.04182
CPU system time (s): 0.049915
CPU usage (%): 197.169
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 63344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.04182
system time used= 0.049915
maximum resident set size= 64800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1602
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 24205
# total CPU time (s): 1.09173
# total CPU user time (s): 1.04182
# total CPU system time (s): 0.049915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025006 second user time and 0.048744 second system time
The end