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 (5896 MiB free)
memory of node 1: 16384 MiB (6808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306707-1534062145/watcher-4306707-1534062145 -o /tmp/evaluation-result-4306707-1534062145/solver-4306707-1534062145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25232 --watchdog 2580 HOME/xcsp3-exec -seed 1128808119 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306707-1534062145.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
Current StackSize limit: 8192 KiB
solver pid=25261, runsolver pid=25256
[startup+0.100142 s]*
/proc/loadavg: 1.74 1.74 1.75 2/194 25268
/proc/meminfo: memFree=13006148/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=109408 memory=5288 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 1498 0 0 0 0 0 0 0 20 0 2 0 223777707 112033792 1322 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 27352 1322 992 1 0 16810 0
[pid=25265/tid=25267] ppid=25261 vsize=109408 memory=3054156605402808204 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) D 25261 25261 25200 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 2 0 223777708 112033792 1322 33554432000 4194304 4196468 140726103551056 140430177237296 140430165486485 0 0 0 16784584 18446744072100383877 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 6740 KiB
[startup+0.210036 s]*
/proc/loadavg: 1.74 1.74 1.75 2/194 25268
/proc/meminfo: memFree=13011072/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=109408 memory=5288 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 1498 0 0 0 0 0 0 0 20 0 2 0 223777707 112033792 1322 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 27352 1322 992 1 0 16810 0
[pid=25265/tid=25267] ppid=25261 vsize=109408 memory=7883960649037381690 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) D 25261 25261 25200 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 2 0 223777708 112033792 1322 33554432000 4194304 4196468 140726103551056 140430177237296 140430165486485 0 0 0 16784584 18446744072100383877 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 222536 KiB
Current children cumulated memory: 6740 KiB
[startup+0.759845 s]*
/proc/loadavg: 2.16 1.83 1.78 6/220 25294
/proc/meminfo: memFree=12996460/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=14082940 memory=28676 CPUtime=0.11 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 5484 0 0 0 10 1 0 0 20 0 15 0 223777707 14420930560 7169 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 3520735 7169 3032 1 0 3483012 0
[pid=25265/tid=25267] ppid=25261 vsize=14082940 memory=7883960649037381690 CPUtime=0.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) R 25261 25261 25200 0 -1 4202560 3510 0 0 0 7 1 0 0 20 0 15 0 223777708 14420930560 7169 33554432000 4194304 4196468 140726103551056 140430177234112 140430173007254 0 4 0 16800975 0 0 0 -1 5 0 0 65 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25269] ppid=25261 vsize=14082940 memory=11905 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25269/stat : 25269 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 7169 33554432000 4194304 4196468 140726103551056 140430131756048 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25271] ppid=25261 vsize=14082940 memory=4134700713256430624 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25271/stat : 25271 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429767294096 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25273] ppid=25261 vsize=14082940 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25273/stat : 25273 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429766241040 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25275] ppid=25261 vsize=14082940 memory=734417898574607474 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25275/stat : 25275 (java) S 25261 25261 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429765188496 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25277] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25277/stat : 25277 (java) S 25261 25261 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223777776 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429647223024 140430173006466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25280] ppid=25261 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25280/stat : 25280 (java) S 25261 25261 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223777776 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429646169248 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25282] ppid=25261 vsize=14082940 memory=139626116626048 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25282/stat : 25282 (java) S 25261 25261 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223777777 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429645116144 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25283] ppid=25261 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25283/stat : 25283 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429644064720 140430173013915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25284] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25284/stat : 25284 (java) R 25261 25261 25200 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 223777779 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429643012848 140430173006466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25285] ppid=25261 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25285/stat : 25285 (java) S 25261 25261 25200 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 223777779 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429641960304 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25286] ppid=25261 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25265/task/25286/stat : 25286 (java) R 25261 25261 25200 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 15 0 223777779 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429640907248 140430173016666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25291] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25291/stat : 25291 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429639854944 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25293] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25293/stat : 25293 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777780 14420930560 7169 33554432000 4194304 4196468 140726103551056 140429638801968 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30128 KiB
[startup+0.81066 s]*
/proc/loadavg: 2.16 1.83 1.78 6/220 25294
/proc/meminfo: memFree=12989392/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=14082940 memory=37644 CPUtime=0.23 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 7885 0 0 0 21 2 0 0 20 0 15 0 223777707 14420930560 9411 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 3520735 9411 3187 1 0 3483012 0
[pid=25265/tid=25267] ppid=25261 vsize=14082940 memory=7883960649037381690 CPUtime=0.13 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) R 25261 25261 25200 0 -1 4202560 5044 0 0 0 12 1 0 0 20 0 15 0 223777708 14420930560 9411 33554432000 4194304 4196468 140726103551056 140430177217488 140430173017245 0 4 0 16800975 0 0 0 -1 5 0 0 65 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25269] ppid=25261 vsize=14082940 memory=11498 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25269/stat : 25269 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 9411 33554432000 4194304 4196468 140726103551056 140430131756048 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25271] ppid=25261 vsize=14082940 memory=3833046180814206624 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25271/stat : 25271 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429767294096 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25273] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25273/stat : 25273 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429766241040 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25275] ppid=25261 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25275/stat : 25275 (java) S 25261 25261 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223777775 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429765188496 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25277] ppid=25261 vsize=14082940 memory=139626116626048 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25277/stat : 25277 (java) S 25261 25261 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223777776 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429647223024 140430173006466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25280] ppid=25261 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25280/stat : 25280 (java) S 25261 25261 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223777776 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429646169248 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25282] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25282/stat : 25282 (java) S 25261 25261 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223777777 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429645116144 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25283] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25283/stat : 25283 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429644064720 140430173013915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25284] ppid=25261 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25265/task/25284/stat : 25284 (java) R 25261 25261 25200 0 -1 1077944384 737 0 0 0 2 0 0 0 20 0 15 0 223777779 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429643012848 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25285] ppid=25261 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25265/task/25285/stat : 25285 (java) S 25261 25261 25200 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 15 0 223777779 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429641960304 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25286] ppid=25261 vsize=14082940 memory=139626116626048 CPUtime=0.05 cores=1,3,5,7
/proc/25265/task/25286/stat : 25286 (java) R 25261 25261 25200 0 -1 4202560 769 0 0 0 5 0 0 0 20 0 15 0 223777779 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429640907248 140430173016666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25291] ppid=25261 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25291/stat : 25291 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429639854944 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25293] ppid=25261 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25293/stat : 25293 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777780 14420930560 9411 33554432000 4194304 4196468 140726103551056 140429638801968 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 39096 KiB
[startup+1.51052 s]
/proc/loadavg: 2.16 1.83 1.78 9/220 25294
/proc/meminfo: memFree=12903524/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=14089320 memory=89492 CPUtime=1.91 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 15057 0 1 0 185 6 0 0 20 0 15 0 223777707 14427463680 22373 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 3522330 22373 3360 1 0 3483524 0
[pid=25265/tid=25267] ppid=25261 vsize=14089320 memory=72824 CPUtime=0.8 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) R 25261 25261 25200 0 -1 4202560 7038 0 1 0 76 4 0 0 20 0 15 0 223777708 14427463680 22373 33554432000 4194304 4196468 140726103551056 140430177234784 140429813456772 0 4 0 16800975 0 0 0 -1 5 0 0 67 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25269] ppid=25261 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25269/stat : 25269 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14427463680 22373 33554432000 4194304 4196468 140726103551056 140430131756048 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25271] ppid=25261 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25271/stat : 25271 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429767294096 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25273] ppid=25261 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25273/stat : 25273 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429766241040 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25275] ppid=25261 vsize=14089320 memory=6368459761714031465 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25275/stat : 25275 (java) S 25261 25261 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223777775 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429765188496 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25277] ppid=25261 vsize=14089320 memory=5787213904088154208 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25277/stat : 25277 (java) S 25261 25261 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223777776 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429647223024 140430173006466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25280] ppid=25261 vsize=14089320 memory=279251928667152 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25280/stat : 25280 (java) S 25261 25261 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223777776 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429646169248 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25282] ppid=25261 vsize=14089320 memory=11722 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25282/stat : 25282 (java) S 25261 25261 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223777777 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429645116144 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25283] ppid=25261 vsize=14089320 memory=24403 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25283/stat : 25283 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429644064720 140430173013915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25284] ppid=25261 vsize=14089320 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/25265/task/25284/stat : 25284 (java) R 25261 25261 25200 0 -1 4202560 2561 0 0 0 32 0 0 0 20 0 15 0 223777779 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429642998872 140430156381903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25285] ppid=25261 vsize=14089320 memory=-1161699032756030039 CPUtime=0.32 cores=1,3,5,7
/proc/25265/task/25285/stat : 25285 (java) R 25261 25261 25200 0 -1 4202560 1754 0 0 0 32 0 0 0 20 0 15 0 223777779 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429641949424 140430151012311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25286] ppid=25261 vsize=14089320 memory=6944656592455097440 CPUtime=0.44 cores=1,3,5,7
/proc/25265/task/25286/stat : 25286 (java) S 25261 25261 25200 0 -1 1077944384 2395 0 0 0 44 0 0 0 20 0 15 0 223777779 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429640907248 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25291] ppid=25261 vsize=14089320 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25291/stat : 25291 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429639854944 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25293] ppid=25261 vsize=14089320 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25293/stat : 25293 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777780 14427463680 22373 33554432000 4194304 4196468 140726103551056 140429638801968 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 90944 KiB
[startup+3.10076 s]
/proc/loadavg: 2.16 1.83 1.78 4/220 25294
/proc/meminfo: memFree=12818764/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=14089320 memory=159328 CPUtime=4.7 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 21413 0 1 0 462 8 0 0 20 0 15 0 223777707 14427463680 39832 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 3522330 39832 3372 1 0 3483524 0
[pid=25265/tid=25267] ppid=25261 vsize=14089320 memory=144992 CPUtime=2.38 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) R 25261 25261 25200 0 -1 4202560 7583 0 1 0 233 5 0 0 20 0 15 0 223777708 14427463680 39832 33554432000 4194304 4196468 140726103551056 140430177234024 140429814237333 0 4 0 16800975 0 0 0 -1 5 0 0 67 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25269] ppid=25261 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25269/stat : 25269 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14427463680 39832 33554432000 4194304 4196468 140726103551056 140430131756048 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25271] ppid=25261 vsize=14089320 memory=134372 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25271/stat : 25271 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14427463680 39832 33554432000 4194304 4196468 140726103551056 140429767294096 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25273] ppid=25261 vsize=14089320 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25273/stat : 25273 (java) S 25261 25261 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223777775 14427463680 39832 33554432000 4194304 4196468 140726103551056 140429766241040 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
################
# More data... #
################
/proc/25265/task/25282/stat : 25282 (java) S 25261 25261 25200 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 223777777 14427463680 301333 33554432000 4194304 4196468 140726103551056 140429645116144 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25283] ppid=25261 vsize=14089320 memory=240166 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25283/stat : 25283 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 301333 33554432000 4194304 4196468 140726103551056 140429644064720 140430173013915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25284] ppid=25261 vsize=14089320 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/25265/task/25284/stat : 25284 (java) S 25261 25261 25200 0 -1 1077944384 8530 0 0 0 122 1 0 0 20 0 15 0 223777779 14427463680 301333 33554432000 4194304 4196468 140726103551056 140429643012848 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25285] ppid=25261 vsize=14089320 memory=3816 CPUtime=1.62 cores=1,3,5,7
/proc/25265/task/25285/stat : 25285 (java) S 25261 25261 25200 0 -1 1077944384 13257 0 0 0 160 2 0 0 20 0 15 0 223777779 14427463680 301333 33554432000 4194304 4196468 140726103551056 140429641960304 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25286] ppid=25261 vsize=14089320 memory=60964 CPUtime=0.61 cores=1,3,5,7
/proc/25265/task/25286/stat : 25286 (java) S 25261 25261 25200 0 -1 1077944384 10669 0 0 0 60 1 0 0 20 0 15 0 223777779 14427463680 301333 33554432000 4194304 4196468 140726103551056 140429640907248 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25291] ppid=25261 vsize=14089320 memory=480544 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25291/stat : 25291 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 301333 33554432000 4194304 4196468 140726103551056 140429639854944 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25293] ppid=25261 vsize=14089320 memory=1452 CPUtime=0.64 cores=1,3,5,7
/proc/25265/task/25293/stat : 25293 (java) S 25261 25261 25200 0 -1 1077944384 1397 0 0 0 25 39 0 0 20 0 15 0 223777780 14427463680 301333 33554432000 4194304 4196468 140726103551056 140429638801968 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 2401.86 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1206784 KiB
[startup+2442.3 s]
/proc/loadavg: 1.44 1.48 1.50 3/219 25470
/proc/meminfo: memFree=11389604/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=14089320 memory=1211824 CPUtime=2462.47 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 126442 0 1 0 246046 201 0 0 20 0 15 0 223777707 14427463680 302956 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 3522330 302956 3423 1 0 3483524 0
[pid=25265/tid=25267] ppid=25261 vsize=14089320 memory=1211824 CPUtime=2431.92 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) R 25261 25261 25200 0 -1 4202560 50321 0 1 0 243132 60 0 0 20 0 15 0 223777708 14427463680 302956 33554432000 4194304 4196468 140726103551056 140430177234960 140429815723286 0 4 0 16800975 0 0 0 -1 1 0 0 67 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25269] ppid=25261 vsize=14089320 memory=1211824 CPUtime=5.9 cores=1,3,5,7
/proc/25265/task/25269/stat : 25269 (java) S 25261 25261 25200 0 -1 1077944384 6987 0 0 0 563 27 0 0 20 0 15 0 223777775 14427463680 302956 33554432000 4194304 4196468 140726103551056 140430131756048 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25271] ppid=25261 vsize=14089320 memory=1211824 CPUtime=5.89 cores=1,3,5,7
/proc/25265/task/25271/stat : 25271 (java) S 25261 25261 25200 0 -1 1077944384 6006 0 0 0 567 22 0 0 20 0 15 0 223777775 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429767294096 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25273] ppid=25261 vsize=14089320 memory=1209588 CPUtime=5.9 cores=1,3,5,7
/proc/25265/task/25273/stat : 25273 (java) S 25261 25261 25200 0 -1 1077944384 7619 0 0 0 566 24 0 0 20 0 15 0 223777775 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429766241040 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25275] ppid=25261 vsize=14089320 memory=1209588 CPUtime=5.88 cores=1,3,5,7
/proc/25265/task/25275/stat : 25275 (java) S 25261 25261 25200 0 -1 1077944384 7342 0 0 0 564 24 0 0 20 0 15 0 223777775 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429765188496 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25277] ppid=25261 vsize=14089320 memory=1452 CPUtime=2.76 cores=1,3,5,7
/proc/25265/task/25277/stat : 25277 (java) S 25261 25261 25200 0 -1 1077944384 12953 0 0 0 256 20 0 0 20 0 15 0 223777776 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429647223024 140430173006466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25280] ppid=25261 vsize=14089320 memory=1209588 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25280/stat : 25280 (java) S 25261 25261 25200 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 223777776 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429646169248 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25282] ppid=25261 vsize=14089320 memory=1211824 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25282/stat : 25282 (java) S 25261 25261 25200 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 223777777 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429645116144 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25283] ppid=25261 vsize=14089320 memory=1211824 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25283/stat : 25283 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429644064720 140430173013915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25284] ppid=25261 vsize=14089320 memory=1211824 CPUtime=1.24 cores=1,3,5,7
/proc/25265/task/25284/stat : 25284 (java) S 25261 25261 25200 0 -1 1077944384 8531 0 0 0 123 1 0 0 20 0 15 0 223777779 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429643012848 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25285] ppid=25261 vsize=14089320 memory=1452 CPUtime=1.62 cores=1,3,5,7
/proc/25265/task/25285/stat : 25285 (java) S 25261 25261 25200 0 -1 1077944384 13257 0 0 0 160 2 0 0 20 0 15 0 223777779 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429641960304 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25286] ppid=25261 vsize=14089320 memory=581 CPUtime=0.62 cores=1,3,5,7
/proc/25265/task/25286/stat : 25286 (java) S 25261 25261 25200 0 -1 1077944384 10669 0 0 0 61 1 0 0 20 0 15 0 223777779 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429640907248 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25291] ppid=25261 vsize=14089320 memory=1211824 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25291/stat : 25291 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429639854944 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25293] ppid=25261 vsize=14089320 memory=6791534058613427641 CPUtime=0.66 cores=1,3,5,7
/proc/25265/task/25293/stat : 25293 (java) S 25261 25261 25200 0 -1 1077944384 1401 0 0 0 26 40 0 0 20 0 15 0 223777780 14427463680 302956 33554432000 4194304 4196468 140726103551056 140429638801968 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 2462.47 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1213276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.3 s]
/proc/loadavg: 1.65 1.52 1.51 3/219 25471
/proc/meminfo: memFree=11387512/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=14089320 memory=1212136 CPUtime=2520.04 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 128285 0 1 0 251801 203 0 0 20 0 15 0 223777707 14427463680 303034 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 3522330 303034 3423 1 0 3483524 0
[pid=25265/tid=25267] ppid=25261 vsize=14089320 memory=1220 CPUtime=2488.68 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) R 25261 25261 25200 0 -1 4202560 50594 0 1 0 248808 60 0 0 20 0 15 0 223777708 14427463680 303034 33554432000 4194304 4196468 140726103551056 140430177235008 140429814012488 0 4 0 16800975 0 0 0 -1 3 0 0 67 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25269] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.1 cores=1,3,5,7
/proc/25265/task/25269/stat : 25269 (java) S 25261 25261 25200 0 -1 1077944384 7725 0 0 0 583 27 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140430131756048 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25271] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.08 cores=1,3,5,7
/proc/25265/task/25271/stat : 25271 (java) S 25261 25261 25200 0 -1 1077944384 6253 0 0 0 586 22 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429767294096 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25273] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.09 cores=1,3,5,7
/proc/25265/task/25273/stat : 25273 (java) S 25261 25261 25200 0 -1 1077944384 7804 0 0 0 585 24 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429766241040 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25275] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.06 cores=1,3,5,7
/proc/25265/task/25275/stat : 25275 (java) S 25261 25261 25200 0 -1 1077944384 7545 0 0 0 582 24 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429765188496 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25277] ppid=25261 vsize=14089320 memory=1212136 CPUtime=2.79 cores=1,3,5,7
/proc/25265/task/25277/stat : 25277 (java) S 25261 25261 25200 0 -1 1077944384 13129 0 0 0 259 20 0 0 20 0 15 0 223777776 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429647223024 140430173006466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25280] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25280/stat : 25280 (java) S 25261 25261 25200 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 223777776 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429646169248 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25282] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25282/stat : 25282 (java) S 25261 25261 25200 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 223777777 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429645116144 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25283] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25283/stat : 25283 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429644064720 140430173013915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25284] ppid=25261 vsize=14089320 memory=1452 CPUtime=1.24 cores=1,3,5,7
/proc/25265/task/25284/stat : 25284 (java) S 25261 25261 25200 0 -1 1077944384 8533 0 0 0 123 1 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429643012848 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25285] ppid=25261 vsize=14089320 memory=1452 CPUtime=1.62 cores=1,3,5,7
/proc/25265/task/25285/stat : 25285 (java) S 25261 25261 25200 0 -1 1077944384 13259 0 0 0 160 2 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429641960304 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25286] ppid=25261 vsize=14089320 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/25265/task/25286/stat : 25286 (java) S 25261 25261 25200 0 -1 1077944384 10671 0 0 0 61 1 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429640907248 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25291] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25291/stat : 25291 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429639854944 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25293] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0.67 cores=1,3,5,7
/proc/25265/task/25293/stat : 25293 (java) S 25261 25261 25200 0 -1 1077944384 1416 0 0 0 27 40 0 0 20 0 15 0 223777780 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429638801968 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1213588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.31 s]
# the end of solver process 25261 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00128 s, system=0.00128 s
[startup+2499.32 s]
# the end of solver process 25265 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.03 s, system=2.04088 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+2499.3 s]
/proc/loadavg: 1.65 1.52 1.51 3/219 25471
/proc/meminfo: memFree=11387512/32770624 swapFree=67108380/67108860
[pid=25261] ppid=25256 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25261/stat : 25261 (xcsp3-exec) S 25256 25261 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223777707 115843072 363 33554432000 4194304 5098028 140722406601616 140722406599720 140261170074236 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28884992 140722406605882 140722406606084 140722406606084 140722406608842 0
/proc/25261/statm: 28282 363 305 221 0 87 0
[pid=25265] ppid=25261 vsize=14089320 memory=1212136 CPUtime=2520.04 cores=1,3,5,7
/proc/25265/stat : 25265 (java) S 25261 25261 25200 0 -1 1077944320 128285 0 1 0 251801 203 0 0 20 0 15 0 223777707 14427463680 303034 33554432000 4194304 4196468 140726103551056 140726103533600 140430172995319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
/proc/25265/statm: 3522330 303034 3423 1 0 3483524 0
[pid=25265/tid=25267] ppid=25261 vsize=14089320 memory=1220 CPUtime=2488.68 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (java) R 25261 25261 25200 0 -1 4202560 50594 0 1 0 248808 60 0 0 20 0 15 0 223777708 14427463680 303034 33554432000 4194304 4196468 140726103551056 140430177235008 140429814012488 0 4 0 16800975 0 0 0 -1 3 0 0 67 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25269] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.1 cores=1,3,5,7
/proc/25265/task/25269/stat : 25269 (java) S 25261 25261 25200 0 -1 1077944384 7725 0 0 0 583 27 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140430131756048 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25271] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.08 cores=1,3,5,7
/proc/25265/task/25271/stat : 25271 (java) S 25261 25261 25200 0 -1 1077944384 6253 0 0 0 586 22 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429767294096 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25273] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.09 cores=1,3,5,7
/proc/25265/task/25273/stat : 25273 (java) S 25261 25261 25200 0 -1 1077944384 7804 0 0 0 585 24 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429766241040 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25275] ppid=25261 vsize=14089320 memory=1212136 CPUtime=6.06 cores=1,3,5,7
/proc/25265/task/25275/stat : 25275 (java) S 25261 25261 25200 0 -1 1077944384 7545 0 0 0 582 24 0 0 20 0 15 0 223777775 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429765188496 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25277] ppid=25261 vsize=14089320 memory=1212136 CPUtime=2.79 cores=1,3,5,7
/proc/25265/task/25277/stat : 25277 (java) S 25261 25261 25200 0 -1 1077944384 13129 0 0 0 259 20 0 0 20 0 15 0 223777776 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429647223024 140430173006466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25280] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25280/stat : 25280 (java) S 25261 25261 25200 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 223777776 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429646169248 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25282] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25282/stat : 25282 (java) S 25261 25261 25200 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 223777777 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429645116144 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25283] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25283/stat : 25283 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429644064720 140430173013915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25284] ppid=25261 vsize=14089320 memory=1452 CPUtime=1.24 cores=1,3,5,7
/proc/25265/task/25284/stat : 25284 (java) S 25261 25261 25200 0 -1 1077944384 8533 0 0 0 123 1 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429643012848 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25285] ppid=25261 vsize=14089320 memory=1452 CPUtime=1.62 cores=1,3,5,7
/proc/25265/task/25285/stat : 25285 (java) S 25261 25261 25200 0 -1 1077944384 13259 0 0 0 160 2 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429641960304 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25286] ppid=25261 vsize=14089320 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/25265/task/25286/stat : 25286 (java) S 25261 25261 25200 0 -1 1077944384 10671 0 0 0 61 1 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429640907248 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25291] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0 cores=1,3,5,7
/proc/25265/task/25291/stat : 25291 (java) S 25261 25261 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223777779 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429639854944 140430173005525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
[pid=25265/tid=25293] ppid=25261 vsize=14089320 memory=1212136 CPUtime=0.67 cores=1,3,5,7
/proc/25265/task/25293/stat : 25293 (java) S 25261 25261 25200 0 -1 1077944384 1416 0 0 0 27 40 0 0 20 0 15 0 223777780 14427463680 303034 33554432000 4194304 4196468 140726103551056 140429638801968 140430173006466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16683008 140726103553158 140726103553329 140726103553329 140726103556047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1213588 KiB
Child status: 143
Real time (s): 2499.32
CPU time (s): 2520.07
CPU user time (s): 2518.03
CPU system time (s): 2.04088
CPU usage (%): 100.83
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 1213588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.03
system time used= 2.04088
maximum resident set size= 1212700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129113
page faults= 1
swaps= 0
block input operations= 440
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129373
involuntary context switches= 3227
# summary of solver processes directly reported to runsolver:
# pid: 25261,25265
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.03
# total CPU system time (s): 2.04088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.614 second user time and 24.5558 second system time
The end