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 (15020 MiB free)
memory of node 1: 16384 MiB (11813 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392983-1568350613/watcher-4392983-1568350613 -o /tmp/evaluation-result-4392983-1568350613/solver-4392983-1568350613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22073 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1767306160 HOME/instance-4392983-1568350613.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23783, runsolver pid=23780
Current StackSize limit: 8192 KiB
[startup+0.100408 s]*
/proc/loadavg: 8.70 8.08 7.18 7/233 23799
/proc/meminfo: memFree=27461492/32770624 swapFree=66940756/67108860
[pid=23783] ppid=23780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23783/stat : 23783 (xcsp3-exec) S 23780 23783 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411299970 115843072 362 33554432000 4194304 5098028 140730561527920 140730561526024 140547678294652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19349504 140730561532794 140730561533037 140730561533037 140730561535946 0
/proc/23783/statm: 28282 362 304 221 0 87 0
[pid=23785] ppid=23783 vsize=15144768 memory=30176 CPUtime=0.12 cores=0,2,4,6
/proc/23785/stat : 23785 (java) S 23783 23783 22042 0 -1 1077944320 5955 0 0 0 11 1 0 0 20 0 15 0 411299970 15508242432 7544 33554432000 4194304 4196468 140730537415008 140730537397552 139927022153463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
/proc/23785/statm: 3786192 7544 3153 1 0 3748377 0
[pid=23785/tid=23786] ppid=23783 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/23785/task/23786/stat : 23786 (java) R 23783 23783 22042 0 -1 4202560 3858 0 0 0 8 1 0 0 20 0 15 0 411299970 15508242432 7544 33554432000 4194304 4196468 140730537415008 139927026384784 139927022165398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23787] ppid=23783 vsize=15144768 memory=3472467836868043984 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23787/stat : 23787 (java) S 23783 23783 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926950194192 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23788] ppid=23783 vsize=15144768 memory=139707972892288 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23788/stat : 23788 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926949141648 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23789] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23789/stat : 23789 (java) S 23783 23783 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926612339472 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23790] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23790/stat : 23790 (java) S 23783 23783 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926611286928 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23791] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23791/stat : 23791 (java) S 23783 23783 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411299972 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926557903088 139927022164610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23792] ppid=23783 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23792/stat : 23792 (java) S 23783 23783 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411299973 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926556849312 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23793] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23793/stat : 23793 (java) S 23783 23783 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411299973 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926555796208 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23794] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23794/stat : 23794 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299975 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926554744784 139927022172059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23795] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23795/stat : 23795 (java) R 23783 23783 22042 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 411299975 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926553692912 139927022164610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23796] ppid=23783 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23796/stat : 23796 (java) R 23783 23783 22042 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 411299975 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926552640368 139927003505776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23797] ppid=23783 vsize=15144768 memory=139707972892288 CPUtime=0.02 cores=0,2,4,6
/proc/23785/task/23797/stat : 23797 (java) R 23783 23783 22042 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 411299975 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926551587312 139927006330947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23798] ppid=23783 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23798/stat : 23798 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299976 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926550535008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23799] ppid=23783 vsize=15144768 memory=139707972892288 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23799/stat : 23799 (java) S 23783 23783 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411299976 15508242432 7544 33554432000 4194304 4196468 140730537415008 139926549482032 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31624 KiB
[startup+0.211062 s]*
/proc/loadavg: 8.70 8.08 7.18 7/233 23799
/proc/meminfo: memFree=27448216/32770624 swapFree=66940756/67108860
[pid=23783] ppid=23780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23783/stat : 23783 (xcsp3-exec) S 23780 23783 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411299970 115843072 362 33554432000 4194304 5098028 140730561527920 140730561526024 140547678294652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19349504 140730561532794 140730561533037 140730561533037 140730561535946 0
/proc/23783/statm: 28282 362 304 221 0 87 0
[pid=23785] ppid=23783 vsize=15144768 memory=40976 CPUtime=0.34 cores=0,2,4,6
/proc/23785/stat : 23785 (java) S 23783 23783 22042 0 -1 1077944320 9509 0 0 0 31 3 0 0 20 0 15 0 411299970 15508242432 10244 33554432000 4194304 4196468 140730537415008 140730537397552 139927022153463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
/proc/23785/statm: 3786192 10244 3270 1 0 3748377 0
[pid=23785/tid=23786] ppid=23783 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=0,2,4,6
/proc/23785/task/23786/stat : 23786 (java) R 23783 23783 22042 0 -1 4202560 6669 0 0 0 18 2 0 0 20 0 15 0 411299970 15508242432 10244 33554432000 4194304 4196468 140730537415008 139927026393136 139927022165398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23787] ppid=23783 vsize=15144768 memory=3472467836868043984 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23787/stat : 23787 (java) S 23783 23783 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926950194192 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23788] ppid=23783 vsize=15144768 memory=139707972892288 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23788/stat : 23788 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926949141648 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23789] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23789/stat : 23789 (java) S 23783 23783 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926612339472 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23790] ppid=23783 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23790/stat : 23790 (java) S 23783 23783 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411299971 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926611286928 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23791] ppid=23783 vsize=15144768 memory=139707972892288 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23791/stat : 23791 (java) S 23783 23783 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411299972 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926557903088 139927022164610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23792] ppid=23783 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23792/stat : 23792 (java) S 23783 23783 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411299973 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926556849312 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23793] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23793/stat : 23793 (java) S 23783 23783 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411299973 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926555796208 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23794] ppid=23783 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23794/stat : 23794 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299975 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926554744784 139927022172059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23795] ppid=23783 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23785/task/23795/stat : 23795 (java) S 23783 23783 22042 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 15 0 411299975 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926553692912 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23796] ppid=23783 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23785/task/23796/stat : 23796 (java) S 23783 23783 22042 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 411299975 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926552640368 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23797] ppid=23783 vsize=15144768 memory=139707972892288 CPUtime=0.08 cores=0,2,4,6
/proc/23785/task/23797/stat : 23797 (java) R 23783 23783 22042 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 15 0 411299975 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926551587312 139927006705377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23798] ppid=23783 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23798/stat : 23798 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299976 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926550535008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23799] ppid=23783 vsize=15144768 memory=139707972892288 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23799/stat : 23799 (java) S 23783 23783 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411299976 15508242432 10244 33554432000 4194304 4196468 140730537415008 139926549482032 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42424 KiB
[startup+0.312305 s]*
/proc/loadavg: 8.70 8.08 7.18 7/233 23799
/proc/meminfo: memFree=27440684/32770624 swapFree=66940756/67108860
[pid=23783] ppid=23780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23783/stat : 23783 (xcsp3-exec) S 23780 23783 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411299970 115843072 362 33554432000 4194304 5098028 140730561527920 140730561526024 140547678294652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19349504 140730561532794 140730561533037 140730561533037 140730561535946 0
/proc/23783/statm: 28282 362 304 221 0 87 0
[pid=23785] ppid=23783 vsize=15149024 memory=50512 CPUtime=0.54 cores=0,2,4,6
/proc/23785/stat : 23785 (java) S 23783 23783 22042 0 -1 1077944320 10869 0 0 0 50 4 0 0 20 0 15 0 411299970 15512600576 12628 33554432000 4194304 4196468 140730537415008 140730537397552 139927022153463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
/proc/23785/statm: 3787256 12628 3372 1 0 3748377 0
[pid=23785/tid=23786] ppid=23783 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/23785/task/23786/stat : 23786 (java) R 23783 23783 22042 0 -1 4202560 7819 0 0 0 27 3 0 0 20 0 15 0 411299970 15512600576 12628 33554432000 4194304 4196468 140730537415008 139927026384576 139927006233950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23787] ppid=23783 vsize=15149024 memory=3472467836868043984 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23787/stat : 23787 (java) S 23783 23783 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411299971 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926950194192 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23788] ppid=23783 vsize=15149024 memory=139707972892288 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23788/stat : 23788 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299971 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926949141648 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23789] ppid=23783 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23789/stat : 23789 (java) S 23783 23783 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411299971 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926612339472 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23790] ppid=23783 vsize=15149024 memory=139707837196319 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23790/stat : 23790 (java) S 23783 23783 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411299971 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926611286928 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23791] ppid=23783 vsize=15149024 memory=279415674371872 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23791/stat : 23791 (java) S 23783 23783 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411299972 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926557903088 139927022164610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23792] ppid=23783 vsize=15149024 memory=139707837173263 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23792/stat : 23792 (java) S 23783 23783 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411299973 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926556849312 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23793] ppid=23783 vsize=15149024 memory=279415810074720 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23793/stat : 23793 (java) S 23783 23783 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411299973 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926555796208 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23794] ppid=23783 vsize=15149024 memory=139707837177871 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23794/stat : 23794 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299975 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926554744784 139927022172059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23795] ppid=23783 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23785/task/23795/stat : 23795 (java) S 23783 23783 22042 0 -1 1077944384 532 0 0 0 4 0 0 0 20 0 15 0 411299975 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926553692912 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23796] ppid=23783 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/23785/task/23796/stat : 23796 (java) S 23783 23783 22042 0 -1 1077944384 353 0 0 0 4 0 0 0 20 0 15 0 411299975 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926552640368 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23797] ppid=23783 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23785/task/23797/stat : 23797 (java) S 23783 23783 22042 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 15 0 411299975 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926551587312 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23798] ppid=23783 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23798/stat : 23798 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299976 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926550535008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23799] ppid=23783 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23799/stat : 23799 (java) S 23783 23783 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411299976 15512600576 12634 33554432000 4194304 4196468 140730537415008 139926549482032 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51960 KiB
[startup+0.707405 s]
/proc/loadavg: 8.70 8.08 7.18 8/233 23799
/proc/meminfo: memFree=27369900/32770624 swapFree=66940756/67108860
[pid=23783] ppid=23780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23783/stat : 23783 (xcsp3-exec) S 23780 23783 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411299970 115843072 362 33554432000 4194304 5098028 140730561527920 140730561526024 140547678294652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19349504 140730561532794 140730561533037 140730561533037 140730561535946 0
/proc/23783/statm: 28282 362 304 221 0 87 0
[pid=23785] ppid=23783 vsize=15151148 memory=215736 CPUtime=1.74 cores=0,2,4,6
/proc/23785/stat : 23785 (java) S 23783 23783 22042 0 -1 1077944320 15985 0 0 0 166 8 0 0 20 0 15 0 411299970 15514775552 53934 33554432000 4194304 4196468 140730537415008 140730537397552 139927022153463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
/proc/23785/statm: 3787787 53934 3454 1 0 3748889 0
[pid=23785/tid=23786] ppid=23783 vsize=15151148 memory=1088 CPUtime=0.65 cores=0,2,4,6
/proc/23785/task/23786/stat : 23786 (java) S 23783 23783 22042 0 -1 1077944384 9265 0 0 0 60 5 0 0 20 0 15 0 411299970 15514775552 53934 33554432000 4194304 4196468 140730537415008 139927026391008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23787] ppid=23783 vsize=15151148 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/23785/task/23787/stat : 23787 (java) R 23783 23783 22042 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 15 0 411299971 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926950194080 139927003779439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23788] ppid=23783 vsize=15151148 memory=780 CPUtime=0.01 cores=0,2,4,6
/proc/23785/task/23788/stat : 23788 (java) R 23783 23783 22042 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 15 0 411299971 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926949141848 139927007180882 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23789] ppid=23783 vsize=15151148 memory=5972 CPUtime=0.01 cores=0,2,4,6
/proc/23785/task/23789/stat : 23789 (java) R 23783 23783 22042 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 15 0 411299971 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926612337448 139927003779439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23790] ppid=23783 vsize=15151148 memory=624 CPUtime=0.01 cores=0,2,4,6
/proc/23785/task/23790/stat : 23790 (java) R 23783 23783 22042 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 15 0 411299971 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926611284624 139927007177381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23791] ppid=23783 vsize=15151148 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23791/stat : 23791 (java) S 23783 23783 22042 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 411299972 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926557901600 139927022163669 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23792] ppid=23783 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23792/stat : 23792 (java) S 23783 23783 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411299973 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926556849312 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23793] ppid=23783 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23793/stat : 23793 (java) S 23783 23783 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411299973 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926555796208 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23794] ppid=23783 vsize=15151148 memory=38256 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23794/stat : 23794 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299975 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926554744784 139927022172059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23795] ppid=23783 vsize=15151148 memory=1988 CPUtime=0.37 cores=0,2,4,6
/proc/23785/task/23795/stat : 23795 (java) R 23783 23783 22042 0 -1 4202560 1446 0 0 0 37 0 0 0 20 0 15 0 411299975 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926553673928 139927005564335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23796] ppid=23783 vsize=15151148 memory=988 CPUtime=0.37 cores=0,2,4,6
/proc/23785/task/23796/stat : 23796 (java) S 23783 23783 22042 0 -1 1077944384 1892 0 0 0 37 0 0 0 20 0 15 0 411299975 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926552625360 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23797] ppid=23783 vsize=15151148 memory=1428 CPUtime=0.24 cores=0,2,4,6
/proc/23785/task/23797/stat : 23797 (java) S 23783 23783 22042 0 -1 1077944384 2011 0 0 0 24 0 0 0 20 0 15 0 411299975 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926551587312 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23798] ppid=23783 vsize=15151148 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23798/stat : 23798 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411299976 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926550535008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23799] ppid=23783 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23799/stat : 23799 (java) S 23783 23783 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411299976 15514775552 53934 33554432000 4194304 4196468 140730537415008 139926549482032 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 217184 KiB
[startup+1.50141 s]
/proc/loadavg: 8.70 8.08 7.18 12/233 23799
/proc/meminfo: memFree=27131972/32770624 swapFree=66940756/67108860
[pid=23783] ppid=23780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23783/stat : 23783 (xcsp3-exec) S 23780 23783 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411299970 115843072 362 33554432000 4194304 5098028 140730561527920 140730561526024 140547678294652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19349504 140730561532794 140730561533037 140730561533037 140730561535946 0
/proc/23783/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23785/stat : 23785 (java) S 23783 23783 22042 0 -1 1077944320 66060 0 0 0 206065 129 0 0 20 0 19 0 411299970 15787421696 923974 33554432000 4194304 4196468 140730537415008 140730537397552 139927022153463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
/proc/23785/statm: 3854351 923974 3525 1 0 3815453 0
[pid=23785/tid=23786] ppid=23783 vsize=15417404 memory=3695896 CPUtime=0.82 cores=0,2,4,6
/proc/23785/task/23786/stat : 23786 (java) S 23783 23783 22042 0 -1 1077944384 9331 0 0 0 77 5 0 0 20 0 19 0 411299970 15787421696 923974 33554432000 4194304 4196468 140730537415008 139927026394240 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23787] ppid=23783 vsize=15417404 memory=3695896 CPUtime=3.53 cores=0,2,4,6
/proc/23785/task/23787/stat : 23787 (java) S 23783 23783 22042 0 -1 1077944384 820 0 0 0 345 8 0 0 20 0 19 0 411299971 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926950194192 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23788] ppid=23783 vsize=15417404 memory=1448 CPUtime=3.53 cores=0,2,4,6
/proc/23785/task/23788/stat : 23788 (java) S 23783 23783 22042 0 -1 1077944384 525 0 0 0 341 12 0 0 20 0 19 0 411299971 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926949141648 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23789] ppid=23783 vsize=15417404 memory=0 CPUtime=3.57 cores=0,2,4,6
/proc/23785/task/23789/stat : 23789 (java) S 23783 23783 22042 0 -1 1077944384 458 0 0 0 347 10 0 0 20 0 19 0 411299971 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926612339472 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23790] ppid=23783 vsize=15417404 memory=1448 CPUtime=3.47 cores=0,2,4,6
/proc/23785/task/23790/stat : 23790 (java) S 23783 23783 22042 0 -1 1077944384 1340 0 0 0 337 10 0 0 20 0 19 0 411299971 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926611286928 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23791] ppid=23783 vsize=15417404 memory=3695896 CPUtime=5.27 cores=0,2,4,6
/proc/23785/task/23791/stat : 23791 (java) S 23783 23783 22042 0 -1 1077944384 5061 0 0 0 526 1 0 0 20 0 19 0 411299972 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926557903088 139927022164610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23792] ppid=23783 vsize=15417404 memory=3695896 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23792/stat : 23792 (java) S 23783 23783 22042 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411299973 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926556849376 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23793] ppid=23783 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23793/stat : 23793 (java) S 23783 23783 22042 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 411299973 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926555796224 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23794] ppid=23783 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23794/stat : 23794 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411299975 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926554744784 139927022172059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23795] ppid=23783 vsize=15417404 memory=3695896 CPUtime=1.26 cores=0,2,4,6
/proc/23785/task/23795/stat : 23795 (java) S 23783 23783 22042 0 -1 1077944384 7626 0 0 0 125 1 0 0 20 0 19 0 411299975 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926553692912 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23796] ppid=23783 vsize=15417404 memory=1448 CPUtime=1.16 cores=0,2,4,6
/proc/23785/task/23796/stat : 23796 (java) S 23783 23783 22042 0 -1 1077944384 7527 0 0 0 116 0 0 0 20 0 19 0 411299975 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926552640368 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23797] ppid=23783 vsize=15417404 memory=1448 CPUtime=0.38 cores=0,2,4,6
/proc/23785/task/23797/stat : 23797 (java) S 23783 23783 22042 0 -1 1077944384 5321 0 0 0 38 0 0 0 20 0 19 0 411299975 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926551587312 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23798] ppid=23783 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23798/stat : 23798 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411299976 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926550535008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23799] ppid=23783 vsize=15417404 memory=3695896 CPUtime=0.2 cores=0,2,4,6
/proc/23785/task/23799/stat : 23799 (java) S 23783 23783 22042 0 -1 1077944384 1183 0 0 0 0 20 0 0 20 0 19 0 411299976 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926549482032 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23800] ppid=23783 vsize=15417404 memory=6791534058613427641 CPUtime=511.93 cores=0,2,4,6
/proc/23785/task/23800/stat : 23800 (java) R 23783 23783 22042 0 -1 4202560 5944 0 0 0 51163 30 0 0 20 0 19 0 411300083 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926546725832 139926632998158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23801] ppid=23783 vsize=15417404 memory=3695896 CPUtime=511.61 cores=0,2,4,6
/proc/23785/task/23801/stat : 23801 (java) R 23783 23783 22042 0 -1 4202560 8996 0 0 0 51147 14 0 0 20 0 19 0 411300083 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926471265712 139926632998618 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23802] ppid=23783 vsize=15417404 memory=1448 CPUtime=506.82 cores=0,2,4,6
/proc/23785/task/23802/stat : 23802 (java) R 23783 23783 22042 0 -1 4202560 5273 0 0 0 50672 10 0 0 20 0 19 0 411300083 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926470213416 139926633296708 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23803] ppid=23783 vsize=15417404 memory=1448 CPUtime=508.24 cores=0,2,4,6
/proc/23785/task/23803/stat : 23803 (java) R 23783 23783 22042 0 -1 4202560 5307 0 0 0 50803 21 0 0 20 0 19 0 411300083 15787421696 923974 33554432000 4194304 4196468 140730537415008 139926469161384 139926632997988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
Current children cumulated CPU time: 2061.94 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3697344 KiB
[startup+582.301 s]
/proc/loadavg: 8.34 8.43 7.78 9/238 24038
/proc/meminfo: memFree=27198048/32770624 swapFree=66940760/67108860
[pid=23783] ppid=23780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23783/stat : 23783 (xcsp3-exec) S 23780 23783 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411299970 115843072 362 33554432000 4194304 5098028 140730561527920 140730561526024 140547678294652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19349504 140730561532794 140730561533037 140730561533037 140730561535946 0
/proc/23783/statm: 28282 362 304 221 0 87 0
[pid=23785] ppid=23783 vsize=15417404 memory=3695932 CPUtime=2300.81 cores=0,2,4,6
/proc/23785/stat : 23785 (java) S 23783 23783 22042 0 -1 1077944320 71051 0 0 0 229951 130 0 0 20 0 19 0 411299970 15787421696 923983 33554432000 4194304 4196468 140730537415008 140730537397552 139927022153463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
/proc/23785/statm: 3854351 923983 3525 1 0 3815453 0
[pid=23785/tid=23786] ppid=23783 vsize=15417404 memory=3695932 CPUtime=0.82 cores=0,2,4,6
/proc/23785/task/23786/stat : 23786 (java) S 23783 23783 22042 0 -1 1077944384 9331 0 0 0 77 5 0 0 20 0 19 0 411299970 15787421696 923983 33554432000 4194304 4196468 140730537415008 139927026394240 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23787] ppid=23783 vsize=15417404 memory=3695932 CPUtime=3.53 cores=0,2,4,6
/proc/23785/task/23787/stat : 23787 (java) S 23783 23783 22042 0 -1 1077944384 820 0 0 0 345 8 0 0 20 0 19 0 411299971 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926950194192 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23788] ppid=23783 vsize=15417404 memory=1448 CPUtime=3.53 cores=0,2,4,6
/proc/23785/task/23788/stat : 23788 (java) S 23783 23783 22042 0 -1 1077944384 525 0 0 0 341 12 0 0 20 0 19 0 411299971 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926949141648 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23789] ppid=23783 vsize=15417404 memory=1448 CPUtime=3.57 cores=0,2,4,6
/proc/23785/task/23789/stat : 23789 (java) S 23783 23783 22042 0 -1 1077944384 458 0 0 0 347 10 0 0 20 0 19 0 411299971 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926612339472 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23790] ppid=23783 vsize=15417404 memory=1448 CPUtime=3.47 cores=0,2,4,6
/proc/23785/task/23790/stat : 23790 (java) S 23783 23783 22042 0 -1 1077944384 1340 0 0 0 337 10 0 0 20 0 19 0 411299971 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926611286928 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23791] ppid=23783 vsize=15417404 memory=1448 CPUtime=5.28 cores=0,2,4,6
/proc/23785/task/23791/stat : 23791 (java) S 23783 23783 22042 0 -1 1077944384 5173 0 0 0 527 1 0 0 20 0 19 0 411299972 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926557903088 139927022164610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23792] ppid=23783 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23792/stat : 23792 (java) S 23783 23783 22042 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411299973 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926556849376 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23793] ppid=23783 vsize=15417404 memory=3695932 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23793/stat : 23793 (java) S 23783 23783 22042 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 411299973 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926555796224 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23794] ppid=23783 vsize=15417404 memory=3695932 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23794/stat : 23794 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411299975 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926554744784 139927022172059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23795] ppid=23783 vsize=15417404 memory=1448 CPUtime=1.29 cores=0,2,4,6
/proc/23785/task/23795/stat : 23795 (java) S 23783 23783 22042 0 -1 1077944384 8511 0 0 0 128 1 0 0 20 0 19 0 411299975 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926553692912 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23796] ppid=23783 vsize=15417404 memory=1448 CPUtime=1.19 cores=0,2,4,6
/proc/23785/task/23796/stat : 23796 (java) S 23783 23783 22042 0 -1 1077944384 8490 0 0 0 119 0 0 0 20 0 19 0 411299975 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926552640368 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23797] ppid=23783 vsize=15417404 memory=1448 CPUtime=0.39 cores=0,2,4,6
/proc/23785/task/23797/stat : 23797 (java) S 23783 23783 22042 0 -1 1077944384 5710 0 0 0 39 0 0 0 20 0 19 0 411299975 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926551587312 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23798] ppid=23783 vsize=15417404 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23798/stat : 23798 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411299976 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926550535008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23799] ppid=23783 vsize=15417404 memory=3695896 CPUtime=0.22 cores=0,2,4,6
/proc/23785/task/23799/stat : 23799 (java) S 23783 23783 22042 0 -1 1077944384 1261 0 0 0 0 22 0 0 20 0 19 0 411299976 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926549482032 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23800] ppid=23783 vsize=15417404 memory=50133 CPUtime=571.92 cores=0,2,4,6
/proc/23785/task/23800/stat : 23800 (java) R 23783 23783 22042 0 -1 4202560 6451 0 0 0 57161 31 0 0 20 0 19 0 411300083 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926546725832 139926632998224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23801] ppid=23783 vsize=15417404 memory=3695932 CPUtime=571.58 cores=0,2,4,6
/proc/23785/task/23801/stat : 23801 (java) R 23783 23783 22042 0 -1 4202560 9459 0 0 0 57143 15 0 0 20 0 19 0 411300083 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926471265712 139926632999774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23802] ppid=23783 vsize=15417404 memory=1448 CPUtime=565.72 cores=0,2,4,6
/proc/23785/task/23802/stat : 23802 (java) R 23783 23783 22042 0 -1 4202560 6303 0 0 0 56562 10 0 0 20 0 19 0 411300083 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926470213416 139926633296780 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23803] ppid=23783 vsize=15417404 memory=3695932 CPUtime=568.18 cores=0,2,4,6
/proc/23785/task/23803/stat : 23803 (java) R 23783 23783 22042 0 -1 4202560 5871 0 0 0 56797 21 0 0 20 0 19 0 411300083 15787421696 923983 33554432000 4194304 4196468 140730537415008 139926469161248 139926633296780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
Current children cumulated CPU time: 2300.81 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3697380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.401 s]
/proc/loadavg: 8.26 8.41 7.81 10/237 24042
/proc/meminfo: memFree=27210292/32770624 swapFree=66940760/67108860
[pid=23783] ppid=23780 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23783/stat : 23783 (xcsp3-exec) S 23780 23783 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411299970 115843072 362 33554432000 4194304 5098028 140730561527920 140730561526024 140547678294652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19349504 140730561532794 140730561533037 140730561533037 140730561535946 0
/proc/23783/statm: 28282 362 304 221 0 87 0
[pid=23785] ppid=23783 vsize=15417404 memory=3695940 CPUtime=2520.16 cores=0,2,4,6
/proc/23785/stat : 23785 (java) S 23783 23783 22042 0 -1 1077944320 75123 0 0 0 251885 131 0 0 20 0 19 0 411299970 15787421696 923985 33554432000 4194304 4196468 140730537415008 140730537397552 139927022153463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
/proc/23785/statm: 3854351 923985 3525 1 0 3815453 0
[pid=23785/tid=23786] ppid=23783 vsize=15417404 memory=1412 CPUtime=0.82 cores=0,2,4,6
/proc/23785/task/23786/stat : 23786 (java) S 23783 23783 22042 0 -1 1077944384 9331 0 0 0 77 5 0 0 20 0 19 0 411299970 15787421696 923985 33554432000 4194304 4196468 140730537415008 139927026394240 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23787] ppid=23783 vsize=15417404 memory=5859535235326444939 CPUtime=3.53 cores=0,2,4,6
/proc/23785/task/23787/stat : 23787 (java) S 23783 23783 22042 0 -1 1077944384 820 0 0 0 345 8 0 0 20 0 19 0 411299971 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926950194192 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23788] ppid=23783 vsize=15417404 memory=1452 CPUtime=3.53 cores=0,2,4,6
/proc/23785/task/23788/stat : 23788 (java) S 23783 23783 22042 0 -1 1077944384 525 0 0 0 341 12 0 0 20 0 19 0 411299971 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926949141648 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23789] ppid=23783 vsize=15417404 memory=211640 CPUtime=3.57 cores=0,2,4,6
/proc/23785/task/23789/stat : 23789 (java) S 23783 23783 22042 0 -1 1077944384 458 0 0 0 347 10 0 0 20 0 19 0 411299971 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926612339472 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23790] ppid=23783 vsize=15417404 memory=3695940 CPUtime=3.47 cores=0,2,4,6
/proc/23785/task/23790/stat : 23790 (java) S 23783 23783 22042 0 -1 1077944384 1340 0 0 0 337 10 0 0 20 0 19 0 411299971 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926611286928 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23791] ppid=23783 vsize=15417404 memory=1412 CPUtime=5.28 cores=0,2,4,6
/proc/23785/task/23791/stat : 23791 (java) S 23783 23783 22042 0 -1 1077944384 5228 0 0 0 527 1 0 0 20 0 19 0 411299972 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926557903088 139927022164610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23792] ppid=23783 vsize=15417404 memory=3180 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23792/stat : 23792 (java) S 23783 23783 22042 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411299973 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926556849376 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23793] ppid=23783 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23793/stat : 23793 (java) S 23783 23783 22042 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 411299973 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926555796224 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23794] ppid=23783 vsize=15417404 memory=208564 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23794/stat : 23794 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411299975 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926554744784 139927022172059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23795] ppid=23783 vsize=15417404 memory=4100 CPUtime=1.29 cores=0,2,4,6
/proc/23785/task/23795/stat : 23795 (java) S 23783 23783 22042 0 -1 1077944384 8516 0 0 0 128 1 0 0 20 0 19 0 411299975 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926553692912 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23796] ppid=23783 vsize=15417404 memory=1398720917958146503 CPUtime=1.22 cores=0,2,4,6
/proc/23785/task/23796/stat : 23796 (java) S 23783 23783 22042 0 -1 1077944384 9778 0 0 0 122 0 0 0 20 0 19 0 411299975 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926552640368 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23797] ppid=23783 vsize=15417404 memory=-7003737579269690708 CPUtime=0.39 cores=0,2,4,6
/proc/23785/task/23797/stat : 23797 (java) S 23783 23783 22042 0 -1 1077944384 5717 0 0 0 39 0 0 0 20 0 19 0 411299975 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926551587312 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23798] ppid=23783 vsize=15417404 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23785/task/23798/stat : 23798 (java) S 23783 23783 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411299976 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926550535008 139927022163669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23799] ppid=23783 vsize=15417404 memory=532 CPUtime=0.24 cores=0,2,4,6
/proc/23785/task/23799/stat : 23799 (java) S 23783 23783 22042 0 -1 1077944384 1300 0 0 0 0 24 0 0 20 0 19 0 411299976 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926549482032 139927022164610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23800] ppid=23783 vsize=15417404 memory=928 CPUtime=626.99 cores=0,2,4,6
/proc/23785/task/23800/stat : 23800 (java) R 23783 23783 22042 0 -1 4202560 6955 0 0 0 62668 31 0 0 20 0 19 0 411300083 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926546725832 139926632998085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23801] ppid=23783 vsize=15417404 memory=1720 CPUtime=626.64 cores=0,2,4,6
/proc/23785/task/23801/stat : 23801 (java) R 23783 23783 22042 0 -1 4202560 10629 0 0 0 62649 15 0 0 20 0 19 0 411300083 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926471265960 139926633296708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23802] ppid=23783 vsize=15417404 memory=-7003737579269690708 CPUtime=619.8 cores=0,2,4,6
/proc/23785/task/23802/stat : 23802 (java) R 23783 23783 22042 0 -1 4202560 6702 0 0 0 61970 10 0 0 20 0 19 0 411300083 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926470213416 139926632998085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
[pid=23785/tid=23803] ppid=23783 vsize=15417404 memory=3695932 CPUtime=623.26 cores=0,2,4,6
/proc/23785/task/23803/stat : 23803 (java) R 23783 23783 22042 0 -1 4202560 6476 0 0 0 62305 21 0 0 20 0 19 0 411300083 15787421696 923985 33554432000 4194304 4196468 140730537415008 139926469161120 139926633296664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18522112 140730537423855 140730537424026 140730537424026 140730537426895 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3697388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.435 s]
# the end of solver process 23783 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002189 s, system=0 s
[startup+637.509 s]
# the end of solver process 23785 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.21 s, system=1.33229 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 637.509
CPU time (s): 2520.54
CPU user time (s): 2519.21
CPU system time (s): 1.33229
CPU usage (%): 395.373
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 3697388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.21
system time used= 1.33229
maximum resident set size= 3696740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15806
involuntary context switches= 49060
# summary of solver processes directly reported to runsolver:
# pid: 23783,23785
# total CPU time (s): 2520.54
# total CPU user time (s): 2519.21
# total CPU system time (s): 1.33229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35916 second user time and 7.3132 second system time
The end