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 (7694 MiB free)
memory of node 1: 16384 MiB (8023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403369-1568993570/watcher-4403369-1568993570 -o /var/tmp/evaluation-result-4403369-1568993570/solver-4403369-1568993570 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3666 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1992899277 HOME/instance-4403369-1568993570.xml
running on 4 cores: 1,3,5,7
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=7858, runsolver pid=7855
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 8.67 8.07 7.25 7/234 7874
/proc/meminfo: memFree=16076376/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
[pid=7860] ppid=7858 vsize=15144776 memory=29012 CPUtime=0.13 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 3634 0 -1 1077944320 5701 0 0 0 12 1 0 0 20 0 15 0 475270770 15508250624 7253 33554432000 4194304 4196468 140737174354528 140737174337072 139702190333687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
/proc/7860/statm: 3786194 7253 3158 1 0 3748377 0
[pid=7860/tid=7861] ppid=7858 vsize=15144776 memory=8260065295529644891 CPUtime=0.08 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 3634 0 -1 4202560 3623 0 0 0 8 0 0 0 20 0 15 0 475270770 15508250624 7253 33554432000 4194304 4196468 140737174354528 139702194563280 139702182570814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7862] ppid=7858 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 7253 33554432000 4194304 4196468 140737174354528 139702142954128 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7863] ppid=7858 vsize=15144776 memory=140452007044736 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 7253 33554432000 4194304 4196468 140737174354528 139702141901328 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7864] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 7253 33554432000 4194304 4196468 140737174354528 139702140848528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7865] ppid=7858 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 7253 33554432000 4194304 4196468 140737174354528 139702139795728 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7866] ppid=7858 vsize=15144776 memory=140452007044736 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270772 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701750721392 139702190344834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7867] ppid=7858 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475270773 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701749667360 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7868] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475270773 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701748614512 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7869] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701747562832 139702190352283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7870] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 3634 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 475270775 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701746510192 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7871] ppid=7858 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) R 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701745457392 139702190344834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7872] ppid=7858 vsize=15144776 memory=140452007044736 CPUtime=0.02 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) R 7858 7858 3634 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 475270775 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701744404592 139702182570814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7873] ppid=7858 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701743352032 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7874] ppid=7858 vsize=15144776 memory=140452007044736 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270776 15508250624 7253 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30464 KiB
[startup+0.210896 s]*
/proc/loadavg: 8.67 8.07 7.25 7/234 7874
/proc/meminfo: memFree=16062120/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
[pid=7860] ppid=7858 vsize=15144776 memory=40840 CPUtime=0.35 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 3634 0 -1 1077944320 9492 0 0 0 32 3 0 0 20 0 15 0 475270770 15508250624 10210 33554432000 4194304 4196468 140737174354528 140737174337072 139702190333687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
/proc/7860/statm: 3786194 10210 3302 1 0 3748377 0
[pid=7860/tid=7861] ppid=7858 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) S 7858 7858 3634 0 -1 1077944384 6628 0 0 0 18 1 0 0 20 0 15 0 475270770 15508250624 10210 33554432000 4194304 4196468 140737174354528 139702194563408 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7862] ppid=7858 vsize=15144776 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 10210 33554432000 4194304 4196468 140737174354528 139702142954128 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7863] ppid=7858 vsize=15144776 memory=3689774035928934048 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 10210 33554432000 4194304 4196468 140737174354528 139702141901328 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7864] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 10210 33554432000 4194304 4196468 140737174354528 139702140848528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7865] ppid=7858 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15508250624 10210 33554432000 4194304 4196468 140737174354528 139702139795728 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7866] ppid=7858 vsize=15144776 memory=140452007044736 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475270772 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701750721392 139702190344834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7867] ppid=7858 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475270773 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701749667360 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7868] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475270773 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701748614512 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7869] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701747562832 139702190352283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7870] ppid=7858 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 3634 0 -1 1077944384 651 0 0 0 2 0 0 0 20 0 15 0 475270775 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701746510192 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7871] ppid=7858 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 3634 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 15 0 475270775 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701745457392 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7872] ppid=7858 vsize=15144776 memory=140452007044736 CPUtime=0.08 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 3634 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 15 0 475270775 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701744404592 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7873] ppid=7858 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701743352032 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7874] ppid=7858 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270776 15508250624 10210 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42292 KiB
[startup+0.314594 s]*
/proc/loadavg: 8.67 8.07 7.25 7/234 7874
/proc/meminfo: memFree=16051136/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
[pid=7860] ppid=7858 vsize=15149032 memory=50348 CPUtime=0.53 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 3634 0 -1 1077944320 10917 0 0 0 50 3 0 0 20 0 15 0 475270770 15512608768 12587 33554432000 4194304 4196468 140737174354528 140737174337072 139702190333687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
/proc/7860/statm: 3787258 12587 3360 1 0 3748377 0
[pid=7860/tid=7861] ppid=7858 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 3634 0 -1 4202560 7873 0 0 0 28 2 0 0 20 0 15 0 475270770 15512608768 12652 33554432000 4194304 4196468 140737174354528 139702194564800 139702174414174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7862] ppid=7858 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270771 15512608768 12652 33554432000 4194304 4196468 140737174354528 139702142954128 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7863] ppid=7858 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15512608768 12652 33554432000 4194304 4196468 140737174354528 139702141901328 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7864] ppid=7858 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15512608768 12652 33554432000 4194304 4196468 140737174354528 139702140848528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7865] ppid=7858 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15512608768 12652 33554432000 4194304 4196468 140737174354528 139702139795728 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7866] ppid=7858 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475270772 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701750721392 139702190344834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7867] ppid=7858 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475270773 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701749667360 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7868] ppid=7858 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475270773 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701748614512 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7869] ppid=7858 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701747562832 139702190352283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7870] ppid=7858 vsize=15149032 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 3634 0 -1 1077944384 748 0 0 0 5 0 0 0 20 0 15 0 475270775 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701746510192 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7871] ppid=7858 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 3634 0 -1 1077944384 130 0 0 0 3 0 0 0 20 0 15 0 475270775 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701745457392 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7872] ppid=7858 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 3634 0 -1 1077944384 866 0 0 0 13 0 0 0 20 0 15 0 475270775 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701744404592 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7873] ppid=7858 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701743352032 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7874] ppid=7858 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270776 15512608768 12652 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51800 KiB
[startup+0.706595 s]
/proc/loadavg: 8.67 8.07 7.25 8/234 7874
/proc/meminfo: memFree=16015024/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
[pid=7860] ppid=7858 vsize=15151156 memory=143792 CPUtime=1.67 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 3634 0 -1 1077944320 13769 0 0 0 162 5 0 0 20 0 15 0 475270770 15514783744 35948 33554432000 4194304 4196468 140737174354528 140737174337072 139702190333687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
/proc/7860/statm: 3787789 35948 3445 1 0 3748889 0
[pid=7860/tid=7861] ppid=7858 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) R 7858 7858 3634 0 -1 4202560 8373 0 0 0 65 3 0 0 20 0 15 0 475270770 15514783744 35948 33554432000 4194304 4196468 140737174354528 139702194570800 139701814133960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7862] ppid=7858 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270771 15514783744 35948 33554432000 4194304 4196468 140737174354528 139702142954128 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7863] ppid=7858 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15514783744 35948 33554432000 4194304 4196468 140737174354528 139702141901328 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7864] ppid=7858 vsize=15151156 memory=55832 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15514783744 35948 33554432000 4194304 4196468 140737174354528 139702140848528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7865] ppid=7858 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475270771 15514783744 35948 33554432000 4194304 4196468 140737174354528 139702139795728 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7866] ppid=7858 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475270772 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701750721392 139702190344834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7867] ppid=7858 vsize=15151156 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475270773 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701749667360 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7868] ppid=7858 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475270773 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701748614512 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7869] ppid=7858 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701747562832 139702190352283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7870] ppid=7858 vsize=15151156 memory=6024 CPUtime=0.37 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) R 7858 7858 3634 0 -1 4202560 1552 0 0 0 37 0 0 0 20 0 15 0 475270775 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701746497184 139702175459140 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7871] ppid=7858 vsize=15151156 memory=11416 CPUtime=0.33 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) R 7858 7858 3634 0 -1 4202560 1165 0 0 0 33 0 0 0 20 0 15 0 475270775 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701745457392 139702170050823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7872] ppid=7858 vsize=15151156 memory=780 CPUtime=0.26 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) R 7858 7858 3634 0 -1 4202560 1371 0 0 0 26 0 0 0 20 0 15 0 475270775 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701744404592 139702183430523 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7873] ppid=7858 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475270775 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701743352032 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7874] ppid=7858 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270776 15514783744 35948 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 145244 KiB
[startup+1.50961 s]
/proc/loadavg: 8.67 8.07 7.25 13/234 7874
/proc/meminfo: memFree=15871484/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475270776 15514783744 107544 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 431628 KiB
[startup+3.11361 s]
/proc/loadavg: 8.69 8.08 7.26 12/238 7878
/proc/meminfo: memFree=15452840/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
[pid=7860] ppid=7858 vsize=15417412 memory=589396 CPUtime=8.96 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 3634 0 -1 1077944320 17050 0 0 0 853 43 0 0 20 0 19 0 475270770 15787429888 147349 33554432000 4194304 4196468 140737174354528 140737174337072 139702190333687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
/proc/7860/statm: 3854353 147349 3517 1 0 3815453 0
[pid=7860/tid=7861] ppid=7858 vsize=15417412 memory=2 CPUtime=1.68 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) S 7858 7858 3634 0 -1 1077944384 9132 0 0 0 162 6 0 0 20 0 19 0 475270770 15787429888 147349 33554432000 4194304 4196468 140737174354528 139702194574464 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7862] ppid=7858 vsize=15417412 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 3634 0 -1 1077944384 316 0 0 0 18 9 0 0 20 0 19 0 475270771 15787429888 147349 33554432000 4194304 4196468 140737174354528 139702142954128 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7863] ppid=7858 vsize=15417412 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 3634 0 -1 1077944384 288 0 0 0 18 8 0 0 20 0 19 0 475270771 15787429888 147349 33554432000 4194304 4196468 140737174354528 139702141901328 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7864] ppid=7858 vsize=15417412 memory=280903746064896 CPUtime=0.25 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 3634 0 -1 1077944384 213 0 0 0 17 8 0 0 20 0 19 0 475270771 15787429888 147349 33554432000 4194304 4196468 140737174354528 139702140848528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7865] ppid=7858 vsize=15417412 memory=9176 CPUtime=0.24 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 3634 0 -1 1077944384 165 0 0 0 17 7 0 0 20 0 19 0 475270771 15787429888 147349 33554432000 4194304 4196468 140737174354528 139702139795728 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7866] ppid=7858 vsize=15417412 memory=23049 CPUtime=0.02 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 3634 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 19 0 475270772 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701750721392 139702190344834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7867] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 3634 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475270773 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701749667424 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7868] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 3634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475270773 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701748614528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7869] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475270775 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701747562832 139702190352283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7870] ppid=7858 vsize=15417412 memory=280903746326688 CPUtime=0.98 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 3634 0 -1 1077944384 1811 0 0 0 98 0 0 0 20 0 19 0 475270775 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701746510192 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7871] ppid=7858 vsize=15417412 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 3634 0 -1 1077944384 1340 0 0 0 84 0 0 0 20 0 19 0 475270775 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701745457392 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7872] ppid=7858 vsize=15417412 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 3634 0 -1 1077944384 1828 0 0 0 52 1 0 0 20 0 19 0 475270775 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701744404592 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7873] ppid=7858 vsize=15417412 memory=140452007061409 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475270775 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701743352032 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7874] ppid=7858 vsize=15417412 memory=6296430733622077285 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475270776 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7875] ppid=7858 vsize=15417412 memory=8025788822752027748 CPUtime=0.88 cores=1,3,5,7
/proc/7860/task/7875/stat : 7875 (java) R 7858 7858 3634 0 -1 4202560 59 0 0 0 88 0 0 0 20 0 19 0 475270970 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701733082808 139701819388476 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7876] ppid=7858 vsize=15417412 memory=6372406050410830251 CPUtime=0.95 cores=1,3,5,7
/proc/7860/task/7876/stat : 7876 (java) R 7858 7858 3634 0 -1 4202560 68 0 0 0 95 0 0 0 20 0 19 0 475270970 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701732030632 139701819343020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7877] ppid=7858 vsize=15417412 memory=15987957367 CPUtime=1.05 cores=1,3,5,7
/proc/7860/task/7877/stat : 7877 (java) R 7858 7858 3634 0 -1 4202560 78 0 0 0 105 0 0 0 20 0 19 0 475270970 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701663029496 139701819388476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7878] ppid=7858 vsize=15417412 memory=280903746756816 CPUtime=0.9 cores=1,3,5,7
/proc/7860/task/7878/stat : 7878 (java) R 7858 7858 3634 0 -1 4202560 36 0 0 0 90 0 0 0 20 0 19 0 475270970 15787429888 147349 33554432000 4194304 4196468 140737174354528 139701661977016 139701819172226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 590848 KiB
[startup+6.30161 s]
/proc/loadavg: 8.69 8.08 7.26 10/239 7880
/proc/meminfo: memFree=15346052/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
[pid=7860] ppid=7858 vsize=15417412 memory=592796 CPUtime=21.62 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 3634 0 -1 1077944320 24873 0 0 0 2118 44 0 0 20 0 19 0 475270770 15787429888 148199 33554432000 4194304 4196468 140737174354528 140737174337072 139702190333687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
/proc/7860/statm: 3854353 148199 3530 1 0 3815453 0
[pid=7860/tid=7861] ppid=7858 vsize=15417412 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) S 7858 7858 3634 0 -1 1077944384 9132 0 0 0 162 6 0 0 20 0 19 0 475270770 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702194574464 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7862] ppid=7858 vsize=15417412 memory=280903746372192 CPUtime=0.27 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 3634 0 -1 1077944384 316 0 0 0 18 9 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702142954128 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7863] ppid=7858 vsize=15417412 memory=592688 CPUtime=0.26 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 3634 0 -1 1077944384 288 0 0 0 18 8 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702141901328 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7864] ppid=7858 vsize=15417412 memory=6297835905070032741 CPUtime=0.25 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 3634 0 -1 1077944384 213 0 0 0 17 8 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702140848528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7865] ppid=7858 vsize=15417412 memory=3908390378170508135 CPUtime=0.24 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 3634 0 -1 1077944384 165 0 0 0 17 7 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702139795728 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7866] ppid=7858 vsize=15417412 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 3634 0 -1 1077944384 701 0 0 0 3 0 0 0 20 0 19 0 475270772 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701750721392 139702190344834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7867] ppid=7858 vsize=15417412 memory=33 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 3634 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475270773 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701749667424 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7868] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 3634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475270773 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701748614528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7869] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701747562832 139702190352283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7870] ppid=7858 vsize=15417412 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 3634 0 -1 1077944384 6108 0 0 0 135 0 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701746510192 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7871] ppid=7858 vsize=15417412 memory=6024 CPUtime=1.11 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 3634 0 -1 1077944384 2693 0 0 0 110 1 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701745457392 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7872] ppid=7858 vsize=15417412 memory=11416 CPUtime=0.55 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 3634 0 -1 1077944384 1989 0 0 0 54 1 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701744404592 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7873] ppid=7858 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701743352032 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7874] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475270776 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7875] ppid=7858 vsize=15417412 memory=1560 CPUtime=3.9 cores=1,3,5,7
/proc/7860/task/7875/stat : 7875 (java) R 7858 7858 3634 0 -1 4202560 317 0 0 0 390 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701733080488 139701819545665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7876] ppid=7858 vsize=15417412 memory=3592 CPUtime=4.06 cores=1,3,5,7
/proc/7860/task/7876/stat : 7876 (java) R 7858 7858 3634 0 -1 4202560 441 0 0 0 406 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701732030264 139701819388293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7877] ppid=7858 vsize=15417412 memory=1124 CPUtime=3.96 cores=1,3,5,7
/proc/7860/task/7877/stat : 7877 (java) R 7858 7858 3634 0 -1 4202560 267 0 0 0 396 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701663027448 139701819545665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7878] ppid=7858 vsize=15417412 memory=2828 CPUtime=3.85 cores=1,3,5,7
/proc/7860/task/7878/stat : 7878 (java) R 7858 7858 3634 0 -1 4202560 904 0 0 0 385 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701661974328 139701819546507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 21.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 594248 KiB
[startup+6.36459 s]
# the end of solver process 7858 was just reported to runsolver
# cumulated CPU time of all completed processes: user=21.3993 s, system=0.457636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.30161 s]
/proc/loadavg: 8.69 8.08 7.26 10/239 7880
/proc/meminfo: memFree=15346052/32770624 swapFree=66935844/67108860
[pid=7858] ppid=7855 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7858/stat : 7858 (xcsp3-exec) S 7855 7858 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475270770 115843072 363 33554432000 4194304 5098028 140725370933776 140725370931880 140594701607548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30281728 140725370942294 140725370942553 140725370942553 140725370945478 0
/proc/7858/statm: 28282 363 304 221 0 87 0
[pid=7860] ppid=7858 vsize=15417412 memory=592796 CPUtime=21.62 cores=1,3,5,7
/proc/7860/stat : 7860 (java) S 7858 7858 3634 0 -1 1077944320 24873 0 0 0 2118 44 0 0 20 0 19 0 475270770 15787429888 148199 33554432000 4194304 4196468 140737174354528 140737174337072 139702190333687 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
/proc/7860/statm: 3854353 148199 3530 1 0 3815453 0
[pid=7860/tid=7861] ppid=7858 vsize=15417412 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/7860/task/7861/stat : 7861 (java) S 7858 7858 3634 0 -1 1077944384 9132 0 0 0 162 6 0 0 20 0 19 0 475270770 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702194574464 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7862] ppid=7858 vsize=15417412 memory=280903746372192 CPUtime=0.27 cores=1,3,5,7
/proc/7860/task/7862/stat : 7862 (java) S 7858 7858 3634 0 -1 1077944384 316 0 0 0 18 9 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702142954128 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7863] ppid=7858 vsize=15417412 memory=592688 CPUtime=0.26 cores=1,3,5,7
/proc/7860/task/7863/stat : 7863 (java) S 7858 7858 3634 0 -1 1077944384 288 0 0 0 18 8 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702141901328 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7864] ppid=7858 vsize=15417412 memory=6297835905070032741 CPUtime=0.25 cores=1,3,5,7
/proc/7860/task/7864/stat : 7864 (java) S 7858 7858 3634 0 -1 1077944384 213 0 0 0 17 8 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702140848528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7865] ppid=7858 vsize=15417412 memory=3908390378170508135 CPUtime=0.24 cores=1,3,5,7
/proc/7860/task/7865/stat : 7865 (java) S 7858 7858 3634 0 -1 1077944384 165 0 0 0 17 7 0 0 20 0 19 0 475270771 15787429888 148199 33554432000 4194304 4196468 140737174354528 139702139795728 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7866] ppid=7858 vsize=15417412 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7860/task/7866/stat : 7866 (java) S 7858 7858 3634 0 -1 1077944384 701 0 0 0 3 0 0 0 20 0 19 0 475270772 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701750721392 139702190344834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7867] ppid=7858 vsize=15417412 memory=33 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7867/stat : 7867 (java) S 7858 7858 3634 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475270773 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701749667424 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7868] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7868/stat : 7868 (java) S 7858 7858 3634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475270773 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701748614528 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7869] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7869/stat : 7869 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701747562832 139702190352283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7870] ppid=7858 vsize=15417412 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/7860/task/7870/stat : 7870 (java) S 7858 7858 3634 0 -1 1077944384 6108 0 0 0 135 0 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701746510192 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7871] ppid=7858 vsize=15417412 memory=6024 CPUtime=1.11 cores=1,3,5,7
/proc/7860/task/7871/stat : 7871 (java) S 7858 7858 3634 0 -1 1077944384 2693 0 0 0 110 1 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701745457392 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7872] ppid=7858 vsize=15417412 memory=11416 CPUtime=0.55 cores=1,3,5,7
/proc/7860/task/7872/stat : 7872 (java) S 7858 7858 3634 0 -1 1077944384 1989 0 0 0 54 1 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701744404592 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7873] ppid=7858 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7873/stat : 7873 (java) S 7858 7858 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475270775 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701743352032 139702190343893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7874] ppid=7858 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7860/task/7874/stat : 7874 (java) S 7858 7858 3634 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475270776 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701742300336 139702190344834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7875] ppid=7858 vsize=15417412 memory=1560 CPUtime=3.9 cores=1,3,5,7
/proc/7860/task/7875/stat : 7875 (java) R 7858 7858 3634 0 -1 4202560 317 0 0 0 390 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701733080488 139701819545665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7876] ppid=7858 vsize=15417412 memory=3592 CPUtime=4.06 cores=1,3,5,7
/proc/7860/task/7876/stat : 7876 (java) R 7858 7858 3634 0 -1 4202560 441 0 0 0 406 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701732030264 139701819388293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7877] ppid=7858 vsize=15417412 memory=1124 CPUtime=3.96 cores=1,3,5,7
/proc/7860/task/7877/stat : 7877 (java) R 7858 7858 3634 0 -1 4202560 267 0 0 0 396 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701663027448 139701819545665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
[pid=7860/tid=7878] ppid=7858 vsize=15417412 memory=2828 CPUtime=3.85 cores=1,3,5,7
/proc/7860/task/7878/stat : 7878 (java) R 7858 7858 3634 0 -1 4202560 904 0 0 0 385 0 0 0 20 0 19 0 475270970 15787429888 148199 33554432000 4194304 4196468 140737174354528 139701661974328 139701819546507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13844480 140737174356955 140737174357130 140737174357130 140737174360015 0
Current children cumulated CPU time: 21.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 594248 KiB
Child status: 0
Real time (s): 6.36465
CPU time (s): 21.857
CPU user time (s): 21.3993
CPU system time (s): 0.457636
CPU usage (%): 343.412
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 594248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3993
system time used= 0.457636
maximum resident set size= 593436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26419
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= 2528
involuntary context switches= 695
# summary of solver processes directly reported to runsolver:
# pid: 7858
# total CPU time (s): 21.857
# total CPU user time (s): 21.3993
# total CPU system time (s): 0.457636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059256 second user time and 0.123555 second system time
The end