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 (7819 MiB free)
memory of node 1: 16384 MiB (8266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403535-1568991604/watcher-4403535-1568991604 -o /tmp/evaluation-result-4403535-1568991604/solver-4403535-1568991604 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11774 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1556971114 HOME/instance-4403535-1568991604.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
Current StackSize limit: 8192 KiB
solver pid=16649, runsolver pid=16646
[startup+0.101737 s]*
/proc/loadavg: 8.05 8.19 7.87 7/234 16665
/proc/meminfo: memFree=16455812/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
[pid=16651] ppid=16649 vsize=15144776 memory=29096 CPUtime=0.13 cores=1,3,5,7
/proc/16651/stat : 16651 (java) S 16649 16649 11742 0 -1 1077944320 5715 0 0 0 12 1 0 0 20 0 15 0 475427158 15508250624 7274 33554432000 4194304 4196468 140727649740928 140727649723472 139968874266359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
/proc/16651/statm: 3786194 7274 3161 1 0 3748377 0
[pid=16651/tid=16652] ppid=16649 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=1,3,5,7
/proc/16651/task/16652/stat : 16652 (java) R 16649 16649 11742 0 -1 4202560 3577 0 0 0 9 0 0 0 20 0 15 0 475427158 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968878495952 139968874278294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16653] ppid=16649 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16653/stat : 16653 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968826886928 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16654] ppid=16649 vsize=15144776 memory=140149129352832 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16654/stat : 16654 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968825834384 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16655] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16655/stat : 16655 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968824781840 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16656] ppid=16649 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16656/stat : 16656 (java) S 16649 16649 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968463690896 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16657] ppid=16649 vsize=15144776 memory=140149129352832 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16657/stat : 16657 (java) S 16649 16649 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475427160 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968342861808 139968874277506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16658] ppid=16649 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16658/stat : 16658 (java) S 16649 16649 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475427161 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968341808032 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16659] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16659/stat : 16659 (java) S 16649 16649 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475427161 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968340755440 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16660] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16660/stat : 16660 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427163 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968339704016 139968874284955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16661] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16661/stat : 16661 (java) R 16649 16649 11742 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 475427163 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968338651632 139968874277506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16662] ppid=16649 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16662/stat : 16662 (java) R 16649 16649 11742 0 -1 4202560 280 0 0 0 0 0 0 0 20 0 15 0 475427163 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968337599088 139968858244637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16663] ppid=16649 vsize=15144776 memory=140149129352832 CPUtime=0.02 cores=1,3,5,7
/proc/16651/task/16663/stat : 16663 (java) R 16649 16649 11742 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 475427163 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968336546544 139968858346846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16664] ppid=16649 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16664/stat : 16664 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427164 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968335494240 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16665] ppid=16649 vsize=15144776 memory=140149129352832 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16665/stat : 16665 (java) R 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427164 15508250624 7274 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30548 KiB
[startup+0.212049 s]*
/proc/loadavg: 8.05 8.19 7.87 6/234 16665
/proc/meminfo: memFree=16442796/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
[pid=16651] ppid=16649 vsize=15144776 memory=40788 CPUtime=0.34 cores=1,3,5,7
/proc/16651/stat : 16651 (java) S 16649 16649 11742 0 -1 1077944320 9479 0 0 0 32 2 0 0 20 0 15 0 475427158 15508250624 10197 33554432000 4194304 4196468 140727649740928 140727649723472 139968874266359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
/proc/16651/statm: 3786194 10197 3302 1 0 3748377 0
[pid=16651/tid=16652] ppid=16649 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16651/task/16652/stat : 16652 (java) R 16649 16649 11742 0 -1 4202560 6625 0 0 0 19 1 0 0 20 0 15 0 475427158 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968878506048 140727649818838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16653] ppid=16649 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16653/stat : 16653 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968826886928 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16654] ppid=16649 vsize=15144776 memory=140149132854181 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16654/stat : 16654 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968825834384 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16655] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16655/stat : 16655 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968824781840 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16656] ppid=16649 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16656/stat : 16656 (java) S 16649 16649 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475427159 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968463690896 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16657] ppid=16649 vsize=15144776 memory=140149129352832 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16657/stat : 16657 (java) S 16649 16649 11742 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475427160 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968342861808 139968874277506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16658] ppid=16649 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16658/stat : 16658 (java) S 16649 16649 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475427161 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968341808032 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16659] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16659/stat : 16659 (java) S 16649 16649 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475427161 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968340755440 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16660] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16660/stat : 16660 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427163 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968339704016 139968874284955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16661] ppid=16649 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16651/task/16661/stat : 16661 (java) S 16649 16649 11742 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 475427163 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968338651632 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16662] ppid=16649 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16662/stat : 16662 (java) S 16649 16649 11742 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 15 0 475427163 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968337599088 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16663] ppid=16649 vsize=15144776 memory=140149129352832 CPUtime=0.08 cores=1,3,5,7
/proc/16651/task/16663/stat : 16663 (java) R 16649 16649 11742 0 -1 4202560 782 0 0 0 8 0 0 0 20 0 15 0 475427163 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968336546544 139968866485869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16664] ppid=16649 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16664/stat : 16664 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427164 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968335494240 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16665] ppid=16649 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16665/stat : 16665 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427164 15508250624 10197 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42240 KiB
[startup+0.318912 s]*
/proc/loadavg: 8.05 8.19 7.87 7/234 16665
/proc/meminfo: memFree=16435376/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
[pid=16651] ppid=16649 vsize=15149032 memory=50868 CPUtime=0.53 cores=1,3,5,7
/proc/16651/stat : 16651 (java) S 16649 16649 11742 0 -1 1077944320 11016 0 0 0 50 3 0 0 20 0 15 0 475427158 15512608768 12717 33554432000 4194304 4196468 140727649740928 140727649723472 139968874266359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
/proc/16651/statm: 3787258 12717 3371 1 0 3748377 0
[pid=16651/tid=16652] ppid=16649 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=1,3,5,7
/proc/16651/task/16652/stat : 16652 (java) R 16649 16649 11742 0 -1 4202560 7909 0 0 0 29 2 0 0 20 0 15 0 475427158 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968878504264 139968858346846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16653] ppid=16649 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16653/stat : 16653 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968826886928 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16654] ppid=16649 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16654/stat : 16654 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968825834384 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16655] ppid=16649 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16655/stat : 16655 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968824781840 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16656] ppid=16649 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16656/stat : 16656 (java) S 16649 16649 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475427159 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968463690896 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16657] ppid=16649 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16657/stat : 16657 (java) S 16649 16649 11742 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475427160 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968342861808 139968874277506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16658] ppid=16649 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16658/stat : 16658 (java) S 16649 16649 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475427161 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968341808032 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16659] ppid=16649 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16659/stat : 16659 (java) S 16649 16649 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475427161 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968340755440 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16660] ppid=16649 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16660/stat : 16660 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427163 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968339704016 139968874284955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16661] ppid=16649 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16661/stat : 16661 (java) S 16649 16649 11742 0 -1 1077944384 406 0 0 0 3 0 0 0 20 0 15 0 475427163 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968338651632 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16662] ppid=16649 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/16651/task/16662/stat : 16662 (java) S 16649 16649 11742 0 -1 1077944384 516 0 0 0 5 0 0 0 20 0 15 0 475427163 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968337599088 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16663] ppid=16649 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16651/task/16663/stat : 16663 (java) S 16649 16649 11742 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 475427163 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968336546544 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16664] ppid=16649 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16664/stat : 16664 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427164 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968335494240 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16665] ppid=16649 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16665/stat : 16665 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427164 15512608768 12717 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52320 KiB
[startup+0.703676 s]
/proc/loadavg: 8.05 8.19 7.87 7/234 16665
/proc/meminfo: memFree=16427168/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
[pid=16651] ppid=16649 vsize=15151156 memory=71436 CPUtime=1.42 cores=1,3,5,7
/proc/16651/stat : 16651 (java) S 16649 16649 11742 0 -1 1077944320 14080 0 0 0 138 4 0 0 20 0 15 0 475427158 15514783744 17859 33554432000 4194304 4196468 140727649740928 140727649723472 139968874266359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
/proc/16651/statm: 3787789 17859 3452 1 0 3748889 0
[pid=16651/tid=16652] ppid=16649 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16651/task/16652/stat : 16652 (java) R 16649 16649 11742 0 -1 4202560 9091 0 0 0 65 2 0 0 20 0 15 0 475427158 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968878504384 139968504795383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16653] ppid=16649 vsize=15151156 memory=54392 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16653/stat : 16653 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968826886928 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16654] ppid=16649 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16654/stat : 16654 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968825834384 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16655] ppid=16649 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16655/stat : 16655 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427159 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968824781840 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16656] ppid=16649 vsize=15151156 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16656/stat : 16656 (java) S 16649 16649 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475427159 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968463690896 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16657] ppid=16649 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16657/stat : 16657 (java) S 16649 16649 11742 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475427160 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968342861808 139968874277506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16658] ppid=16649 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16658/stat : 16658 (java) S 16649 16649 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475427161 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968341808032 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16659] ppid=16649 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16659/stat : 16659 (java) S 16649 16649 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475427161 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968340755440 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16660] ppid=16649 vsize=15151156 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16660/stat : 16660 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427163 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968339704016 139968874284955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16661] ppid=16649 vsize=15151156 memory=10564 CPUtime=0.17 cores=1,3,5,7
/proc/16651/task/16661/stat : 16661 (java) R 16649 16649 11742 0 -1 4202560 940 0 0 0 17 0 0 0 20 0 15 0 475427163 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968338638944 139968854116838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16662] ppid=16649 vsize=15151156 memory=716 CPUtime=0.22 cores=1,3,5,7
/proc/16651/task/16662/stat : 16662 (java) R 16649 16649 11742 0 -1 1077944384 1009 0 0 0 22 0 0 0 20 0 15 0 475427163 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968337599088 139968874277506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16663] ppid=16649 vsize=15151156 memory=780 CPUtime=0.32 cores=1,3,5,7
/proc/16651/task/16663/stat : 16663 (java) R 16649 16649 11742 0 -1 4202560 1734 0 0 0 32 0 0 0 20 0 15 0 475427163 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968336546544 139968866503486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16664] ppid=16649 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16664/stat : 16664 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475427164 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968335494240 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16665] ppid=16649 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16665/stat : 16665 (java) S 16649 16649 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475427164 15514783744 17859 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 72888 KiB
[startup+1.50091 s]
/proc/loadavg: 8.05 8.19 7.87 11/238 16669
/proc/meminfo: memFree=16388648/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/16651/task/16665/stat : 16665 (java) S 16649 16649 11742 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 475427164 15787429888 38013 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16666] ppid=16649 vsize=15417412 memory=500 CPUtime=25.28 cores=1,3,5,7
/proc/16651/task/16666/stat : 16666 (java) R 16649 16649 11742 0 -1 4202560 434 0 0 0 2528 0 0 0 20 0 19 0 475427232 15787429888 38013 33554432000 4194304 4196468 140727649740928 139968325221672 139968509728961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16667] ppid=16649 vsize=15417412 memory=1556 CPUtime=25.59 cores=1,3,5,7
/proc/16651/task/16667/stat : 16667 (java) R 16649 16649 11742 0 -1 4202560 1020 0 0 0 2556 3 0 0 20 0 19 0 475427233 15787429888 38013 33554432000 4194304 4196468 140727649740928 139968324170088 139968509728919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16668] ppid=16649 vsize=15417412 memory=928 CPUtime=25.43 cores=1,3,5,7
/proc/16651/task/16668/stat : 16668 (java) R 16649 16649 11742 0 -1 4202560 450 0 0 0 2543 0 0 0 20 0 19 0 475427233 15787429888 38013 33554432000 4194304 4196468 140727649740928 139968323116944 139968509528294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16669] ppid=16649 vsize=15417412 memory=1640 CPUtime=25.2 cores=1,3,5,7
/proc/16651/task/16669/stat : 16669 (java) R 16649 16649 11742 0 -1 4202560 977 0 0 0 2520 0 0 0 20 0 19 0 475427233 15787429888 38013 33554432000 4194304 4196468 140727649740928 139968322067216 139968509729035 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 106.37 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 153504 KiB
[startup+28.0009 s]*
/proc/loadavg: 8.10 8.19 7.88 9/237 16670
/proc/meminfo: memFree=16320648/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
[pid=16651] ppid=16649 vsize=15417412 memory=151024 CPUtime=109.57 cores=1,3,5,7
/proc/16651/stat : 16651 (java) S 16649 16649 11742 0 -1 1077944320 37339 0 0 0 10943 14 0 0 20 0 19 0 475427158 15787429888 37756 33554432000 4194304 4196468 140727649740928 140727649723472 139968874266359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
/proc/16651/statm: 3854353 37756 3527 1 0 3815453 0
[pid=16651/tid=16652] ppid=16649 vsize=15417412 memory=1398722017469774279 CPUtime=0.73 cores=1,3,5,7
/proc/16651/task/16652/stat : 16652 (java) S 16649 16649 11742 0 -1 1077944384 9154 0 0 0 70 3 0 0 20 0 19 0 475427158 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968878507136 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16653] ppid=16649 vsize=15417412 memory=4872558044660077418 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16653/stat : 16653 (java) S 16649 16649 11742 0 -1 1077944384 949 0 0 0 4 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968826886928 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16654] ppid=16649 vsize=15417412 memory=7902576669593994631 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16654/stat : 16654 (java) S 16649 16649 11742 0 -1 1077944384 905 0 0 0 3 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968825834384 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16655] ppid=16649 vsize=15417412 memory=6656426216303648864 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16655/stat : 16655 (java) S 16649 16649 11742 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968824781840 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16656] ppid=16649 vsize=15417412 memory=6944656592455097440 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16656/stat : 16656 (java) S 16649 16649 11742 0 -1 1077944384 284 0 0 0 3 1 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968463690896 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16657] ppid=16649 vsize=15417412 memory=7090169268364405076 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16657/stat : 16657 (java) S 16649 16649 11742 0 -1 1077944384 903 0 0 0 3 1 0 0 20 0 19 0 475427160 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968342861808 139968874277506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16658] ppid=16649 vsize=15417412 memory=7090169268364405076 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16658/stat : 16658 (java) S 16649 16649 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475427161 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968341808096 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16659] ppid=16649 vsize=15417412 memory=7090169268364405076 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16659/stat : 16659 (java) S 16649 16649 11742 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475427161 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968340755456 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16660] ppid=16649 vsize=15417412 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16660/stat : 16660 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968339704016 139968874284955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16661] ppid=16649 vsize=15417412 memory=1724 CPUtime=1.67 cores=1,3,5,7
/proc/16651/task/16661/stat : 16661 (java) S 16649 16649 11742 0 -1 1077944384 6401 0 0 0 167 0 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968338651632 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16662] ppid=16649 vsize=15417412 memory=6088 CPUtime=1.61 cores=1,3,5,7
/proc/16651/task/16662/stat : 16662 (java) S 16649 16649 11742 0 -1 1077944384 8148 0 0 0 160 1 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968337599088 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16663] ppid=16649 vsize=15417412 memory=10564 CPUtime=0.58 cores=1,3,5,7
/proc/16651/task/16663/stat : 16663 (java) S 16649 16649 11742 0 -1 1077944384 5330 0 0 0 57 1 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968336546544 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16664] ppid=16649 vsize=15417412 memory=716 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16664/stat : 16664 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475427164 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968335494240 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16665] ppid=16649 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16665/stat : 16665 (java) S 16649 16649 11742 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 475427164 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16666] ppid=16649 vsize=15417412 memory=1552 CPUtime=26.07 cores=1,3,5,7
/proc/16651/task/16666/stat : 16666 (java) R 16649 16649 11742 0 -1 4202560 434 0 0 0 2607 0 0 0 20 0 19 0 475427232 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968325224328 139968509899139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16667] ppid=16649 vsize=15417412 memory=2832 CPUtime=26.38 cores=1,3,5,7
/proc/16651/task/16667/stat : 16667 (java) R 16649 16649 11742 0 -1 4202560 1022 0 0 0 2635 3 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968324170216 139968509736409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16668] ppid=16649 vsize=15417412 memory=1192 CPUtime=26.22 cores=1,3,5,7
/proc/16651/task/16668/stat : 16668 (java) R 16649 16649 11742 0 -1 4202560 451 0 0 0 2622 0 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968323120912 139968510881838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16669] ppid=16649 vsize=15417412 memory=940 CPUtime=26 cores=1,3,5,7
/proc/16651/task/16669/stat : 16669 (java) R 16649 16649 11742 0 -1 4202560 978 0 0 0 2600 0 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968322064400 139968509732972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 109.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 152476 KiB
[startup+28.8009 s]
/proc/loadavg: 8.10 8.19 7.88 9/237 16670
/proc/meminfo: memFree=16320648/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
[pid=16651] ppid=16649 vsize=15417412 memory=151024 CPUtime=112.7 cores=1,3,5,7
/proc/16651/stat : 16651 (java) S 16649 16649 11742 0 -1 1077944320 37345 0 0 0 11256 14 0 0 20 0 19 0 475427158 15787429888 37756 33554432000 4194304 4196468 140727649740928 140727649723472 139968874266359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
/proc/16651/statm: 3854353 37756 3527 1 0 3815453 0
[pid=16651/tid=16652] ppid=16649 vsize=15417412 memory=280298022799728 CPUtime=0.73 cores=1,3,5,7
/proc/16651/task/16652/stat : 16652 (java) S 16649 16649 11742 0 -1 1077944384 9154 0 0 0 70 3 0 0 20 0 19 0 475427158 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968878507136 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16653] ppid=16649 vsize=15417412 memory=7589503725372330068 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16653/stat : 16653 (java) S 16649 16649 11742 0 -1 1077944384 949 0 0 0 4 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968826886928 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16654] ppid=16649 vsize=15417412 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16654/stat : 16654 (java) S 16649 16649 11742 0 -1 1077944384 905 0 0 0 3 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968825834384 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16655] ppid=16649 vsize=15417412 memory=280298021717376 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16655/stat : 16655 (java) S 16649 16649 11742 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968824781840 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16656] ppid=16649 vsize=15417412 memory=280298021829888 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16656/stat : 16656 (java) S 16649 16649 11742 0 -1 1077944384 284 0 0 0 3 1 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968463690896 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16657] ppid=16649 vsize=15417412 memory=280298022841856 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16657/stat : 16657 (java) S 16649 16649 11742 0 -1 1077944384 903 0 0 0 3 1 0 0 20 0 19 0 475427160 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968342861808 139968874277506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16658] ppid=16649 vsize=15417412 memory=280298021584192 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16658/stat : 16658 (java) S 16649 16649 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475427161 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968341808096 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16659] ppid=16649 vsize=15417412 memory=280298021584384 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16659/stat : 16659 (java) S 16649 16649 11742 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475427161 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968340755456 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16660] ppid=16649 vsize=15417412 memory=280298022396800 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16660/stat : 16660 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968339704016 139968874284955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16661] ppid=16649 vsize=15417412 memory=28016 CPUtime=1.67 cores=1,3,5,7
/proc/16651/task/16661/stat : 16661 (java) S 16649 16649 11742 0 -1 1077944384 6401 0 0 0 167 0 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968338651632 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16662] ppid=16649 vsize=15417412 memory=2120 CPUtime=1.61 cores=1,3,5,7
/proc/16651/task/16662/stat : 16662 (java) S 16649 16649 11742 0 -1 1077944384 8148 0 0 0 160 1 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968337599088 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16663] ppid=16649 vsize=15417412 memory=500 CPUtime=0.58 cores=1,3,5,7
/proc/16651/task/16663/stat : 16663 (java) S 16649 16649 11742 0 -1 1077944384 5330 0 0 0 57 1 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968336546544 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16664] ppid=16649 vsize=15417412 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16664/stat : 16664 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475427164 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968335494240 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16665] ppid=16649 vsize=15417412 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16665/stat : 16665 (java) S 16649 16649 11742 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 475427164 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16666] ppid=16649 vsize=15417412 memory=1640 CPUtime=26.86 cores=1,3,5,7
/proc/16651/task/16666/stat : 16666 (java) R 16649 16649 11742 0 -1 4202560 434 0 0 0 2686 0 0 0 20 0 19 0 475427232 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968325221024 139968509527133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16667] ppid=16649 vsize=15417412 memory=1980 CPUtime=27.16 cores=1,3,5,7
/proc/16651/task/16667/stat : 16667 (java) R 16649 16649 11742 0 -1 4202560 1025 0 0 0 2713 3 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968324169616 139968509527672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16668] ppid=16649 vsize=15417412 memory=2572 CPUtime=26.99 cores=1,3,5,7
/proc/16651/task/16668/stat : 16668 (java) R 16649 16649 11742 0 -1 4202560 452 0 0 0 2699 0 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968323120192 139968509029789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16669] ppid=16649 vsize=15417412 memory=152564 CPUtime=26.78 cores=1,3,5,7
/proc/16651/task/16669/stat : 16669 (java) R 16649 16649 11742 0 -1 4202560 980 0 0 0 2678 0 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968322064648 139968509528489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 112.7 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 152476 KiB
[startup+29.2009 s]
/proc/loadavg: 8.10 8.19 7.88 9/237 16670
/proc/meminfo: memFree=16321156/32770624 swapFree=66974524/67108860
[pid=16649] ppid=16646 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16649/stat : 16649 (xcsp3-exec) S 16646 16649 11742 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475427158 115843072 363 33554432000 4194304 5098028 140724070140208 140724070138312 139776158249596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15249408 140724070146938 140724070147181 140724070147181 140724070150090 0
/proc/16649/statm: 28282 363 304 221 0 87 0
[pid=16651] ppid=16649 vsize=15417412 memory=151024 CPUtime=114.29 cores=1,3,5,7
/proc/16651/stat : 16651 (java) S 16649 16649 11742 0 -1 1077944320 37347 0 0 0 11415 14 0 0 20 0 19 0 475427158 15787429888 37756 33554432000 4194304 4196468 140727649740928 140727649723472 139968874266359 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
/proc/16651/statm: 3854353 37756 3527 1 0 3815453 0
[pid=16651/tid=16652] ppid=16649 vsize=15417412 memory=1452 CPUtime=0.73 cores=1,3,5,7
/proc/16651/task/16652/stat : 16652 (java) S 16649 16649 11742 0 -1 1077944384 9154 0 0 0 70 3 0 0 20 0 19 0 475427158 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968878507136 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16653] ppid=16649 vsize=15417412 memory=156156 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16653/stat : 16653 (java) S 16649 16649 11742 0 -1 1077944384 949 0 0 0 4 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968826886928 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16654] ppid=16649 vsize=15417412 memory=1724 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16654/stat : 16654 (java) S 16649 16649 11742 0 -1 1077944384 905 0 0 0 3 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968825834384 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16655] ppid=16649 vsize=15417412 memory=1398722017469774279 CPUtime=0.03 cores=1,3,5,7
/proc/16651/task/16655/stat : 16655 (java) S 16649 16649 11742 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968824781840 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16656] ppid=16649 vsize=15417412 memory=4872558044660077418 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16656/stat : 16656 (java) S 16649 16649 11742 0 -1 1077944384 284 0 0 0 3 1 0 0 20 0 19 0 475427159 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968463690896 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16657] ppid=16649 vsize=15417412 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/16651/task/16657/stat : 16657 (java) S 16649 16649 11742 0 -1 1077944384 903 0 0 0 3 1 0 0 20 0 19 0 475427160 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968342861808 139968874277506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16658] ppid=16649 vsize=15417412 memory=214068 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16658/stat : 16658 (java) S 16649 16649 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475427161 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968341808096 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16659] ppid=16649 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16659/stat : 16659 (java) S 16649 16649 11742 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475427161 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968340755456 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16660] ppid=16649 vsize=15417412 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16660/stat : 16660 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968339704016 139968874284955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16661] ppid=16649 vsize=15417412 memory=288230583166042426 CPUtime=1.67 cores=1,3,5,7
/proc/16651/task/16661/stat : 16661 (java) S 16649 16649 11742 0 -1 1077944384 6401 0 0 0 167 0 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968338651632 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16662] ppid=16649 vsize=15417412 memory=14134446152486315 CPUtime=1.61 cores=1,3,5,7
/proc/16651/task/16662/stat : 16662 (java) S 16649 16649 11742 0 -1 1077944384 8148 0 0 0 160 1 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968337599088 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16663] ppid=16649 vsize=15417412 memory=111632 CPUtime=0.58 cores=1,3,5,7
/proc/16651/task/16663/stat : 16663 (java) S 16649 16649 11742 0 -1 1077944384 5330 0 0 0 57 1 0 0 20 0 19 0 475427163 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968336546544 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16664] ppid=16649 vsize=15417412 memory=804 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16664/stat : 16664 (java) S 16649 16649 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475427164 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968335494240 139968874276565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16665] ppid=16649 vsize=15417412 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/16651/task/16665/stat : 16665 (java) S 16649 16649 11742 0 -1 1077944384 603 0 0 0 0 0 0 0 20 0 19 0 475427164 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968334440752 139968874277506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16666] ppid=16649 vsize=15417412 memory=1804 CPUtime=27.26 cores=1,3,5,7
/proc/16651/task/16666/stat : 16666 (java) R 16649 16649 11742 0 -1 4202560 434 0 0 0 2726 0 0 0 20 0 19 0 475427232 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968325224880 139968509030175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16667] ppid=16649 vsize=15417412 memory=920 CPUtime=27.56 cores=1,3,5,7
/proc/16651/task/16667/stat : 16667 (java) R 16649 16649 11742 0 -1 4202560 1026 0 0 0 2753 3 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968324169952 139968510082443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16668] ppid=16649 vsize=15417412 memory=3848 CPUtime=27.39 cores=1,3,5,7
/proc/16651/task/16668/stat : 16668 (java) R 16649 16649 11742 0 -1 4202560 452 0 0 0 2739 0 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968323120360 139968509734159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
[pid=16651/tid=16669] ppid=16649 vsize=15417412 memory=54392 CPUtime=27.16 cores=1,3,5,7
/proc/16651/task/16669/stat : 16669 (java) R 16649 16649 11742 0 -1 4202560 981 0 0 0 2716 0 0 0 20 0 19 0 475427233 15787429888 37756 33554432000 4194304 4196468 140727649740928 139968322064784 139968509732374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140727649747951 140727649748122 140727649748122 140727649750991 0
Current children cumulated CPU time: 114.29 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 152476 KiB
Child status: 0
Real time (s): 29.2662
CPU time (s): 114.541
CPU user time (s): 114.382
CPU system time (s): 0.15914
CPU usage (%): 391.377
Max. virtual memory (cumulated for all children) (KiB): 15532212
Max. memory (cumulated for all children) (KiB): 216932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.382
system time used= 0.15914
maximum resident set size= 215532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39344
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= 4145
involuntary context switches= 2521
# summary of solver processes directly reported to runsolver:
# pid: 16649
# total CPU time (s): 114.541
# total CPU user time (s): 114.382
# total CPU system time (s): 0.15914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.23103 second user time and 0.353523 second system time
The end