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 (2969 MiB free)
memory of node 1: 16384 MiB (10213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292238-1532528559/watcher-4292238-1532528559 -o /tmp/evaluation-result-4292238-1532528559/solver-4292238-1532528559 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27754 --watchdog 2560 HOME/xcsp3-exec -seed 2123958238 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292238-1532528559.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28274, runsolver pid=28271
[startup+0.101091 s]*
/proc/loadavg: 1.99 1.92 1.87 4/218 28290
/proc/meminfo: memFree=13480864/32770624 swapFree=67108860/67108860
[pid=28274] ppid=28271 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28274/stat : 28274 (xcsp3-exec) S 28271 28274 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70419075 115843072 363 33554432000 4194304 5098028 140728489673408 140728489671512 139889229251196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23941120 140728489677882 140728489678084 140728489678084 140728489680842 0
/proc/28274/statm: 28282 363 305 221 0 87 0
[pid=28276] ppid=28274 vsize=14082840 memory=28824 CPUtime=0.12 cores=1,3,5,7
/proc/28276/stat : 28276 (java) S 28274 28274 27722 0 -1 1077944320 5630 0 0 0 11 1 0 0 20 0 15 0 70419075 14420828160 7206 33554432000 4194304 4196468 140734040791776 140734040774320 139860214230775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
/proc/28276/statm: 3520710 7206 2973 1 0 3483008 0
[pid=28276/tid=28277] ppid=28274 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/28276/task/28277/stat : 28277 (java) R 28274 28274 27722 0 -1 4202560 3644 0 0 0 8 0 0 0 20 0 15 0 70419075 14420828160 7206 33554432000 4194304 4196468 140734040791776 139860218463136 139860214242710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28278] ppid=28274 vsize=14082840 memory=3472468772333106384 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28278/stat : 28278 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859809512080 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28279] ppid=28274 vsize=14082840 memory=140643437954688 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28279/stat : 28279 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859808459280 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28280] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28280/stat : 28280 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859807406480 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28281] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28281/stat : 28281 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859806353680 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28282] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28282/stat : 28282 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419077 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859328068464 139860214241922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28283] ppid=28274 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28283/stat : 28283 (java) S 28274 28274 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70419078 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859327014432 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28284] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28284/stat : 28284 (java) S 28274 28274 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70419078 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859325961584 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28285] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28285/stat : 28285 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419080 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859324909904 139860214249371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28286] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28286/stat : 28286 (java) S 28274 28274 27722 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 70419080 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859323857264 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28287] ppid=28274 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28287/stat : 28287 (java) S 28274 28274 27722 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 70419080 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859322804464 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28288] ppid=28274 vsize=14082840 memory=140643437954688 CPUtime=0.01 cores=1,3,5,7
/proc/28276/task/28288/stat : 28288 (java) R 28274 28274 27722 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 70419081 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859321751664 139860195468336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28289] ppid=28274 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28289/stat : 28289 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419081 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859320699104 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28290] ppid=28274 vsize=14082840 memory=140643437954688 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28290/stat : 28290 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419081 14420828160 7206 33554432000 4194304 4196468 140734040791776 139859319647408 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30276 KiB
[startup+0.210633 s]*
/proc/loadavg: 1.99 1.92 1.87 4/218 28290
/proc/meminfo: memFree=13469824/32770624 swapFree=67108860/67108860
[pid=28274] ppid=28271 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28274/stat : 28274 (xcsp3-exec) S 28271 28274 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70419075 115843072 363 33554432000 4194304 5098028 140728489673408 140728489671512 139889229251196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23941120 140728489677882 140728489678084 140728489678084 140728489680842 0
/proc/28274/statm: 28282 363 305 221 0 87 0
[pid=28276] ppid=28274 vsize=14082840 memory=40996 CPUtime=0.34 cores=1,3,5,7
/proc/28276/stat : 28276 (java) S 28274 28274 27722 0 -1 1077944320 8321 0 0 0 32 2 0 0 20 0 15 0 70419075 14420828160 10249 33554432000 4194304 4196468 140734040791776 140734040774320 139860214230775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
/proc/28276/statm: 3520710 10249 3174 1 0 3483008 0
[pid=28276/tid=28277] ppid=28274 vsize=14082840 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/28276/task/28277/stat : 28277 (java) R 28274 28274 27722 0 -1 4202560 5450 0 0 0 19 1 0 0 20 0 15 0 70419075 14420828160 10249 33554432000 4194304 4196468 140734040791776 139860218465760 139860198311262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28278] ppid=28274 vsize=14082840 memory=3472468772333106384 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28278/stat : 28278 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859809512080 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28279] ppid=28274 vsize=14082840 memory=140643437954688 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28279/stat : 28279 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859808459280 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28280] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28280/stat : 28280 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859807406480 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28281] ppid=28274 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28281/stat : 28281 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859806353680 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28282] ppid=28274 vsize=14082840 memory=140643437954688 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28282/stat : 28282 (java) S 28274 28274 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70419077 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859328068464 139860214241922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28283] ppid=28274 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28283/stat : 28283 (java) S 28274 28274 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70419078 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859327014432 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28284] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28284/stat : 28284 (java) S 28274 28274 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70419078 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859325961584 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28285] ppid=28274 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28285/stat : 28285 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419080 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859324909904 139860214249371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28286] ppid=28274 vsize=14082840 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28276/task/28286/stat : 28286 (java) S 28274 28274 27722 0 -1 1077944384 572 0 0 0 3 0 0 0 20 0 15 0 70419080 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859323857264 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28287] ppid=28274 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28276/task/28287/stat : 28287 (java) S 28274 28274 27722 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 70419080 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859322804464 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28288] ppid=28274 vsize=14082840 memory=140643437954688 CPUtime=0.08 cores=1,3,5,7
/proc/28276/task/28288/stat : 28288 (java) S 28274 28274 27722 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 70419081 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859321751664 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28289] ppid=28274 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28289/stat : 28289 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419081 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859320699104 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28290] ppid=28274 vsize=14082840 memory=140643437954688 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28290/stat : 28290 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419081 14420828160 10249 33554432000 4194304 4196468 140734040791776 139859319647408 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42448 KiB
[startup+0.318499 s]*
/proc/loadavg: 1.99 1.92 1.87 4/218 28290
/proc/meminfo: memFree=13462744/32770624 swapFree=67108860/67108860
[pid=28274] ppid=28271 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28274/stat : 28274 (xcsp3-exec) S 28271 28274 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70419075 115843072 363 33554432000 4194304 5098028 140728489673408 140728489671512 139889229251196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23941120 140728489677882 140728489678084 140728489678084 140728489680842 0
/proc/28274/statm: 28282 363 305 221 0 87 0
[pid=28276] ppid=28274 vsize=14087096 memory=48632 CPUtime=0.54 cores=1,3,5,7
/proc/28276/stat : 28276 (java) S 28274 28274 27722 0 -1 1077944320 9305 0 0 0 51 3 0 0 20 0 15 0 70419075 14425186304 12158 33554432000 4194304 4196468 140734040791776 140734040774320 139860214230775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
/proc/28276/statm: 3521774 12158 3235 1 0 3483008 0
[pid=28276/tid=28277] ppid=28274 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=1,3,5,7
/proc/28276/task/28277/stat : 28277 (java) R 28274 28274 27722 0 -1 4202560 6256 0 0 0 28 2 0 0 20 0 15 0 70419075 14425186304 12158 33554432000 4194304 4196468 140734040791776 139860218468160 139860198311262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28278] ppid=28274 vsize=14087096 memory=3472468772333106384 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28278/stat : 28278 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859809512080 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28279] ppid=28274 vsize=14087096 memory=140643437954688 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28279/stat : 28279 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419076 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859808459280 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28280] ppid=28274 vsize=14087096 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28280/stat : 28280 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859807406480 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28281] ppid=28274 vsize=14087096 memory=140643334760479 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28281/stat : 28281 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859806353680 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28282] ppid=28274 vsize=14087096 memory=281286669500192 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28282/stat : 28282 (java) S 28274 28274 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70419077 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859328068464 139860214241922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28283] ppid=28274 vsize=14087096 memory=140643334737423 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28283/stat : 28283 (java) S 28274 28274 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70419078 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859327014432 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28284] ppid=28274 vsize=14087096 memory=281286772575240 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28284/stat : 28284 (java) S 28274 28274 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70419078 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859325961584 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28285] ppid=28274 vsize=14087096 memory=140643334760479 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28285/stat : 28285 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419080 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859324909904 139860214249371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28286] ppid=28274 vsize=14087096 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28276/task/28286/stat : 28286 (java) S 28274 28274 27722 0 -1 1077944384 667 0 0 0 6 0 0 0 20 0 15 0 70419080 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859323857264 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28287] ppid=28274 vsize=14087096 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28276/task/28287/stat : 28287 (java) R 28274 28274 27722 0 -1 1077944384 230 0 0 0 4 0 0 0 20 0 15 0 70419080 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859322804464 139860214241922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28288] ppid=28274 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28276/task/28288/stat : 28288 (java) S 28274 28274 27722 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 70419081 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859321751664 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28289] ppid=28274 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28289/stat : 28289 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419081 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859320699104 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28290] ppid=28274 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28290/stat : 28290 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419081 14425186304 12158 33554432000 4194304 4196468 140734040791776 139859319647408 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 50084 KiB
[startup+0.705788 s]
/proc/loadavg: 1.99 1.92 1.87 6/218 28290
/proc/meminfo: memFree=13448972/32770624 swapFree=67108860/67108860
[pid=28274] ppid=28271 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28274/stat : 28274 (xcsp3-exec) S 28271 28274 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70419075 115843072 363 33554432000 4194304 5098028 140728489673408 140728489671512 139889229251196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23941120 140728489677882 140728489678084 140728489678084 140728489680842 0
/proc/28274/statm: 28282 363 305 221 0 87 0
[pid=28276] ppid=28274 vsize=14089220 memory=77676 CPUtime=1.59 cores=1,3,5,7
/proc/28276/stat : 28276 (java) S 28274 28274 27722 0 -1 1077944320 12558 0 0 0 154 5 0 0 20 0 15 0 70419075 14427361280 19419 33554432000 4194304 4196468 140734040791776 140734040774320 139860214230775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
/proc/28276/statm: 3522305 19419 3341 1 0 3483520 0
[pid=28276/tid=28277] ppid=28274 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/28276/task/28277/stat : 28277 (java) R 28274 28274 27722 0 -1 4202560 7062 0 0 0 64 3 0 0 20 0 15 0 70419075 14427361280 19419 33554432000 4194304 4196468 140734040791776 139860218467488 139860214242710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28278] ppid=28274 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28278/stat : 28278 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859809512080 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28279] ppid=28274 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28279/stat : 28279 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419076 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859808459280 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28280] ppid=28274 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28280/stat : 28280 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859807406480 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28281] ppid=28274 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28281/stat : 28281 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 70419076 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859806353680 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28282] ppid=28274 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28282/stat : 28282 (java) S 28274 28274 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 70419077 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859328068464 139860214241922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28283] ppid=28274 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28283/stat : 28283 (java) S 28274 28274 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 70419078 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859327014432 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28284] ppid=28274 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28284/stat : 28284 (java) S 28274 28274 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 70419078 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859325961584 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28285] ppid=28274 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28285/stat : 28285 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419080 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859324909904 139860214249371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28286] ppid=28274 vsize=14089220 memory=21232 CPUtime=0.25 cores=1,3,5,7
/proc/28276/task/28286/stat : 28286 (java) R 28274 28274 27722 0 -1 4202560 1222 0 0 0 25 0 0 0 20 0 15 0 70419080 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859323847056 139860198519790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28287] ppid=28274 vsize=14089220 memory=1296 CPUtime=0.24 cores=1,3,5,7
/proc/28276/task/28287/stat : 28287 (java) R 28274 28274 27722 0 -1 1077944384 938 0 0 0 24 0 0 0 20 0 15 0 70419080 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859322791248 139860214240981 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28288] ppid=28274 vsize=14089220 memory=2412 CPUtime=0.4 cores=1,3,5,7
/proc/28276/task/28288/stat : 28288 (java) R 28274 28274 27722 0 -1 4202560 2027 0 0 0 40 0 0 0 20 0 15 0 70419081 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859321751664 139860214252122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28289] ppid=28274 vsize=14089220 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28289/stat : 28289 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 70419081 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859320699104 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28290] ppid=28274 vsize=14089220 memory=7589803909226524263 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28290/stat : 28290 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 70419081 14427361280 19419 33554432000 4194304 4196468 140734040791776 139859319647408 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 79128 KiB
[startup+0.821396 s]
# the end of solver process 28274 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.87715 s, system=0.05778 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.807459 s]
/proc/loadavg: 1.99 1.92 1.87 6/218 28290
/proc/meminfo: memFree=13448972/32770624 swapFree=67108860/67108860
[pid=28274] ppid=28271 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28274/stat : 28274 (xcsp3-exec) S 28271 28274 27722 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 70419075 115843072 363 33554432000 4194304 5098028 140728489673408 140728489671512 139889229251196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23941120 140728489677882 140728489678084 140728489678084 140728489680842 0
/proc/28274/statm: 28282 363 305 221 0 87 0
[pid=28276] ppid=28274 vsize=14089220 memory=86396 CPUtime=1.92 cores=1,3,5,7
/proc/28276/stat : 28276 (java) S 28274 28274 27722 0 -1 1077944320 14271 0 0 0 187 5 0 0 20 0 13 0 70419075 14427361280 21599 33554432000 4194304 4196468 140734040791776 140734040774320 139860214230775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
/proc/28276/statm: 3522305 21599 3343 1 0 3483520 0
[pid=28276/tid=28277] ppid=28274 vsize=14089220 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/28276/task/28277/stat : 28277 (java) S 28274 28274 27722 0 -1 1077944384 7070 0 0 0 74 3 0 0 20 0 13 0 70419075 14427361280 21599 33554432000 4194304 4196468 140734040791776 139860218473616 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28278] ppid=28274 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28278/stat : 28278 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 70419076 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859809512080 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28279] ppid=28274 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28279/stat : 28279 (java) S 28274 28274 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 70419076 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859808459280 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28280] ppid=28274 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28280/stat : 28280 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 70419076 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859807406480 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28281] ppid=28274 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28281/stat : 28281 (java) S 28274 28274 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 70419076 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859806353680 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28282] ppid=28274 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28282/stat : 28282 (java) S 28274 28274 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 13 0 70419077 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859328068672 139860214241922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28283] ppid=28274 vsize=14089220 memory=281286669241168 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28283/stat : 28283 (java) S 28274 28274 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 70419078 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859327014432 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28284] ppid=28274 vsize=14089220 memory=116 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28284/stat : 28284 (java) S 28274 28274 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 70419078 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859325961584 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28286] ppid=28274 vsize=14089220 memory=2110993942038708 CPUtime=0.35 cores=1,3,5,7
/proc/28276/task/28286/stat : 28286 (java) S 28274 28274 27722 0 -1 1077944384 1691 0 0 0 35 0 0 0 20 0 13 0 70419080 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859323836304 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28287] ppid=28274 vsize=14089220 memory=170 CPUtime=0.34 cores=1,3,5,7
/proc/28276/task/28287/stat : 28287 (java) R 28274 28274 27722 0 -1 4202560 1934 0 0 0 34 0 0 0 20 0 13 0 70419080 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859322790216 139860193477495 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28288] ppid=28274 vsize=14089220 memory=3 CPUtime=0.42 cores=1,3,5,7
/proc/28276/task/28288/stat : 28288 (java) S 28274 28274 27722 0 -1 1077944384 2247 0 0 0 42 0 0 0 20 0 13 0 70419081 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859321751664 139860214241922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
[pid=28276/tid=28289] ppid=28274 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28276/task/28289/stat : 28289 (java) S 28274 28274 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 70419081 14427361280 21599 33554432000 4194304 4196468 140734040791776 139859320699104 139860214240981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6909952 140734040794241 140734040794417 140734040794417 140734040797135 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 87848 KiB
Child status: 0
Real time (s): 0.82143
CPU time (s): 1.93493
CPU user time (s): 1.87715
CPU system time (s): 0.05778
CPU usage (%): 235.557
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 87848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.87715
system time used= 0.05778
maximum resident set size= 87260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14907
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= 1956
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 28274
# total CPU time (s): 1.93493
# total CPU user time (s): 1.87715
# total CPU system time (s): 0.05778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026992 second user time and 0.048705 second system time
The end