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 (9882 MiB free)
memory of node 1: 16384 MiB (12005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283048-1503210773/watcher-4283048-1503210773 -o /tmp/evaluation-result-4283048-1503210773/solver-4283048-1503210773 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5116 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1523521419 HOME/instance-4283048-1503210773.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
solver pid=6326, runsolver pid=6323
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.92 1.92 1.60 3/217 6342
/proc/meminfo: memFree=22396476/32770624 swapFree=67108860/67108860
[pid=6326] ppid=6323 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6326/stat : 6326 (xcsp3-exec) S 6323 6326 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154158235 9740288 346 33554432000 4194304 5098028 140732438657312 140732438655416 140265736913532 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18317312 140732438664308 140732438664512 140732438664512 140732438667243 0
/proc/6326/statm: 2378 346 289 221 0 87 0
[pid=6328] ppid=6326 vsize=13978596 memory=28260 CPUtime=0.12 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6326 6326 5085 0 -1 1077944320 5314 0 0 0 11 1 0 0 20 0 15 0 154158235 14314082304 7065 33554432000 4194304 4196468 140727487798416 140727487780960 140566497677047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
/proc/6328/statm: 3494649 7065 2905 1 0 3482966 0
[pid=6328/tid=6329] ppid=6326 vsize=13978596 memory=7972679344308065115 CPUtime=0.08 cores=0,2,4,6
/proc/6328/task/6329/stat : 6329 (java) R 6326 6326 5085 0 -1 4202560 3323 0 0 0 8 0 0 0 20 0 15 0 154158236 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566501908704 140566497688982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6330] ppid=6326 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566435277968 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6331] ppid=6326 vsize=13978596 memory=139730053977728 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566434225168 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6332] ppid=6326 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566433172368 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6333] ppid=6326 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158236 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566432119568 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6334] ppid=6326 vsize=13978596 memory=139730053977728 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158238 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566038985072 140566497688194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6335] ppid=6326 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6326 6326 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154158238 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566037931040 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6336] ppid=6326 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6326 6326 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154158238 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566036878192 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6337] ppid=6326 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566035826512 140566497695643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6338] ppid=6326 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6326 6326 5085 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 154158241 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566034774896 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6339] ppid=6326 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6339/stat : 6339 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566033722096 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6340] ppid=6326 vsize=13978596 memory=139730053977728 CPUtime=0.01 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) R 6326 6326 5085 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 15 0 154158241 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566032669296 140566478914608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6341] ppid=6326 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566031616736 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6342] ppid=6326 vsize=13978596 memory=139730053977728 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158241 14314082304 7065 33554432000 4194304 4196468 140727487798416 140566030564016 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29644 KiB
[startup+0.210586 s]*
/proc/loadavg: 1.92 1.92 1.60 4/217 6342
/proc/meminfo: memFree=22385548/32770624 swapFree=67108860/67108860
[pid=6326] ppid=6323 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6326/stat : 6326 (xcsp3-exec) S 6323 6326 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154158235 9740288 346 33554432000 4194304 5098028 140732438657312 140732438655416 140265736913532 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18317312 140732438664308 140732438664512 140732438664512 140732438667243 0
/proc/6326/statm: 2378 346 289 221 0 87 0
[pid=6328] ppid=6326 vsize=13982852 memory=40200 CPUtime=0.33 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6326 6326 5085 0 -1 1077944320 8049 0 0 0 31 2 0 0 20 0 15 0 154158235 14318440448 10050 33554432000 4194304 4196468 140727487798416 140727487780960 140566497677047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
/proc/6328/statm: 3495713 10050 3054 1 0 3482966 0
[pid=6328/tid=6329] ppid=6326 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6328/task/6329/stat : 6329 (java) R 6326 6326 5085 0 -1 4202560 5231 0 0 0 19 1 0 0 20 0 15 0 154158236 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566501898040 140566497698973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6330] ppid=6326 vsize=13982852 memory=9010 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566435277968 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6331] ppid=6326 vsize=13982852 memory=139730054087637 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566434225168 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6332] ppid=6326 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566433172368 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6333] ppid=6326 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158236 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566432119568 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6334] ppid=6326 vsize=13982852 memory=139730053977728 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158238 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566038985072 140566497688194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6335] ppid=6326 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6326 6326 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154158238 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566037931040 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6336] ppid=6326 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6326 6326 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154158238 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566036878192 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6337] ppid=6326 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566035826512 140566497695643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6338] ppid=6326 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6326 6326 5085 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 154158241 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566034774896 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6339] ppid=6326 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6328/task/6339/stat : 6339 (java) S 6326 6326 5085 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 154158241 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566033722096 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6340] ppid=6326 vsize=13982852 memory=139730053977728 CPUtime=0.07 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) R 6326 6326 5085 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 15 0 154158241 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566032669296 140566476168065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6341] ppid=6326 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566031616736 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6342] ppid=6326 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158241 14318440448 10050 33554432000 4194304 4196468 140727487798416 140566030564016 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41584 KiB
[startup+0.316323 s]*
/proc/loadavg: 1.92 1.92 1.60 4/217 6342
/proc/meminfo: memFree=22378352/32770624 swapFree=67108860/67108860
[pid=6326] ppid=6323 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6326/stat : 6326 (xcsp3-exec) S 6323 6326 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154158235 9740288 346 33554432000 4194304 5098028 140732438657312 140732438655416 140265736913532 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18317312 140732438664308 140732438664512 140732438664512 140732438667243 0
/proc/6326/statm: 2378 346 289 221 0 87 0
[pid=6328] ppid=6326 vsize=13982928 memory=47424 CPUtime=0.51 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6326 6326 5085 0 -1 1077944320 9078 0 0 0 48 3 0 0 20 0 15 0 154158235 14318518272 11856 33554432000 4194304 4196468 140727487798416 140727487780960 140566497677047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
/proc/6328/statm: 3495732 11856 3084 1 0 3482966 0
[pid=6328/tid=6329] ppid=6326 vsize=13982928 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/6328/task/6329/stat : 6329 (java) R 6326 6326 5085 0 -1 4202560 6036 0 0 0 28 2 0 0 20 0 15 0 154158236 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566501915552 140566481757534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6330] ppid=6326 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566435277968 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6331] ppid=6326 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566434225168 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6332] ppid=6326 vsize=13982928 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566433172368 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6333] ppid=6326 vsize=13982928 memory=6945503147187019673 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158236 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566432119568 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6334] ppid=6326 vsize=13982928 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158238 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566038985072 140566497688194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6335] ppid=6326 vsize=13982928 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6326 6326 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154158238 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566037931040 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6336] ppid=6326 vsize=13982928 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6326 6326 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154158238 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566036878192 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6337] ppid=6326 vsize=13982928 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566035826512 140566497695643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6338] ppid=6326 vsize=13982928 memory=7100839887185294217 CPUtime=0.03 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6326 6326 5085 0 -1 1077944384 521 0 0 0 3 0 0 0 20 0 15 0 154158241 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566034774896 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6339] ppid=6326 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6328/task/6339/stat : 6339 (java) S 6326 6326 5085 0 -1 1077944384 357 0 0 0 3 0 0 0 20 0 15 0 154158241 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566033722096 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6340] ppid=6326 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) R 6326 6326 5085 0 -1 4202560 873 0 0 0 12 0 0 0 20 0 15 0 154158241 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566032669296 140566497698394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6341] ppid=6326 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566031616736 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6342] ppid=6326 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158241 14318518272 11921 33554432000 4194304 4196468 140727487798416 140566030564016 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48808 KiB
[startup+0.535842 s]
# the end of solver process 6326 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.01866 s, system=0.043154 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.41232 s]*
/proc/loadavg: 1.92 1.92 1.60 4/217 6342
/proc/meminfo: memFree=22373680/32770624 swapFree=67108860/67108860
[pid=6326] ppid=6323 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6326/stat : 6326 (xcsp3-exec) S 6323 6326 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154158235 9740288 346 33554432000 4194304 5098028 140732438657312 140732438655416 140265736913532 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18317312 140732438664308 140732438664512 140732438664512 140732438667243 0
/proc/6326/statm: 2378 346 289 221 0 87 0
[pid=6328] ppid=6326 vsize=13984976 memory=54400 CPUtime=0.72 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6326 6326 5085 0 -1 1077944320 9698 0 0 0 69 3 0 0 20 0 15 0 154158235 14320615424 13600 33554432000 4194304 4196468 140727487798416 140727487780960 140566497677047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
/proc/6328/statm: 3496244 13600 3162 1 0 3483478 0
[pid=6328/tid=6329] ppid=6326 vsize=13984976 memory=7883960649037381690 CPUtime=0.4 cores=0,2,4,6
/proc/6328/task/6329/stat : 6329 (java) R 6326 6326 5085 0 -1 4202560 6346 0 0 0 38 2 0 0 20 0 15 0 154158236 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566501906256 140566481757460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6330] ppid=6326 vsize=13984976 memory=9010 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566435277968 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6331] ppid=6326 vsize=13984976 memory=139730054087637 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566434225168 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6332] ppid=6326 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158236 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566433172368 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6333] ppid=6326 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158236 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566432119568 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6334] ppid=6326 vsize=13984976 memory=139730053977728 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154158238 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566038985072 140566497688194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6335] ppid=6326 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6326 6326 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154158238 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566037931040 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6336] ppid=6326 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6326 6326 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154158238 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566036878192 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6337] ppid=6326 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6337/stat : 6337 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566035826512 140566497695643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6338] ppid=6326 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6326 6326 5085 0 -1 1077944384 625 0 0 0 7 0 0 0 20 0 15 0 154158241 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566034774896 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6339] ppid=6326 vsize=13984976 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/6328/task/6339/stat : 6339 (java) R 6326 6326 5085 0 -1 4202560 403 0 0 0 6 0 0 0 20 0 15 0 154158241 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566033722096 140566497688982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6340] ppid=6326 vsize=13984976 memory=139730053977728 CPUtime=0.18 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) S 6326 6326 5085 0 -1 1077944384 1025 0 0 0 18 0 0 0 20 0 15 0 154158241 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566032669296 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6341] ppid=6326 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154158241 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566031616736 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6342] ppid=6326 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6342/stat : 6342 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154158241 14320615424 13600 33554432000 4194304 4196468 140727487798416 140566030564016 140566497688194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 55784 KiB
[startup+0.518318 s]*
/proc/loadavg: 1.92 1.92 1.60 7/217 6342
/proc/meminfo: memFree=22363136/32770624 swapFree=67108860/67108860
[pid=6326] ppid=6323 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6326/stat : 6326 (xcsp3-exec) S 6323 6326 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154158235 9740288 346 33554432000 4194304 5098028 140732438657312 140732438655416 140265736913532 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18317312 140732438664308 140732438664512 140732438664512 140732438667243 0
/proc/6326/statm: 2378 346 289 221 0 87 0
[pid=6328] ppid=6326 vsize=13984976 memory=62852 CPUtime=1.04 cores=0,2,4,6
/proc/6328/stat : 6328 (java) S 6326 6326 5085 0 -1 1077944320 11401 0 0 0 101 3 0 0 20 0 13 0 154158235 14320615424 15713 33554432000 4194304 4196468 140727487798416 140727487780960 140566497677047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
/proc/6328/statm: 3496244 15713 3201 1 0 3483478 0
[pid=6328/tid=6329] ppid=6326 vsize=13984976 memory=8112282956445269571 CPUtime=0.49 cores=0,2,4,6
/proc/6328/task/6329/stat : 6329 (java) S 6326 6326 5085 0 -1 1077944384 6586 0 0 0 47 2 0 0 20 0 13 0 154158236 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566501919888 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6330] ppid=6326 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6330/stat : 6330 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 154158236 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566435277968 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6331] ppid=6326 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6331/stat : 6331 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 154158236 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566434225168 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6332] ppid=6326 vsize=13984976 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6332/stat : 6332 (java) S 6326 6326 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 154158236 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566433172368 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6333] ppid=6326 vsize=13984976 memory=6945503147187019673 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6333/stat : 6333 (java) S 6326 6326 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 154158236 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566432119568 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6334] ppid=6326 vsize=13984976 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6334/stat : 6334 (java) S 6326 6326 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 154158238 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566038985280 140566497688194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6335] ppid=6326 vsize=13984976 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6335/stat : 6335 (java) S 6326 6326 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 154158238 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566037931040 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6336] ppid=6326 vsize=13984976 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6336/stat : 6336 (java) S 6326 6326 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 154158238 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566036878192 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6338] ppid=6326 vsize=13984976 memory=-6444775992005010620 CPUtime=0.15 cores=0,2,4,6
/proc/6328/task/6338/stat : 6338 (java) S 6326 6326 5085 0 -1 1077944384 1169 0 0 0 15 0 0 0 20 0 13 0 154158241 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566034759952 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6339] ppid=6326 vsize=13984976 memory=7100839887185294217 CPUtime=0.13 cores=0,2,4,6
/proc/6328/task/6339/stat : 6339 (java) S 6326 6326 5085 0 -1 1077944384 917 0 0 0 13 0 0 0 20 0 13 0 154158241 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566033706608 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6340] ppid=6326 vsize=13984976 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/6328/task/6340/stat : 6340 (java) S 6326 6326 5085 0 -1 1077944384 1401 0 0 0 25 0 0 0 20 0 13 0 154158241 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566032664672 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
[pid=6328/tid=6341] ppid=6326 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6328/task/6341/stat : 6341 (java) S 6326 6326 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 154158241 14320615424 15713 33554432000 4194304 4196468 140727487798416 140566031616736 140566497687253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13234176 140727487804573 140727487804748 140727487804748 140727487807439 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 64236 KiB
Child status: 0
Real time (s): 0.535888
CPU time (s): 1.06181
CPU user time (s): 1.01866
CPU system time (s): 0.043154
CPU usage (%): 198.141
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 64236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01866
system time used= 0.043154
maximum resident set size= 63304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11931
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= 1413
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 6326
# total CPU time (s): 1.06181
# total CPU user time (s): 1.01866
# total CPU system time (s): 0.043154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024394 second user time and 0.048788 second system time
The end