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 (12664 MiB free)
memory of node 1: 16384 MiB (11785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405737-1569397035/watcher-4405737-1569397035 -o /var/tmp/evaluation-result-4405737-1569397035/solver-4405737-1569397035 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1569396632-21640 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4405737-1569397035.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21869, runsolver pid=21866
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 1.53 1.19 0.61 3/230 21885
/proc/meminfo: memFree=25019764/32770624 swapFree=66997236/67108860
[pid=21869] ppid=21866 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21869/stat : 21869 (xcsp3-exec) S 21866 21869 21609 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515971304 115843072 363 33554432000 4194304 5098028 140726495986336 140726495984440 139974211674748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10518528 140726495990614 140726495990873 140726495990873 140726495993798 0
/proc/21869/statm: 28282 363 304 221 0 87 0
[pid=21871] ppid=21869 vsize=15144776 memory=30228 CPUtime=0.12 cores=0,2,4,6
/proc/21871/stat : 21871 (java) S 21869 21869 21609 0 -1 1077944320 5895 0 0 0 11 1 0 0 20 0 15 0 515971304 15508250624 7557 33554432000 4194304 4196468 140725666535184 140725666517728 139784480755447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
/proc/21871/statm: 3786194 7557 3168 1 0 3748377 0
[pid=21871/tid=21872] ppid=21869 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/21871/task/21872/stat : 21872 (java) R 21869 21869 21609 0 -1 4202560 3847 0 0 0 8 1 0 0 20 0 15 0 515971305 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784484989728 139784480777373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21873] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21873/stat : 21873 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784073111824 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21874] ppid=21869 vsize=15144776 memory=3691178312273172128 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21874/stat : 21874 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784072059280 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21875] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21875/stat : 21875 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784071006736 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21876] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21876/stat : 21876 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784069954192 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21877] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21877/stat : 21877 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971307 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784016570864 139784480766594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21878] ppid=21869 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21878/stat : 21878 (java) S 21869 21869 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515971307 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784015517088 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21879] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21879/stat : 21879 (java) S 21869 21869 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515971307 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784014464496 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21880] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21880/stat : 21880 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784013413072 139784480774043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21881] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21881/stat : 21881 (java) S 21869 21869 21609 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784012359664 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21882] ppid=21869 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21882/stat : 21882 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784011307120 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21883] ppid=21869 vsize=15144776 memory=140656280802944 CPUtime=0.01 cores=0,2,4,6
/proc/21871/task/21883/stat : 21883 (java) S 21869 21869 21609 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 515971310 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784010254576 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21884] ppid=21869 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21884/stat : 21884 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784009202272 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21885] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21885/stat : 21885 (java) S 21869 21869 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 7557 33554432000 4194304 4196468 140725666535184 139784008149808 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31680 KiB
[startup+0.210961 s]*
/proc/loadavg: 1.53 1.19 0.61 3/230 21885
/proc/meminfo: memFree=25007472/32770624 swapFree=66997236/67108860
[pid=21869] ppid=21866 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21869/stat : 21869 (xcsp3-exec) S 21866 21869 21609 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515971304 115843072 363 33554432000 4194304 5098028 140726495986336 140726495984440 139974211674748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10518528 140726495990614 140726495990873 140726495990873 140726495993798 0
/proc/21869/statm: 28282 363 304 221 0 87 0
[pid=21871] ppid=21869 vsize=15144776 memory=41472 CPUtime=0.34 cores=0,2,4,6
/proc/21871/stat : 21871 (java) S 21869 21869 21609 0 -1 1077944320 9528 0 0 0 31 3 0 0 20 0 15 0 515971304 15508250624 10368 33554432000 4194304 4196468 140725666535184 140725666517728 139784480755447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
/proc/21871/statm: 3786194 10368 3318 1 0 3748377 0
[pid=21871/tid=21872] ppid=21869 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/21871/task/21872/stat : 21872 (java) R 21869 21869 21609 0 -1 4202560 6685 0 0 0 18 2 0 0 20 0 15 0 515971305 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784484993632 139784089608121 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21873] ppid=21869 vsize=15144776 memory=8998 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21873/stat : 21873 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784073111824 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21874] ppid=21869 vsize=15144776 memory=140656284378969 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21874/stat : 21874 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784072059280 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21875] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21875/stat : 21875 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784071006736 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21876] ppid=21869 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21876/stat : 21876 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784069954192 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21877] ppid=21869 vsize=15144776 memory=140656280802944 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21877/stat : 21877 (java) S 21869 21869 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515971307 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784016570864 139784480766594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21878] ppid=21869 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21878/stat : 21878 (java) S 21869 21869 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515971307 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784015517088 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21879] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21879/stat : 21879 (java) S 21869 21869 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515971307 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784014464496 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21880] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21880/stat : 21880 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784013413072 139784480774043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21881] ppid=21869 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21871/task/21881/stat : 21881 (java) S 21869 21869 21609 0 -1 1077944384 585 0 0 0 2 0 0 0 20 0 15 0 515971310 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784012359664 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21882] ppid=21869 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21871/task/21882/stat : 21882 (java) S 21869 21869 21609 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 15 0 515971310 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784011307120 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21883] ppid=21869 vsize=15144776 memory=140656280802944 CPUtime=0.08 cores=0,2,4,6
/proc/21871/task/21883/stat : 21883 (java) R 21869 21869 21609 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 15 0 515971310 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784010254576 139784459553856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21884] ppid=21869 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21884/stat : 21884 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784009202272 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21885] ppid=21869 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21885/stat : 21885 (java) S 21869 21869 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515971310 15508250624 10368 33554432000 4194304 4196468 140725666535184 139784008149808 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42924 KiB
[startup+0.311934 s]*
/proc/loadavg: 1.53 1.19 0.61 5/230 21885
/proc/meminfo: memFree=25002144/32770624 swapFree=66997236/67108860
[pid=21869] ppid=21866 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21869/stat : 21869 (xcsp3-exec) S 21866 21869 21609 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515971304 115843072 363 33554432000 4194304 5098028 140726495986336 140726495984440 139974211674748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10518528 140726495990614 140726495990873 140726495990873 140726495993798 0
/proc/21869/statm: 28282 363 304 221 0 87 0
[pid=21871] ppid=21869 vsize=15149032 memory=49924 CPUtime=0.53 cores=0,2,4,6
/proc/21871/stat : 21871 (java) S 21869 21869 21609 0 -1 1077944320 11163 0 0 0 49 4 0 0 20 0 15 0 515971304 15512608768 12481 33554432000 4194304 4196468 140725666535184 140725666517728 139784480755447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
/proc/21871/statm: 3787258 12481 3357 1 0 3748377 0
[pid=21871/tid=21872] ppid=21869 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/21871/task/21872/stat : 21872 (java) R 21869 21869 21609 0 -1 4202560 8137 0 0 0 27 3 0 0 20 0 15 0 515971305 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784484986560 139784480777373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21873] ppid=21869 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21873/stat : 21873 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784073111824 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21874] ppid=21869 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21874/stat : 21874 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784072059280 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21875] ppid=21869 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21875/stat : 21875 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784071006736 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21876] ppid=21869 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21876/stat : 21876 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784069954192 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21877] ppid=21869 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21877/stat : 21877 (java) S 21869 21869 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515971307 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784016570864 139784480766594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21878] ppid=21869 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21878/stat : 21878 (java) S 21869 21869 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515971307 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784015517088 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21879] ppid=21869 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21879/stat : 21879 (java) S 21869 21869 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515971307 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784014464496 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21880] ppid=21869 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21880/stat : 21880 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784013413072 139784480774043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21881] ppid=21869 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/21871/task/21881/stat : 21881 (java) R 21869 21869 21609 0 -1 4202560 669 0 0 0 5 0 0 0 20 0 15 0 515971310 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784012359664 139784462279798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21882] ppid=21869 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21871/task/21882/stat : 21882 (java) R 21869 21869 21609 0 -1 1077944384 219 0 0 0 4 0 0 0 20 0 15 0 515971310 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784011307120 139784480766594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21883] ppid=21869 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/21871/task/21883/stat : 21883 (java) S 21869 21869 21609 0 -1 1077944384 829 0 0 0 13 0 0 0 20 0 15 0 515971310 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784010254576 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21884] ppid=21869 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21884/stat : 21884 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784009202272 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21885] ppid=21869 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21885/stat : 21885 (java) S 21869 21869 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515971310 15512608768 12481 33554432000 4194304 4196468 140725666535184 139784008149808 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51376 KiB
[startup+0.558019 s]
# the end of solver process 21869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.09197 s, system=0.059828 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410906 s]*
/proc/loadavg: 1.53 1.19 0.61 4/230 21885
/proc/meminfo: memFree=24995692/32770624 swapFree=66997236/67108860
[pid=21869] ppid=21866 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21869/stat : 21869 (xcsp3-exec) S 21866 21869 21609 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515971304 115843072 363 33554432000 4194304 5098028 140726495986336 140726495984440 139974211674748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10518528 140726495990614 140726495990873 140726495990873 140726495993798 0
/proc/21869/statm: 28282 363 304 221 0 87 0
[pid=21871] ppid=21869 vsize=15149108 memory=54588 CPUtime=0.73 cores=0,2,4,6
/proc/21871/stat : 21871 (java) S 21869 21869 21609 0 -1 1077944320 11880 0 0 0 68 5 0 0 20 0 15 0 515971304 15512686592 13647 33554432000 4194304 4196468 140725666535184 140725666517728 139784480755447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
/proc/21871/statm: 3787277 13647 3378 1 0 3748377 0
[pid=21871/tid=21872] ppid=21869 vsize=15149108 memory=7883960649037381690 CPUtime=0.4 cores=0,2,4,6
/proc/21871/task/21872/stat : 21872 (java) R 21869 21869 21609 0 -1 4202560 8613 0 0 0 37 3 0 0 20 0 15 0 515971305 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784484992416 139784089791968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21873] ppid=21869 vsize=15149108 memory=9549 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21873/stat : 21873 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784073111824 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21874] ppid=21869 vsize=15149108 memory=3597797 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21874/stat : 21874 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784072059280 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21875] ppid=21869 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21875/stat : 21875 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784071006736 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21876] ppid=21869 vsize=15149108 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21876/stat : 21876 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784069954192 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21877] ppid=21869 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21877/stat : 21877 (java) S 21869 21869 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515971307 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784016570864 139784480766594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21878] ppid=21869 vsize=15149108 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21878/stat : 21878 (java) S 21869 21869 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515971307 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784015517088 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21879] ppid=21869 vsize=15149108 memory=140656280802944 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21879/stat : 21879 (java) S 21869 21869 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515971307 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784014464496 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21880] ppid=21869 vsize=15149108 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21880/stat : 21880 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784013413072 139784480774043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21881] ppid=21869 vsize=15149108 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/21871/task/21881/stat : 21881 (java) R 21869 21869 21609 0 -1 1077944384 684 0 0 0 6 0 0 0 20 0 15 0 515971310 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784012359664 139784480766594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21882] ppid=21869 vsize=15149108 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/21871/task/21882/stat : 21882 (java) R 21869 21869 21609 0 -1 4202560 245 0 0 0 6 0 0 0 20 0 15 0 515971310 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784011307120 139784458921772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21883] ppid=21869 vsize=15149108 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/21871/task/21883/stat : 21883 (java) R 21869 21869 21609 0 -1 4202560 1035 0 0 0 18 0 0 0 20 0 15 0 515971310 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784010254576 139784462165455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21884] ppid=21869 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21884/stat : 21884 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784009202272 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21885] ppid=21869 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21885/stat : 21885 (java) S 21869 21869 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515971310 15512686592 13647 33554432000 4194304 4196468 140725666535184 139784008149808 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 56040 KiB
[startup+0.510794 s]*
/proc/loadavg: 1.53 1.19 0.61 7/230 21885
/proc/meminfo: memFree=24984456/32770624 swapFree=66997236/67108860
[pid=21869] ppid=21866 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21869/stat : 21869 (xcsp3-exec) S 21866 21869 21609 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515971304 115843072 363 33554432000 4194304 5098028 140726495986336 140726495984440 139974211674748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10518528 140726495990614 140726495990873 140726495990873 140726495993798 0
/proc/21869/statm: 28282 363 304 221 0 87 0
[pid=21871] ppid=21869 vsize=15151156 memory=66272 CPUtime=1.06 cores=0,2,4,6
/proc/21871/stat : 21871 (java) S 21869 21869 21609 0 -1 1077944320 13282 0 0 0 101 5 0 0 20 0 15 0 515971304 15514783744 16568 33554432000 4194304 4196468 140725666535184 140725666517728 139784480755447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
/proc/21871/statm: 3787789 16568 3416 1 0 3748889 0
[pid=21871/tid=21872] ppid=21869 vsize=15151156 memory=1398722017469774279 CPUtime=0.49 cores=0,2,4,6
/proc/21871/task/21872/stat : 21872 (java) R 21869 21869 21609 0 -1 4202560 8738 0 0 0 46 3 0 0 20 0 15 0 515971305 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784484993392 139784089626319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21873] ppid=21869 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21873/stat : 21873 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784073111824 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21874] ppid=21869 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21874/stat : 21874 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784072059280 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21875] ppid=21869 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21875/stat : 21875 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784071006736 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21876] ppid=21869 vsize=15151156 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21876/stat : 21876 (java) S 21869 21869 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515971305 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784069954192 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21877] ppid=21869 vsize=15151156 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21877/stat : 21877 (java) S 21869 21869 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515971307 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784016570864 139784480766594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21878] ppid=21869 vsize=15151156 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21878/stat : 21878 (java) S 21869 21869 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515971307 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784015517088 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21879] ppid=21869 vsize=15151156 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21879/stat : 21879 (java) S 21869 21869 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515971307 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784014464496 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21880] ppid=21869 vsize=15151156 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21880/stat : 21880 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784013413072 139784480774043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21881] ppid=21869 vsize=15151156 memory=7827413994055111515 CPUtime=0.13 cores=0,2,4,6
/proc/21871/task/21881/stat : 21881 (java) R 21869 21869 21609 0 -1 4202560 984 0 0 0 13 0 0 0 20 0 15 0 515971310 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784012346208 139784465880886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21882] ppid=21869 vsize=15151156 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/21871/task/21882/stat : 21882 (java) R 21869 21869 21609 0 -1 4202560 790 0 0 0 13 0 0 0 20 0 15 0 515971310 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784011293216 139784465677384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21883] ppid=21869 vsize=15151156 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/21871/task/21883/stat : 21883 (java) R 21869 21869 21609 0 -1 4202560 1460 0 0 0 27 0 0 0 20 0 15 0 515971310 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784010254576 139784459893920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21884] ppid=21869 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21884/stat : 21884 (java) S 21869 21869 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515971310 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784009202272 139784480765653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
[pid=21871/tid=21885] ppid=21869 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21871/task/21885/stat : 21885 (java) S 21869 21869 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515971310 15514783744 16568 33554432000 4194304 4196468 140725666535184 139784008149808 139784480766594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140725666538459 140725666538634 140725666538634 140725666541519 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 67724 KiB
Child status: 0
Real time (s): 0.558068
CPU time (s): 1.1518
CPU user time (s): 1.09197
CPU system time (s): 0.059828
CPU usage (%): 206.39
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 67724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.09197
system time used= 0.059828
maximum resident set size= 72104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1473
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 21869
# total CPU time (s): 1.1518
# total CPU user time (s): 1.09197
# total CPU system time (s): 0.059828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022161 second user time and 0.054395 second system time
The end