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 (14162 MiB free)
memory of node 1: 16384 MiB (15681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399199-1568694462/watcher-4399199-1568694462 -o /tmp/evaluation-result-4399199-1568694462/solver-4399199-1568694462 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 312810968 HOME/instance-4399199-1568694462.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22834, runsolver pid=22831
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 8.22 8.04 5.69 7/234 22850
/proc/meminfo: memFree=30542880/32770624 swapFree=66976968/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
[pid=22836] ppid=22834 vsize=15144776 memory=30208 CPUtime=0.13 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22834 21506 0 -1 1077944320 5955 0 0 0 11 2 0 0 20 0 15 0 445708847 15508250624 7552 33554432000 4194304 4196468 140725016968224 140725016950768 139712607473399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
/proc/22836/statm: 3786194 7552 3155 1 0 3748377 0
[pid=22836/tid=22837] ppid=22834 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) R 22834 22834 21506 0 -1 4202560 3884 0 0 0 8 1 0 0 20 0 15 0 445708847 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712611706672 139712607485334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22838] ppid=22834 vsize=15144776 memory=3472468024954160336 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712199518864 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22839] ppid=22834 vsize=15144776 memory=139896059008640 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712198466064 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22840] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712197413264 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22841] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22834 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712196360464 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22842] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22834 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445708850 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712143248240 139712607484546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22843] ppid=22834 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22834 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445708850 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712142194208 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22844] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22834 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445708850 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712141141360 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22845] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712140089680 139712607491995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22846] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) R 22834 22834 21506 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712139037136 139712607483605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22847] ppid=22834 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) R 22834 22834 21506 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712137984536 139712590928896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22848] ppid=22834 vsize=15144776 memory=139896059008640 CPUtime=0.02 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) R 22834 22834 21506 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 445708853 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712136928376 139712592121808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22849] ppid=22834 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712135878880 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22850] ppid=22834 vsize=15144776 memory=139896059008640 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 7552 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31660 KiB
[startup+0.210901 s]*
/proc/loadavg: 8.22 8.04 5.69 7/234 22850
/proc/meminfo: memFree=30529748/32770624 swapFree=66976968/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
[pid=22836] ppid=22834 vsize=15144776 memory=41788 CPUtime=0.35 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22834 21506 0 -1 1077944320 9127 0 0 0 31 4 0 0 20 0 15 0 445708847 15508250624 10447 33554432000 4194304 4196468 140725016968224 140725016950768 139712607473399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
/proc/22836/statm: 3786194 10447 3303 1 0 3748377 0
[pid=22836/tid=22837] ppid=22834 vsize=15144776 memory=7682489639022458387 CPUtime=0.19 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) R 22834 22834 21506 0 -1 4202560 6431 0 0 0 17 2 0 0 20 0 15 0 445708847 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712611703120 139712607485334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22838] ppid=22834 vsize=15144776 memory=3472468024954160336 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712199518864 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22839] ppid=22834 vsize=15144776 memory=139896059008640 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712198466064 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22840] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712197413264 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22841] ppid=22834 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22834 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445708848 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712196360464 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22842] ppid=22834 vsize=15144776 memory=139896059008640 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22834 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445708850 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712143248240 139712607484546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22843] ppid=22834 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22834 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445708850 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712142194208 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22844] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22834 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445708850 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712141141360 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22845] ppid=22834 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712140089680 139712607491995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22846] ppid=22834 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) S 22834 22834 21506 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 445708853 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712139037040 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22847] ppid=22834 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) S 22834 22834 21506 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 445708853 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712137984240 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22848] ppid=22834 vsize=15144776 memory=139896059008640 CPUtime=0.08 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) S 22834 22834 21506 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 445708853 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712136931440 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22849] ppid=22834 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712135878880 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22850] ppid=22834 vsize=15144776 memory=139896059008640 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708853 15508250624 10447 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43240 KiB
[startup+0.319397 s]*
/proc/loadavg: 8.22 8.04 5.69 7/234 22850
/proc/meminfo: memFree=30522512/32770624 swapFree=66976968/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
[pid=22836] ppid=22834 vsize=15149032 memory=51492 CPUtime=0.54 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22834 21506 0 -1 1077944320 10661 0 0 0 50 4 0 0 20 0 15 0 445708847 15512608768 12873 33554432000 4194304 4196468 140725016968224 140725016950768 139712607473399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
/proc/22836/statm: 3787258 12873 3363 1 0 3748377 0
[pid=22836/tid=22837] ppid=22834 vsize=15149032 memory=-8439527450518781933 CPUtime=0.31 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) R 22834 22834 21506 0 -1 4202560 7643 0 0 0 28 3 0 0 20 0 15 0 445708847 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712611707360 139712607495325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22838] ppid=22834 vsize=15149032 memory=3472468024954160336 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712199518864 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22839] ppid=22834 vsize=15149032 memory=279792002320768 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712198466064 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22840] ppid=22834 vsize=15149032 memory=279791886656544 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708848 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712197413264 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22841] ppid=22834 vsize=15149032 memory=139895943312143 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22834 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445708848 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712196360464 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22842] ppid=22834 vsize=15149032 memory=279792002327680 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22834 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445708850 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712143248240 139712607484546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22843] ppid=22834 vsize=15149032 memory=139895943316751 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22834 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445708850 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712142194208 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22844] ppid=22834 vsize=15149032 memory=139895943340594 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22834 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445708850 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712141141360 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22845] ppid=22834 vsize=15149032 memory=139895943343895 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445708853 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712140089680 139712607491995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22846] ppid=22834 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) S 22834 22834 21506 0 -1 1077944384 624 0 0 0 5 0 0 0 20 0 15 0 445708853 15512608768 12873 33554432000 4194304 4196468 140725016968224 139712139037040 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22847] ppid=22834 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) S 22834 22834 21506 0 -1 1077944384 169 0 0 0 4 0 0 0 20 0 15 0 445708853 15512608768 12882 33554432000 4194304 4196468 140725016968224 139712137984240 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22848] ppid=22834 vsize=15149032 memory=139896059008640 CPUtime=0.13 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) S 22834 22834 21506 0 -1 1077944384 919 0 0 0 13 0 0 0 20 0 15 0 445708853 15512608768 12882 33554432000 4194304 4196468 140725016968224 139712136931440 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22849] ppid=22834 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445708853 15512608768 12882 33554432000 4194304 4196468 140725016968224 139712135878880 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22850] ppid=22834 vsize=15149032 memory=139896059010092 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445708853 15512608768 12882 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52944 KiB
[startup+0.701311 s]
/proc/loadavg: 8.22 8.04 5.69 8/233 22850
/proc/meminfo: memFree=30507964/32770624 swapFree=66976968/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
[pid=22836] ppid=22834 vsize=15418440 memory=130308 CPUtime=1.64 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22834 21506 0 -1 1077944320 14404 0 0 0 157 7 0 0 20 0 19 0 445708847 15788482560 32577 33554432000 4194304 4196468 140725016968224 140725016950768 139712607473399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
/proc/22836/statm: 3854610 32577 3459 1 0 3815710 0
[pid=22836/tid=22837] ppid=22834 vsize=15418440 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) S 22834 22834 21506 0 -1 1077944384 8972 0 0 0 52 4 0 0 20 0 19 0 445708847 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712611714176 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22838] ppid=22834 vsize=15418440 memory=128 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445708848 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712199518864 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22839] ppid=22834 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445708848 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712198466064 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22840] ppid=22834 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445708848 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712197413264 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22841] ppid=22834 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22834 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445708848 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712196360464 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22842] ppid=22834 vsize=15418440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22834 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445708850 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712143248240 139712607484546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22843] ppid=22834 vsize=15418440 memory=756 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22834 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445708850 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712142194208 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22844] ppid=22834 vsize=15418440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22834 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445708850 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712141141360 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22845] ppid=22834 vsize=15418440 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712140089680 139712607491995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22846] ppid=22834 vsize=15418440 memory=1164 CPUtime=0.24 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) R 22834 22834 21506 0 -1 4202560 1188 0 0 0 24 0 0 0 20 0 19 0 445708853 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712139030064 139712587380161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22847] ppid=22834 vsize=15418440 memory=9448 CPUtime=0.23 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) R 22834 22834 21506 0 -1 4202560 520 0 0 0 23 0 0 0 20 0 19 0 445708853 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712137976728 139712590959545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22848] ppid=22834 vsize=15418440 memory=14008 CPUtime=0.38 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) R 22834 22834 21506 0 -1 1077944384 1752 0 0 0 38 0 0 0 20 0 19 0 445708853 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712136931568 139712607483605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22849] ppid=22834 vsize=15418440 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712135878880 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22850] ppid=22834 vsize=15418440 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22834 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445708853 15788482560 32577 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 131760 KiB
[startup+1.50076 s]
/proc/loadavg: 8.22 8.04 5.69 12/237 22899
/proc/meminfo: memFree=30382116/32770624 swapFree=66976968/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22836/task/22850/stat : 22850 (java) S 22834 22834 21506 0 -1 1077944384 1360 0 0 0 0 2 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22987] ppid=22834 vsize=15483976 memory=4088 CPUtime=177.86 cores=1,3,5,7
/proc/22836/task/22987/stat : 22987 (java) R 22834 22834 21506 0 -1 4202560 545 0 0 0 17785 1 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711084306200 139712220421280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22988] ppid=22834 vsize=15483976 memory=1580 CPUtime=178.01 cores=1,3,5,7
/proc/22836/task/22988/stat : 22988 (java) R 22834 22834 21506 0 -1 4202560 1844 0 0 0 17801 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711529962448 139712220421151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22989] ppid=22834 vsize=15483976 memory=1028 CPUtime=178.03 cores=1,3,5,7
/proc/22836/task/22989/stat : 22989 (java) R 22834 22834 21506 0 -1 4202560 2910 0 0 0 17803 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711531012120 139712220421458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22990] ppid=22834 vsize=15483976 memory=1060 CPUtime=177.88 cores=1,3,5,7
/proc/22836/task/22990/stat : 22990 (java) R 22834 22834 21506 0 -1 4202560 1603 0 0 0 17788 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711085359040 139712221394905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 743.73 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 161568 KiB
[startup+188.001 s]*
/proc/loadavg: 8.10 8.09 6.15 9/238 23094
/proc/meminfo: memFree=28080164/32770624 swapFree=66976980/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
[pid=22836] ppid=22834 vsize=15483976 memory=160116 CPUtime=746.95 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22834 21506 0 -1 1077944320 71969 0 0 0 74673 22 0 0 20 0 19 0 445708847 15855591424 40029 33554432000 4194304 4196468 140725016968224 140725016950768 139712607473399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
/proc/22836/statm: 3870994 40029 3519 1 0 3832094 0
[pid=22836/tid=22837] ppid=22834 vsize=15483976 memory=4088 CPUtime=0.57 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) S 22834 22834 21506 0 -1 1077944384 9188 0 0 0 53 4 0 0 20 0 19 0 445708847 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712611714176 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22838] ppid=22834 vsize=15483976 memory=-7003737579269690708 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22834 21506 0 -1 1077944384 1033 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712199518864 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22839] ppid=22834 vsize=15483976 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22834 21506 0 -1 1077944384 1437 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712198466064 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22840] ppid=22834 vsize=15483976 memory=9448 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22834 21506 0 -1 1077944384 2839 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712197413264 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22841] ppid=22834 vsize=15483976 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22834 21506 0 -1 1077944384 1619 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712196360464 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22842] ppid=22834 vsize=15483976 memory=2120 CPUtime=0.05 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22834 21506 0 -1 1077944384 2025 0 0 0 4 1 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712143248240 139712607484546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22843] ppid=22834 vsize=15483976 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22834 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712142194272 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22844] ppid=22834 vsize=15483976 memory=984 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22834 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712141141376 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22845] ppid=22834 vsize=15483976 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712140089680 139712607491995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22846] ppid=22834 vsize=15483976 memory=780 CPUtime=2.19 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) S 22834 22834 21506 0 -1 1077944384 12620 0 0 0 218 1 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712139037040 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22847] ppid=22834 vsize=15483976 memory=4088 CPUtime=2.74 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) S 22834 22834 21506 0 -1 1077944384 21002 0 0 0 272 2 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712137984240 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22848] ppid=22834 vsize=15483976 memory=1580 CPUtime=0.67 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) S 22834 22834 21506 0 -1 1077944384 6981 0 0 0 67 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712136931440 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22849] ppid=22834 vsize=15483976 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712135878880 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22850] ppid=22834 vsize=15483976 memory=1060 CPUtime=0.02 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22834 21506 0 -1 1077944384 1360 0 0 0 0 2 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22987] ppid=22834 vsize=15483976 memory=2828 CPUtime=178.66 cores=1,3,5,7
/proc/22836/task/22987/stat : 22987 (java) R 22834 22834 21506 0 -1 4202560 545 0 0 0 17865 1 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711084306200 139712220421658 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22988] ppid=22834 vsize=15483976 memory=3620 CPUtime=178.82 cores=1,3,5,7
/proc/22836/task/22988/stat : 22988 (java) R 22834 22834 21506 0 -1 4202560 1845 0 0 0 17882 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711529962336 139712221311073 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22989] ppid=22834 vsize=15483976 memory=30576 CPUtime=178.84 cores=1,3,5,7
/proc/22836/task/22989/stat : 22989 (java) R 22834 22834 21506 0 -1 4202560 2910 0 0 0 17884 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711531012120 139712220420954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22990] ppid=22834 vsize=15483976 memory=2004 CPUtime=178.69 cores=1,3,5,7
/proc/22836/task/22990/stat : 22990 (java) R 22834 22834 21506 0 -1 4202560 1603 0 0 0 17869 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711085359040 139712220421194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 746.95 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 161568 KiB
[startup+188.401 s]
/proc/loadavg: 8.10 8.09 6.15 9/238 23094
/proc/meminfo: memFree=28080164/32770624 swapFree=66976980/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
[pid=22836] ppid=22834 vsize=15483976 memory=160116 CPUtime=748.51 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22834 21506 0 -1 1077944320 72363 0 0 0 74829 22 0 0 20 0 19 0 445708847 15855591424 40029 33554432000 4194304 4196468 140725016968224 140725016950768 139712607473399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
/proc/22836/statm: 3870994 40029 3519 1 0 3832094 0
[pid=22836/tid=22837] ppid=22834 vsize=15483976 memory=904 CPUtime=0.57 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) S 22834 22834 21506 0 -1 1077944384 9188 0 0 0 53 4 0 0 20 0 19 0 445708847 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712611714176 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22838] ppid=22834 vsize=15483976 memory=1984 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22834 21506 0 -1 1077944384 1033 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712199518864 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22839] ppid=22834 vsize=15483976 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22834 21506 0 -1 1077944384 1437 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712198466064 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22840] ppid=22834 vsize=15483976 memory=160116 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22834 21506 0 -1 1077944384 2839 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712197413264 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22841] ppid=22834 vsize=15483976 memory=2120 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22834 21506 0 -1 1077944384 1619 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712196360464 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22842] ppid=22834 vsize=15483976 memory=11976 CPUtime=0.05 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22834 21506 0 -1 1077944384 2025 0 0 0 4 1 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712143248240 139712607484546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22843] ppid=22834 vsize=15483976 memory=11396 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22834 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712142194272 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22844] ppid=22834 vsize=15483976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22834 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712141141376 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22845] ppid=22834 vsize=15483976 memory=9448 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712140089680 139712607491995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22846] ppid=22834 vsize=15483976 memory=14008 CPUtime=2.19 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) S 22834 22834 21506 0 -1 1077944384 13006 0 0 0 218 1 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712139037040 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22847] ppid=22834 vsize=15483976 memory=2120 CPUtime=2.74 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) S 22834 22834 21506 0 -1 1077944384 21002 0 0 0 272 2 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712137984240 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22848] ppid=22834 vsize=15483976 memory=11976 CPUtime=0.67 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) S 22834 22834 21506 0 -1 1077944384 6981 0 0 0 67 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712136931440 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22849] ppid=22834 vsize=15483976 memory=11396 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712135878880 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22850] ppid=22834 vsize=15483976 memory=512 CPUtime=0.02 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) S 22834 22834 21506 0 -1 1077944384 1360 0 0 0 0 2 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22987] ppid=22834 vsize=15483976 memory=1564 CPUtime=179.04 cores=1,3,5,7
/proc/22836/task/22987/stat : 22987 (java) R 22834 22834 21506 0 -1 4202560 545 0 0 0 17903 1 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711084306200 139712221231854 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22988] ppid=22834 vsize=15483976 memory=928 CPUtime=179.21 cores=1,3,5,7
/proc/22836/task/22988/stat : 22988 (java) R 22834 22834 21506 0 -1 4202560 1845 0 0 0 17921 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711529962336 139712220773327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22989] ppid=22834 vsize=15483976 memory=3784 CPUtime=179.23 cores=1,3,5,7
/proc/22836/task/22989/stat : 22989 (java) R 22834 22834 21506 0 -1 4202560 2918 0 0 0 17923 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711531011784 139712220420954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22990] ppid=22834 vsize=15483976 memory=1440 CPUtime=179.08 cores=1,3,5,7
/proc/22836/task/22990/stat : 22990 (java) R 22834 22834 21506 0 -1 4202560 1603 0 0 0 17908 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711085359040 139712221909977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 748.51 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 161568 KiB
[startup+188.501 s]
/proc/loadavg: 8.10 8.09 6.15 9/238 23094
/proc/meminfo: memFree=28080164/32770624 swapFree=66976980/67108860
[pid=22834] ppid=22831 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22834/stat : 22834 (xcsp3-exec) S 22831 22834 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445708847 115843072 363 33554432000 4194304 5098028 140734913452480 140734913450584 140220261053052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10448896 140734913454971 140734913455213 140734913455213 140734913458122 0
/proc/22834/statm: 28282 363 304 221 0 87 0
[pid=22836] ppid=22834 vsize=15483976 memory=160116 CPUtime=748.91 cores=1,3,5,7
/proc/22836/stat : 22836 (java) S 22834 22834 21506 0 -1 1077944320 72364 0 0 0 74869 22 0 0 20 0 19 0 445708847 15855591424 40029 33554432000 4194304 4196468 140725016968224 140725016950768 139712607473399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
/proc/22836/statm: 3870994 40029 3519 1 0 3832094 0
[pid=22836/tid=22837] ppid=22834 vsize=15483976 memory=162652 CPUtime=0.57 cores=1,3,5,7
/proc/22836/task/22837/stat : 22837 (java) S 22834 22834 21506 0 -1 1077944384 9188 0 0 0 53 4 0 0 20 0 19 0 445708847 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712611714176 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22838] ppid=22834 vsize=15483976 memory=160116 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22838/stat : 22838 (java) S 22834 22834 21506 0 -1 1077944384 1033 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712199518864 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22839] ppid=22834 vsize=15483976 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22839/stat : 22839 (java) S 22834 22834 21506 0 -1 1077944384 1437 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712198466064 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22840] ppid=22834 vsize=15483976 memory=33 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22840/stat : 22840 (java) S 22834 22834 21506 0 -1 1077944384 2839 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712197413264 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22841] ppid=22834 vsize=15483976 memory=756 CPUtime=0.04 cores=1,3,5,7
/proc/22836/task/22841/stat : 22841 (java) S 22834 22834 21506 0 -1 1077944384 1619 0 0 0 3 1 0 0 20 0 19 0 445708848 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712196360464 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22842] ppid=22834 vsize=15483976 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/22836/task/22842/stat : 22842 (java) S 22834 22834 21506 0 -1 1077944384 2025 0 0 0 4 1 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712143248240 139712607484546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22843] ppid=22834 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22843/stat : 22843 (java) S 22834 22834 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712142194272 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22844] ppid=22834 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22844/stat : 22844 (java) S 22834 22834 21506 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445708850 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712141141376 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22845] ppid=22834 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22845/stat : 22845 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712140089680 139712607491995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22846] ppid=22834 vsize=15483976 memory=1452 CPUtime=2.19 cores=1,3,5,7
/proc/22836/task/22846/stat : 22846 (java) S 22834 22834 21506 0 -1 1077944384 13006 0 0 0 218 1 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712139037040 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22847] ppid=22834 vsize=15483976 memory=1452 CPUtime=2.74 cores=1,3,5,7
/proc/22836/task/22847/stat : 22847 (java) S 22834 22834 21506 0 -1 1077944384 21002 0 0 0 272 2 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712137984240 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22848] ppid=22834 vsize=15483976 memory=1764 CPUtime=0.67 cores=1,3,5,7
/proc/22836/task/22848/stat : 22848 (java) S 22834 22834 21506 0 -1 1077944384 6981 0 0 0 67 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712136931440 139712607484546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22849] ppid=22834 vsize=15483976 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/22836/task/22849/stat : 22849 (java) S 22834 22834 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712135878880 139712607483605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22850] ppid=22834 vsize=15483976 memory=3620 CPUtime=0.02 cores=1,3,5,7
/proc/22836/task/22850/stat : 22850 (java) R 22834 22834 21506 0 -1 1077944384 1360 0 0 0 0 2 0 0 20 0 19 0 445708853 15855591424 40029 33554432000 4194304 4196468 140725016968224 139712134827184 139712607484546 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22987] ppid=22834 vsize=15483976 memory=30576 CPUtime=179.14 cores=1,3,5,7
/proc/22836/task/22987/stat : 22987 (java) R 22834 22834 21506 0 -1 4202560 545 0 0 0 17913 1 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711084306200 139712221360222 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22988] ppid=22834 vsize=15483976 memory=6791534058613427641 CPUtime=179.31 cores=1,3,5,7
/proc/22836/task/22988/stat : 22988 (java) R 22834 22834 21506 0 -1 4202560 1846 0 0 0 17931 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711529962336 139712220421023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22989] ppid=22834 vsize=15483976 memory=2120 CPUtime=179.33 cores=1,3,5,7
/proc/22836/task/22989/stat : 22989 (java) R 22834 22834 21506 0 -1 4202560 2918 0 0 0 17933 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711531011784 139712220420954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
[pid=22836/tid=22990] ppid=22834 vsize=15483976 memory=11976 CPUtime=179.18 cores=1,3,5,7
/proc/22836/task/22990/stat : 22990 (java) R 22834 22834 21506 0 -1 4202560 1603 0 0 0 17918 0 0 0 20 0 19 0 445709638 15855591424 40029 33554432000 4194304 4196468 140725016968224 139711085359040 139712220421458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14495744 140725016970223 140725016970394 140725016970394 140725016973263 0
Current children cumulated CPU time: 748.91 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 161568 KiB
Child status: 0
Real time (s): 188.56
CPU time (s): 749.127
CPU user time (s): 748.899
CPU system time (s): 0.228798
CPU usage (%): 397.289
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 229956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 748.899
system time used= 0.228798
maximum resident set size= 228504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8450
involuntary context switches= 15056
# summary of solver processes directly reported to runsolver:
# pid: 22834
# total CPU time (s): 749.127
# total CPU user time (s): 748.899
# total CPU system time (s): 0.228798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1946 second user time and 2.03947 second system time
The end