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 (15014 MiB free)
memory of node 1: 16384 MiB (15511 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400386-1568692059/watcher-4400386-1568692059 -o /tmp/evaluation-result-4400386-1568692059/solver-4400386-1568692059 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1559519997 HOME/instance-4400386-1568692059.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25719, runsolver pid=25716
[startup+0.100094 s]*
/proc/loadavg: 8.31 8.05 7.92 7/233 25735
/proc/meminfo: memFree=31241568/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
[pid=25721] ppid=25719 vsize=15144776 memory=29008 CPUtime=0.13 cores=1,3,5,7
/proc/25721/stat : 25721 (java) S 25719 25719 24272 0 -1 1077944320 5691 0 0 0 12 1 0 0 20 0 15 0 445458979 15508250624 7252 33554432000 4194304 4196468 140731159026704 140731159009248 140396436721399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
/proc/25721/statm: 3786194 7252 3144 1 0 3748377 0
[pid=25721/tid=25722] ppid=25719 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=1,3,5,7
/proc/25721/task/25722/stat : 25722 (java) R 25719 25719 24272 0 -1 4202560 3572 0 0 0 8 0 0 0 20 0 15 0 445458979 15508250624 7252 33554432000 4194304 4196468 140731159026704 140396440947232 140396428958526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25723] ppid=25719 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 7252 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15144776 memory=140635364726400 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 7252 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 7252 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 7252 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15144776 memory=140635364726400 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458982 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445458982 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395904230560 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445458982 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395903177456 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) S 25719 25719 24272 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395901074160 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) S 25719 25719 24272 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395900021616 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15144776 memory=140635364726400 CPUtime=0.02 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) R 25719 25719 24272 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 445458985 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395898968560 140396420801916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15144776 memory=140635364726400 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 7252 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30456 KiB
[startup+0.210786 s]*
/proc/loadavg: 8.31 8.05 7.92 7/233 25735
/proc/meminfo: memFree=31234748/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
[pid=25721] ppid=25719 vsize=15144776 memory=40160 CPUtime=0.34 cores=1,3,5,7
/proc/25721/stat : 25721 (java) S 25719 25719 24272 0 -1 1077944320 9297 0 0 0 31 3 0 0 20 0 15 0 445458979 15508250624 10040 33554432000 4194304 4196468 140731159026704 140731159009248 140396436721399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
/proc/25721/statm: 3786194 10040 3256 1 0 3748377 0
[pid=25721/tid=25722] ppid=25719 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25721/task/25722/stat : 25722 (java) R 25719 25719 24272 0 -1 4202560 6555 0 0 0 18 2 0 0 20 0 15 0 445458979 15508250624 10040 33554432000 4194304 4196468 140731159026704 140396440958864 140396420801886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25723] ppid=25719 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 10040 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15144776 memory=288371011516438144 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 10040 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 10040 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15508250624 10040 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15144776 memory=140635364726400 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445458982 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445458982 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395904230560 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445458982 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395903177456 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) R 25719 25719 24272 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 445458985 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395901074160 140396436732546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) S 25719 25719 24272 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 445458985 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395900021616 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15144776 memory=140635364726400 CPUtime=0.08 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) R 25719 25719 24272 0 -1 4202560 815 0 0 0 8 0 0 0 20 0 15 0 445458985 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395898968560 140396429706441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458985 15508250624 10040 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41608 KiB
[startup+0.320291 s]*
/proc/loadavg: 8.31 8.05 7.92 6/233 25735
/proc/meminfo: memFree=31227332/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
[pid=25721] ppid=25719 vsize=15149032 memory=50340 CPUtime=0.55 cores=1,3,5,7
/proc/25721/stat : 25721 (java) S 25719 25719 24272 0 -1 1077944320 10936 0 0 0 51 4 0 0 20 0 15 0 445458979 15512608768 12585 33554432000 4194304 4196468 140731159026704 140731159009248 140396436721399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
/proc/25721/statm: 3787258 12585 3367 1 0 3748377 0
[pid=25721/tid=25722] ppid=25719 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/25721/task/25722/stat : 25722 (java) R 25719 25719 24272 0 -1 4202560 7873 0 0 0 28 2 0 0 20 0 15 0 445458979 15512608768 12585 33554432000 4194304 4196468 140731159026704 140396440958416 140396436733334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25723] ppid=25719 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15512608768 12585 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15512608768 12585 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15512608768 12585 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15512608768 12585 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445458982 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445458982 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395904230560 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445458982 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395903177456 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) S 25719 25719 24272 0 -1 1077944384 496 0 0 0 3 0 0 0 20 0 15 0 445458985 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395901074160 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) S 25719 25719 24272 0 -1 1077944384 304 0 0 0 6 0 0 0 20 0 15 0 445458985 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395900021616 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) R 25719 25719 24272 0 -1 4202560 960 0 0 0 12 0 0 0 20 0 15 0 445458985 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395898966368 140396436742746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458985 15512608768 12585 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51788 KiB
[startup+0.700781 s]
/proc/loadavg: 8.31 8.05 7.92 9/233 25735
/proc/meminfo: memFree=31213108/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
[pid=25721] ppid=25719 vsize=15151156 memory=84080 CPUtime=1.69 cores=1,3,5,7
/proc/25721/stat : 25721 (java) S 25719 25719 24272 0 -1 1077944320 14571 0 0 0 164 5 0 0 20 0 15 0 445458979 15514783744 21020 33554432000 4194304 4196468 140731159026704 140731159009248 140396436721399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
/proc/25721/statm: 3787789 21020 3453 1 0 3748889 0
[pid=25721/tid=25722] ppid=25719 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/25721/task/25722/stat : 25722 (java) R 25719 25719 24272 0 -1 4202560 8931 0 0 0 64 4 0 0 20 0 15 0 445458979 15514783744 21020 33554432000 4194304 4196468 140731159026704 140396440956576 140396055371664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25723] ppid=25719 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15514783744 21020 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15514783744 21020 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445458980 15514783744 21020 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458980 15514783744 21020 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445458982 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445458982 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395904230560 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445458982 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395903177456 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15151156 memory=1764 CPUtime=0.28 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) R 25719 25719 24272 0 -1 4202560 1132 0 0 0 28 0 0 0 20 0 15 0 445458985 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395901072176 140396420218233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15151156 memory=111628 CPUtime=0.31 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) R 25719 25719 24272 0 -1 4202560 954 0 0 0 31 0 0 0 20 0 15 0 445458985 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395900014640 140396420277265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15151156 memory=796 CPUtime=0.4 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) S 25719 25719 24272 0 -1 1077944384 2247 0 0 0 40 0 0 0 20 0 15 0 445458985 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395898968560 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445458985 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) S 25719 25719 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445458985 15514783744 21020 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85528 KiB
[startup+1.51053 s]
/proc/loadavg: 8.21 8.03 7.92 8/233 25735
/proc/meminfo: memFree=31155460/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55374 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55374 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55374 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55374 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 19 0 445458982 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445458982 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395904230560 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15419460 memory=7739826717544769122 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445458982 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395903177456 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15419460 memory=7590655979367786604 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15419460 memory=7523942015699605609 CPUtime=0.95 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) R 25719 25719 24272 0 -1 4202560 3104 0 0 0 95 0 0 0 20 0 19 0 445458985 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395901067072 140396415941230 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15419460 memory=7590119258581020054 CPUtime=1.02 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) R 25719 25719 24272 0 -1 4202560 3743 0 0 0 102 0 0 0 20 0 19 0 445458985 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395900007080 140396421643166 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15419460 memory=35425 CPUtime=0.62 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) R 25719 25719 24272 0 -1 4202560 4286 0 0 0 61 1 0 0 20 0 19 0 445458985 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395898968560 140396420801886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15419460 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15419460 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) R 25719 25719 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445458985 15789527040 55374 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 4.44 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 222944 KiB
[startup+2.67198 s]
# the end of solver process 25719 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.19632 s, system=0.242486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60653 s]
/proc/loadavg: 8.21 8.03 7.92 8/233 25735
/proc/meminfo: memFree=31155460/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
[pid=25721] ppid=25719 vsize=15419460 memory=222360 CPUtime=4.82 cores=1,3,5,7
/proc/25721/stat : 25721 (java) S 25719 25719 24272 0 -1 1077944320 25204 0 0 0 471 11 0 0 20 0 19 0 445458979 15789527040 55590 33554432000 4194304 4196468 140731159026704 140731159009248 140396436721399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
/proc/25721/statm: 3854865 55590 3485 1 0 3815965 0
[pid=25721/tid=25722] ppid=25719 vsize=15419460 memory=13252 CPUtime=1.3 cores=1,3,5,7
/proc/25721/task/25722/stat : 25722 (java) S 25719 25719 24272 0 -1 1077944384 11694 0 0 0 125 5 0 0 20 0 19 0 445458979 15789527040 55590 33554432000 4194304 4196468 140731159026704 140396440962176 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25723] ppid=25719 vsize=15419460 memory=15460 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55590 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15419460 memory=17668 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55590 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15419460 memory=19876 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55590 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15419460 memory=22084 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 19 0 445458980 15789527040 55590 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15419460 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 19 0 445458982 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15419460 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445458982 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395904230560 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15419460 memory=28708 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445458982 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395903177456 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15419460 memory=30916 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15419460 memory=6625 CPUtime=1.01 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) R 25719 25719 24272 0 -1 4202560 3113 0 0 0 101 0 0 0 20 0 19 0 445458985 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395901063952 140396418245790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15419460 memory=4420 CPUtime=1.09 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) R 25719 25719 24272 0 -1 4202560 3811 0 0 0 109 0 0 0 20 0 19 0 445458985 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395900011536 140396416054102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15419460 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) R 25719 25719 24272 0 -1 4202560 4315 0 0 0 63 1 0 0 20 0 19 0 445458985 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395898968560 140396436742746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) S 25719 25719 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445458985 15789527040 55590 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 223808 KiB
[startup+2.40254 s]
/proc/loadavg: 8.21 8.03 7.92 10/236 25930
/proc/meminfo: memFree=30902596/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
[pid=25721] ppid=25719 vsize=15552588 memory=398820 CPUtime=7.47 cores=1,3,5,7
/proc/25721/stat : 25721 (java) S 25719 25719 24272 0 -1 1077944320 31462 0 0 0 724 23 0 0 20 0 19 0 445458979 15925850112 99705 33554432000 4194304 4196468 140731159026704 140731159009248 140396436721399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
/proc/25721/statm: 3888147 99705 3508 1 0 3849247 0
[pid=25721/tid=25722] ppid=25719 vsize=15552588 memory=-6586668835053300882 CPUtime=1.33 cores=1,3,5,7
/proc/25721/task/25722/stat : 25722 (java) S 25719 25719 24272 0 -1 1077944384 11698 0 0 0 127 6 0 0 20 0 19 0 445458979 15925850112 99705 33554432000 4194304 4196468 140731159026704 140396440962176 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25723] ppid=25719 vsize=15552588 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 215 0 0 0 5 2 0 0 20 0 19 0 445458980 15925850112 99705 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15552588 memory=252620 CPUtime=0.06 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 143 0 0 0 4 2 0 0 20 0 19 0 445458980 15925850112 99705 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15552588 memory=221001837234430 CPUtime=0.07 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 412 0 0 0 5 2 0 0 20 0 19 0 445458980 15925850112 99705 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15552588 memory=3762812679836949428 CPUtime=0.07 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 322 0 0 0 5 2 0 0 20 0 19 0 445458980 15925850112 99705 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15552588 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 19 0 445458982 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445458982 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395904230624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445458982 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395903177472 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15552588 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) R 25719 25719 24272 0 -1 4202560 3248 0 0 0 147 0 0 0 20 0 19 0 445458985 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395901060384 140396421827482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15552588 memory=0 CPUtime=1.62 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) R 25719 25719 24272 0 -1 4202560 3956 0 0 0 162 0 0 0 20 0 19 0 445458985 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395900008184 140396416569550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15552588 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) R 25719 25719 24272 0 -1 1077944384 4604 0 0 0 78 1 0 0 20 0 19 0 445458985 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395898968560 140396436732546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) S 25719 25719 24272 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 445458985 15925850112 99705 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 400268 KiB
[startup+2.60154 s]
/proc/loadavg: 8.21 8.03 7.92 10/236 25930
/proc/meminfo: memFree=30902596/32770624 swapFree=66997372/67108860
[pid=25719] ppid=25716 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25719/stat : 25719 (xcsp3-exec) S 25716 25719 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445458979 115843072 362 33554432000 4194304 5098028 140727191969760 140727191967864 140413983412860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27701248 140727191978874 140727191979117 140727191979117 140727191982026 0
/proc/25719/statm: 28282 362 304 221 0 87 0
[pid=25721] ppid=25719 vsize=15552588 memory=398976 CPUtime=8.26 cores=1,3,5,7
/proc/25721/stat : 25721 (java) S 25719 25719 24272 0 -1 1077944320 31539 0 0 0 803 23 0 0 20 0 19 0 445458979 15925850112 99744 33554432000 4194304 4196468 140731159026704 140731159009248 140396436721399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
/proc/25721/statm: 3888147 99744 3525 1 0 3849247 0
[pid=25721/tid=25722] ppid=25719 vsize=15552588 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/25721/task/25722/stat : 25722 (java) S 25719 25719 24272 0 -1 1077944384 11698 0 0 0 127 6 0 0 20 0 19 0 445458979 15925850112 99744 33554432000 4194304 4196468 140731159026704 140396440962176 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25723] ppid=25719 vsize=15552588 memory=288230600312357163 CPUtime=0.07 cores=1,3,5,7
/proc/25721/task/25723/stat : 25723 (java) S 25719 25719 24272 0 -1 1077944384 215 0 0 0 5 2 0 0 20 0 19 0 445458980 15925850112 99744 33554432000 4194304 4196468 140731159026704 140396389342224 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25724] ppid=25719 vsize=15552588 memory=13845270282634799 CPUtime=0.06 cores=1,3,5,7
/proc/25721/task/25724/stat : 25724 (java) S 25719 25719 24272 0 -1 1077944384 143 0 0 0 4 2 0 0 20 0 19 0 445458980 15925850112 99744 33554432000 4194304 4196468 140731159026704 140396388289680 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25725] ppid=25719 vsize=15552588 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/25721/task/25725/stat : 25725 (java) S 25719 25719 24272 0 -1 1077944384 412 0 0 0 5 2 0 0 20 0 19 0 445458980 15925850112 99744 33554432000 4194304 4196468 140731159026704 140396387236624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25726] ppid=25719 vsize=15552588 memory=220320 CPUtime=0.07 cores=1,3,5,7
/proc/25721/task/25726/stat : 25726 (java) S 25719 25719 24272 0 -1 1077944384 322 0 0 0 5 2 0 0 20 0 19 0 445458980 15925850112 99744 33554432000 4194304 4196468 140731159026704 140396386184080 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25727] ppid=25719 vsize=15552588 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25721/task/25727/stat : 25727 (java) S 25719 25719 24272 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 19 0 445458982 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395972471024 140396436732546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25728] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25728/stat : 25728 (java) S 25719 25719 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445458982 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395904230624 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25729] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25729/stat : 25729 (java) S 25719 25719 24272 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 445458982 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395903177472 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25730] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25730/stat : 25730 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395902126032 140396436739995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25731] ppid=25719 vsize=15552588 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/25721/task/25731/stat : 25731 (java) R 25719 25719 24272 0 -1 4202560 3268 0 0 0 157 0 0 0 20 0 19 0 445458985 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395901066648 140396417910679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25732] ppid=25719 vsize=15552588 memory=0 CPUtime=1.73 cores=1,3,5,7
/proc/25721/task/25732/stat : 25732 (java) R 25719 25719 24272 0 -1 4202560 3994 0 0 0 173 0 0 0 20 0 19 0 445458985 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395900010096 140396414738391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25733] ppid=25719 vsize=15552588 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/25721/task/25733/stat : 25733 (java) S 25719 25719 24272 0 -1 1077944384 4621 0 0 0 80 1 0 0 20 0 19 0 445458985 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395898968560 140396436732546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25734] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25734/stat : 25734 (java) S 25719 25719 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445458985 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395897916256 140396436731605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
[pid=25721/tid=25735] ppid=25719 vsize=15552588 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25721/task/25735/stat : 25735 (java) R 25719 25719 24272 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 445458985 15925850112 99744 33554432000 4194304 4196468 140731159026704 140395896863280 140396436732546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7335936 140731159032815 140731159032986 140731159032986 140731159035855 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 400424 KiB
Child status: 0
Real time (s): 2.67202
CPU time (s): 8.43881
CPU user time (s): 8.19632
CPU system time (s): 0.242486
CPU usage (%): 315.821
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 400424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.19632
system time used= 0.242486
maximum resident set size= 400904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32273
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= 3869
involuntary context switches= 218
# summary of solver processes directly reported to runsolver:
# pid: 25719
# total CPU time (s): 8.43881
# total CPU user time (s): 8.19632
# total CPU system time (s): 0.242486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040729 second user time and 0.071551 second system time
The end