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 (4404 MiB free)
memory of node 1: 16384 MiB (6948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403983-1568991506/watcher-4403983-1568991506 -o /var/tmp/evaluation-result-4403983-1568991506/solver-4403983-1568991506 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568989977-29018 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1351944585 HOME/instance-4403983-1568991506.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=31898, runsolver pid=31895
[startup+0.100058 s]*
/proc/loadavg: 7.88 8.30 6.98 8/233 31914
/proc/meminfo: memFree=11607116/32770624 swapFree=66956680/67108860
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
[pid=31900] ppid=31898 vsize=15144776 memory=32120 CPUtime=0.13 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31898 28986 0 -1 1077944320 5938 0 0 0 12 1 0 0 20 0 15 0 475389193 15508250624 8030 33554432000 4194304 4196468 140726210106672 140726210089216 140042308480759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
/proc/31900/statm: 3786194 8030 3169 1 0 3748377 0
[pid=31900/tid=31901] ppid=31898 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31900/task/31901/stat : 31901 (java) R 31898 31898 28986 0 -1 4202560 3818 0 0 0 8 1 0 0 20 0 15 0 475389193 15508250624 8030 33554432000 4194304 4196468 140726210106672 140042312710112 140042308492694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31902] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 8030 33554432000 4194304 4196468 140726210106672 140042244717200 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31903] ppid=31898 vsize=15144776 memory=140207511799424 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 8030 33554432000 4194304 4196468 140726210106672 140042243664400 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31904] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 8030 33554432000 4194304 4196468 140726210106672 140042242611600 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31905] ppid=31898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31898 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041897171216 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31906] ppid=31898 vsize=15144776 memory=140207511799424 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31898 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389195 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041844267888 140042308491906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31907] ppid=31898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31898 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475389195 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041843213856 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31908] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31898 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475389196 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041842161008 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31909] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389198 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041841109328 140042308499355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31910] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31898 28986 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 475389198 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041840056688 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31911] ppid=31898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31898 28986 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 475389198 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041839003888 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31912] ppid=31898 vsize=15144776 memory=140207511799424 CPUtime=0.02 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) R 31898 31898 28986 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 475389198 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041109104752 140042287616536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31913] ppid=31898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389198 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041108052192 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31914] ppid=31898 vsize=15144776 memory=140207511799424 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389199 15508250624 8030 33554432000 4194304 4196468 140726210106672 140041107000496 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33576 KiB
[startup+0.210736 s]*
/proc/loadavg: 7.88 8.30 6.98 8/233 31914
/proc/meminfo: memFree=11594996/32770624 swapFree=66956680/67108860
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
[pid=31900] ppid=31898 vsize=15144776 memory=43312 CPUtime=0.34 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31898 28986 0 -1 1077944320 9492 0 0 0 31 3 0 0 20 0 15 0 475389193 15508250624 10828 33554432000 4194304 4196468 140726210106672 140726210089216 140042308480759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
/proc/31900/statm: 3786194 10828 3319 1 0 3748377 0
[pid=31900/tid=31901] ppid=31898 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31900/task/31901/stat : 31901 (java) R 31898 31898 28986 0 -1 4202560 6649 0 0 0 18 2 0 0 20 0 15 0 475389193 15508250624 10828 33554432000 4194304 4196468 140726210106672 140042312710480 140042301158773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31902] ppid=31898 vsize=15144776 memory=1943324 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 10828 33554432000 4194304 4196468 140726210106672 140042244717200 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31903] ppid=31898 vsize=15144776 memory=140207511828185 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 10828 33554432000 4194304 4196468 140726210106672 140042243664400 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31904] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 10828 33554432000 4194304 4196468 140726210106672 140042242611600 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31905] ppid=31898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31898 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389194 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041897171216 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31906] ppid=31898 vsize=15144776 memory=140207511799424 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31898 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475389195 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041844267888 140042308491906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31907] ppid=31898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31898 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475389195 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041843213856 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31908] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31898 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475389196 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041842161008 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31909] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389198 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041841109328 140042308499355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31910] ppid=31898 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31898 28986 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 475389198 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041840056688 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31911] ppid=31898 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31898 28986 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 475389198 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041839003888 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31912] ppid=31898 vsize=15144776 memory=140207511799424 CPUtime=0.08 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31898 28986 0 -1 1077944384 747 0 0 0 8 0 0 0 20 0 15 0 475389198 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041109104752 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31913] ppid=31898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389198 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041108052192 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31914] ppid=31898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389199 15508250624 10828 33554432000 4194304 4196468 140726210106672 140041107000496 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44768 KiB
[startup+0.310569 s]*
/proc/loadavg: 7.88 8.30 6.98 7/233 31914
/proc/meminfo: memFree=11588096/32770624 swapFree=66956680/67108860
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
[pid=31900] ppid=31898 vsize=15149032 memory=51816 CPUtime=0.51 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31898 28986 0 -1 1077944320 10763 0 0 0 48 3 0 0 20 0 15 0 475389193 15512608768 12954 33554432000 4194304 4196468 140726210106672 140726210089216 140042308480759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
/proc/31900/statm: 3787258 12954 3353 1 0 3748377 0
[pid=31900/tid=31901] ppid=31898 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31900/task/31901/stat : 31901 (java) R 31898 31898 28986 0 -1 4202560 7842 0 0 0 27 3 0 0 20 0 15 0 475389193 15512608768 12954 33554432000 4194304 4196468 140726210106672 140042312711872 140042292561246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31902] ppid=31898 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15512608768 12954 33554432000 4194304 4196468 140726210106672 140042244717200 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31903] ppid=31898 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15512608768 12954 33554432000 4194304 4196468 140726210106672 140042243664400 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31904] ppid=31898 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389194 15512608768 12954 33554432000 4194304 4196468 140726210106672 140042242611600 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31905] ppid=31898 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31898 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475389194 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041897171216 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31906] ppid=31898 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31898 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475389195 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041844267888 140042308491906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31907] ppid=31898 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31898 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475389195 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041843213856 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31908] ppid=31898 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31898 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475389196 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041842161008 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31909] ppid=31898 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389198 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041841109328 140042308499355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31910] ppid=31898 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31898 28986 0 -1 1077944384 512 0 0 0 4 0 0 0 20 0 15 0 475389198 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041840056688 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31911] ppid=31898 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31898 28986 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 475389198 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041839003888 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31912] ppid=31898 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31898 28986 0 -1 1077944384 813 0 0 0 13 0 0 0 20 0 15 0 475389198 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041109104752 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31913] ppid=31898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475389198 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041108052192 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31914] ppid=31898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475389199 15512608768 12954 33554432000 4194304 4196468 140726210106672 140041107000496 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53272 KiB
[startup+0.709202 s]
/proc/loadavg: 7.88 8.30 6.98 10/237 31979
/proc/meminfo: memFree=11474896/32770624 swapFree=66956680/67108860
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
[pid=31900] ppid=31898 vsize=15552596 memory=191644 CPUtime=1.63 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31898 28986 0 -1 1077944320 20811 0 0 0 152 11 0 0 20 0 19 0 475389193 15925858304 47911 33554432000 4194304 4196468 140726210106672 140726210089216 140042308480759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
/proc/31900/statm: 3888149 47911 3484 1 0 3849249 0
[pid=31900/tid=31901] ppid=31898 vsize=15552596 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/31900/task/31901/stat : 31901 (java) S 31898 31898 28986 0 -1 1077944384 9028 0 0 0 42 3 0 0 20 0 19 0 475389193 15925858304 47911 33554432000 4194304 4196468 140726210106672 140042312721536 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31902] ppid=31898 vsize=15552596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) S 31898 31898 28986 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 47911 33554432000 4194304 4196468 140726210106672 140042244717200 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31903] ppid=31898 vsize=15552596 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31898 28986 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 475389194 15925858304 47911 33554432000 4194304 4196468 140726210106672 140042243664400 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31904] ppid=31898 vsize=15552596 memory=288230600314300172 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31898 28986 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 47911 33554432000 4194304 4196468 140726210106672 140042242611600 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31905] ppid=31898 vsize=15552596 memory=16106952818009964 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31898 28986 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041897171216 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31906] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31898 28986 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041844267888 140042308491906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31907] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31898 28986 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041843213920 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31908] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31898 28986 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475389196 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041842161024 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31909] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041841109328 140042308499355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31910] ppid=31898 vsize=15552596 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) R 31898 31898 28986 0 -1 4202560 1194 0 0 0 23 0 0 0 20 0 19 0 475389198 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041840049616 140042287912539 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31911] ppid=31898 vsize=15552596 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) R 31898 31898 28986 0 -1 4202560 1039 0 0 0 26 0 0 0 20 0 19 0 475389198 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041838992880 140042289180394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31912] ppid=31898 vsize=15552596 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) R 31898 31898 28986 0 -1 1077944384 1646 0 0 0 32 0 0 0 20 0 19 0 475389198 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041109104752 140042308491906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31913] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041108052192 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31914] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31898 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475389199 15925858304 47911 33554432000 4194304 4196468 140726210106672 140041107000496 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 193100 KiB
[startup+1.50714 s]
/proc/loadavg: 7.88 8.30 6.98 11/237 32362
/proc/meminfo: memFree=11441916/32770624 swapFree=66956680/67108860
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
[pid=31900] ppid=31898 vsize=15552596 memory=597052 CPUtime=23.66 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31898 28986 0 -1 1077944320 33262 0 0 0 2345 21 0 0 20 0 19 0 475389193 15925858304 149263 33554432000 4194304 4196468 140726210106672 140726210089216 140042308480759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
/proc/31900/statm: 3888149 149263 3516 1 0 3849249 0
[pid=31900/tid=31901] ppid=31898 vsize=15552596 memory=336072 CPUtime=0.47 cores=1,3,5,7
/proc/31900/task/31901/stat : 31901 (java) S 31898 31898 28986 0 -1 1077944384 9028 0 0 0 43 4 0 0 20 0 19 0 475389193 15925858304 149263 33554432000 4194304 4196468 140726210106672 140042312721536 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31902] ppid=31898 vsize=15552596 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) S 31898 31898 28986 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149263 33554432000 4194304 4196468 140726210106672 140042244717200 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31903] ppid=31898 vsize=15552596 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31898 28986 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149263 33554432000 4194304 4196468 140726210106672 140042243664400 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31904] ppid=31898 vsize=15552596 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31898 28986 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149263 33554432000 4194304 4196468 140726210106672 140042242611600 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31905] ppid=31898 vsize=15552596 memory=1399103955520229747 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31898 28986 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041897171216 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31906] ppid=31898 vsize=15552596 memory=-7741296126441013152 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31898 28986 0 -1 1077944384 814 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041844267888 140042308491906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31907] ppid=31898 vsize=15552596 memory=3470692292451393600 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31898 28986 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041843213920 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31908] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31898 28986 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475389196 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041842161024 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31909] ppid=31898 vsize=15552596 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041841109328 140042308499355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31910] ppid=31898 vsize=15552596 memory=6943526294502006880 CPUtime=1.25 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31898 28986 0 -1 1077944384 4990 0 0 0 125 0 0 0 20 0 19 0 475389198 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041840056688 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31911] ppid=31898 vsize=15552596 memory=6944656592387989600 CPUtime=1.09 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31898 28986 0 -1 1077944384 4283 0 0 0 108 1 0 0 20 0 19 0 475389198 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041839003888 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31912] ppid=31898 vsize=15552596 memory=6944652177228980320 CPUtime=0.47 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31898 28986 0 -1 1077944384 2590 0 0 0 47 0 0 0 20 0 19 0 475389198 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041109104752 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31913] ppid=31898 vsize=15552596 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041108052192 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31914] ppid=31898 vsize=15552596 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31898 28986 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 19 0 475389199 15925858304 149263 33554432000 4194304 4196468 140726210106672 140041107000496 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32379] ppid=31898 vsize=15552596 memory=-4695043397844020537 CPUtime=4.8 cores=1,3,5,7
/proc/31900/task/32379/stat : 32379 (java) R 31898 31898 28986 0 -1 4202560 133 0 0 0 480 0 0 0 20 0 19 0 475389313 15925858304 149263 33554432000 4194304 4196468 140726210106672 140040789110760 140041925705656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32380] ppid=31898 vsize=15552596 memory=280414791541152 CPUtime=4.65 cores=1,3,5,7
/proc/31900/task/32380/stat : 32380 (java) R 31898 31898 28986 0 -1 4202560 343 0 0 0 464 1 0 0 20 0 19 0 475389314 15925858304 149263 33554432000 4194304 4196468 140726210106672 140040788058800 140041927061580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32381] ppid=31898 vsize=15552596 memory=9301087225857 CPUtime=4.71 cores=1,3,5,7
/proc/31900/task/32381/stat : 32381 (java) R 31898 31898 28986 0 -1 4202560 414 0 0 0 471 0 0 0 20 0 19 0 475389314 15925858304 149263 33554432000 4194304 4196468 140726210106672 140040782795224 140041926420550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32382] ppid=31898 vsize=15552596 memory=9356921800705 CPUtime=4.85 cores=1,3,5,7
/proc/31900/task/32382/stat : 32382 (java) R 31898 31898 28986 0 -1 4202560 436 0 0 0 482 3 0 0 20 0 19 0 475389314 15925858304 149263 33554432000 4194304 4196468 140726210106672 140040790165408 140041926229233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
Current children cumulated CPU time: 23.66 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 598508 KiB
[startup+6.91539 s]
# the end of solver process 31898 was just reported to runsolver
# cumulated CPU time of all completed processes: user=25.876 s, system=0.226119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4012 s]
/proc/loadavg: 7.73 8.26 6.98 10/239 317
/proc/meminfo: memFree=10922136/32770624 swapFree=66956680/67108860
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
[pid=31900] ppid=31898 vsize=15552596 memory=597056 CPUtime=24.06 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31898 28986 0 -1 1077944320 33338 0 0 0 2385 21 0 0 20 0 19 0 475389193 15925858304 149264 33554432000 4194304 4196468 140726210106672 140726210089216 140042308480759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
/proc/31900/statm: 3888149 149264 3516 1 0 3849249 0
[pid=31900/tid=31901] ppid=31898 vsize=15552596 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/31900/task/31901/stat : 31901 (java) S 31898 31898 28986 0 -1 1077944384 9028 0 0 0 43 4 0 0 20 0 19 0 475389193 15925858304 149264 33554432000 4194304 4196468 140726210106672 140042312721536 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31902] ppid=31898 vsize=15552596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) S 31898 31898 28986 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149264 33554432000 4194304 4196468 140726210106672 140042244717200 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31903] ppid=31898 vsize=15552596 memory=10361944147969 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31898 28986 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149264 33554432000 4194304 4196468 140726210106672 140042243664400 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31904] ppid=31898 vsize=15552596 memory=122426230835201 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31898 28986 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149264 33554432000 4194304 4196468 140726210106672 140042242611600 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31905] ppid=31898 vsize=15552596 memory=12040 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31898 28986 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041897171216 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31906] ppid=31898 vsize=15552596 memory=31840 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31898 28986 0 -1 1077944384 814 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041844267888 140042308491906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31907] ppid=31898 vsize=15552596 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31898 28986 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041843213920 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31908] ppid=31898 vsize=15552596 memory=532 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31898 28986 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475389196 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041842161024 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31909] ppid=31898 vsize=15552596 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041841109328 140042308499355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31910] ppid=31898 vsize=15552596 memory=1720 CPUtime=1.25 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31898 28986 0 -1 1077944384 4990 0 0 0 125 0 0 0 20 0 19 0 475389198 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041840056688 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31911] ppid=31898 vsize=15552596 memory=1976 CPUtime=1.1 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31898 28986 0 -1 1077944384 4358 0 0 0 109 1 0 0 20 0 19 0 475389198 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041839003888 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31912] ppid=31898 vsize=15552596 memory=2432 CPUtime=0.47 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31898 28986 0 -1 1077944384 2590 0 0 0 47 0 0 0 20 0 19 0 475389198 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041109104752 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31913] ppid=31898 vsize=15552596 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041108052192 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31914] ppid=31898 vsize=15552596 memory=808 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31898 28986 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 19 0 475389199 15925858304 149264 33554432000 4194304 4196468 140726210106672 140041107000496 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32379] ppid=31898 vsize=15552596 memory=1764 CPUtime=4.9 cores=1,3,5,7
/proc/31900/task/32379/stat : 32379 (java) R 31898 31898 28986 0 -1 4202560 133 0 0 0 490 0 0 0 20 0 19 0 475389313 15925858304 149264 33554432000 4194304 4196468 140726210106672 140040789110760 140041925704784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32380] ppid=31898 vsize=15552596 memory=111628 CPUtime=4.74 cores=1,3,5,7
/proc/31900/task/32380/stat : 32380 (java) R 31898 31898 28986 0 -1 4202560 343 0 0 0 473 1 0 0 20 0 19 0 475389314 15925858304 149264 33554432000 4194304 4196468 140726210106672 140040788058800 140041925441723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32381] ppid=31898 vsize=15552596 memory=800 CPUtime=4.81 cores=1,3,5,7
/proc/31900/task/32381/stat : 32381 (java) R 31898 31898 28986 0 -1 4202560 414 0 0 0 481 0 0 0 20 0 19 0 475389314 15925858304 149264 33554432000 4194304 4196468 140726210106672 140040782794520 140041925705730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32382] ppid=31898 vsize=15552596 memory=4100 CPUtime=4.95 cores=1,3,5,7
/proc/31900/task/32382/stat : 32382 (java) R 31898 31898 28986 0 -1 4202560 437 0 0 0 492 3 0 0 20 0 19 0 475389314 15925858304 149264 33554432000 4194304 4196468 140726210106672 140040790165408 140041926229092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
Current children cumulated CPU time: 24.06 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 598512 KiB
[startup+6.8012 s]
/proc/loadavg: 7.73 8.26 6.98 10/239 317
/proc/meminfo: memFree=10922136/32770624 swapFree=66956680/67108860
[pid=31898] ppid=31895 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31898/stat : 31898 (xcsp3-exec) S 31895 31898 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475389192 115843072 364 33554432000 4194304 5098028 140732068312640 140732068310744 140453288661628 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12431360 140732068315990 140732068316249 140732068316249 140732068319174 0
/proc/31898/statm: 28282 364 305 221 0 87 0
[pid=31900] ppid=31898 vsize=15552596 memory=597064 CPUtime=25.67 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31898 28986 0 -1 1077944320 33473 0 0 0 2545 22 0 0 20 0 19 0 475389193 15925858304 149266 33554432000 4194304 4196468 140726210106672 140726210089216 140042308480759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
/proc/31900/statm: 3888149 149266 3516 1 0 3849249 0
[pid=31900/tid=31901] ppid=31898 vsize=15552596 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/31900/task/31901/stat : 31901 (java) S 31898 31898 28986 0 -1 1077944384 9028 0 0 0 43 4 0 0 20 0 19 0 475389193 15925858304 149266 33554432000 4194304 4196468 140726210106672 140042312721536 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31902] ppid=31898 vsize=15552596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) S 31898 31898 28986 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149266 33554432000 4194304 4196468 140726210106672 140042244717200 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31903] ppid=31898 vsize=15552596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31898 28986 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149266 33554432000 4194304 4196468 140726210106672 140042243664400 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31904] ppid=31898 vsize=15552596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31898 28986 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149266 33554432000 4194304 4196468 140726210106672 140042242611600 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31905] ppid=31898 vsize=15552596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31898 28986 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 19 0 475389194 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041897171216 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31906] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31898 28986 0 -1 1077944384 814 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041844267888 140042308491906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31907] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31898 28986 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475389195 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041843213920 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31908] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31898 28986 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475389196 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041842161024 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31909] ppid=31898 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041841109328 140042308499355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31910] ppid=31898 vsize=15552596 memory=4639363368884392017 CPUtime=1.26 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31898 28986 0 -1 1077944384 5020 0 0 0 126 0 0 0 20 0 19 0 475389198 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041840056688 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31911] ppid=31898 vsize=15552596 memory=6153395278363316816 CPUtime=1.11 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31898 28986 0 -1 1077944384 4451 0 0 0 110 1 0 0 20 0 19 0 475389198 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041839003888 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31912] ppid=31898 vsize=15552596 memory=55 CPUtime=0.47 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31898 28986 0 -1 1077944384 2592 0 0 0 47 0 0 0 20 0 19 0 475389198 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041109104752 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31913] ppid=31898 vsize=15552596 memory=288230596052887320 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31898 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475389198 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041108052192 140042308490965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=31914] ppid=31898 vsize=15552596 memory=14979957711284084 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31898 28986 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 19 0 475389199 15925858304 149266 33554432000 4194304 4196468 140726210106672 140041107000496 140042308491906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32379] ppid=31898 vsize=15552596 memory=7649399379903197491 CPUtime=5.29 cores=1,3,5,7
/proc/31900/task/32379/stat : 32379 (java) R 31898 31898 28986 0 -1 4202560 135 0 0 0 529 0 0 0 20 0 19 0 475389313 15925858304 149266 33554432000 4194304 4196468 140726210106672 140040789110760 140041922891912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32380] ppid=31898 vsize=15552596 memory=7649399384198164787 CPUtime=5.12 cores=1,3,5,7
/proc/31900/task/32380/stat : 32380 (java) R 31898 31898 28986 0 -1 4202560 345 0 0 0 511 1 0 0 20 0 19 0 475389314 15925858304 149266 33554432000 4194304 4196468 140726210106672 140040788058800 140041926575283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32381] ppid=31898 vsize=15552596 memory=7649399388493132083 CPUtime=5.21 cores=1,3,5,7
/proc/31900/task/32381/stat : 32381 (java) R 31898 31898 28986 0 -1 4202560 417 0 0 0 521 0 0 0 20 0 19 0 475389314 15925858304 149266 33554432000 4194304 4196468 140726210106672 140040782796248 140042289887062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
[pid=31900/tid=32382] ppid=31898 vsize=15552596 memory=7649399392788099379 CPUtime=5.35 cores=1,3,5,7
/proc/31900/task/32382/stat : 32382 (java) R 31898 31898 28986 0 -1 4202560 440 0 0 0 532 3 0 0 20 0 19 0 475389314 15925858304 149266 33554432000 4194304 4196468 140726210106672 140040790163592 140041926228173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19218432 140726210114523 140726210114698 140726210114698 140726210117583 0
Current children cumulated CPU time: 25.67 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 598520 KiB
[startup+7.00084 s]*
/proc/loadavg: 7.73 8.26 6.98 6/218 317
/proc/meminfo: memFree=11496588/32770624 swapFree=66956680/67108860
Current cumulated CPU time of completed processes: 26.1021 s
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.08094
CPU time (s): 26.1021
CPU user time (s): 25.876
CPU system time (s): 0.226119
CPU usage (%): 368.625
Max. virtual memory (cumulated for all children) (KiB): 15665724
Max. memory (cumulated for all children) (KiB): 598520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.876
system time used= 0.226119
maximum resident set size= 597696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34510
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= 4959
involuntary context switches= 698
# summary of solver processes directly reported to runsolver:
# pid: 31898
# total CPU time (s): 26.1021
# total CPU user time (s): 25.876
# total CPU system time (s): 0.226119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060684 second user time and 0.127691 second system time
The end