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 (5028 MiB free)
memory of node 1: 16384 MiB (5515 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404166-1568990000/watcher-4404166-1568990000 -o /var/tmp/evaluation-result-4404166-1568990000/solver-4404166-1568990000 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5358 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 113612585 HOME/instance-4404166-1568990000.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=5691, runsolver pid=5688
[startup+0.100058 s]*
/proc/loadavg: 1.88 1.36 1.47 6/230 5707
/proc/meminfo: memFree=10769004/32770624 swapFree=66972236/67108860
[pid=5691] ppid=5688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (xcsp3-exec) S 5688 5691 5327 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474941821 115843072 363 33554432000 4194304 5098028 140735726038576 140735726036680 139772436210300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140735726039895 140735726040153 140735726040153 140735726043078 0
/proc/5691/statm: 28282 363 305 221 0 87 0
[pid=5693] ppid=5691 vsize=15144776 memory=30336 CPUtime=0.13 cores=0,2,4,6
/proc/5693/stat : 5693 (java) S 5691 5691 5327 0 -1 1077944320 5449 0 0 0 12 1 0 0 20 0 15 0 474941821 15508250624 7584 33554432000 4194304 4196468 140723989436304 140723989418848 139650699800311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
/proc/5693/statm: 3786194 7584 3163 1 0 3748377 0
[pid=5693/tid=5694] ppid=5691 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=0,2,4,6
/proc/5693/task/5694/stat : 5694 (java) S 5691 5691 5327 0 -1 1077944384 3370 0 0 0 9 0 0 0 20 0 15 0 474941821 15508250624 7584 33554432000 4194304 4196468 140723989436304 139650704029664 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5695] ppid=5691 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5695/stat : 5695 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 7584 33554432000 4194304 4196468 140723989436304 139650292226576 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5696] ppid=5691 vsize=15144776 memory=140431779886720 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5696/stat : 5696 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 7584 33554432000 4194304 4196468 140723989436304 139650291174032 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5697] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5697/stat : 5697 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 7584 33554432000 4194304 4196468 140723989436304 139650290120976 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5698] ppid=5691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5698/stat : 5698 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 7584 33554432000 4194304 4196468 140723989436304 139650289068432 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5699] ppid=5691 vsize=15144776 memory=140431779886720 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5699/stat : 5699 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941823 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650034244336 139650699811458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5700] ppid=5691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (java) S 5691 5691 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941824 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650033190560 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5701] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5701/stat : 5701 (java) S 5691 5691 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941824 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650032137456 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5702] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5702/stat : 5702 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941826 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650031086032 139650699818907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5703] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5703/stat : 5703 (java) S 5691 5691 5327 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 474941826 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650030033136 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5704] ppid=5691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5704/stat : 5704 (java) S 5691 5691 5327 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 474941826 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650028980592 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5705] ppid=5691 vsize=15144776 memory=140431779886720 CPUtime=0.02 cores=0,2,4,6
/proc/5693/task/5705/stat : 5705 (java) R 5691 5691 5327 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 474941826 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650027927536 139650678431713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5706] ppid=5691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5706/stat : 5706 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941827 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650026875232 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5707] ppid=5691 vsize=15144776 memory=140431779886720 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5707/stat : 5707 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941827 15508250624 7649 33554432000 4194304 4196468 140723989436304 139650025823280 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31788 KiB
[startup+0.210811 s]*
/proc/loadavg: 1.88 1.36 1.47 7/230 5707
/proc/meminfo: memFree=10747860/32770624 swapFree=66972236/67108860
[pid=5691] ppid=5688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (xcsp3-exec) S 5688 5691 5327 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474941821 115843072 363 33554432000 4194304 5098028 140735726038576 140735726036680 139772436210300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140735726039895 140735726040153 140735726040153 140735726043078 0
/proc/5691/statm: 28282 363 305 221 0 87 0
[pid=5693] ppid=5691 vsize=15144776 memory=40876 CPUtime=0.35 cores=0,2,4,6
/proc/5693/stat : 5693 (java) S 5691 5691 5327 0 -1 1077944320 8903 0 0 0 32 3 0 0 20 0 15 0 474941821 15508250624 10219 33554432000 4194304 4196468 140723989436304 140723989418848 139650699800311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
/proc/5693/statm: 3786194 10219 3319 1 0 3748377 0
[pid=5693/tid=5694] ppid=5691 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5693/task/5694/stat : 5694 (java) R 5691 5691 5327 0 -1 4202560 6167 0 0 0 18 2 0 0 20 0 15 0 474941821 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650704037072 139650699822237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5695] ppid=5691 vsize=15144776 memory=13657 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5695/stat : 5695 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650292226576 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5696] ppid=5691 vsize=15144776 memory=140431783229586 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5696/stat : 5696 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650291174032 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5697] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5697/stat : 5697 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650290120976 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5698] ppid=5691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5698/stat : 5698 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650289068432 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5699] ppid=5691 vsize=15144776 memory=140431779886720 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5699/stat : 5699 (java) S 5691 5691 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474941823 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650034244336 139650699811458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5700] ppid=5691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (java) S 5691 5691 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941824 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650033190560 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5701] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5701/stat : 5701 (java) S 5691 5691 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941824 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650032137456 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5702] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5702/stat : 5702 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941826 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650031086032 139650699818907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5703] ppid=5691 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5693/task/5703/stat : 5703 (java) S 5691 5691 5327 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 474941826 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650030033136 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5704] ppid=5691 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5693/task/5704/stat : 5704 (java) S 5691 5691 5327 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 474941826 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650028980592 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5705] ppid=5691 vsize=15144776 memory=140431779886720 CPUtime=0.08 cores=0,2,4,6
/proc/5693/task/5705/stat : 5705 (java) R 5691 5691 5327 0 -1 4202560 784 0 0 0 8 0 0 0 20 0 15 0 474941826 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650027927536 139650678320745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5706] ppid=5691 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5706/stat : 5706 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941827 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650026875232 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5707] ppid=5691 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5707/stat : 5707 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941827 15508250624 10219 33554432000 4194304 4196468 140723989436304 139650025823280 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42328 KiB
[startup+0.310808 s]*
/proc/loadavg: 1.88 1.36 1.47 6/230 5707
/proc/meminfo: memFree=10726196/32770624 swapFree=66972236/67108860
[pid=5691] ppid=5688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (xcsp3-exec) S 5688 5691 5327 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474941821 115843072 363 33554432000 4194304 5098028 140735726038576 140735726036680 139772436210300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140735726039895 140735726040153 140735726040153 140735726043078 0
/proc/5691/statm: 28282 363 305 221 0 87 0
[pid=5693] ppid=5691 vsize=15149032 memory=49320 CPUtime=0.52 cores=0,2,4,6
/proc/5693/stat : 5693 (java) S 5691 5691 5327 0 -1 1077944320 10152 0 0 0 49 3 0 0 20 0 15 0 474941821 15512608768 12330 33554432000 4194304 4196468 140723989436304 140723989418848 139650699800311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
/proc/5693/statm: 3787258 12330 3354 1 0 3748377 0
[pid=5693/tid=5694] ppid=5691 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/5693/task/5694/stat : 5694 (java) R 5691 5691 5327 0 -1 4202560 7275 0 0 0 27 2 0 0 20 0 15 0 474941821 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650704031424 139650699822237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5695] ppid=5691 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5695/stat : 5695 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650292226576 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5696] ppid=5691 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5696/stat : 5696 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650291174032 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5697] ppid=5691 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5697/stat : 5697 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650290120976 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5698] ppid=5691 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5698/stat : 5698 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650289068432 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5699] ppid=5691 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5699/stat : 5699 (java) S 5691 5691 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474941823 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650034244336 139650699811458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5700] ppid=5691 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (java) S 5691 5691 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941824 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650033190560 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5701] ppid=5691 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5701/stat : 5701 (java) S 5691 5691 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941824 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650032137456 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5702] ppid=5691 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5702/stat : 5702 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941826 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650031086032 139650699818907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5703] ppid=5691 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/5693/task/5703/stat : 5703 (java) S 5691 5691 5327 0 -1 1077944384 513 0 0 0 4 0 0 0 20 0 15 0 474941826 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650030033136 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5704] ppid=5691 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5693/task/5704/stat : 5704 (java) S 5691 5691 5327 0 -1 1077944384 150 0 0 0 3 0 0 0 20 0 15 0 474941826 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650028980592 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5705] ppid=5691 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5693/task/5705/stat : 5705 (java) S 5691 5691 5327 0 -1 1077944384 918 0 0 0 13 0 0 0 20 0 15 0 474941826 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650027927536 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5706] ppid=5691 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5706/stat : 5706 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941827 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650026875232 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5707] ppid=5691 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5707/stat : 5707 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941827 15512608768 12330 33554432000 4194304 4196468 140723989436304 139650025823280 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50772 KiB
[startup+0.701235 s]
/proc/loadavg: 1.88 1.36 1.47 6/230 5707
/proc/meminfo: memFree=10669056/32770624 swapFree=66972236/67108860
[pid=5691] ppid=5688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (xcsp3-exec) S 5688 5691 5327 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474941821 115843072 363 33554432000 4194304 5098028 140735726038576 140735726036680 139772436210300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140735726039895 140735726040153 140735726040153 140735726043078 0
/proc/5691/statm: 28282 363 305 221 0 87 0
[pid=5693] ppid=5691 vsize=15151156 memory=109936 CPUtime=1.66 cores=0,2,4,6
/proc/5693/stat : 5693 (java) S 5691 5691 5327 0 -1 1077944320 13530 0 0 0 162 4 0 0 20 0 15 0 474941821 15514783744 27484 33554432000 4194304 4196468 140723989436304 140723989418848 139650699800311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
/proc/5693/statm: 3787789 27484 3445 1 0 3748889 0
[pid=5693/tid=5694] ppid=5691 vsize=15151156 memory=1794423915777 CPUtime=0.67 cores=0,2,4,6
/proc/5693/task/5694/stat : 5694 (java) R 5691 5691 5327 0 -1 4202560 7798 0 0 0 64 3 0 0 20 0 15 0 474941821 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650704034992 139650340640383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5695] ppid=5691 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5695/stat : 5695 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650292226576 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5696] ppid=5691 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5696/stat : 5696 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650291174032 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5697] ppid=5691 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5697/stat : 5697 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941822 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650290120976 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5698] ppid=5691 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5698/stat : 5698 (java) S 5691 5691 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474941822 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650289068432 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5699] ppid=5691 vsize=15151156 memory=43040 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5699/stat : 5699 (java) S 5691 5691 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474941823 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650034244336 139650699811458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5700] ppid=5691 vsize=15151156 memory=992 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (java) S 5691 5691 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474941824 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650033190560 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5701] ppid=5691 vsize=15151156 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5701/stat : 5701 (java) S 5691 5691 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474941824 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650032137456 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5702] ppid=5691 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5702/stat : 5702 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941826 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650031086032 139650699818907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5703] ppid=5691 vsize=15151156 memory=11624 CPUtime=0.33 cores=0,2,4,6
/proc/5693/task/5703/stat : 5703 (java) R 5691 5691 5327 0 -1 4202560 1476 0 0 0 33 0 0 0 20 0 15 0 474941826 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650030019016 139650677395328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5704] ppid=5691 vsize=15151156 memory=740 CPUtime=0.34 cores=0,2,4,6
/proc/5693/task/5704/stat : 5704 (java) R 5691 5691 5327 0 -1 4202560 1245 0 0 0 34 0 0 0 20 0 15 0 474941826 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650028966616 139650681321587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5705] ppid=5691 vsize=15151156 memory=1056 CPUtime=0.29 cores=0,2,4,6
/proc/5693/task/5705/stat : 5705 (java) S 5691 5691 5327 0 -1 1077944384 1702 0 0 0 29 0 0 0 20 0 15 0 474941826 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650027927536 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5706] ppid=5691 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5706/stat : 5706 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474941827 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650026875232 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5707] ppid=5691 vsize=15151156 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5707/stat : 5707 (java) S 5691 5691 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474941827 15514783744 27484 33554432000 4194304 4196468 140723989436304 139650025823280 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111388 KiB
[startup+1.50082 s]
/proc/loadavg: 1.88 1.36 1.47 10/234 5711
/proc/meminfo: memFree=10487040/32770624 swapFree=66972236/67108860
[pid=5691] ppid=5688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (xcsp3-exec) S 5688 5691 5327 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474941821 115843072 363 33554432000 4194304 5098028 140735726038576 140735726036680 139772436210300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140735726039895 140735726040153 140735726040153 140735726043078 0
/proc/5691/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/5693/stat : 5693 (java) S 5691 5691 5327 0 -1 1077944320 113111 0 0 0 231229 98 0 0 20 0 19 0 474941821 15858741248 865833 33554432000 4194304 4196468 140723989436304 140723989418848 139650699800311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
/proc/5693/statm: 3871763 865833 3542 1 0 3832863 0
[pid=5693/tid=5694] ppid=5691 vsize=15487052 memory=3463332 CPUtime=3.21 cores=0,2,4,6
/proc/5693/task/5694/stat : 5694 (java) S 5691 5691 5327 0 -1 1077944384 10689 0 0 0 312 9 0 0 20 0 19 0 474941821 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650704041088 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5695] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/5693/task/5695/stat : 5695 (java) S 5691 5691 5327 0 -1 1077944384 1498 0 0 0 18 7 0 0 20 0 19 0 474941822 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650292226576 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5696] ppid=5691 vsize=15487052 memory=3463332 CPUtime=0.25 cores=0,2,4,6
/proc/5693/task/5696/stat : 5696 (java) S 5691 5691 5327 0 -1 1077944384 3743 0 0 0 18 7 0 0 20 0 19 0 474941822 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650291174032 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5697] ppid=5691 vsize=15487052 memory=3463332 CPUtime=0.27 cores=0,2,4,6
/proc/5693/task/5697/stat : 5697 (java) S 5691 5691 5327 0 -1 1077944384 1435 0 0 0 20 7 0 0 20 0 19 0 474941822 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650290120976 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5698] ppid=5691 vsize=15487052 memory=3463332 CPUtime=0.25 cores=0,2,4,6
/proc/5693/task/5698/stat : 5698 (java) S 5691 5691 5327 0 -1 1077944384 2433 0 0 0 18 7 0 0 20 0 19 0 474941822 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650289068432 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5699] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/5693/task/5699/stat : 5699 (java) S 5691 5691 5327 0 -1 1077944384 4783 0 0 0 3 1 0 0 20 0 19 0 474941823 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650034244336 139650699811458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5700] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (java) S 5691 5691 5327 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474941824 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650033190624 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5701] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5701/stat : 5701 (java) S 5691 5691 5327 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 474941824 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650032137472 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5702] ppid=5691 vsize=15487052 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5702/stat : 5702 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941826 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650031086032 139650699818907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5703] ppid=5691 vsize=15487052 memory=43052 CPUtime=4.56 cores=0,2,4,6
/proc/5693/task/5703/stat : 5703 (java) S 5691 5691 5327 0 -1 1077944384 17557 0 0 0 454 2 0 0 20 0 19 0 474941826 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650030033136 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5704] ppid=5691 vsize=15487052 memory=1452 CPUtime=4.47 cores=0,2,4,6
/proc/5693/task/5704/stat : 5704 (java) S 5691 5691 5327 0 -1 1077944384 15263 0 0 0 446 1 0 0 20 0 19 0 474941826 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650028980592 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5705] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.95 cores=0,2,4,6
/proc/5693/task/5705/stat : 5705 (java) S 5691 5691 5327 0 -1 1077944384 12801 0 0 0 94 1 0 0 20 0 19 0 474941826 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650027927536 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5706] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5706/stat : 5706 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941827 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650026875232 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5707] ppid=5691 vsize=15487052 memory=3463332 CPUtime=0.16 cores=0,2,4,6
/proc/5693/task/5707/stat : 5707 (java) S 5691 5691 5327 0 -1 1077944384 1374 0 0 0 5 11 0 0 20 0 19 0 474941827 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650025823280 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5741] ppid=5691 vsize=15487052 memory=3463332 CPUtime=574.83 cores=0,2,4,6
/proc/5693/task/5741/stat : 5741 (java) R 5691 5691 5327 0 -1 4202560 1758 0 0 0 57482 1 0 0 20 0 19 0 474942213 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650012392592 139650345734699 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5742] ppid=5691 vsize=15487052 memory=1452 CPUtime=574.06 cores=0,2,4,6
/proc/5693/task/5742/stat : 5742 (java) R 5691 5691 5327 0 -1 4202560 21540 0 0 0 57373 33 0 0 20 0 19 0 474942213 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650014499000 139650347602470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5743] ppid=5691 vsize=15487052 memory=3644 CPUtime=574.68 cores=0,2,4,6
/proc/5693/task/5743/stat : 5743 (java) R 5691 5691 5327 0 -1 4202560 12213 0 0 0 57453 15 0 0 20 0 19 0 474942213 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650015553840 139650346787639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5744] ppid=5691 vsize=15487052 memory=1452 CPUtime=574.2 cores=0,2,4,6
/proc/5693/task/5744/stat : 5744 (java) R 5691 5691 5327 0 -1 4202560 4154 0 0 0 57418 2 0 0 20 0 19 0 474942213 15858741248 865833 33554432000 4194304 4196468 140723989436304 139650013446232 139650345688439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
Current children cumulated CPU time: 2313.27 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 3464784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.101 s]
/proc/loadavg: 8.26 7.43 4.81 10/239 5799
/proc/meminfo: memFree=6776812/32770624 swapFree=66972236/67108860
[pid=5691] ppid=5688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (xcsp3-exec) S 5688 5691 5327 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474941821 115843072 363 33554432000 4194304 5098028 140735726038576 140735726036680 139772436210300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140735726039895 140735726040153 140735726040153 140735726043078 0
/proc/5691/statm: 28282 363 305 221 0 87 0
[pid=5693] ppid=5691 vsize=15487052 memory=3471988 CPUtime=2400.06 cores=0,2,4,6
/proc/5693/stat : 5693 (java) S 5691 5691 5327 0 -1 1077944320 113793 0 0 0 239907 99 0 0 20 0 19 0 474941821 15858741248 867997 33554432000 4194304 4196468 140723989436304 140723989418848 139650699800311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
/proc/5693/statm: 3871763 867997 3542 1 0 3832863 0
[pid=5693/tid=5694] ppid=5691 vsize=15487052 memory=3471988 CPUtime=3.21 cores=0,2,4,6
/proc/5693/task/5694/stat : 5694 (java) S 5691 5691 5327 0 -1 1077944384 10689 0 0 0 312 9 0 0 20 0 19 0 474941821 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650704041088 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5695] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.27 cores=0,2,4,6
/proc/5693/task/5695/stat : 5695 (java) S 5691 5691 5327 0 -1 1077944384 1502 0 0 0 19 8 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650292226576 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5696] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0.26 cores=0,2,4,6
/proc/5693/task/5696/stat : 5696 (java) S 5691 5691 5327 0 -1 1077944384 3751 0 0 0 18 8 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650291174032 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5697] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.27 cores=0,2,4,6
/proc/5693/task/5697/stat : 5697 (java) S 5691 5691 5327 0 -1 1077944384 1440 0 0 0 20 7 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650290120976 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5698] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0.26 cores=0,2,4,6
/proc/5693/task/5698/stat : 5698 (java) S 5691 5691 5327 0 -1 1077944384 2436 0 0 0 19 7 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650289068432 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5699] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0.04 cores=0,2,4,6
/proc/5693/task/5699/stat : 5699 (java) S 5691 5691 5327 0 -1 1077944384 4797 0 0 0 3 1 0 0 20 0 19 0 474941823 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650034244336 139650699811458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5700] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (java) S 5691 5691 5327 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474941824 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650033190624 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5701] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5701/stat : 5701 (java) S 5691 5691 5327 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 474941824 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650032137472 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5702] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5702/stat : 5702 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650031086032 139650699818907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5703] ppid=5691 vsize=15487052 memory=1452 CPUtime=4.56 cores=0,2,4,6
/proc/5693/task/5703/stat : 5703 (java) S 5691 5691 5327 0 -1 1077944384 17557 0 0 0 454 2 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650030033136 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5704] ppid=5691 vsize=15487052 memory=3471988 CPUtime=4.47 cores=0,2,4,6
/proc/5693/task/5704/stat : 5704 (java) S 5691 5691 5327 0 -1 1077944384 15263 0 0 0 446 1 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650028980592 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5705] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.95 cores=0,2,4,6
/proc/5693/task/5705/stat : 5705 (java) S 5691 5691 5327 0 -1 1077944384 12801 0 0 0 94 1 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650027927536 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5706] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5706/stat : 5706 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941827 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650026875232 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5707] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/5693/task/5707/stat : 5707 (java) S 5691 5691 5327 0 -1 1077944384 1376 0 0 0 5 11 0 0 20 0 19 0 474941827 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650025823280 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5741] ppid=5691 vsize=15487052 memory=3463332 CPUtime=596.46 cores=0,2,4,6
/proc/5693/task/5741/stat : 5741 (java) R 5691 5691 5327 0 -1 4202560 1809 0 0 0 59645 1 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650012393160 139650348395794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5742] ppid=5691 vsize=15487052 memory=1452 CPUtime=595.61 cores=0,2,4,6
/proc/5693/task/5742/stat : 5742 (java) R 5691 5691 5327 0 -1 4202560 21913 0 0 0 59528 33 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650014498720 139650341261747 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5743] ppid=5691 vsize=15487052 memory=3471988 CPUtime=596.46 cores=0,2,4,6
/proc/5693/task/5743/stat : 5743 (java) R 5691 5691 5327 0 -1 4202560 12360 0 0 0 59631 15 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650015551192 139650348395794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5744] ppid=5691 vsize=15487052 memory=1432 CPUtime=595.97 cores=0,2,4,6
/proc/5693/task/5744/stat : 5744 (java) R 5691 5691 5327 0 -1 4202560 4229 0 0 0 59595 2 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650013448800 139650345688444 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 3473440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.123 s]
# the end of solver process 5691 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001146 s, system=0.001146 s
[startup+604.195 s]
# the end of solver process 5693 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.37 s, system=1.01515 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+604.101 s]
/proc/loadavg: 8.26 7.43 4.81 10/239 5799
/proc/meminfo: memFree=6776812/32770624 swapFree=66972236/67108860
[pid=5691] ppid=5688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (xcsp3-exec) S 5688 5691 5327 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474941821 115843072 363 33554432000 4194304 5098028 140735726038576 140735726036680 139772436210300 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140735726039895 140735726040153 140735726040153 140735726043078 0
/proc/5691/statm: 28282 363 305 221 0 87 0
[pid=5693] ppid=5691 vsize=15487052 memory=3471988 CPUtime=2400.06 cores=0,2,4,6
/proc/5693/stat : 5693 (java) S 5691 5691 5327 0 -1 1077944320 113793 0 0 0 239907 99 0 0 20 0 19 0 474941821 15858741248 867997 33554432000 4194304 4196468 140723989436304 140723989418848 139650699800311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
/proc/5693/statm: 3871763 867997 3542 1 0 3832863 0
[pid=5693/tid=5694] ppid=5691 vsize=15487052 memory=3471988 CPUtime=3.21 cores=0,2,4,6
/proc/5693/task/5694/stat : 5694 (java) S 5691 5691 5327 0 -1 1077944384 10689 0 0 0 312 9 0 0 20 0 19 0 474941821 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650704041088 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5695] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.27 cores=0,2,4,6
/proc/5693/task/5695/stat : 5695 (java) S 5691 5691 5327 0 -1 1077944384 1502 0 0 0 19 8 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650292226576 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5696] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0.26 cores=0,2,4,6
/proc/5693/task/5696/stat : 5696 (java) S 5691 5691 5327 0 -1 1077944384 3751 0 0 0 18 8 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650291174032 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5697] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.27 cores=0,2,4,6
/proc/5693/task/5697/stat : 5697 (java) S 5691 5691 5327 0 -1 1077944384 1440 0 0 0 20 7 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650290120976 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5698] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0.26 cores=0,2,4,6
/proc/5693/task/5698/stat : 5698 (java) S 5691 5691 5327 0 -1 1077944384 2436 0 0 0 19 7 0 0 20 0 19 0 474941822 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650289068432 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5699] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0.04 cores=0,2,4,6
/proc/5693/task/5699/stat : 5699 (java) S 5691 5691 5327 0 -1 1077944384 4797 0 0 0 3 1 0 0 20 0 19 0 474941823 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650034244336 139650699811458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5700] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5700/stat : 5700 (java) S 5691 5691 5327 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 474941824 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650033190624 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5701] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5701/stat : 5701 (java) S 5691 5691 5327 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 474941824 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650032137472 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5702] ppid=5691 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5702/stat : 5702 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650031086032 139650699818907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5703] ppid=5691 vsize=15487052 memory=1452 CPUtime=4.56 cores=0,2,4,6
/proc/5693/task/5703/stat : 5703 (java) S 5691 5691 5327 0 -1 1077944384 17557 0 0 0 454 2 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650030033136 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5704] ppid=5691 vsize=15487052 memory=3471988 CPUtime=4.47 cores=0,2,4,6
/proc/5693/task/5704/stat : 5704 (java) S 5691 5691 5327 0 -1 1077944384 15263 0 0 0 446 1 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650028980592 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5705] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.95 cores=0,2,4,6
/proc/5693/task/5705/stat : 5705 (java) S 5691 5691 5327 0 -1 1077944384 12801 0 0 0 94 1 0 0 20 0 19 0 474941826 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650027927536 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5706] ppid=5691 vsize=15487052 memory=3471988 CPUtime=0 cores=0,2,4,6
/proc/5693/task/5706/stat : 5706 (java) S 5691 5691 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474941827 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650026875232 139650699810517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5707] ppid=5691 vsize=15487052 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/5693/task/5707/stat : 5707 (java) S 5691 5691 5327 0 -1 1077944384 1376 0 0 0 5 11 0 0 20 0 19 0 474941827 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650025823280 139650699811458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5741] ppid=5691 vsize=15487052 memory=3463332 CPUtime=596.46 cores=0,2,4,6
/proc/5693/task/5741/stat : 5741 (java) R 5691 5691 5327 0 -1 4202560 1809 0 0 0 59645 1 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650012393160 139650348395794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5742] ppid=5691 vsize=15487052 memory=1452 CPUtime=595.61 cores=0,2,4,6
/proc/5693/task/5742/stat : 5742 (java) R 5691 5691 5327 0 -1 4202560 21913 0 0 0 59528 33 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650014498720 139650341261747 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5743] ppid=5691 vsize=15487052 memory=3471988 CPUtime=596.46 cores=0,2,4,6
/proc/5693/task/5743/stat : 5743 (java) R 5691 5691 5327 0 -1 4202560 12360 0 0 0 59631 15 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650015551192 139650348395794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
[pid=5693/tid=5744] ppid=5691 vsize=15487052 memory=1432 CPUtime=595.97 cores=0,2,4,6
/proc/5693/task/5744/stat : 5744 (java) R 5691 5691 5327 0 -1 4202560 4229 0 0 0 59595 2 0 0 20 0 19 0 474942213 15858741248 867997 33554432000 4194304 4196468 140723989436304 139650013448800 139650345688444 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28028928 140723989443547 140723989443722 140723989443722 140723989446607 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 3473440 KiB
Child status: 143
Real time (s): 604.195
CPU time (s): 2400.38
CPU user time (s): 2399.37
CPU system time (s): 1.01515
CPU usage (%): 397.286
Max. virtual memory (cumulated for all children) (KiB): 15602120
Max. memory (cumulated for all children) (KiB): 3473440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 1.01515
maximum resident set size= 3477668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16827
involuntary context switches= 28684
# summary of solver processes directly reported to runsolver:
# pid: 5691,5693
# total CPU time (s): 2400.38
# total CPU user time (s): 2399.37
# total CPU system time (s): 1.01515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82739 second user time and 6.7606 second system time
The end