runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12484 MiB free)
memory of node 1: 16384 MiB (13726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284365-1503211254/watcher-4284365-1503211254 -o /tmp/evaluation-result-4284365-1503211254/solver-4284365-1503211254 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25961 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 180024892 HOME/instance-4284365-1503211254.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27576, runsolver pid=27573
[startup+0.100134 s]*
/proc/loadavg: 1.85 1.84 1.61 3/217 27592
/proc/meminfo: memFree=26822308/32770624 swapFree=67108860/67108860
[pid=27576] ppid=27573 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (xcsp3-exec) S 27573 27576 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154213027 9740288 345 33554432000 4194304 5098028 140720658448400 140720658446504 139885738545788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12025856 140720658449525 140720658449728 140720658449728 140720658452459 0
/proc/27576/statm: 2378 345 289 221 0 87 0
[pid=27578] ppid=27576 vsize=13978596 memory=28584 CPUtime=0.12 cores=0,2,4,6
/proc/27578/stat : 27578 (java) S 27576 27576 25930 0 -1 1077944320 5497 0 0 0 11 1 0 0 20 0 15 0 154213027 14314082304 7146 33554432000 4194304 4196468 140731507474752 140731507457296 140210222132983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
/proc/27578/statm: 3494649 7146 2904 1 0 3482966 0
[pid=27578/tid=27579] ppid=27576 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/27578/task/27579/stat : 27579 (java) R 27576 27576 25930 0 -1 4202560 3453 0 0 0 9 0 0 0 20 0 15 0 154213027 14314082304 7146 33554432000 4194304 4196468 140731507474752 140210226369408 140210222154330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27580] ppid=27576 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27580/stat : 27580 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14314082304 7146 33554432000 4194304 4196468 140731507474752 140210152221584 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27581] ppid=27576 vsize=13978596 memory=139720551192192 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27581/stat : 27581 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14314082304 7146 33554432000 4194304 4196468 140731507474752 140210151168784 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27582] ppid=27576 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27582/stat : 27582 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14314082304 7146 33554432000 4194304 4196468 140731507474752 140210150116496 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27583] ppid=27576 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27583/stat : 27583 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14314082304 7146 33554432000 4194304 4196468 140731507474752 140210149063696 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27584] ppid=27576 vsize=13978596 memory=139720551192192 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27584/stat : 27584 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213029 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209696245872 140210222144130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27585] ppid=27576 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27585/stat : 27585 (java) S 27576 27576 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213030 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209695191840 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27586] ppid=27576 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27586/stat : 27586 (java) S 27576 27576 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213030 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209694139504 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27587] ppid=27576 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27587/stat : 27587 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213032 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209693087824 140210222151579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27588] ppid=27576 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27588/stat : 27588 (java) S 27576 27576 25930 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 154213033 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209692035696 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27589] ppid=27576 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27589/stat : 27589 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213033 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209690982896 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27590] ppid=27576 vsize=13978596 memory=139720551192192 CPUtime=0.01 cores=0,2,4,6
/proc/27578/task/27590/stat : 27590 (java) R 27576 27576 25930 0 -1 4202560 328 0 0 0 1 0 0 0 20 0 15 0 154213033 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209689930608 140210222144918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27591] ppid=27576 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27591/stat : 27591 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213033 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209688878048 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27592] ppid=27576 vsize=13978596 memory=139720551192192 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27592/stat : 27592 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213033 14314082304 7146 33554432000 4194304 4196468 140731507474752 140209687824816 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29964 KiB
[startup+0.210628 s]*
/proc/loadavg: 1.85 1.84 1.61 4/217 27592
/proc/meminfo: memFree=26811392/32770624 swapFree=67108860/67108860
[pid=27576] ppid=27573 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (xcsp3-exec) S 27573 27576 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154213027 9740288 345 33554432000 4194304 5098028 140720658448400 140720658446504 139885738545788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12025856 140720658449525 140720658449728 140720658449728 140720658452459 0
/proc/27576/statm: 2378 345 289 221 0 87 0
[pid=27578] ppid=27576 vsize=13982852 memory=40484 CPUtime=0.33 cores=0,2,4,6
/proc/27578/stat : 27578 (java) S 27576 27576 25930 0 -1 1077944320 8302 0 0 0 31 2 0 0 20 0 15 0 154213027 14318440448 10121 33554432000 4194304 4196468 140731507474752 140731507457296 140210222132983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
/proc/27578/statm: 3495713 10121 3059 1 0 3482966 0
[pid=27578/tid=27579] ppid=27576 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27578/task/27579/stat : 27579 (java) R 27576 27576 25930 0 -1 4202560 5409 0 0 0 18 2 0 0 20 0 15 0 154213027 14318440448 10121 33554432000 4194304 4196468 140731507474752 140210226343888 140210222154909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27580] ppid=27576 vsize=13982852 memory=13599 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27580/stat : 27580 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14318440448 10121 33554432000 4194304 4196468 140731507474752 140210152221584 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27581] ppid=27576 vsize=13982852 memory=3546224377787209376 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27581/stat : 27581 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14318440448 10121 33554432000 4194304 4196468 140731507474752 140210151168784 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27582] ppid=27576 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27582/stat : 27582 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14318440448 10121 33554432000 4194304 4196468 140731507474752 140210150116496 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27583] ppid=27576 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27583/stat : 27583 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14318440448 10121 33554432000 4194304 4196468 140731507474752 140210149063696 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27584] ppid=27576 vsize=13982852 memory=139720551192192 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27584/stat : 27584 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213029 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209696245872 140210222144130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27585] ppid=27576 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27585/stat : 27585 (java) S 27576 27576 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213030 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209695191840 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27586] ppid=27576 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27586/stat : 27586 (java) S 27576 27576 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213030 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209694139504 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27587] ppid=27576 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27587/stat : 27587 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213032 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209693087824 140210222151579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27588] ppid=27576 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27578/task/27588/stat : 27588 (java) S 27576 27576 25930 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 15 0 154213033 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209692035696 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27589] ppid=27576 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27578/task/27589/stat : 27589 (java) S 27576 27576 25930 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 15 0 154213033 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209690982896 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27590] ppid=27576 vsize=13982852 memory=139720551192192 CPUtime=0.08 cores=0,2,4,6
/proc/27578/task/27590/stat : 27590 (java) R 27576 27576 25930 0 -1 4202560 725 0 0 0 8 0 0 0 20 0 15 0 154213033 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209689930608 140210207298622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27591] ppid=27576 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27591/stat : 27591 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213033 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209688878048 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27592] ppid=27576 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27592/stat : 27592 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213033 14318440448 10121 33554432000 4194304 4196468 140731507474752 140209687824816 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41864 KiB
[startup+0.31041 s]*
/proc/loadavg: 1.85 1.84 1.61 4/217 27592
/proc/meminfo: memFree=26804816/32770624 swapFree=67108860/67108860
[pid=27576] ppid=27573 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (xcsp3-exec) S 27573 27576 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154213027 9740288 345 33554432000 4194304 5098028 140720658448400 140720658446504 139885738545788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12025856 140720658449525 140720658449728 140720658449728 140720658452459 0
/proc/27576/statm: 2378 345 289 221 0 87 0
[pid=27578] ppid=27576 vsize=13982928 memory=47752 CPUtime=0.49 cores=0,2,4,6
/proc/27578/stat : 27578 (java) S 27576 27576 25930 0 -1 1077944320 9139 0 0 0 46 3 0 0 20 0 15 0 154213027 14318518272 11938 33554432000 4194304 4196468 140731507474752 140731507457296 140210222132983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
/proc/27578/statm: 3495732 11938 3108 1 0 3482966 0
[pid=27578/tid=27579] ppid=27576 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/27578/task/27579/stat : 27579 (java) R 27576 27576 25930 0 -1 4202560 6120 0 0 0 27 2 0 0 20 0 15 0 154213027 14318518272 11938 33554432000 4194304 4196468 140731507474752 140210226365344 140210206213470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27580] ppid=27576 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27580/stat : 27580 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14318518272 11938 33554432000 4194304 4196468 140731507474752 140210152221584 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27581] ppid=27576 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27581/stat : 27581 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14318518272 11938 33554432000 4194304 4196468 140731507474752 140210151168784 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27582] ppid=27576 vsize=13982928 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27582/stat : 27582 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14318518272 11938 33554432000 4194304 4196468 140731507474752 140210150116496 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27583] ppid=27576 vsize=13982928 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27583/stat : 27583 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14318518272 11938 33554432000 4194304 4196468 140731507474752 140210149063696 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27584] ppid=27576 vsize=13982928 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27584/stat : 27584 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213029 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209696245872 140210222144130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27585] ppid=27576 vsize=13982928 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27585/stat : 27585 (java) S 27576 27576 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213030 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209695191840 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27586] ppid=27576 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27586/stat : 27586 (java) S 27576 27576 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213030 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209694139504 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27587] ppid=27576 vsize=13982928 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27587/stat : 27587 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213032 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209693087824 140210222151579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27588] ppid=27576 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/27578/task/27588/stat : 27588 (java) S 27576 27576 25930 0 -1 1077944384 611 0 0 0 3 0 0 0 20 0 15 0 154213033 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209692035696 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27589] ppid=27576 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27578/task/27589/stat : 27589 (java) S 27576 27576 25930 0 -1 1077944384 318 0 0 0 3 0 0 0 20 0 15 0 154213033 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209690982896 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27590] ppid=27576 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27578/task/27590/stat : 27590 (java) R 27576 27576 25930 0 -1 4202560 789 0 0 0 12 0 0 0 20 0 15 0 154213033 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209689930608 140210222154330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27591] ppid=27576 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27591/stat : 27591 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213033 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209688878048 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27592] ppid=27576 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27592/stat : 27592 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213033 14318518272 11938 33554432000 4194304 4196468 140731507474752 140209687824816 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49132 KiB
[startup+0.582549 s]
# the end of solver process 27576 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.12538 s, system=0.051588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410356 s]*
/proc/loadavg: 1.85 1.84 1.61 4/217 27592
/proc/meminfo: memFree=26777236/32770624 swapFree=67108860/67108860
[pid=27576] ppid=27573 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (xcsp3-exec) S 27573 27576 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154213027 9740288 345 33554432000 4194304 5098028 140720658448400 140720658446504 139885738545788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12025856 140720658449525 140720658449728 140720658449728 140720658452459 0
/proc/27576/statm: 2378 345 289 221 0 87 0
[pid=27578] ppid=27576 vsize=13984976 memory=54712 CPUtime=0.71 cores=0,2,4,6
/proc/27578/stat : 27578 (java) S 27576 27576 25930 0 -1 1077944320 9860 0 0 0 67 4 0 0 20 0 15 0 154213027 14320615424 13678 33554432000 4194304 4196468 140731507474752 140731507457296 140210222132983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
/proc/27578/statm: 3496244 13678 3174 1 0 3483478 0
[pid=27578/tid=27579] ppid=27576 vsize=13984976 memory=7883960649037381690 CPUtime=0.39 cores=0,2,4,6
/proc/27578/task/27579/stat : 27579 (java) R 27576 27576 25930 0 -1 4202560 6550 0 0 0 37 2 0 0 20 0 15 0 154213027 14320615424 13678 33554432000 4194304 4196468 140731507474752 140210226369744 140210206176613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27580] ppid=27576 vsize=13984976 memory=13599 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27580/stat : 27580 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 13678 33554432000 4194304 4196468 140731507474752 140210152221584 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27581] ppid=27576 vsize=13984976 memory=3546224377787209376 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27581/stat : 27581 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 13678 33554432000 4194304 4196468 140731507474752 140210151168784 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27582] ppid=27576 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27582/stat : 27582 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 13678 33554432000 4194304 4196468 140731507474752 140210150116496 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27583] ppid=27576 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27583/stat : 27583 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 13678 33554432000 4194304 4196468 140731507474752 140210149063696 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27584] ppid=27576 vsize=13984976 memory=139720551192192 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27584/stat : 27584 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213029 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209696245872 140210222144130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27585] ppid=27576 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27585/stat : 27585 (java) S 27576 27576 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213030 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209695191840 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27586] ppid=27576 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27586/stat : 27586 (java) S 27576 27576 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213030 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209694139504 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27587] ppid=27576 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27587/stat : 27587 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213032 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209693087824 140210222151579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27588] ppid=27576 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27578/task/27588/stat : 27588 (java) R 27576 27576 25930 0 -1 1077944384 726 0 0 0 7 0 0 0 20 0 15 0 154213033 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209692035696 140210222144130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27589] ppid=27576 vsize=13984976 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/27578/task/27589/stat : 27589 (java) R 27576 27576 25930 0 -1 4202560 344 0 0 0 5 0 0 0 20 0 15 0 154213033 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209690982896 140210201986521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27590] ppid=27576 vsize=13984976 memory=139720551192192 CPUtime=0.17 cores=0,2,4,6
/proc/27578/task/27590/stat : 27590 (java) R 27576 27576 25930 0 -1 4202560 940 0 0 0 17 0 0 0 20 0 15 0 154213033 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209689930608 140210214150487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27591] ppid=27576 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27591/stat : 27591 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213033 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209688878048 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27592] ppid=27576 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27592/stat : 27592 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213033 14320615424 13678 33554432000 4194304 4196468 140731507474752 140209687824816 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 56092 KiB
[startup+0.510354 s]*
/proc/loadavg: 1.85 1.84 1.61 4/217 27592
/proc/meminfo: memFree=26769664/32770624 swapFree=67108860/67108860
[pid=27576] ppid=27573 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (xcsp3-exec) S 27573 27576 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154213027 9740288 345 33554432000 4194304 5098028 140720658448400 140720658446504 139885738545788 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12025856 140720658449525 140720658449728 140720658449728 140720658452459 0
/proc/27576/statm: 2378 345 289 221 0 87 0
[pid=27578] ppid=27576 vsize=13984976 memory=61420 CPUtime=0.99 cores=0,2,4,6
/proc/27578/stat : 27578 (java) S 27576 27576 25930 0 -1 1077944320 11061 0 0 0 95 4 0 0 20 0 15 0 154213027 14320615424 15355 33554432000 4194304 4196468 140731507474752 140731507457296 140210222132983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
/proc/27578/statm: 3496244 15355 3197 1 0 3483478 0
[pid=27578/tid=27579] ppid=27576 vsize=13984976 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/27578/task/27579/stat : 27579 (java) S 27576 27576 25930 0 -1 1077944384 6741 0 0 0 46 2 0 0 20 0 15 0 154213027 14320615424 15382 33554432000 4194304 4196468 140731507474752 140210226369952 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27580] ppid=27576 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27580/stat : 27580 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 15382 33554432000 4194304 4196468 140731507474752 140210152221584 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27581] ppid=27576 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27581/stat : 27581 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 15382 33554432000 4194304 4196468 140731507474752 140210151168784 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27582] ppid=27576 vsize=13984976 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27582/stat : 27582 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 15382 33554432000 4194304 4196468 140731507474752 140210150116496 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27583] ppid=27576 vsize=13984976 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27583/stat : 27583 (java) S 27576 27576 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154213028 14320615424 15382 33554432000 4194304 4196468 140731507474752 140210149063696 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27584] ppid=27576 vsize=13984976 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27584/stat : 27584 (java) S 27576 27576 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154213029 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209696245872 140210222144130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27585] ppid=27576 vsize=13984976 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27585/stat : 27585 (java) S 27576 27576 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154213030 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209695191840 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27586] ppid=27576 vsize=13984976 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27586/stat : 27586 (java) S 27576 27576 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154213030 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209694139504 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27587] ppid=27576 vsize=13984976 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27587/stat : 27587 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213032 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209693087824 140210222151579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27588] ppid=27576 vsize=13984976 memory=4713750055892520310 CPUtime=0.12 cores=0,2,4,6
/proc/27578/task/27588/stat : 27588 (java) R 27576 27576 25930 0 -1 1077944384 1052 0 0 0 12 0 0 0 20 0 15 0 154213033 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209692035696 140210222144130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27589] ppid=27576 vsize=13984976 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27578/task/27589/stat : 27589 (java) R 27576 27576 25930 0 -1 4202560 727 0 0 0 11 0 0 0 20 0 15 0 154213033 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209690982896 140210207258882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27590] ppid=27576 vsize=13984976 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/27578/task/27590/stat : 27590 (java) S 27576 27576 25930 0 -1 1077944384 1235 0 0 0 24 0 0 0 20 0 15 0 154213033 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209689930608 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27591] ppid=27576 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27591/stat : 27591 (java) S 27576 27576 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154213033 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209688878048 140210222143189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
[pid=27578/tid=27592] ppid=27576 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27578/task/27592/stat : 27592 (java) S 27576 27576 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154213033 14320615424 15382 33554432000 4194304 4196468 140731507474752 140209687824816 140210222144130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140731507483805 140731507483980 140731507483980 140731507486671 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 62800 KiB
Child status: 0
Real time (s): 0.582584
CPU time (s): 1.17697
CPU user time (s): 1.12538
CPU system time (s): 0.051588
CPU usage (%): 202.025
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 62800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.12538
system time used= 0.051588
maximum resident set size= 66624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11739
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= 1641
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 27576
# total CPU time (s): 1.17697
# total CPU user time (s): 1.12538
# total CPU system time (s): 0.051588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027257 second user time and 0.046726 second system time
The end