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 (3585 MiB free)
memory of node 1: 16384 MiB (14775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399103-1568699949/watcher-4399103-1568699949 -o /tmp/evaluation-result-4399103-1568699949/solver-4399103-1568699949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24720 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1417116250 HOME/instance-4399103-1568699949.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=26966, runsolver pid=26963
Current StackSize limit: 8192 KiB
[startup+0.101134 s]*
/proc/loadavg: 6.73 6.97 5.76 5/229 26982
/proc/meminfo: memFree=18784356/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
[pid=26968] ppid=26966 vsize=15144776 memory=29124 CPUtime=0.14 cores=1,3,5,7
/proc/26968/stat : 26968 (java) S 26966 26966 24688 0 -1 1077944320 5706 0 0 0 12 2 0 0 20 0 15 0 446266262 15508250624 7281 33554432000 4194304 4196468 140733709020080 140733709002624 140509501017847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
/proc/26968/statm: 3786194 7281 3149 1 0 3748377 0
[pid=26968/tid=26969] ppid=26966 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26968/task/26969/stat : 26969 (java) R 26966 26966 24688 0 -1 4202560 3575 0 0 0 8 1 0 0 20 0 15 0 446266262 15508250624 7281 33554432000 4194304 4196468 140733709020080 140509505248080 140509501029782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26970] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26970/stat : 26970 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 7281 33554432000 4194304 4196468 140733709020080 140509453638800 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26971] ppid=26966 vsize=15144776 memory=139848901604992 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26971/stat : 26971 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 7281 33554432000 4194304 4196468 140733709020080 140509092699152 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26972] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26972/stat : 26972 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 7281 33554432000 4194304 4196468 140733709020080 140509091646352 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26973] ppid=26966 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26973/stat : 26973 (java) S 26966 26966 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 7281 33554432000 4194304 4196468 140733709020080 140509090593552 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26974] ppid=26966 vsize=15144776 memory=139848901604992 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26974/stat : 26974 (java) S 26966 26966 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266264 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508969630064 140509501028994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26975] ppid=26966 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26975/stat : 26975 (java) S 26966 26966 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266265 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508968576032 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26976] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26976/stat : 26976 (java) S 26966 26966 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266265 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508967523184 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26977] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26977/stat : 26977 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508966471504 140509501036443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26978] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26978/stat : 26978 (java) R 26966 26966 24688 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 15 0 446266267 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508965411536 140509501039194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26979] ppid=26966 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26979/stat : 26979 (java) R 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508964367088 140509501028994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26980] ppid=26966 vsize=15144776 memory=139848901604992 CPUtime=0.02 cores=1,3,5,7
/proc/26968/task/26980/stat : 26980 (java) R 26966 26966 24688 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 446266267 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508963314416 140509501029782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26981] ppid=26966 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26981/stat : 26981 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508962261728 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26982] ppid=26966 vsize=15144776 memory=139848901604992 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266268 15508250624 7281 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30572 KiB
[startup+0.212106 s]*
/proc/loadavg: 6.73 6.97 5.76 7/229 26982
/proc/meminfo: memFree=18771252/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
[pid=26968] ppid=26966 vsize=15144776 memory=40320 CPUtime=0.35 cores=1,3,5,7
/proc/26968/stat : 26968 (java) S 26966 26966 24688 0 -1 1077944320 9336 0 0 0 31 4 0 0 20 0 15 0 446266262 15508250624 10080 33554432000 4194304 4196468 140733709020080 140733709002624 140509501017847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
/proc/26968/statm: 3786194 10080 3271 1 0 3748377 0
[pid=26968/tid=26969] ppid=26966 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26968/task/26969/stat : 26969 (java) R 26966 26966 24688 0 -1 4202560 6612 0 0 0 17 3 0 0 20 0 15 0 446266262 15508250624 10080 33554432000 4194304 4196468 140733709020080 140509505252832 140509485098334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26970] ppid=26966 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26970/stat : 26970 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 10080 33554432000 4194304 4196468 140733709020080 140509453638800 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26971] ppid=26966 vsize=15144776 memory=139848901629456 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26971/stat : 26971 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 10080 33554432000 4194304 4196468 140733709020080 140509092699152 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26972] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26972/stat : 26972 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 10080 33554432000 4194304 4196468 140733709020080 140509091646352 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26973] ppid=26966 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26973/stat : 26973 (java) S 26966 26966 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266263 15508250624 10080 33554432000 4194304 4196468 140733709020080 140509090593552 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26974] ppid=26966 vsize=15144776 memory=139848901604992 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26974/stat : 26974 (java) S 26966 26966 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446266264 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508969630064 140509501028994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26975] ppid=26966 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26975/stat : 26975 (java) S 26966 26966 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266265 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508968576032 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26976] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26976/stat : 26976 (java) S 26966 26966 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266265 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508967523184 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26977] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26977/stat : 26977 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508966471504 140509501036443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26978] ppid=26966 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26978/stat : 26978 (java) R 26966 26966 24688 0 -1 4202560 592 0 0 0 3 0 0 0 20 0 15 0 446266267 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508965419888 140509501028994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26979] ppid=26966 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26968/task/26979/stat : 26979 (java) S 26966 26966 24688 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 446266267 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508964367088 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26980] ppid=26966 vsize=15144776 memory=139848901604992 CPUtime=0.08 cores=1,3,5,7
/proc/26968/task/26980/stat : 26980 (java) R 26966 26966 24688 0 -1 4202560 802 0 0 0 8 0 0 0 20 0 15 0 446266267 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508963314288 140509501039194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26981] ppid=26966 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26981/stat : 26981 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508962261728 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26982] ppid=26966 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266268 15508250624 10080 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41768 KiB
[startup+0.319646 s]*
/proc/loadavg: 6.73 6.97 5.76 6/229 26982
/proc/meminfo: memFree=18763476/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
[pid=26968] ppid=26966 vsize=15149032 memory=50692 CPUtime=0.53 cores=1,3,5,7
/proc/26968/stat : 26968 (java) S 26966 26966 24688 0 -1 1077944320 10966 0 0 0 48 5 0 0 20 0 15 0 446266262 15512608768 12673 33554432000 4194304 4196468 140733709020080 140733709002624 140509501017847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
/proc/26968/statm: 3787258 12673 3368 1 0 3748377 0
[pid=26968/tid=26969] ppid=26966 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/26968/task/26969/stat : 26969 (java) R 26966 26966 24688 0 -1 4202560 7874 0 0 0 27 4 0 0 20 0 15 0 446266262 15512608768 12673 33554432000 4194304 4196468 140733709020080 140509505247808 140509485098334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26970] ppid=26966 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26970/stat : 26970 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15512608768 12673 33554432000 4194304 4196468 140733709020080 140509453638800 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26971] ppid=26966 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26971/stat : 26971 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15512608768 12673 33554432000 4194304 4196468 140733709020080 140509092699152 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26972] ppid=26966 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26972/stat : 26972 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15512608768 12673 33554432000 4194304 4196468 140733709020080 140509091646352 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26973] ppid=26966 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26973/stat : 26973 (java) S 26966 26966 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266263 15512608768 12673 33554432000 4194304 4196468 140733709020080 140509090593552 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26974] ppid=26966 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26974/stat : 26974 (java) S 26966 26966 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446266264 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508969630064 140509501028994 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26975] ppid=26966 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26975/stat : 26975 (java) S 26966 26966 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266265 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508968576032 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26976] ppid=26966 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26976/stat : 26976 (java) S 26966 26966 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266265 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508967523184 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26977] ppid=26966 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26977/stat : 26977 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508966471504 140509501036443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26978] ppid=26966 vsize=15149032 memory=4426078206164241782 CPUtime=0.06 cores=1,3,5,7
/proc/26968/task/26978/stat : 26978 (java) S 26966 26966 24688 0 -1 1077944384 735 0 0 0 6 0 0 0 20 0 15 0 446266267 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508965419888 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26979] ppid=26966 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26968/task/26979/stat : 26979 (java) S 26966 26966 24688 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 446266267 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508964367088 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26980] ppid=26966 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26968/task/26980/stat : 26980 (java) S 26966 26966 24688 0 -1 1077944384 976 0 0 0 12 0 0 0 20 0 15 0 446266267 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508963314288 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26981] ppid=26966 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26981/stat : 26981 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508962261728 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26982] ppid=26966 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266268 15512608768 12673 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52140 KiB
[startup+0.700809 s]
/proc/loadavg: 6.73 6.97 5.76 9/229 26982
/proc/meminfo: memFree=18736340/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
[pid=26968] ppid=26966 vsize=15151156 memory=122328 CPUtime=1.67 cores=1,3,5,7
/proc/26968/stat : 26968 (java) S 26966 26966 24688 0 -1 1077944320 15105 0 0 0 160 7 0 0 20 0 15 0 446266262 15514783744 30582 33554432000 4194304 4196468 140733709020080 140733709002624 140509501017847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
/proc/26968/statm: 3787789 30582 3451 1 0 3748889 0
[pid=26968/tid=26969] ppid=26966 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26968/task/26969/stat : 26969 (java) R 26966 26966 24688 0 -1 4202560 8981 0 0 0 62 5 0 0 20 0 15 0 446266262 15514783744 30582 33554432000 4194304 4196468 140733709020080 140509505252944 140509134879904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26970] ppid=26966 vsize=15151156 memory=288230377044124670 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26970/stat : 26970 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15514783744 30582 33554432000 4194304 4196468 140733709020080 140509453638800 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26971] ppid=26966 vsize=15151156 memory=288291077884034143 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26971/stat : 26971 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15514783744 30582 33554432000 4194304 4196468 140733709020080 140509092699152 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26972] ppid=26966 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26972/stat : 26972 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266263 15514783744 30582 33554432000 4194304 4196468 140733709020080 140509091646352 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26973] ppid=26966 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26973/stat : 26973 (java) S 26966 26966 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446266263 15514783744 30582 33554432000 4194304 4196468 140733709020080 140509090593552 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26974] ppid=26966 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26974/stat : 26974 (java) S 26966 26966 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446266264 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508969630064 140509501028994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26975] ppid=26966 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26975/stat : 26975 (java) S 26966 26966 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446266265 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508968576032 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26976] ppid=26966 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26976/stat : 26976 (java) S 26966 26966 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446266265 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508967523184 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26977] ppid=26966 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26977/stat : 26977 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508966471504 140509501036443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26978] ppid=26966 vsize=15151156 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/26968/task/26978/stat : 26978 (java) R 26966 26966 24688 0 -1 4202560 1650 0 0 0 35 0 0 0 20 0 15 0 446266267 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508965405912 140509493307229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26979] ppid=26966 vsize=15151156 memory=7090988413287425906 CPUtime=0.31 cores=1,3,5,7
/proc/26968/task/26979/stat : 26979 (java) R 26966 26966 24688 0 -1 4202560 1217 0 0 0 31 0 0 0 20 0 15 0 446266267 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508964353600 140509486125655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26980] ppid=26966 vsize=15151156 memory=7811044288660336736 CPUtime=0.31 cores=1,3,5,7
/proc/26968/task/26980/stat : 26980 (java) S 26966 26966 24688 0 -1 1077944384 1952 0 0 0 31 0 0 0 20 0 15 0 446266267 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508963314288 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26981] ppid=26966 vsize=15151156 memory=7668599258894853718 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26981/stat : 26981 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446266267 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508962261728 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26982] ppid=26966 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446266268 15514783744 30582 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 123776 KiB
[startup+1.50094 s]
/proc/loadavg: 6.73 6.97 5.76 12/233 26986
/proc/meminfo: memFree=18637360/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446266268 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26983] ppid=26966 vsize=15417412 memory=1056 CPUtime=15.55 cores=1,3,5,7
/proc/26968/task/26983/stat : 26983 (java) R 26966 26966 24688 0 -1 4202560 295 0 0 0 1555 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508951989144 140509138197522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26984] ppid=26966 vsize=15417412 memory=744 CPUtime=15.28 cores=1,3,5,7
/proc/26968/task/26984/stat : 26984 (java) R 26966 26966 24688 0 -1 4202560 629 0 0 0 1528 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508950937464 140509138236908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26985] ppid=26966 vsize=15417412 memory=255718393674988 CPUtime=15.33 cores=1,3,5,7
/proc/26968/task/26985/stat : 26985 (java) R 26966 26966 24688 0 -1 4202560 254 0 0 0 1533 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508949884544 140509138236706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26986] ppid=26966 vsize=15417412 memory=590024538733966383 CPUtime=15.36 cores=1,3,5,7
/proc/26968/task/26986/stat : 26986 (java) R 26966 26966 24688 0 -1 4202560 1037 0 0 0 1536 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508948832640 140509134820101 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 65.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 253332 KiB
[startup+17.2016 s]
/proc/loadavg: 6.95 7.01 5.79 9/233 26986
/proc/meminfo: memFree=18560496/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
[pid=26968] ppid=26966 vsize=15417412 memory=251884 CPUtime=67.22 cores=1,3,5,7
/proc/26968/stat : 26968 (java) S 26966 26966 24688 0 -1 1077944320 30801 0 0 0 6705 17 0 0 20 0 19 0 446266262 15787429888 62971 33554432000 4194304 4196468 140733709020080 140733709002624 140509501017847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
/proc/26968/statm: 3854353 62971 3505 1 0 3815453 0
[pid=26968/tid=26969] ppid=26966 vsize=15417412 memory=3848 CPUtime=0.78 cores=1,3,5,7
/proc/26968/task/26969/stat : 26969 (java) S 26966 26966 24688 0 -1 1077944384 9066 0 0 0 72 6 0 0 20 0 19 0 446266262 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509505258624 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26970] ppid=26966 vsize=15417412 memory=2716 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26970/stat : 26970 (java) S 26966 26966 24688 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509453638800 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26971] ppid=26966 vsize=15417412 memory=2656 CPUtime=0.02 cores=1,3,5,7
/proc/26968/task/26971/stat : 26971 (java) S 26966 26966 24688 0 -1 1077944384 555 0 0 0 1 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509092699152 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26972] ppid=26966 vsize=15417412 memory=4100 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26972/stat : 26972 (java) S 26966 26966 24688 0 -1 1077944384 206 0 0 0 1 2 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509091646352 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26973] ppid=26966 vsize=15417412 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26973/stat : 26973 (java) S 26966 26966 24688 0 -1 1077944384 751 0 0 0 2 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509090593552 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26974] ppid=26966 vsize=15417412 memory=2 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26974/stat : 26974 (java) S 26966 26966 24688 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 19 0 446266264 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508969630064 140509501028994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26975] ppid=26966 vsize=15417412 memory=291 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26975/stat : 26975 (java) S 26966 26966 24688 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 446266265 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508968576032 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26976] ppid=26966 vsize=15417412 memory=256910 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26976/stat : 26976 (java) S 26966 26966 24688 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446266265 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508967523184 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26977] ppid=26966 vsize=15417412 memory=1 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26977/stat : 26977 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508966471504 140509501036443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26978] ppid=26966 vsize=15417412 memory=34377 CPUtime=1.2 cores=1,3,5,7
/proc/26968/task/26978/stat : 26978 (java) S 26966 26966 24688 0 -1 1077944384 7005 0 0 0 120 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508965419888 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26979] ppid=26966 vsize=15417412 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/26968/task/26979/stat : 26979 (java) S 26966 26966 24688 0 -1 1077944384 4741 0 0 0 140 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508964367088 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26980] ppid=26966 vsize=15417412 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/26968/task/26980/stat : 26980 (java) S 26966 26966 24688 0 -1 1077944384 4174 0 0 0 49 1 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508963314288 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26981] ppid=26966 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26981/stat : 26981 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508962261728 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26982] ppid=26966 vsize=15417412 memory=30 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446266268 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26983] ppid=26966 vsize=15417412 memory=36 CPUtime=15.95 cores=1,3,5,7
/proc/26968/task/26983/stat : 26983 (java) R 26966 26966 24688 0 -1 4202560 295 0 0 0 1595 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508951989144 140509138382200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26984] ppid=26966 vsize=15417412 memory=0 CPUtime=15.68 cores=1,3,5,7
/proc/26968/task/26984/stat : 26984 (java) R 26966 26966 24688 0 -1 4202560 637 0 0 0 1568 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508950937464 140509138384683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26985] ppid=26966 vsize=15417412 memory=0 CPUtime=15.73 cores=1,3,5,7
/proc/26968/task/26985/stat : 26985 (java) R 26966 26966 24688 0 -1 4202560 255 0 0 0 1573 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508949884544 140509138238742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26986] ppid=26966 vsize=15417412 memory=1103 CPUtime=15.74 cores=1,3,5,7
/proc/26968/task/26986/stat : 26986 (java) R 26966 26966 24688 0 -1 4202560 1038 0 0 0 1574 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508948832640 140509138197662 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 67.22 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 253332 KiB
[startup+17.4016 s]
/proc/loadavg: 6.95 7.01 5.79 9/233 26986
/proc/meminfo: memFree=18560496/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
[pid=26968] ppid=26966 vsize=15417412 memory=251884 CPUtime=68.01 cores=1,3,5,7
/proc/26968/stat : 26968 (java) S 26966 26966 24688 0 -1 1077944320 30811 0 0 0 6784 17 0 0 20 0 19 0 446266262 15787429888 62971 33554432000 4194304 4196468 140733709020080 140733709002624 140509501017847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
/proc/26968/statm: 3854353 62971 3505 1 0 3815453 0
[pid=26968/tid=26969] ppid=26966 vsize=15417412 memory=3834029138889691609 CPUtime=0.78 cores=1,3,5,7
/proc/26968/task/26969/stat : 26969 (java) S 26966 26966 24688 0 -1 1077944384 9066 0 0 0 72 6 0 0 20 0 19 0 446266262 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509505258624 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26970] ppid=26966 vsize=15417412 memory=1399103955520229747 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26970/stat : 26970 (java) S 26966 26966 24688 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509453638800 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26971] ppid=26966 vsize=15417412 memory=-9178176117148050014 CPUtime=0.02 cores=1,3,5,7
/proc/26968/task/26971/stat : 26971 (java) S 26966 26966 24688 0 -1 1077944384 555 0 0 0 1 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509092699152 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26972] ppid=26966 vsize=15417412 memory=-7595718316223324558 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26972/stat : 26972 (java) S 26966 26966 24688 0 -1 1077944384 206 0 0 0 1 2 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509091646352 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26973] ppid=26966 vsize=15417412 memory=-4195481698879903079 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26973/stat : 26973 (java) S 26966 26966 24688 0 -1 1077944384 751 0 0 0 2 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509090593552 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26974] ppid=26966 vsize=15417412 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26974/stat : 26974 (java) S 26966 26966 24688 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 19 0 446266264 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508969630064 140509501028994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26975] ppid=26966 vsize=15417412 memory=255666518282932 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26975/stat : 26975 (java) S 26966 26966 24688 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 446266265 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508968576032 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26976] ppid=26966 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26976/stat : 26976 (java) S 26966 26966 24688 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446266265 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508967523184 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26977] ppid=26966 vsize=15417412 memory=7523639645888865878 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26977/stat : 26977 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508966471504 140509501036443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26978] ppid=26966 vsize=15417412 memory=7735053780402269272 CPUtime=1.2 cores=1,3,5,7
/proc/26968/task/26978/stat : 26978 (java) S 26966 26966 24688 0 -1 1077944384 7005 0 0 0 120 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508965419888 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26979] ppid=26966 vsize=15417412 memory=6228883353460893798 CPUtime=1.4 cores=1,3,5,7
/proc/26968/task/26979/stat : 26979 (java) S 26966 26966 24688 0 -1 1077944384 4741 0 0 0 140 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508964367088 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26980] ppid=26966 vsize=15417412 memory=5787213827096995172 CPUtime=0.5 cores=1,3,5,7
/proc/26968/task/26980/stat : 26980 (java) S 26966 26966 24688 0 -1 1077944384 4174 0 0 0 49 1 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508963314288 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26981] ppid=26966 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26981/stat : 26981 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508962261728 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26982] ppid=26966 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446266268 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26983] ppid=26966 vsize=15417412 memory=6656426216303648864 CPUtime=16.15 cores=1,3,5,7
/proc/26968/task/26983/stat : 26983 (java) R 26966 26966 24688 0 -1 4202560 295 0 0 0 1615 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508951989144 140509138236686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26984] ppid=26966 vsize=15417412 memory=6943526294502006880 CPUtime=15.88 cores=1,3,5,7
/proc/26968/task/26984/stat : 26984 (java) R 26966 26966 24688 0 -1 4202560 646 0 0 0 1588 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508950937464 140509138237144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26985] ppid=26966 vsize=15417412 memory=6944656592455359580 CPUtime=15.93 cores=1,3,5,7
/proc/26968/task/26985/stat : 26985 (java) R 26966 26966 24688 0 -1 4202560 255 0 0 0 1593 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508949884544 140509138236936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26986] ppid=26966 vsize=15417412 memory=6943526294502006880 CPUtime=15.94 cores=1,3,5,7
/proc/26968/task/26986/stat : 26986 (java) R 26966 26966 24688 0 -1 4202560 1039 0 0 0 1594 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508948832640 140509138384109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 68.01 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 253332 KiB
[startup+17.5016 s]
/proc/loadavg: 6.95 7.01 5.79 9/233 26986
/proc/meminfo: memFree=18560496/32770624 swapFree=66938240/67108860
[pid=26966] ppid=26963 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26966/stat : 26966 (xcsp3-exec) S 26963 26966 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446266262 115843072 362 33554432000 4194304 5098028 140723655245200 140723655243304 140127345283708 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34693120 140723655246714 140723655246957 140723655246957 140723655249866 0
/proc/26966/statm: 28282 362 304 221 0 87 0
[pid=26968] ppid=26966 vsize=15417412 memory=251884 CPUtime=68.41 cores=1,3,5,7
/proc/26968/stat : 26968 (java) S 26966 26966 24688 0 -1 1077944320 30819 0 0 0 6824 17 0 0 20 0 19 0 446266262 15787429888 62971 33554432000 4194304 4196468 140733709020080 140733709002624 140509501017847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
/proc/26968/statm: 3854353 62971 3505 1 0 3815453 0
[pid=26968/tid=26969] ppid=26966 vsize=15417412 memory=251884 CPUtime=0.78 cores=1,3,5,7
/proc/26968/task/26969/stat : 26969 (java) S 26966 26966 24688 0 -1 1077944384 9066 0 0 0 72 6 0 0 20 0 19 0 446266262 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509505258624 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26970] ppid=26966 vsize=15417412 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26970/stat : 26970 (java) S 26966 26966 24688 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509453638800 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26971] ppid=26966 vsize=15417412 memory=5787213840016500561 CPUtime=0.02 cores=1,3,5,7
/proc/26968/task/26971/stat : 26971 (java) S 26966 26966 24688 0 -1 1077944384 555 0 0 0 1 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509092699152 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26972] ppid=26966 vsize=15417412 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26972/stat : 26972 (java) S 26966 26966 24688 0 -1 1077944384 206 0 0 0 1 2 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509091646352 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26973] ppid=26966 vsize=15417412 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/26968/task/26973/stat : 26973 (java) S 26966 26966 24688 0 -1 1077944384 751 0 0 0 2 1 0 0 20 0 19 0 446266263 15787429888 62971 33554432000 4194304 4196468 140733709020080 140509090593552 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26974] ppid=26966 vsize=15417412 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26974/stat : 26974 (java) S 26966 26966 24688 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 19 0 446266264 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508969630064 140509501028994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26975] ppid=26966 vsize=15417412 memory=33364 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26975/stat : 26975 (java) S 26966 26966 24688 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 446266265 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508968576032 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26976] ppid=26966 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26976/stat : 26976 (java) S 26966 26966 24688 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446266265 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508967523184 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26977] ppid=26966 vsize=15417412 memory=12708688 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26977/stat : 26977 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508966471504 140509501036443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26978] ppid=26966 vsize=15417412 memory=1408 CPUtime=1.2 cores=1,3,5,7
/proc/26968/task/26978/stat : 26978 (java) S 26966 26966 24688 0 -1 1077944384 7005 0 0 0 120 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508965419888 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26979] ppid=26966 vsize=15417412 memory=2636 CPUtime=1.4 cores=1,3,5,7
/proc/26968/task/26979/stat : 26979 (java) S 26966 26966 24688 0 -1 1077944384 4741 0 0 0 140 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508964367088 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26980] ppid=26966 vsize=15417412 memory=1448 CPUtime=0.5 cores=1,3,5,7
/proc/26968/task/26980/stat : 26980 (java) S 26966 26966 24688 0 -1 1077944384 4174 0 0 0 49 1 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508963314288 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26981] ppid=26966 vsize=15417412 memory=251848 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26981/stat : 26981 (java) S 26966 26966 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446266267 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508962261728 140509501028053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26982] ppid=26966 vsize=15417412 memory=228624 CPUtime=0 cores=1,3,5,7
/proc/26968/task/26982/stat : 26982 (java) S 26966 26966 24688 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446266268 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508961209008 140509501028994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26983] ppid=26966 vsize=15417412 memory=1448 CPUtime=16.25 cores=1,3,5,7
/proc/26968/task/26983/stat : 26983 (java) R 26966 26966 24688 0 -1 4202560 295 0 0 0 1625 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508951989144 140509138236978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26984] ppid=26966 vsize=15417412 memory=1448 CPUtime=15.98 cores=1,3,5,7
/proc/26968/task/26984/stat : 26984 (java) R 26966 26966 24688 0 -1 4202560 646 0 0 0 1598 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508950937464 140509138238684 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26985] ppid=26966 vsize=15417412 memory=251848 CPUtime=16.03 cores=1,3,5,7
/proc/26968/task/26985/stat : 26985 (java) R 26966 26966 24688 0 -1 4202560 255 0 0 0 1603 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508949884680 140509138236663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
[pid=26968/tid=26986] ppid=26966 vsize=15417412 memory=0 CPUtime=16.04 cores=1,3,5,7
/proc/26968/task/26986/stat : 26986 (java) R 26966 26966 24688 0 -1 4202560 1047 0 0 0 1604 0 0 0 20 0 19 0 446266343 15787429888 62971 33554432000 4194304 4196468 140733709020080 140508948832640 140509138382947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20893696 140733709022191 140733709022362 140733709022362 140733709025231 0
Current children cumulated CPU time: 68.41 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 253332 KiB
Child status: 0
Real time (s): 17.5612
CPU time (s): 68.6386
CPU user time (s): 68.4567
CPU system time (s): 0.181833
CPU usage (%): 390.855
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 253332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.4567
system time used= 0.181833
maximum resident set size= 252516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32814
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= 2362
involuntary context switches= 1192
# summary of solver processes directly reported to runsolver:
# pid: 26966
# total CPU time (s): 68.6386
# total CPU user time (s): 68.4567
# total CPU system time (s): 0.181833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13847 second user time and 0.246546 second system time
The end