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 (13532 MiB free)
memory of node 1: 16384 MiB (14102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400453-1568694553/watcher-4400453-1568694553 -o /tmp/evaluation-result-4400453-1568694553/solver-4400453-1568694553 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22971 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1665282391 HOME/instance-4400453-1568694553.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=25091, runsolver pid=25088
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 8.35 6.11 3.54 7/233 25107
/proc/meminfo: memFree=28281556/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
[pid=25093] ppid=25091 vsize=15144776 memory=29156 CPUtime=0.13 cores=1,3,5,7
/proc/25093/stat : 25093 (java) S 25091 25091 22939 0 -1 1077944320 5738 0 0 0 12 1 0 0 20 0 15 0 445395399 15508250624 7289 33554432000 4194304 4196468 140729491037616 140729491020160 140563548253943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
/proc/25093/statm: 3786194 7289 3180 1 0 3748377 0
[pid=25093/tid=25094] ppid=25091 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25093/task/25094/stat : 25094 (java) R 25091 25091 22939 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 15 0 445395399 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563552486672 140563156385269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25095] ppid=25091 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25095/stat : 25095 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563476294160 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25096] ppid=25091 vsize=15144776 memory=140544955995776 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25096/stat : 25096 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563139914384 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25097] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25097/stat : 25097 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563138861328 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25098] ppid=25091 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25098/stat : 25098 (java) S 25091 25091 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563137808784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25099] ppid=25091 vsize=15144776 memory=140544955995776 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25099/stat : 25099 (java) S 25091 25091 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395401 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563084077808 140563548265090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25100] ppid=25091 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25100/stat : 25100 (java) S 25091 25091 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445395402 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563083024032 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25101] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25101/stat : 25101 (java) S 25091 25091 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445395402 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563081970928 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25102] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25102/stat : 25102 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395404 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563080919504 140563548272539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25103] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25103/stat : 25103 (java) S 25091 25091 22939 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 445395404 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563079866608 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25104] ppid=25091 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25104/stat : 25104 (java) R 25091 25091 22939 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 445395404 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563078814064 140563548265090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25105] ppid=25091 vsize=15144776 memory=140544955995776 CPUtime=0.02 cores=1,3,5,7
/proc/25093/task/25105/stat : 25105 (java) R 25091 25091 22939 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 445395404 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563077756736 140563540491070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25106] ppid=25091 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25106/stat : 25106 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395405 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563076708704 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25107] ppid=25091 vsize=15144776 memory=140544955995776 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395405 15508250624 7289 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30608 KiB
[startup+0.210793 s]*
/proc/loadavg: 8.35 6.11 3.54 8/233 25107
/proc/meminfo: memFree=28267780/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
[pid=25093] ppid=25091 vsize=15144776 memory=41988 CPUtime=0.35 cores=1,3,5,7
/proc/25093/stat : 25093 (java) S 25091 25091 22939 0 -1 1077944320 9212 0 0 0 32 3 0 0 20 0 15 0 445395399 15508250624 10497 33554432000 4194304 4196468 140729491037616 140729491020160 140563548253943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
/proc/25093/statm: 3786194 10497 3299 1 0 3748377 0
[pid=25093/tid=25094] ppid=25091 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25093/task/25094/stat : 25094 (java) R 25091 25091 22939 0 -1 4202560 6387 0 0 0 18 2 0 0 20 0 15 0 445395399 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563552488640 140563532334430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25095] ppid=25091 vsize=15144776 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25095/stat : 25095 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563476294160 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25096] ppid=25091 vsize=15144776 memory=140544959348595 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25096/stat : 25096 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563139914384 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25097] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25097/stat : 25097 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563138861328 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25098] ppid=25091 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25098/stat : 25098 (java) S 25091 25091 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395400 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563137808784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25099] ppid=25091 vsize=15144776 memory=140544955995776 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25099/stat : 25099 (java) S 25091 25091 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445395401 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563084077808 140563548265090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25100] ppid=25091 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25100/stat : 25100 (java) S 25091 25091 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445395402 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563083024032 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25101] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25101/stat : 25101 (java) S 25091 25091 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445395402 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563081970928 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25102] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25102/stat : 25102 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395404 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563080919504 140563548272539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25103] ppid=25091 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25093/task/25103/stat : 25103 (java) S 25091 25091 22939 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 445395404 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563079866608 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25104] ppid=25091 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25093/task/25104/stat : 25104 (java) S 25091 25091 22939 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 445395404 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563078814064 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25105] ppid=25091 vsize=15144776 memory=140544955995776 CPUtime=0.08 cores=1,3,5,7
/proc/25093/task/25105/stat : 25105 (java) S 25091 25091 22939 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 445395404 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563077761008 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25106] ppid=25091 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25106/stat : 25106 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395405 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563076708704 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25107] ppid=25091 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395405 15508250624 10497 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43440 KiB
[startup+0.318894 s]*
/proc/loadavg: 8.35 6.11 3.54 6/233 25107
/proc/meminfo: memFree=28260128/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
[pid=25093] ppid=25091 vsize=15149032 memory=51460 CPUtime=0.54 cores=1,3,5,7
/proc/25093/stat : 25093 (java) S 25091 25091 22939 0 -1 1077944320 10748 0 0 0 51 3 0 0 20 0 15 0 445395399 15512608768 12865 33554432000 4194304 4196468 140729491037616 140729491020160 140563548253943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
/proc/25093/statm: 3787258 12865 3342 1 0 3748377 0
[pid=25093/tid=25094] ppid=25091 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/25093/task/25094/stat : 25094 (java) R 25091 25091 22939 0 -1 4202560 7689 0 0 0 28 3 0 0 20 0 15 0 445395399 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563552485712 140563548265878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25095] ppid=25091 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25095/stat : 25095 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563476294160 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25096] ppid=25091 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25096/stat : 25096 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563139914384 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25097] ppid=25091 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25097/stat : 25097 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563138861328 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25098] ppid=25091 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25098/stat : 25098 (java) S 25091 25091 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395400 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563137808784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25099] ppid=25091 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25099/stat : 25099 (java) S 25091 25091 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445395401 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563084077808 140563548265090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25100] ppid=25091 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25100/stat : 25100 (java) S 25091 25091 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445395402 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563083024032 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25101] ppid=25091 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25101/stat : 25101 (java) S 25091 25091 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445395402 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563081970928 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25102] ppid=25091 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25102/stat : 25102 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395404 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563080919504 140563548272539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25103] ppid=25091 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/25093/task/25103/stat : 25103 (java) S 25091 25091 22939 0 -1 1077944384 502 0 0 0 5 0 0 0 20 0 15 0 445395404 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563079866608 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25104] ppid=25091 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25093/task/25104/stat : 25104 (java) R 25091 25091 22939 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 15 0 445395404 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563078814064 140563548265090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25105] ppid=25091 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25093/task/25105/stat : 25105 (java) R 25091 25091 22939 0 -1 4202560 861 0 0 0 12 0 0 0 20 0 15 0 445395404 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563077758816 140563548275290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25106] ppid=25091 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25106/stat : 25106 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395405 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563076708704 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25107] ppid=25091 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395405 15512608768 12865 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52912 KiB
[startup+0.702214 s]
/proc/loadavg: 8.35 6.11 3.54 8/233 25107
/proc/meminfo: memFree=28234284/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
[pid=25093] ppid=25091 vsize=15151156 memory=101200 CPUtime=1.79 cores=1,3,5,7
/proc/25093/stat : 25093 (java) S 25091 25091 22939 0 -1 1077944320 14912 0 0 0 174 5 0 0 20 0 15 0 445395399 15514783744 25300 33554432000 4194304 4196468 140729491037616 140729491020160 140563548253943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
/proc/25093/statm: 3787789 25300 3442 1 0 3748889 0
[pid=25093/tid=25094] ppid=25091 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/25093/task/25094/stat : 25094 (java) R 25091 25091 22939 0 -1 4202560 8900 0 0 0 65 3 0 0 20 0 15 0 445395399 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563552487472 140563532297573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25095] ppid=25091 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25095/stat : 25095 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563476294160 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25096] ppid=25091 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25096/stat : 25096 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563139914384 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25097] ppid=25091 vsize=15151156 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25097/stat : 25097 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395400 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563138861328 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25098] ppid=25091 vsize=15151156 memory=48264 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25098/stat : 25098 (java) S 25091 25091 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445395400 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563137808784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25099] ppid=25091 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25099/stat : 25099 (java) S 25091 25091 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445395401 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563084077808 140563548265090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25100] ppid=25091 vsize=15151156 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25100/stat : 25100 (java) S 25091 25091 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445395402 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563083024032 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25101] ppid=25091 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25101/stat : 25101 (java) S 25091 25091 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445395402 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563081970928 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25102] ppid=25091 vsize=15151156 memory=580 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25102/stat : 25102 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395404 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563080919504 140563548272539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25103] ppid=25091 vsize=15151156 memory=1720 CPUtime=0.34 cores=1,3,5,7
/proc/25093/task/25103/stat : 25103 (java) R 25091 25091 22939 0 -1 4202560 1331 0 0 0 34 0 0 0 20 0 15 0 445395404 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563079853176 140563531579389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25104] ppid=25091 vsize=15151156 memory=10604 CPUtime=0.35 cores=1,3,5,7
/proc/25093/task/25104/stat : 25104 (java) R 25091 25091 22939 0 -1 4202560 1420 0 0 0 35 0 0 0 20 0 15 0 445395404 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563078807256 140563531752997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25105] ppid=25091 vsize=15151156 memory=4160 CPUtime=0.39 cores=1,3,5,7
/proc/25093/task/25105/stat : 25105 (java) R 25091 25091 22939 0 -1 1077944384 1956 0 0 0 39 0 0 0 20 0 15 0 445395404 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563077758800 140563548264149 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25106] ppid=25091 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25106/stat : 25106 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445395405 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563076708704 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25107] ppid=25091 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445395405 15514783744 25300 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 102652 KiB
[startup+1.501 s]
/proc/loadavg: 8.35 6.11 3.54 9/233 25107
/proc/meminfo: memFree=28104352/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 445395405 15994011648 160250 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25332] ppid=25091 vsize=15619152 memory=928 CPUtime=2.24 cores=1,3,5,7
/proc/25093/task/25332/stat : 25332 (java) R 25091 25091 22939 0 -1 4202560 411 0 0 0 224 0 0 0 20 0 19 0 445396451 15994011648 160250 33554432000 4194304 4196468 140729491037616 140562020490680 140563165848162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25333] ppid=25091 vsize=15619152 memory=1772 CPUtime=2.19 cores=1,3,5,7
/proc/25093/task/25333/stat : 25333 (java) R 25091 25091 22939 0 -1 4202560 388 0 0 0 218 1 0 0 20 0 19 0 445396451 15994011648 160250 33554432000 4194304 4196468 140729491037616 140562026807320 140563164293807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25334] ppid=25091 vsize=15619152 memory=832 CPUtime=2.08 cores=1,3,5,7
/proc/25093/task/25334/stat : 25334 (java) R 25091 25091 22939 0 -1 4202560 511 0 0 0 208 0 0 0 20 0 19 0 445396451 15994011648 160250 33554432000 4194304 4196468 140729491037616 140562024701472 140563164201102 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25335] ppid=25091 vsize=15619152 memory=1436 CPUtime=2.22 cores=1,3,5,7
/proc/25093/task/25335/stat : 25335 (java) R 25091 25091 22939 0 -1 4202560 141 0 0 0 222 0 0 0 20 0 19 0 445396451 15994011648 160250 33554432000 4194304 4196468 140729491037616 140562021543080 140563164293739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 45.32 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 642452 KiB
[startup+13.601 s]
/proc/loadavg: 8.79 6.32 3.65 9/237 25339
/proc/meminfo: memFree=27675916/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
[pid=25093] ppid=25091 vsize=15619152 memory=640980 CPUtime=48.31 cores=1,3,5,7
/proc/25093/stat : 25093 (java) S 25091 25091 22939 0 -1 1077944320 41627 0 0 0 4802 29 0 0 20 0 19 0 445395399 15994011648 160245 33554432000 4194304 4196468 140729491037616 140729491020160 140563548253943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
/proc/25093/statm: 3904788 160245 3533 1 0 3865888 0
[pid=25093/tid=25094] ppid=25091 vsize=15619152 memory=6791534058613427641 CPUtime=1.07 cores=1,3,5,7
/proc/25093/task/25094/stat : 25094 (java) S 25091 25091 22939 0 -1 1077944384 9547 0 0 0 102 5 0 0 20 0 19 0 445395399 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563552494720 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25095] ppid=25091 vsize=15619152 memory=1660 CPUtime=0.09 cores=1,3,5,7
/proc/25093/task/25095/stat : 25095 (java) S 25091 25091 22939 0 -1 1077944384 672 0 0 0 6 3 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563476294160 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25096] ppid=25091 vsize=15619152 memory=48264 CPUtime=0.07 cores=1,3,5,7
/proc/25093/task/25096/stat : 25096 (java) S 25091 25091 22939 0 -1 1077944384 269 0 0 0 5 2 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563139914384 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25097] ppid=25091 vsize=15619152 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/25093/task/25097/stat : 25097 (java) S 25091 25091 22939 0 -1 1077944384 298 0 0 0 5 2 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563138861328 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25098] ppid=25091 vsize=15619152 memory=2008 CPUtime=0.08 cores=1,3,5,7
/proc/25093/task/25098/stat : 25098 (java) S 25091 25091 22939 0 -1 1077944384 1701 0 0 0 5 3 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563137808784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25099] ppid=25091 vsize=15619152 memory=1436 CPUtime=0.01 cores=1,3,5,7
/proc/25093/task/25099/stat : 25099 (java) S 25091 25091 22939 0 -1 1077944384 988 0 0 0 1 0 0 0 20 0 19 0 445395401 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563084077808 140563548265090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25100] ppid=25091 vsize=15619152 memory=580 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25100/stat : 25100 (java) S 25091 25091 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445395402 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563083024096 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25101] ppid=25091 vsize=15619152 memory=984 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25101/stat : 25101 (java) S 25091 25091 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445395402 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563081970944 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25102] ppid=25091 vsize=15619152 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25102/stat : 25102 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563080919504 140563548272539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25103] ppid=25091 vsize=15619152 memory=25812 CPUtime=2.99 cores=1,3,5,7
/proc/25093/task/25103/stat : 25103 (java) S 25091 25091 22939 0 -1 1077944384 5863 0 0 0 299 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563079866608 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25104] ppid=25091 vsize=15619152 memory=14048 CPUtime=3.1 cores=1,3,5,7
/proc/25093/task/25104/stat : 25104 (java) S 25091 25091 22939 0 -1 1077944384 8445 0 0 0 310 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563078814064 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25105] ppid=25091 vsize=15619152 memory=2124 CPUtime=1.01 cores=1,3,5,7
/proc/25093/task/25105/stat : 25105 (java) S 25091 25091 22939 0 -1 1077944384 4778 0 0 0 100 1 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563077761008 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25106] ppid=25091 vsize=15619152 memory=500 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25106/stat : 25106 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395405 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563076708704 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25107] ppid=25091 vsize=15619152 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 445395405 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25336] ppid=25091 vsize=15619152 memory=928 CPUtime=0.72 cores=1,3,5,7
/proc/25093/task/25336/stat : 25336 (java) R 25091 25091 22939 0 -1 4202560 31 0 0 0 72 0 0 0 20 0 19 0 445396686 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562026810240 140563165848658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25337] ppid=25091 vsize=15619152 memory=1772 CPUtime=0.72 cores=1,3,5,7
/proc/25093/task/25337/stat : 25337 (java) R 25091 25091 22939 0 -1 4202560 33 0 0 0 72 0 0 0 20 0 19 0 445396686 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562024703496 140563163755232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25338] ppid=25091 vsize=15619152 memory=832 CPUtime=0.72 cores=1,3,5,7
/proc/25093/task/25338/stat : 25338 (java) R 25091 25091 22939 0 -1 4202560 41 0 0 0 72 0 0 0 20 0 19 0 445396686 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562021550920 140563164593725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25339] ppid=25091 vsize=15619152 memory=1436 CPUtime=0.7 cores=1,3,5,7
/proc/25093/task/25339/stat : 25339 (java) R 25091 25091 22939 0 -1 4202560 31 0 0 0 70 0 0 0 20 0 19 0 445396686 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562020498888 140563164593721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 48.31 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 642432 KiB
[startup+14.0069 s]*
/proc/loadavg: 8.79 6.32 3.65 6/237 25343
/proc/meminfo: memFree=27678396/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
[pid=25093] ppid=25091 vsize=15619152 memory=640980 CPUtime=49.9 cores=1,3,5,7
/proc/25093/stat : 25093 (java) S 25091 25091 22939 0 -1 1077944320 41897 0 0 0 4961 29 0 0 20 0 19 0 445395399 15994011648 160245 33554432000 4194304 4196468 140729491037616 140729491020160 140563548253943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
/proc/25093/statm: 3904788 160245 3533 1 0 3865888 0
[pid=25093/tid=25094] ppid=25091 vsize=15619152 memory=4501500935648739208 CPUtime=1.07 cores=1,3,5,7
/proc/25093/task/25094/stat : 25094 (java) S 25091 25091 22939 0 -1 1077944384 9549 0 0 0 102 5 0 0 20 0 19 0 445395399 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563552494720 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25095] ppid=25091 vsize=15619152 memory=3472328295574039403 CPUtime=0.09 cores=1,3,5,7
/proc/25093/task/25095/stat : 25095 (java) S 25091 25091 22939 0 -1 1077944384 672 0 0 0 6 3 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563476294160 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25096] ppid=25091 vsize=15619152 memory=3461502536587921121 CPUtime=0.07 cores=1,3,5,7
/proc/25093/task/25096/stat : 25096 (java) S 25091 25091 22939 0 -1 1077944384 269 0 0 0 5 2 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563139914384 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25097] ppid=25091 vsize=15619152 memory=4638778398332901473 CPUtime=0.07 cores=1,3,5,7
/proc/25093/task/25097/stat : 25097 (java) S 25091 25091 22939 0 -1 1077944384 298 0 0 0 5 2 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563138861328 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25098] ppid=25091 vsize=15619152 memory=3472328296227418159 CPUtime=0.08 cores=1,3,5,7
/proc/25093/task/25098/stat : 25098 (java) S 25091 25091 22939 0 -1 1077944384 1701 0 0 0 5 3 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563137808784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25099] ppid=25091 vsize=15619152 memory=164 CPUtime=0.01 cores=1,3,5,7
/proc/25093/task/25099/stat : 25099 (java) S 25091 25091 22939 0 -1 1077944384 989 0 0 0 1 0 0 0 20 0 19 0 445395401 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563084077808 140563548265090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25100] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25100/stat : 25100 (java) S 25091 25091 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445395402 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563083024096 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25101] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25101/stat : 25101 (java) S 25091 25091 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445395402 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563081970944 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25102] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25102/stat : 25102 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563080919504 140563548272539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25103] ppid=25091 vsize=15619152 memory=0 CPUtime=3.01 cores=1,3,5,7
/proc/25093/task/25103/stat : 25103 (java) R 25091 25091 22939 0 -1 1077944384 5880 0 0 0 301 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563079866608 140563548265090 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25104] ppid=25091 vsize=15619152 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/25093/task/25104/stat : 25104 (java) S 25091 25091 22939 0 -1 1077944384 8445 0 0 0 310 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563078814064 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25105] ppid=25091 vsize=15619152 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/25093/task/25105/stat : 25105 (java) S 25091 25091 22939 0 -1 1077944384 4846 0 0 0 101 1 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563077761008 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25106] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25106/stat : 25106 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395405 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563076708704 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25107] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 445395405 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25344] ppid=25091 vsize=15619152 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25344/stat : 25344 (java) R 25091 25091 22939 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562024704896 140563165128046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25345] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25345/stat : 25345 (java) R 25091 25091 22939 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562026811552 140563164293491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25346] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25346/stat : 25346 (java) R 25091 25091 22939 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562021550816 140563164293827 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25347] ppid=25091 vsize=15619152 memory=107773614359529 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25347/stat : 25347 (java) R 25091 25091 22939 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562020498784 140563548264149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 49.9 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 642432 KiB
[startup+14.1106 s]
/proc/loadavg: 8.79 6.32 3.65 6/237 25343
/proc/meminfo: memFree=27678396/32770624 swapFree=66959728/67108860
[pid=25091] ppid=25088 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25091/stat : 25091 (xcsp3-exec) S 25088 25091 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445395399 115843072 363 33554432000 4194304 5098028 140733402724448 140733402722552 139920870965884 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39280640 140733402727290 140733402727533 140733402727533 140733402730442 0
/proc/25091/statm: 28282 363 304 221 0 87 0
[pid=25093] ppid=25091 vsize=15619152 memory=640980 CPUtime=50.26 cores=1,3,5,7
/proc/25093/stat : 25093 (java) S 25091 25091 22939 0 -1 1077944320 41928 0 0 0 4997 29 0 0 20 0 19 0 445395399 15994011648 160245 33554432000 4194304 4196468 140729491037616 140729491020160 140563548253943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
/proc/25093/statm: 3904788 160245 3533 1 0 3865888 0
[pid=25093/tid=25094] ppid=25091 vsize=15619152 memory=640980 CPUtime=1.07 cores=1,3,5,7
/proc/25093/task/25094/stat : 25094 (java) S 25091 25091 22939 0 -1 1077944384 9549 0 0 0 102 5 0 0 20 0 19 0 445395399 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563552494720 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25095] ppid=25091 vsize=15619152 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/25093/task/25095/stat : 25095 (java) S 25091 25091 22939 0 -1 1077944384 672 0 0 0 6 3 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563476294160 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25096] ppid=25091 vsize=15619152 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/25093/task/25096/stat : 25096 (java) S 25091 25091 22939 0 -1 1077944384 269 0 0 0 5 2 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563139914384 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25097] ppid=25091 vsize=15619152 memory=4639059895069856102 CPUtime=0.07 cores=1,3,5,7
/proc/25093/task/25097/stat : 25097 (java) S 25091 25091 22939 0 -1 1077944384 298 0 0 0 5 2 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563138861328 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25098] ppid=25091 vsize=15619152 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25093/task/25098/stat : 25098 (java) S 25091 25091 22939 0 -1 1077944384 1701 0 0 0 5 3 0 0 20 0 19 0 445395400 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563137808784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25099] ppid=25091 vsize=15619152 memory=288230600312357161 CPUtime=0.01 cores=1,3,5,7
/proc/25093/task/25099/stat : 25099 (java) S 25091 25091 22939 0 -1 1077944384 989 0 0 0 1 0 0 0 20 0 19 0 445395401 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563084077808 140563548265090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25100] ppid=25091 vsize=15619152 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25100/stat : 25100 (java) S 25091 25091 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445395402 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563083024096 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25101] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25101/stat : 25101 (java) S 25091 25091 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445395402 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563081970944 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25102] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25102/stat : 25102 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563080919504 140563548272539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25103] ppid=25091 vsize=15619152 memory=4420 CPUtime=3.01 cores=1,3,5,7
/proc/25093/task/25103/stat : 25103 (java) S 25091 25091 22939 0 -1 1077944384 5880 0 0 0 301 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563079866608 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25104] ppid=25091 vsize=15619152 memory=6628 CPUtime=3.1 cores=1,3,5,7
/proc/25093/task/25104/stat : 25104 (java) S 25091 25091 22939 0 -1 1077944384 8445 0 0 0 310 0 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563078814064 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25105] ppid=25091 vsize=15619152 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/25093/task/25105/stat : 25105 (java) S 25091 25091 22939 0 -1 1077944384 4853 0 0 0 101 1 0 0 20 0 19 0 445395404 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563077761008 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25106] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25106/stat : 25106 (java) S 25091 25091 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445395405 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563076708704 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25107] ppid=25091 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25093/task/25107/stat : 25107 (java) S 25091 25091 22939 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 445395405 15994011648 160245 33554432000 4194304 4196468 140729491037616 140563075656752 140563548265090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25344] ppid=25091 vsize=15619152 memory=15994011647 CPUtime=0.09 cores=1,3,5,7
/proc/25093/task/25344/stat : 25344 (java) S 25091 25091 22939 0 -1 1077944384 21 0 0 0 9 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562024705744 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25345] ppid=25091 vsize=15619152 memory=16439407053 CPUtime=0.09 cores=1,3,5,7
/proc/25093/task/25345/stat : 25345 (java) S 25091 25091 22939 0 -1 1077944384 20 0 0 0 9 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562026812048 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25346] ppid=25091 vsize=15619152 memory=16439408099 CPUtime=0.1 cores=1,3,5,7
/proc/25093/task/25346/stat : 25346 (java) R 25091 25091 22939 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562021544456 140563164200950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
[pid=25093/tid=25347] ppid=25091 vsize=15619152 memory=16439408099 CPUtime=0.08 cores=1,3,5,7
/proc/25093/task/25347/stat : 25347 (java) S 25091 25091 22939 0 -1 1077944384 19 0 0 0 8 0 0 0 20 0 19 0 445396800 15994011648 160245 33554432000 4194304 4196468 140729491037616 140562020496784 140563548264149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39755776 140729491039215 140729491039386 140729491039386 140729491042255 0
Current children cumulated CPU time: 50.26 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 642432 KiB
Child status: 0
Real time (s): 14.1792
CPU time (s): 50.3426
CPU user time (s): 50.0418
CPU system time (s): 0.3008
CPU usage (%): 355.046
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 642452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.0418
system time used= 0.3008
maximum resident set size= 641248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42788
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= 4482
involuntary context switches= 1643
# summary of solver processes directly reported to runsolver:
# pid: 25091
# total CPU time (s): 50.3426
# total CPU user time (s): 50.0418
# total CPU system time (s): 0.3008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117723 second user time and 0.19836 second system time
The end