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 (12800 MiB free)
memory of node 1: 16384 MiB (12917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283117-1503215864/watcher-4283117-1503215864 -o /tmp/evaluation-result-4283117-1503215864/solver-4283117-1503215864 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21036 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1028788891 HOME/instance-4283117-1503215864.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26728, runsolver pid=26725
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.10 2.12 2.09 3/218 26744
/proc/meminfo: memFree=26317564/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
[pid=26730] ppid=26728 vsize=13978596 memory=28092 CPUtime=0.13 cores=1,3,5,7
/proc/26730/stat : 26730 (java) S 26728 26728 21004 0 -1 1077944320 5465 0 0 0 12 1 0 0 20 0 15 0 154674266 14314082304 7023 33554432000 4194304 4196468 140734456448960 140734456431504 140713249455863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
/proc/26730/statm: 3494649 7023 2867 1 0 3482966 0
[pid=26730/tid=26731] ppid=26728 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/26730/task/26731/stat : 26731 (java) R 26728 26728 21004 0 -1 4202560 3400 0 0 0 9 0 0 0 20 0 15 0 154674266 14314082304 7023 33554432000 4194304 4196468 140734456448960 140713253676672 140713249477789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26732] ppid=26728 vsize=13978596 memory=3472468253043483856 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26732/stat : 26732 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674267 14314082304 7023 33554432000 4194304 4196468 140734456448960 140713202076560 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26733] ppid=26728 vsize=13978596 memory=140124148332160 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26733/stat : 26733 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14314082304 7023 33554432000 4194304 4196468 140734456448960 140713201023760 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26734] ppid=26728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26734/stat : 26734 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14314082304 7023 33554432000 4194304 4196468 140734456448960 140713199971472 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26735] ppid=26728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26735/stat : 26735 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14314082304 7023 33554432000 4194304 4196468 140734456448960 140713198918672 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26736] ppid=26728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674269 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674269 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674269 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) S 26728 26728 21004 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154674272 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712718862960 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) S 26728 26728 21004 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154674272 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712717810160 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13978596 memory=140124148332160 CPUtime=0.01 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) S 26728 26728 21004 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 15 0 154674272 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712716757872 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13978596 memory=140124148332160 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674272 14314082304 7023 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29476 KiB
[startup+0.210728 s]*
/proc/loadavg: 2.10 2.12 2.09 4/218 26744
/proc/meminfo: memFree=26305904/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
[pid=26730] ppid=26728 vsize=13982852 memory=40420 CPUtime=0.34 cores=1,3,5,7
/proc/26730/stat : 26730 (java) S 26728 26728 21004 0 -1 1077944320 8302 0 0 0 32 2 0 0 20 0 15 0 154674266 14318440448 10105 33554432000 4194304 4196468 140734456448960 140734456431504 140713249455863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
/proc/26730/statm: 3495713 10105 3060 1 0 3482966 0
[pid=26730/tid=26731] ppid=26728 vsize=13982852 memory=5853961137533323680 CPUtime=0.2 cores=1,3,5,7
/proc/26730/task/26731/stat : 26731 (java) R 26728 26728 21004 0 -1 4202560 5397 0 0 0 19 1 0 0 20 0 15 0 154674266 14318440448 10105 33554432000 4194304 4196468 140734456448960 140713253666768 140713249477789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26732] ppid=26728 vsize=13982852 memory=3472468253043483856 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26732/stat : 26732 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674267 14318440448 10105 33554432000 4194304 4196468 140734456448960 140713202076560 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26733] ppid=26728 vsize=13982852 memory=140124148332160 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26733/stat : 26733 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318440448 10105 33554432000 4194304 4196468 140734456448960 140713201023760 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26734] ppid=26728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26734/stat : 26734 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318440448 10105 33554432000 4194304 4196468 140734456448960 140713199971472 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26735] ppid=26728 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26735/stat : 26735 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318440448 10105 33554432000 4194304 4196468 140734456448960 140713198918672 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26736] ppid=26728 vsize=13982852 memory=140124148332160 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674269 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674269 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674269 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) S 26728 26728 21004 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 154674272 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712718862960 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) R 26728 26728 21004 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 154674272 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712717810160 140713249467010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13982852 memory=140124148332160 CPUtime=0.08 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) R 26728 26728 21004 0 -1 4202560 721 0 0 0 8 0 0 0 20 0 15 0 154674272 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712716757872 140713228140152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13982852 memory=140124148332160 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674272 14318440448 10105 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41804 KiB
[startup+0.310992 s]*
/proc/loadavg: 2.10 2.12 2.09 5/218 26744
/proc/meminfo: memFree=26298708/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
[pid=26730] ppid=26728 vsize=13982928 memory=47872 CPUtime=0.52 cores=1,3,5,7
/proc/26730/stat : 26730 (java) S 26728 26728 21004 0 -1 1077944320 9194 0 0 0 49 3 0 0 20 0 15 0 154674266 14318518272 11968 33554432000 4194304 4196468 140734456448960 140734456431504 140713249455863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
/proc/26730/statm: 3495732 11968 3109 1 0 3482966 0
[pid=26730/tid=26731] ppid=26728 vsize=13982928 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/26730/task/26731/stat : 26731 (java) R 26728 26728 21004 0 -1 4202560 6066 0 0 0 28 2 0 0 20 0 15 0 154674266 14318518272 11968 33554432000 4194304 4196468 140734456448960 140713253688192 140713233536350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26732] ppid=26728 vsize=13982928 memory=3472468253043483856 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26732/stat : 26732 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 11968 33554432000 4194304 4196468 140734456448960 140713202076560 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26733] ppid=26728 vsize=13982928 memory=140124148353164 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26733/stat : 26733 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 11968 33554432000 4194304 4196468 140734456448960 140713201023760 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26734] ppid=26728 vsize=13982928 memory=140124046361910 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26734/stat : 26734 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 11968 33554432000 4194304 4196468 140734456448960 140713199971472 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26735] ppid=26728 vsize=13982928 memory=140124046343119 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26735/stat : 26735 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 11968 33554432000 4194304 4196468 140734456448960 140713198918672 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26736] ppid=26728 vsize=13982928 memory=140124148353195 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674269 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13982928 memory=140124046352335 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674269 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13982928 memory=280248092702352 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674269 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13982928 memory=280248092709232 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13982928 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) S 26728 26728 21004 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 15 0 154674272 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712718862960 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13982928 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) S 26728 26728 21004 0 -1 1077944384 508 0 0 0 4 0 0 0 20 0 15 0 154674272 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712717810160 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13982928 memory=140124148332160 CPUtime=0.13 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) S 26728 26728 21004 0 -1 1077944384 861 0 0 0 13 0 0 0 20 0 15 0 154674272 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712716757872 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13982928 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13982928 memory=140124148332160 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674272 14318518272 11968 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49256 KiB
[startup+0.700833 s]
/proc/loadavg: 2.10 2.12 2.09 3/218 26744
/proc/meminfo: memFree=26284376/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
[pid=26730] ppid=26728 vsize=13982928 memory=78680 CPUtime=1.18 cores=1,3,5,7
/proc/26730/stat : 26730 (java) S 26728 26728 21004 0 -1 1077944320 10278 0 0 0 115 3 0 0 20 0 15 0 154674266 14318518272 19670 33554432000 4194304 4196468 140734456448960 140734456431504 140713249455863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
/proc/26730/statm: 3495732 19670 3184 1 0 3482966 0
[pid=26730/tid=26731] ppid=26728 vsize=13982928 memory=1224 CPUtime=0.67 cores=1,3,5,7
/proc/26730/task/26731/stat : 26731 (java) R 26728 26728 21004 0 -1 4202560 6495 0 0 0 65 2 0 0 20 0 15 0 154674266 14318518272 19670 33554432000 4194304 4196468 140734456448960 140713253672960 140712879088750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26732] ppid=26728 vsize=13982928 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26732/stat : 26732 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 19670 33554432000 4194304 4196468 140734456448960 140713202076560 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26733] ppid=26728 vsize=13982928 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26733/stat : 26733 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 19670 33554432000 4194304 4196468 140734456448960 140713201023760 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26734] ppid=26728 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26734/stat : 26734 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 19670 33554432000 4194304 4196468 140734456448960 140713199971472 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26735] ppid=26728 vsize=13982928 memory=280248092783936 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26735/stat : 26735 (java) S 26728 26728 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154674267 14318518272 19670 33554432000 4194304 4196468 140734456448960 140713198918672 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26736] ppid=26728 vsize=13982928 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154674269 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13982928 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154674269 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13982928 memory=2319529344973194917 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154674269 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13982928 memory=51 CPUtime=0.13 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) S 26728 26728 21004 0 -1 1077944384 661 0 0 0 13 0 0 0 20 0 15 0 154674272 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712718862960 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13982928 memory=5 CPUtime=0.15 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) S 26728 26728 21004 0 -1 1077944384 766 0 0 0 15 0 0 0 20 0 15 0 154674272 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712717810160 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13982928 memory=9935 CPUtime=0.21 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) S 26728 26728 21004 0 -1 1077944384 1048 0 0 0 21 0 0 0 20 0 15 0 154674272 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712716757872 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13982928 memory=463 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154674272 14318518272 19670 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 80064 KiB
[startup+1.50084 s]
/proc/loadavg: 2.10 2.12 2.09 3/218 26744
/proc/meminfo: memFree=26222068/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=26730/tid=26736] ppid=26728 vsize=13984976 memory=401648 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13984976 memory=280248092628648 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13984976 memory=7307204011997161321 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13984976 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) S 26728 26728 21004 0 -1 1077944384 682 0 0 0 14 0 0 0 20 0 15 0 154674272 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712718862960 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13984976 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) S 26728 26728 21004 0 -1 1077944384 865 0 0 0 16 0 0 0 20 0 15 0 154674272 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712717810160 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13984976 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) S 26728 26728 21004 0 -1 1077944384 2225 0 0 0 25 0 0 0 20 0 15 0 154674272 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712716757872 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13984976 memory=51 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13984976 memory=5 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 100439 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 403140 KiB
[startup+6.30084 s]
/proc/loadavg: 2.09 2.12 2.09 3/218 26744
/proc/meminfo: memFree=25562996/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
[pid=26730] ppid=26728 vsize=13984976 memory=777236 CPUtime=9.05 cores=1,3,5,7
/proc/26730/stat : 26730 (java) S 26728 26728 21004 0 -1 1077944320 35960 0 0 0 839 66 0 0 20 0 15 0 154674266 14320615424 194309 33554432000 4194304 4196468 140734456448960 140734456431504 140713249455863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
/proc/26730/statm: 3496244 194309 3233 1 0 3483478 0
[pid=26730/tid=26731] ppid=26728 vsize=13984976 memory=777236 CPUtime=4.85 cores=1,3,5,7
/proc/26730/task/26731/stat : 26731 (java) R 26728 26728 21004 0 -1 4202560 7380 0 0 0 480 5 0 0 20 0 15 0 154674266 14320615424 194309 33554432000 4194304 4196468 140734456448960 140713253691072 140712879088778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26732] ppid=26728 vsize=13984976 memory=16 CPUtime=0.7 cores=1,3,5,7
/proc/26730/task/26732/stat : 26732 (java) S 26728 26728 21004 0 -1 1077944384 4750 0 0 0 56 14 0 0 20 0 15 0 154674267 14320615424 194309 33554432000 4194304 4196468 140734456448960 140713202076560 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26733] ppid=26728 vsize=13984976 memory=772608 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26733/stat : 26733 (java) S 26728 26728 21004 0 -1 1077944384 5002 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194309 33554432000 4194304 4196468 140734456448960 140713201023760 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26734] ppid=26728 vsize=13984976 memory=280248092761072 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26734/stat : 26734 (java) S 26728 26728 21004 0 -1 1077944384 4949 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194309 33554432000 4194304 4196468 140734456448960 140713199971472 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26735] ppid=26728 vsize=13984976 memory=4625 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26735/stat : 26735 (java) S 26728 26728 21004 0 -1 1077944384 5575 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194309 33554432000 4194304 4196468 140734456448960 140713198918672 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26736] ppid=26728 vsize=13984976 memory=4420 CPUtime=0.68 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 1756 0 0 0 68 0 0 0 20 0 15 0 154674269 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13984976 memory=140124046633240 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13984976 memory=288286662654704324 CPUtime=0.15 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) S 26728 26728 21004 0 -1 1077944384 844 0 0 0 15 0 0 0 20 0 15 0 154674272 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712718862960 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13984976 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) S 26728 26728 21004 0 -1 1077944384 909 0 0 0 17 0 0 0 20 0 15 0 154674272 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712717810160 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13984976 memory=235 CPUtime=0.28 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) S 26728 26728 21004 0 -1 1077944384 3379 0 0 0 28 0 0 0 20 0 15 0 154674272 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712716757872 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13984976 memory=280247354475999 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194309 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 778620 KiB
[startup+7.01039 s]
# the end of solver process 26728 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.66243 s, system=0.683408 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40103 s]
/proc/loadavg: 2.09 2.12 2.09 3/218 26744
/proc/meminfo: memFree=25562996/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
[pid=26730] ppid=26728 vsize=13984976 memory=778356 CPUtime=9.24 cores=1,3,5,7
/proc/26730/stat : 26730 (java) S 26728 26728 21004 0 -1 1077944320 36717 0 0 0 858 66 0 0 20 0 15 0 154674266 14320615424 194589 33554432000 4194304 4196468 140734456448960 140734456431504 140713249455863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
/proc/26730/statm: 3496244 194589 3248 1 0 3483478 0
[pid=26730/tid=26731] ppid=26728 vsize=13984976 memory=6791534058613427641 CPUtime=4.95 cores=1,3,5,7
/proc/26730/task/26731/stat : 26731 (java) R 26728 26728 21004 0 -1 4202560 7588 0 0 0 490 5 0 0 20 0 15 0 154674266 14320615424 194589 33554432000 4194304 4196468 140734456448960 140713253693088 140712876329997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26732] ppid=26728 vsize=13984976 memory=774512 CPUtime=0.7 cores=1,3,5,7
/proc/26730/task/26732/stat : 26732 (java) S 26728 26728 21004 0 -1 1077944384 4750 0 0 0 56 14 0 0 20 0 15 0 154674267 14320615424 194589 33554432000 4194304 4196468 140734456448960 140713202076560 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26733] ppid=26728 vsize=13984976 memory=15541808151136815 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26733/stat : 26733 (java) S 26728 26728 21004 0 -1 1077944384 5002 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194589 33554432000 4194304 4196468 140734456448960 140713201023760 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26734] ppid=26728 vsize=13984976 memory=598979250122485042 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26734/stat : 26734 (java) S 26728 26728 21004 0 -1 1077944384 4949 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194589 33554432000 4194304 4196468 140734456448960 140713199971472 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26735] ppid=26728 vsize=13984976 memory=288285588845757270 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26735/stat : 26735 (java) S 26728 26728 21004 0 -1 1077944384 5575 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194589 33554432000 4194304 4196468 140734456448960 140713198918672 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26736] ppid=26728 vsize=13984976 memory=304328549773373527 CPUtime=0.68 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 1756 0 0 0 68 0 0 0 20 0 15 0 154674269 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13984976 memory=5792825802846453857 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13984976 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13984976 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) R 26728 26728 21004 0 -1 4202560 1115 0 0 0 19 0 0 0 20 0 15 0 154674272 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712718862960 140713230999580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13984976 memory=140124046521968 CPUtime=0.2 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) R 26728 26728 21004 0 -1 4202560 1129 0 0 0 20 0 0 0 20 0 15 0 154674272 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712717796256 140713233855556 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) S 26728 26728 21004 0 -1 1077944384 3437 0 0 0 30 0 0 0 20 0 15 0 154674272 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712716757872 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194589 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 9.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 779740 KiB
[startup+6.80102 s]
/proc/loadavg: 2.09 2.12 2.09 3/218 26744
/proc/meminfo: memFree=25562996/32770624 swapFree=67108860/67108860
[pid=26728] ppid=26725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26728/stat : 26728 (xcsp3-exec) S 26725 26728 21004 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154674266 9740288 346 33554432000 4194304 5098028 140726032872192 140726032870296 139994366345852 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30208000 140726032880756 140726032880960 140726032880960 140726032883691 0
/proc/26728/statm: 2378 346 289 221 0 87 0
[pid=26730] ppid=26728 vsize=13984976 memory=778988 CPUtime=9.98 cores=1,3,5,7
/proc/26730/stat : 26730 (java) S 26728 26728 21004 0 -1 1077944320 37111 0 0 0 931 67 0 0 20 0 15 0 154674266 14320615424 194747 33554432000 4194304 4196468 140734456448960 140734456431504 140713249455863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
/proc/26730/statm: 3496244 194747 3252 1 0 3483478 0
[pid=26730/tid=26731] ppid=26728 vsize=13984976 memory=11044 CPUtime=5.35 cores=1,3,5,7
/proc/26730/task/26731/stat : 26731 (java) R 26728 26728 21004 0 -1 4202560 7686 0 0 0 530 5 0 0 20 0 15 0 154674266 14320615424 194747 33554432000 4194304 4196468 140734456448960 140713253693776 140712879901168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26732] ppid=26728 vsize=13984976 memory=13252 CPUtime=0.7 cores=1,3,5,7
/proc/26730/task/26732/stat : 26732 (java) S 26728 26728 21004 0 -1 1077944384 4750 0 0 0 56 14 0 0 20 0 15 0 154674267 14320615424 194747 33554432000 4194304 4196468 140734456448960 140713202076560 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26733] ppid=26728 vsize=13984976 memory=15460 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26733/stat : 26733 (java) S 26728 26728 21004 0 -1 1077944384 5002 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194747 33554432000 4194304 4196468 140734456448960 140713201023760 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26734] ppid=26728 vsize=13984976 memory=17668 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26734/stat : 26734 (java) S 26728 26728 21004 0 -1 1077944384 4949 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194747 33554432000 4194304 4196468 140734456448960 140713199971472 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26735] ppid=26728 vsize=13984976 memory=19876 CPUtime=0.71 cores=1,3,5,7
/proc/26730/task/26735/stat : 26735 (java) S 26728 26728 21004 0 -1 1077944384 5575 0 0 0 57 14 0 0 20 0 15 0 154674267 14320615424 194747 33554432000 4194304 4196468 140734456448960 140713198918672 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26736] ppid=26728 vsize=13984976 memory=19940 CPUtime=0.68 cores=1,3,5,7
/proc/26730/task/26736/stat : 26736 (java) S 26728 26728 21004 0 -1 1077944384 1756 0 0 0 68 0 0 0 20 0 15 0 154674269 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712723073136 140713249467010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26737] ppid=26728 vsize=13984976 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26737/stat : 26737 (java) S 26728 26728 21004 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712722019104 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26738] ppid=26728 vsize=13984976 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26738/stat : 26738 (java) S 26728 26728 21004 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154674269 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712720966768 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26739] ppid=26728 vsize=13984976 memory=28708 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26739/stat : 26739 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712719915088 140713249474459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26740] ppid=26728 vsize=13984976 memory=30916 CPUtime=0.36 cores=1,3,5,7
/proc/26730/task/26740/stat : 26740 (java) R 26728 26728 21004 0 -1 4202560 1169 0 0 0 35 1 0 0 20 0 15 0 154674272 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712718862960 140713230975553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26741] ppid=26728 vsize=13984976 memory=56 CPUtime=0.33 cores=1,3,5,7
/proc/26730/task/26741/stat : 26741 (java) R 26728 26728 21004 0 -1 4202560 1303 0 0 0 33 0 0 0 20 0 15 0 154674272 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712717796040 140713234579862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26742] ppid=26728 vsize=13984976 memory=302022874204733756 CPUtime=0.34 cores=1,3,5,7
/proc/26730/task/26742/stat : 26742 (java) S 26728 26728 21004 0 -1 1077944384 3505 0 0 0 34 0 0 0 20 0 15 0 154674272 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712716757872 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26743] ppid=26728 vsize=13984976 memory=3760848943463017387 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26743/stat : 26743 (java) S 26728 26728 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712715705312 140713249466069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
[pid=26730/tid=26744] ppid=26728 vsize=13984976 memory=7588956052281905488 CPUtime=0 cores=1,3,5,7
/proc/26730/task/26744/stat : 26744 (java) S 26728 26728 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154674272 14320615424 194747 33554432000 4194304 4196468 140734456448960 140712714652080 140713249467010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 36827136 140734456452253 140734456452428 140734456452428 140734456455119 0
Current children cumulated CPU time: 9.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 780372 KiB
[startup+7.00079 s]*
/proc/loadavg: 2.01 2.10 2.08 3/205 26744
/proc/meminfo: memFree=25904908/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 7.01042
CPU time (s): 10.3458
CPU user time (s): 9.66243
CPU system time (s): 0.683408
CPU usage (%): 147.578
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 780656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.66243
system time used= 0.683408
maximum resident set size= 782016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2689
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 26728
# total CPU time (s): 10.3458
# total CPU user time (s): 9.66243
# total CPU system time (s): 0.683408
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067972 second user time and 0.10662 second system time
The end