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 (656 MiB free)
memory of node 1: 16384 MiB (1827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404128-1568991484/watcher-4404128-1568991484 -o /var/tmp/evaluation-result-4404128-1568991484/solver-4404128-1568991484 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 768551812 HOME/instance-4404128-1568991484.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=5596, runsolver pid=5593
Current StackSize limit: 8192 KiB
[startup+0.100316 s]*
/proc/loadavg: 8.13 8.33 8.14 8/233 5612
/proc/meminfo: memFree=2525944/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
[pid=5598] ppid=5596 vsize=15144776 memory=28848 CPUtime=0.13 cores=1,3,5,7
/proc/5598/stat : 5598 (java) S 5596 5596 31580 0 -1 1077944320 5669 0 0 0 12 1 0 0 20 0 15 0 475088463 15508250624 7212 33554432000 4194304 4196468 140733729732352 140733729714896 140600122547959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
/proc/5598/statm: 3786194 7212 3125 1 0 3748377 0
[pid=5598/tid=5599] ppid=5596 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/5598/task/5599/stat : 5599 (java) R 5596 5596 31580 0 -1 4202560 3594 0 0 0 9 0 0 0 20 0 15 0 475088463 15508250624 7212 33554432000 4194304 4196468 140733729732352 140600126769424 140600114785086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5600] ppid=5596 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5600/stat : 5600 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 7212 33554432000 4194304 4196468 140733729732352 140600050588048 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5601] ppid=5596 vsize=15144776 memory=140493295720064 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5601/stat : 5601 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599714244880 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5602] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5602/stat : 5602 (java) S 5596 5596 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599713192592 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5603] ppid=5596 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5603/stat : 5603 (java) S 5596 5596 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599712139792 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5604] ppid=5596 vsize=15144776 memory=140493295720064 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5604/stat : 5604 (java) S 5596 5596 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088465 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599683947120 140600122559106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5605] ppid=5596 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5605/stat : 5605 (java) S 5596 5596 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475088466 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599682893088 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5606] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5606/stat : 5606 (java) S 5596 5596 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475088466 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599681840752 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5607] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5607/stat : 5607 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088468 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599680789072 140600122566555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5608] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5608/stat : 5608 (java) R 5596 5596 31580 0 -1 4202560 319 0 0 0 0 0 0 0 20 0 15 0 475088468 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599679727568 140600100142704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5609] ppid=5596 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5609/stat : 5609 (java) R 5596 5596 31580 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475088468 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599678683216 140600122558165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5610] ppid=5596 vsize=15144776 memory=140493295720064 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5610/stat : 5610 (java) S 5596 5596 31580 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 475088469 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599677630832 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5611] ppid=5596 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5611/stat : 5611 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088469 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599676578272 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5612] ppid=5596 vsize=15144776 memory=140493295720064 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5612/stat : 5612 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088469 15508250624 7212 33554432000 4194304 4196468 140733729732352 140599675526064 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30300 KiB
[startup+0.210737 s]*
/proc/loadavg: 8.13 8.33 8.14 6/233 5612
/proc/meminfo: memFree=2512952/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
[pid=5598] ppid=5596 vsize=15144776 memory=41080 CPUtime=0.34 cores=1,3,5,7
/proc/5598/stat : 5598 (java) S 5596 5596 31580 0 -1 1077944320 9498 0 0 0 31 3 0 0 20 0 15 0 475088463 15508250624 10270 33554432000 4194304 4196468 140733729732352 140733729714896 140600122547959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
/proc/5598/statm: 3786194 10270 3310 1 0 3748377 0
[pid=5598/tid=5599] ppid=5596 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/5598/task/5599/stat : 5599 (java) R 5596 5596 31580 0 -1 4202560 6639 0 0 0 18 1 0 0 20 0 15 0 475088463 15508250624 10270 33554432000 4194304 4196468 140733729732352 140600126785424 140600106591589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5600] ppid=5596 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5600/stat : 5600 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 10270 33554432000 4194304 4196468 140733729732352 140600050588048 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5601] ppid=5596 vsize=15144776 memory=140493295749667 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5601/stat : 5601 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599714244880 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5602] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5602/stat : 5602 (java) S 5596 5596 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599713192592 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5603] ppid=5596 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5603/stat : 5603 (java) S 5596 5596 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088464 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599712139792 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5604] ppid=5596 vsize=15144776 memory=140493295720064 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5604/stat : 5604 (java) S 5596 5596 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475088465 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599683947120 140600122559106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5605] ppid=5596 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5605/stat : 5605 (java) S 5596 5596 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475088466 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599682893088 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5606] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5606/stat : 5606 (java) S 5596 5596 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475088466 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599681840752 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5607] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5607/stat : 5607 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088468 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599680789072 140600122566555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5608] ppid=5596 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5608/stat : 5608 (java) R 5596 5596 31580 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 475088468 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599679735920 140600122559106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5609] ppid=5596 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5609/stat : 5609 (java) S 5596 5596 31580 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 475088468 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599678683120 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5610] ppid=5596 vsize=15144776 memory=140493295720064 CPUtime=0.07 cores=1,3,5,7
/proc/5598/task/5610/stat : 5610 (java) R 5596 5596 31580 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 15 0 475088469 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599677630832 140600106628446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5611] ppid=5596 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5611/stat : 5611 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088469 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599676578272 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5612] ppid=5596 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5612/stat : 5612 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088469 15508250624 10270 33554432000 4194304 4196468 140733729732352 140599675526064 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42532 KiB
[startup+0.315545 s]*
/proc/loadavg: 8.13 8.33 8.14 7/233 5612
/proc/meminfo: memFree=2505556/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
[pid=5598] ppid=5596 vsize=15149032 memory=50576 CPUtime=0.53 cores=1,3,5,7
/proc/5598/stat : 5598 (java) S 5596 5596 31580 0 -1 1077944320 10931 0 0 0 50 3 0 0 20 0 15 0 475088463 15512608768 12644 33554432000 4194304 4196468 140733729732352 140733729714896 140600122547959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
/proc/5598/statm: 3787258 12644 3359 1 0 3748377 0
[pid=5598/tid=5599] ppid=5596 vsize=15149032 memory=6935054825532540783 CPUtime=0.31 cores=1,3,5,7
/proc/5598/task/5599/stat : 5599 (java) R 5596 5596 31580 0 -1 4202560 7886 0 0 0 29 2 0 0 20 0 15 0 475088463 15512608768 12652 33554432000 4194304 4196468 140733729732352 140600126784672 140600106628446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5600] ppid=5596 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5600/stat : 5600 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088464 15512608768 12652 33554432000 4194304 4196468 140733729732352 140600050588048 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5601] ppid=5596 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5601/stat : 5601 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088464 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599714244880 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5602] ppid=5596 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5602/stat : 5602 (java) S 5596 5596 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088464 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599713192592 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5603] ppid=5596 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5603/stat : 5603 (java) S 5596 5596 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088464 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599712139792 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5604] ppid=5596 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5604/stat : 5604 (java) S 5596 5596 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475088465 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599683947120 140600122559106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5605] ppid=5596 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5605/stat : 5605 (java) S 5596 5596 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475088466 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599682893088 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5606] ppid=5596 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5606/stat : 5606 (java) S 5596 5596 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475088466 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599681840752 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5607] ppid=5596 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5607/stat : 5607 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088468 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599680789072 140600122566555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5608] ppid=5596 vsize=15149032 memory=7451293988444860568 CPUtime=0.05 cores=1,3,5,7
/proc/5598/task/5608/stat : 5608 (java) S 5596 5596 31580 0 -1 1077944384 685 0 0 0 5 0 0 0 20 0 15 0 475088468 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599679735920 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5609] ppid=5596 vsize=15149032 memory=6944656425123485561 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5609/stat : 5609 (java) S 5596 5596 31580 0 -1 1077944384 253 0 0 0 3 0 0 0 20 0 15 0 475088468 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599678683120 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5610] ppid=5596 vsize=15149032 memory=-7739291672887926688 CPUtime=0.12 cores=1,3,5,7
/proc/5598/task/5610/stat : 5610 (java) S 5596 5596 31580 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 475088469 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599677630832 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5611] ppid=5596 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5611/stat : 5611 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088469 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599676578272 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5612] ppid=5596 vsize=15149032 memory=4628975428865778067 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5612/stat : 5612 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088469 15512608768 12652 33554432000 4194304 4196468 140733729732352 140599675526064 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52028 KiB
[startup+0.701643 s]
/proc/loadavg: 7.88 8.28 8.12 13/238 5681
/proc/meminfo: memFree=2394316/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
[pid=5598] ppid=5596 vsize=15550540 memory=189812 CPUtime=1.65 cores=1,3,5,7
/proc/5598/stat : 5598 (java) S 5596 5596 31580 0 -1 1077944320 18645 0 0 0 156 9 0 0 20 0 19 0 475088463 15923752960 47453 33554432000 4194304 4196468 140733729732352 140733729714896 140600122547959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
/proc/5598/statm: 3887635 47453 3483 1 0 3848735 0
[pid=5598/tid=5599] ppid=5596 vsize=15550540 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/5598/task/5599/stat : 5599 (java) S 5596 5596 31580 0 -1 1077944384 9009 0 0 0 42 3 0 0 20 0 19 0 475088463 15923752960 47453 33554432000 4194304 4196468 140733729732352 140600126788736 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5600] ppid=5596 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5600/stat : 5600 (java) S 5596 5596 31580 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475088464 15923752960 47453 33554432000 4194304 4196468 140733729732352 140600050588048 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5601] ppid=5596 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5601/stat : 5601 (java) S 5596 5596 31580 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475088464 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599714244880 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5602] ppid=5596 vsize=15550540 memory=280986290033088 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5602/stat : 5602 (java) S 5596 5596 31580 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475088464 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599713192592 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5603] ppid=5596 vsize=15550540 memory=-9110635228796802480 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5603/stat : 5603 (java) S 5596 5596 31580 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475088464 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599712139792 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5604] ppid=5596 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5604/stat : 5604 (java) S 5596 5596 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475088465 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599683947120 140600122559106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5605] ppid=5596 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5605/stat : 5605 (java) S 5596 5596 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475088466 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599682893152 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5606] ppid=5596 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5606/stat : 5606 (java) S 5596 5596 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475088466 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599681840768 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5607] ppid=5596 vsize=15550540 memory=56 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5607/stat : 5607 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088468 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599680789072 140600122566555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5608] ppid=5596 vsize=15550540 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/5598/task/5608/stat : 5608 (java) R 5596 5596 31580 0 -1 4202560 1475 0 0 0 26 0 0 0 20 0 19 0 475088468 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599679716808 140600106041961 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5609] ppid=5596 vsize=15550540 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/5598/task/5609/stat : 5609 (java) D 5596 5596 31580 0 -1 4202560 1341 0 0 0 22 0 0 0 20 0 19 0 475088468 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599678668888 140600115265111 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5610] ppid=5596 vsize=15550540 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/5598/task/5610/stat : 5610 (java) D 5596 5596 31580 0 -1 4202560 1736 0 0 0 29 1 0 0 20 0 19 0 475088469 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599677629224 140600115265111 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5611] ppid=5596 vsize=15550540 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5611/stat : 5611 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088469 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599676578272 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5612] ppid=5596 vsize=15550540 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5612/stat : 5612 (java) S 5596 5596 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475088469 15923752960 47453 33554432000 4194304 4196468 140733729732352 140599675526064 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 191264 KiB
[startup+1.50954 s]
/proc/loadavg: 7.88 8.28 8.12 11/237 5852
/proc/meminfo: memFree=2344148/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 580896 KiB
[startup+18.4015 s]
/proc/loadavg: 7.91 8.26 8.12 10/237 5884
/proc/meminfo: memFree=1972380/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
[pid=5598] ppid=5596 vsize=15551568 memory=579444 CPUtime=71.79 cores=1,3,5,7
/proc/5598/stat : 5598 (java) S 5596 5596 31580 0 -1 1077944320 42572 0 0 0 7157 22 0 0 20 0 19 0 475088463 15924805632 144861 33554432000 4194304 4196468 140733729732352 140733729714896 140600122547959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
/proc/5598/statm: 3887892 144861 3514 1 0 3848992 0
[pid=5598/tid=5599] ppid=5596 vsize=15551568 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/5598/task/5599/stat : 5599 (java) S 5596 5596 31580 0 -1 1077944384 9010 0 0 0 43 3 0 0 20 0 19 0 475088463 15924805632 144861 33554432000 4194304 4196468 140733729732352 140600126788736 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5600] ppid=5596 vsize=15551568 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5600/stat : 5600 (java) S 5596 5596 31580 0 -1 1077944384 755 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144861 33554432000 4194304 4196468 140733729732352 140600050588048 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5601] ppid=5596 vsize=15551568 memory=7230645025961766505 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5601/stat : 5601 (java) S 5596 5596 31580 0 -1 1077944384 559 0 0 0 1 1 0 0 20 0 19 0 475088464 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599714244880 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5602] ppid=5596 vsize=15551568 memory=7230645025961766505 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5602/stat : 5602 (java) S 5596 5596 31580 0 -1 1077944384 178 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599713192592 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5603] ppid=5596 vsize=15551568 memory=6441370576508249454 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5603/stat : 5603 (java) S 5596 5596 31580 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599712139792 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5604] ppid=5596 vsize=15551568 memory=7882828121784479853 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5604/stat : 5604 (java) S 5596 5596 31580 0 -1 1077944384 693 0 0 0 2 0 0 0 20 0 19 0 475088465 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599683947120 140600122559106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5605] ppid=5596 vsize=15551568 memory=7882828121784479853 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5605/stat : 5605 (java) S 5596 5596 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475088466 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599682893152 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5606] ppid=5596 vsize=15551568 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5606/stat : 5606 (java) S 5596 5596 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475088466 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599681840768 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5607] ppid=5596 vsize=15551568 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5607/stat : 5607 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088468 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599680789072 140600122566555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5608] ppid=5596 vsize=15551568 memory=579448 CPUtime=2.04 cores=1,3,5,7
/proc/5598/task/5608/stat : 5608 (java) S 5596 5596 31580 0 -1 1077944384 8711 0 0 0 203 1 0 0 20 0 19 0 475088468 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599679735920 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5609] ppid=5596 vsize=15551568 memory=8112282956445269571 CPUtime=1.69 cores=1,3,5,7
/proc/5598/task/5609/stat : 5609 (java) S 5596 5596 31580 0 -1 1077944384 9112 0 0 0 169 0 0 0 20 0 19 0 475088468 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599678683120 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5610] ppid=5596 vsize=15551568 memory=10604 CPUtime=0.47 cores=1,3,5,7
/proc/5598/task/5610/stat : 5610 (java) S 5596 5596 31580 0 -1 1077944384 4381 0 0 0 46 1 0 0 20 0 19 0 475088469 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599677630832 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5611] ppid=5596 vsize=15551568 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5611/stat : 5611 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088469 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599676578272 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5612] ppid=5596 vsize=15551568 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5612/stat : 5612 (java) S 5596 5596 31580 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 19 0 475088469 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599675526064 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5881] ppid=5596 vsize=15551568 memory=1564 CPUtime=16.28 cores=1,3,5,7
/proc/5598/task/5881/stat : 5881 (java) R 5596 5596 31580 0 -1 4202560 141 0 0 0 1628 0 0 0 20 0 19 0 475088630 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599665253736 140599734331242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5882] ppid=5596 vsize=15551568 memory=6088 CPUtime=16.04 cores=1,3,5,7
/proc/5598/task/5882/stat : 5882 (java) R 5596 5596 31580 0 -1 4202560 640 0 0 0 1603 1 0 0 20 0 19 0 475088630 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599663148888 140599735219671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5883] ppid=5596 vsize=15551568 memory=1060 CPUtime=15.97 cores=1,3,5,7
/proc/5598/task/5883/stat : 5883 (java) R 5596 5596 31580 0 -1 4202560 791 0 0 0 1597 0 0 0 20 0 19 0 475088630 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599659991752 140599734110107 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5884] ppid=5596 vsize=15551568 memory=2828 CPUtime=16.06 cores=1,3,5,7
/proc/5598/task/5884/stat : 5884 (java) R 5596 5596 31580 0 -1 4202560 771 0 0 0 1602 4 0 0 20 0 19 0 475088630 15924805632 144861 33554432000 4194304 4196468 140733729732352 140599666309200 140599734669291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
Current children cumulated CPU time: 71.79 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 580896 KiB
[startup+18.8015 s]
/proc/loadavg: 7.91 8.26 8.12 10/237 5884
/proc/meminfo: memFree=1972380/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
[pid=5598] ppid=5596 vsize=15551568 memory=576876 CPUtime=73.38 cores=1,3,5,7
/proc/5598/stat : 5598 (java) S 5596 5596 31580 0 -1 1077944320 42586 0 0 0 7316 22 0 0 20 0 19 0 475088463 15924805632 144219 33554432000 4194304 4196468 140733729732352 140733729714896 140600122547959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
/proc/5598/statm: 3887892 144219 3514 1 0 3848992 0
[pid=5598/tid=5599] ppid=5596 vsize=15551568 memory=15261432686053804 CPUtime=0.46 cores=1,3,5,7
/proc/5598/task/5599/stat : 5599 (java) S 5596 5596 31580 0 -1 1077944384 9010 0 0 0 43 3 0 0 20 0 19 0 475088463 15924805632 144219 33554432000 4194304 4196468 140733729732352 140600126788736 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5600] ppid=5596 vsize=15551568 memory=6788 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5600/stat : 5600 (java) S 5596 5596 31580 0 -1 1077944384 755 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140600050588048 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5601] ppid=5596 vsize=15551568 memory=6656426216303648864 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5601/stat : 5601 (java) S 5596 5596 31580 0 -1 1077944384 565 0 0 0 1 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599714244880 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5602] ppid=5596 vsize=15551568 memory=800 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5602/stat : 5602 (java) S 5596 5596 31580 0 -1 1077944384 178 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599713192592 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5603] ppid=5596 vsize=15551568 memory=4096 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5603/stat : 5603 (java) S 5596 5596 31580 0 -1 1077944384 118 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599712139792 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5604] ppid=5596 vsize=15551568 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5604/stat : 5604 (java) S 5596 5596 31580 0 -1 1077944384 693 0 0 0 2 0 0 0 20 0 19 0 475088465 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599683947120 140600122559106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5605] ppid=5596 vsize=15551568 memory=3404 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5605/stat : 5605 (java) S 5596 5596 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475088466 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599682893152 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5606] ppid=5596 vsize=15551568 memory=2869764983842152 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5606/stat : 5606 (java) S 5596 5596 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475088466 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599681840768 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5607] ppid=5596 vsize=15551568 memory=4176336 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5607/stat : 5607 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088468 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599680789072 140600122566555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5608] ppid=5596 vsize=15551568 memory=1412 CPUtime=2.04 cores=1,3,5,7
/proc/5598/task/5608/stat : 5608 (java) S 5596 5596 31580 0 -1 1077944384 8711 0 0 0 203 1 0 0 20 0 19 0 475088468 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599679735920 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5609] ppid=5596 vsize=15551568 memory=2812 CPUtime=1.69 cores=1,3,5,7
/proc/5598/task/5609/stat : 5609 (java) S 5596 5596 31580 0 -1 1077944384 9112 0 0 0 169 0 0 0 20 0 19 0 475088468 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599678683120 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5610] ppid=5596 vsize=15551568 memory=1452 CPUtime=0.47 cores=1,3,5,7
/proc/5598/task/5610/stat : 5610 (java) S 5596 5596 31580 0 -1 1077944384 4381 0 0 0 46 1 0 0 20 0 19 0 475088469 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599677630832 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5611] ppid=5596 vsize=15551568 memory=7813854666484247396 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5611/stat : 5611 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088469 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599676578272 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5612] ppid=5596 vsize=15551568 memory=2321949992114471273 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5612/stat : 5612 (java) S 5596 5596 31580 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 19 0 475088469 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599675526064 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5881] ppid=5596 vsize=15551568 memory=2321949992114471273 CPUtime=16.67 cores=1,3,5,7
/proc/5598/task/5881/stat : 5881 (java) R 5596 5596 31580 0 -1 4202560 141 0 0 0 1667 0 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599665253472 140599734331245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5882] ppid=5596 vsize=15551568 memory=2321949992114471273 CPUtime=16.43 cores=1,3,5,7
/proc/5598/task/5882/stat : 5882 (java) R 5596 5596 31580 0 -1 4202560 640 0 0 0 1642 1 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599663149104 140599735219157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5883] ppid=5596 vsize=15551568 memory=2321949992114471273 CPUtime=16.37 cores=1,3,5,7
/proc/5598/task/5883/stat : 5883 (java) R 5596 5596 31580 0 -1 4202560 791 0 0 0 1637 0 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599659991752 140599735204761 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5884] ppid=5596 vsize=15551568 memory=73809 CPUtime=16.46 cores=1,3,5,7
/proc/5598/task/5884/stat : 5884 (java) R 5596 5596 31580 0 -1 4202560 772 0 0 0 1642 4 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599666309216 140599735732752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
Current children cumulated CPU time: 73.38 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 578328 KiB
[startup+19.2065 s]
/proc/loadavg: 7.91 8.26 8.12 9/237 5884
/proc/meminfo: memFree=1974928/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
[pid=5598] ppid=5596 vsize=15551568 memory=576876 CPUtime=74.99 cores=1,3,5,7
/proc/5598/stat : 5598 (java) S 5596 5596 31580 0 -1 1077944320 42659 0 0 0 7477 22 0 0 20 0 19 0 475088463 15924805632 144219 33554432000 4194304 4196468 140733729732352 140733729714896 140600122547959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
/proc/5598/statm: 3887892 144219 3514 1 0 3848992 0
[pid=5598/tid=5599] ppid=5596 vsize=15551568 memory=6944656591801717405 CPUtime=0.46 cores=1,3,5,7
/proc/5598/task/5599/stat : 5599 (java) S 5596 5596 31580 0 -1 1077944384 9010 0 0 0 43 3 0 0 20 0 19 0 475088463 15924805632 144219 33554432000 4194304 4196468 140733729732352 140600126788736 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5600] ppid=5596 vsize=15551568 memory=6944656592452807314 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5600/stat : 5600 (java) S 5596 5596 31580 0 -1 1077944384 755 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140600050588048 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5601] ppid=5596 vsize=15551568 memory=-7812736537705029536 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5601/stat : 5601 (java) S 5596 5596 31580 0 -1 1077944384 565 0 0 0 1 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599714244880 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5602] ppid=5596 vsize=15551568 memory=280986290882304 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5602/stat : 5602 (java) S 5596 5596 31580 0 -1 1077944384 178 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599713192592 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5603] ppid=5596 vsize=15551568 memory=6944656592387989600 CPUtime=0.03 cores=1,3,5,7
/proc/5598/task/5603/stat : 5603 (java) S 5596 5596 31580 0 -1 1077944384 118 0 0 0 2 1 0 0 20 0 19 0 475088464 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599712139792 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5604] ppid=5596 vsize=15551568 memory=6944652177228980320 CPUtime=0.02 cores=1,3,5,7
/proc/5598/task/5604/stat : 5604 (java) S 5596 5596 31580 0 -1 1077944384 693 0 0 0 2 0 0 0 20 0 19 0 475088465 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599683947120 140600122559106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5605] ppid=5596 vsize=15551568 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5605/stat : 5605 (java) S 5596 5596 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475088466 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599682893152 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5606] ppid=5596 vsize=15551568 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5606/stat : 5606 (java) S 5596 5596 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475088466 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599681840768 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5607] ppid=5596 vsize=15551568 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5607/stat : 5607 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088468 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599680789072 140600122566555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5608] ppid=5596 vsize=15551568 memory=56 CPUtime=2.04 cores=1,3,5,7
/proc/5598/task/5608/stat : 5608 (java) S 5596 5596 31580 0 -1 1077944384 8711 0 0 0 203 1 0 0 20 0 19 0 475088468 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599679735920 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5609] ppid=5596 vsize=15551568 memory=280986290487712 CPUtime=1.69 cores=1,3,5,7
/proc/5598/task/5609/stat : 5609 (java) S 5596 5596 31580 0 -1 1077944384 9112 0 0 0 169 0 0 0 20 0 19 0 475088468 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599678683120 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5610] ppid=5596 vsize=15551568 memory=6944656592455097440 CPUtime=0.47 cores=1,3,5,7
/proc/5598/task/5610/stat : 5610 (java) S 5596 5596 31580 0 -1 1077944384 4381 0 0 0 46 1 0 0 20 0 19 0 475088469 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599677630832 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5611] ppid=5596 vsize=15551568 memory=4137282616176384387 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5611/stat : 5611 (java) S 5596 5596 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088469 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599676578272 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5612] ppid=5596 vsize=15551568 memory=6933690287860520857 CPUtime=0 cores=1,3,5,7
/proc/5598/task/5612/stat : 5612 (java) S 5596 5596 31580 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 19 0 475088469 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599675526064 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5881] ppid=5596 vsize=15551568 memory=0 CPUtime=17.08 cores=1,3,5,7
/proc/5598/task/5881/stat : 5881 (java) S 5596 5596 31580 0 -1 1077944384 159 0 0 0 1708 0 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599665256960 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5882] ppid=5596 vsize=15551568 memory=280986290658312 CPUtime=16.84 cores=1,3,5,7
/proc/5598/task/5882/stat : 5882 (java) S 5596 5596 31580 0 -1 1077944384 647 0 0 0 1683 1 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599663153120 140600122558165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5883] ppid=5596 vsize=15551568 memory=0 CPUtime=16.76 cores=1,3,5,7
/proc/5598/task/5883/stat : 5883 (java) R 5596 5596 31580 0 -1 4202560 827 0 0 0 1676 0 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599659991752 140599735845225 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
[pid=5598/tid=5884] ppid=5596 vsize=15551568 memory=0 CPUtime=16.86 cores=1,3,5,7
/proc/5598/task/5884/stat : 5884 (java) S 5596 5596 31580 0 -1 1077944384 784 0 0 0 1682 4 0 0 20 0 19 0 475088630 15924805632 144219 33554432000 4194304 4196468 140733729732352 140599666311296 140600122559106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12103680 140733729739739 140733729739914 140733729739914 140733729742799 0
Current children cumulated CPU time: 74.99 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 578328 KiB
[startup+19.3008 s]
/proc/loadavg: 7.91 8.26 8.12 9/237 5884
/proc/meminfo: memFree=1974928/32770624 swapFree=66976740/67108860
[pid=5596] ppid=5593 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5596/stat : 5596 (xcsp3-exec) S 5593 5596 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475088463 115843072 363 33554432000 4194304 5098028 140733987057552 140733987055656 140019986096764 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10711040 140733987066711 140733987066969 140733987066969 140733987069894 0
/proc/5596/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 19.3076
CPU time (s): 75.3747
CPU user time (s): 75.1408
CPU system time (s): 0.233918
CPU usage (%): 390.39
Max. virtual memory (cumulated for all children) (KiB): 15665416
Max. memory (cumulated for all children) (KiB): 588960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.1408
system time used= 0.233918
maximum resident set size= 589560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44086
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= 4675
involuntary context switches= 2343
# summary of solver processes directly reported to runsolver:
# pid: 5596
# total CPU time (s): 75.3747
# total CPU user time (s): 75.1408
# total CPU system time (s): 0.233918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154223 second user time and 0.258508 second system time
The end