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 (10735 MiB free)
memory of node 1: 16384 MiB (14089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301777-1532885654/watcher-4301777-1532885654 -o /tmp/evaluation-result-4301777-1532885654/solver-4301777-1532885654 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 329352194 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301777-1532885654.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=8250, runsolver pid=8247
[startup+0.100061 s]*
/proc/loadavg: 1.67 1.91 1.95 4/218 8266
/proc/meminfo: memFree=25403920/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
[pid=8252] ppid=8250 vsize=14082940 memory=28864 CPUtime=0.12 cores=1,3,5,7
/proc/8252/stat : 8252 (java) S 8250 8250 6529 0 -1 1077944320 5521 0 0 0 11 1 0 0 20 0 15 0 106128296 14420930560 7216 33554432000 4194304 4196468 140733685026576 140733685009120 139894242111223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
/proc/8252/statm: 3520735 7216 3047 1 0 3483012 0
[pid=8252/tid=8253] ppid=8250 vsize=14082940 memory=8188852126421848923 CPUtime=0.08 cores=1,3,5,7
/proc/8252/task/8253/stat : 8253 (java) R 8250 8250 6529 0 -1 4202560 3522 0 0 0 8 0 0 0 20 0 15 0 106128297 14420930560 7216 33554432000 4194304 4196468 140733685026576 139894246343488 139894242123158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8254] ppid=8250 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8254/stat : 8254 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893838113424 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8255] ppid=8250 vsize=14082940 memory=140271761127040 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8255/stat : 8255 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893837060624 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8256] ppid=8250 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8256/stat : 8256 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893836007824 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8257] ppid=8250 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8257/stat : 8257 (java) S 8250 8250 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106128298 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893834955024 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8258] ppid=8250 vsize=14082940 memory=140271761127040 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8258/stat : 8258 (java) S 8250 8250 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106128299 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893715970928 139894242122370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8259] ppid=8250 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8259/stat : 8259 (java) S 8250 8250 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106128299 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893714916896 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8260] ppid=8250 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106128299 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893713864048 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 106128302 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128302 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14082940 memory=140271761127040 CPUtime=0.01 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) R 8250 8250 6529 0 -1 4202560 288 0 0 0 1 0 0 0 20 0 15 0 106128302 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893709654128 139894226355056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14082940 memory=140271761127040 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128302 14420930560 7216 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30316 KiB
[startup+0.210735 s]*
/proc/loadavg: 1.67 1.91 1.95 4/218 8266
/proc/meminfo: memFree=25391904/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
[pid=8252] ppid=8250 vsize=14082940 memory=40880 CPUtime=0.34 cores=1,3,5,7
/proc/8252/stat : 8252 (java) S 8250 8250 6529 0 -1 1077944320 8335 0 0 0 32 2 0 0 20 0 15 0 106128296 14420930560 10220 33554432000 4194304 4196468 140733685026576 140733685009120 139894242111223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
/proc/8252/statm: 3520735 10220 3185 1 0 3483012 0
[pid=8252/tid=8253] ppid=8250 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/8252/task/8253/stat : 8253 (java) D 8250 8250 6529 0 -1 1077944384 5438 0 0 0 18 1 0 0 20 0 15 0 106128297 14420930560 10284 33554432000 4194304 4196468 140733685026576 139894246335392 139894234790445 0 4 0 16800975 18446744072101572132 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8254] ppid=8250 vsize=14082940 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8254/stat : 8254 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14420930560 10284 33554432000 4194304 4196468 140733685026576 139893838113424 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8255] ppid=8250 vsize=14082940 memory=3762957345332819616 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8255/stat : 8255 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14420930560 10284 33554432000 4194304 4196468 140733685026576 139893837060624 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8256] ppid=8250 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8256/stat : 8256 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14420930560 10284 33554432000 4194304 4196468 140733685026576 139893836007824 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8257] ppid=8250 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8257/stat : 8257 (java) S 8250 8250 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106128298 14420963328 10284 33554432000 4194304 4196468 140733685026576 139893834955024 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8258] ppid=8250 vsize=14082972 memory=140271761127040 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8258/stat : 8258 (java) S 8250 8250 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106128299 14420963328 10284 33554432000 4194304 4196468 140733685026576 139893715970928 139894242122370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8259] ppid=8250 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8259/stat : 8259 (java) S 8250 8250 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106128299 14420963328 10284 33554432000 4194304 4196468 140733685026576 139893714916896 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8260] ppid=8250 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106128299 14420930560 10286 33554432000 4194304 4196468 140733685026576 139893713864048 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14420930560 10286 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 508 0 0 0 3 0 0 0 20 0 15 0 106128302 14420930560 10286 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 15 0 106128302 14420930560 10286 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14082940 memory=140271761127040 CPUtime=0.08 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) S 8250 8250 6529 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 106128302 14420930560 10286 33554432000 4194304 4196468 140733685026576 139893709654128 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14423097344 10286 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128302 14423097344 10286 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42332 KiB
[startup+0.310694 s]*
/proc/loadavg: 1.67 1.91 1.95 4/218 8266
/proc/meminfo: memFree=25384832/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
[pid=8252] ppid=8250 vsize=14087196 memory=48352 CPUtime=0.53 cores=1,3,5,7
/proc/8252/stat : 8252 (java) S 8250 8250 6529 0 -1 1077944320 9230 0 0 0 50 3 0 0 20 0 15 0 106128296 14425288704 12088 33554432000 4194304 4196468 140733685026576 140733685009120 139894242111223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
/proc/8252/statm: 3521799 12088 3273 1 0 3483012 0
[pid=8252/tid=8253] ppid=8250 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/8252/task/8253/stat : 8253 (java) R 8250 8250 6529 0 -1 4202560 6168 0 0 0 28 2 0 0 20 0 15 0 106128297 14425288704 12096 33554432000 4194304 4196468 140733685026576 139894246348512 139894226191710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8254] ppid=8250 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8254/stat : 8254 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893838113424 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8255] ppid=8250 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8255/stat : 8255 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893837060624 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8256] ppid=8250 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8256/stat : 8256 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893836007824 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8257] ppid=8250 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8257/stat : 8257 (java) S 8250 8250 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106128298 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893834955024 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8258] ppid=8250 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8258/stat : 8258 (java) S 8250 8250 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106128299 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893715970928 139894242122370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8259] ppid=8250 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8259/stat : 8259 (java) S 8250 8250 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106128299 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893714916896 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8260] ppid=8250 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106128299 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893713864048 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14087196 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 592 0 0 0 5 0 0 0 20 0 15 0 106128302 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 15 0 106128302 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) S 8250 8250 6529 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 106128302 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893709654128 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128302 14425288704 12096 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49804 KiB
[startup+0.701878 s]
/proc/loadavg: 1.67 1.91 1.95 6/218 8266
/proc/meminfo: memFree=25359460/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
[pid=8252] ppid=8250 vsize=14089320 memory=102428 CPUtime=1.79 cores=1,3,5,7
/proc/8252/stat : 8252 (java) S 8250 8250 6529 0 -1 1077944320 13164 0 0 0 174 5 0 0 20 0 15 0 106128296 14427463680 25607 33554432000 4194304 4196468 140733685026576 140733685009120 139894242111223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
/proc/8252/statm: 3522330 25607 3351 1 0 3483524 0
[pid=8252/tid=8253] ppid=8250 vsize=14089320 memory=30360 CPUtime=0.67 cores=1,3,5,7
/proc/8252/task/8253/stat : 8253 (java) R 8250 8250 6529 0 -1 4202560 6891 0 0 0 64 3 0 0 20 0 15 0 106128297 14427463680 25607 33554432000 4194304 4196468 140733685026576 139894246345232 139894226191710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8254] ppid=8250 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8254/stat : 8254 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893838113424 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8255] ppid=8250 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8255/stat : 8255 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893837060624 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8256] ppid=8250 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8256/stat : 8256 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128298 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893836007824 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8257] ppid=8250 vsize=14089320 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8257/stat : 8257 (java) S 8250 8250 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106128298 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893834955024 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8258] ppid=8250 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8258/stat : 8258 (java) S 8250 8250 6529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106128299 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893715970928 139894242122370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8259] ppid=8250 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8259/stat : 8259 (java) S 8250 8250 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106128299 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893714916896 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8260] ppid=8250 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106128299 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893713864048 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14089320 memory=8556 CPUtime=0.38 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 1684 0 0 0 38 0 0 0 20 0 15 0 106128302 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14089320 memory=1444 CPUtime=0.35 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 1359 0 0 0 35 0 0 0 20 0 15 0 106128302 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14089320 memory=5668 CPUtime=0.35 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) R 8250 8250 6529 0 -1 4202560 1922 0 0 0 35 0 0 0 20 0 15 0 106128302 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893709648016 139894226191710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14089320 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106128302 14427463680 25607 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 103880 KiB
[startup+1.50083 s]
/proc/loadavg: 1.67 1.91 1.95 5/218 8266
/proc/meminfo: memFree=25265136/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 106128299 14429560832 290513 33554432000 4194304 4196468 140733685026576 139893713864064 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14091368 memory=2804 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290513 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14091368 memory=1456 CPUtime=3.88 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 23888 0 0 0 386 2 0 0 20 0 15 0 106128302 14429560832 290513 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14091368 memory=384440 CPUtime=4 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 23551 0 0 0 398 2 0 0 20 0 15 0 106128302 14429560832 290513 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14091368 memory=8112282956445269571 CPUtime=0.79 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) S 8250 8250 6529 0 -1 1077944384 7061 0 0 0 78 1 0 0 20 0 15 0 106128302 14429560832 290513 33554432000 4194304 4196468 140733685026576 139893709654128 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14091368 memory=16104758104558012 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290513 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14091368 memory=4124 CPUtime=0.04 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 482 0 0 0 2 2 0 0 20 0 15 0 106128302 14429560832 290513 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 173.8 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1163504 KiB
[startup+222.301 s]
/proc/loadavg: 1.97 1.94 1.95 3/217 8423
/proc/meminfo: memFree=23998976/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
[pid=8252] ppid=8250 vsize=14091368 memory=1162248 CPUtime=233.96 cores=1,3,5,7
/proc/8252/stat : 8252 (java) S 8250 8250 6529 0 -1 1077944320 83038 0 0 0 23309 87 0 0 20 0 15 0 106128296 14429560832 290562 33554432000 4194304 4196468 140733685026576 140733685009120 139894242111223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
/proc/8252/statm: 3522842 290562 3448 1 0 3484036 0
[pid=8252/tid=8253] ppid=8250 vsize=14091368 memory=16104758104558012 CPUtime=220.5 cores=1,3,5,7
/proc/8252/task/8253/stat : 8253 (java) R 8250 8250 6529 0 -1 4202560 17438 0 0 0 22041 9 0 0 20 0 15 0 106128297 14429560832 290562 33554432000 4194304 4196468 140733685026576 139894246350088 139893887943732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8254] ppid=8250 vsize=14091368 memory=1404 CPUtime=1.02 cores=1,3,5,7
/proc/8252/task/8254/stat : 8254 (java) S 8250 8250 6529 0 -1 1077944384 1287 0 0 0 85 17 0 0 20 0 15 0 106128298 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893838113424 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8255] ppid=8250 vsize=14091368 memory=3000 CPUtime=1.03 cores=1,3,5,7
/proc/8252/task/8255/stat : 8255 (java) S 8250 8250 6529 0 -1 1077944384 1030 0 0 0 87 16 0 0 20 0 15 0 106128298 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893837060624 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8256] ppid=8250 vsize=14091368 memory=1456 CPUtime=1.03 cores=1,3,5,7
/proc/8252/task/8256/stat : 8256 (java) S 8250 8250 6529 0 -1 1077944384 544 0 0 0 87 16 0 0 20 0 15 0 106128298 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893836007824 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8257] ppid=8250 vsize=14091368 memory=467288 CPUtime=1.04 cores=1,3,5,7
/proc/8252/task/8257/stat : 8257 (java) S 8250 8250 6529 0 -1 1077944384 1571 0 0 0 87 17 0 0 20 0 15 0 106128298 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893834955024 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8258] ppid=8250 vsize=14091368 memory=8112282956445269571 CPUtime=0.36 cores=1,3,5,7
/proc/8252/task/8258/stat : 8258 (java) S 8250 8250 6529 0 -1 1077944384 2489 0 0 0 36 0 0 0 20 0 15 0 106128299 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893715970928 139894242122370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8259] ppid=8250 vsize=14091368 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8259/stat : 8259 (java) S 8250 8250 6529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 106128299 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893714916960 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8260] ppid=8250 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 106128299 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893713864064 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14091368 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14091368 memory=288230583166042425 CPUtime=3.93 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 24927 0 0 0 391 2 0 0 20 0 15 0 106128302 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14091368 memory=16104758104558012 CPUtime=4.1 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 24664 0 0 0 408 2 0 0 20 0 15 0 106128302 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14091368 memory=6944656592455097440 CPUtime=0.81 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) S 8250 8250 6529 0 -1 1077944384 7179 0 0 0 79 2 0 0 20 0 15 0 106128302 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893709654128 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14091368 memory=840 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14091368 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 508 0 0 0 2 3 0 0 20 0 15 0 106128302 14429560832 290562 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 233.96 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1163700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+240.401 s]
/proc/loadavg: 1.98 1.94 1.95 3/217 8423
/proc/meminfo: memFree=23998852/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
[pid=8252] ppid=8250 vsize=14091368 memory=1162256 CPUtime=252.08 cores=1,3,5,7
/proc/8252/stat : 8252 (java) S 8250 8250 6529 0 -1 1077944320 83666 0 0 0 25121 87 0 0 20 0 15 0 106128296 14429560832 290564 33554432000 4194304 4196468 140733685026576 140733685009120 139894242111223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
/proc/8252/statm: 3522842 290564 3448 1 0 3484036 0
[pid=8252/tid=8253] ppid=8250 vsize=14091368 memory=1452 CPUtime=238.6 cores=1,3,5,7
/proc/8252/task/8253/stat : 8253 (java) R 8250 8250 6529 0 -1 4202560 17563 0 0 0 23851 9 0 0 20 0 15 0 106128297 14429560832 290564 33554432000 4194304 4196468 140733685026576 139894246348024 139893888019995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8254] ppid=8250 vsize=14091368 memory=1162256 CPUtime=1.02 cores=1,3,5,7
/proc/8252/task/8254/stat : 8254 (java) S 8250 8250 6529 0 -1 1077944384 1287 0 0 0 85 17 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893838113424 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8255] ppid=8250 vsize=14091368 memory=1162256 CPUtime=1.03 cores=1,3,5,7
/proc/8252/task/8255/stat : 8255 (java) S 8250 8250 6529 0 -1 1077944384 1030 0 0 0 87 16 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893837060624 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8256] ppid=8250 vsize=14091368 memory=1162248 CPUtime=1.03 cores=1,3,5,7
/proc/8252/task/8256/stat : 8256 (java) S 8250 8250 6529 0 -1 1077944384 544 0 0 0 87 16 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893836007824 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8257] ppid=8250 vsize=14091368 memory=1162256 CPUtime=1.04 cores=1,3,5,7
/proc/8252/task/8257/stat : 8257 (java) S 8250 8250 6529 0 -1 1077944384 1571 0 0 0 87 17 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893834955024 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8258] ppid=8250 vsize=14091368 memory=1452 CPUtime=0.36 cores=1,3,5,7
/proc/8252/task/8258/stat : 8258 (java) S 8250 8250 6529 0 -1 1077944384 2489 0 0 0 36 0 0 0 20 0 15 0 106128299 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893715970928 139894242122370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8259] ppid=8250 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8259/stat : 8259 (java) S 8250 8250 6529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 106128299 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893714916960 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8260] ppid=8250 vsize=14091368 memory=952 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 106128299 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893713864064 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14091368 memory=1162256 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14091368 memory=1162256 CPUtime=3.94 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 25008 0 0 0 392 2 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14091368 memory=1452 CPUtime=4.11 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 25006 0 0 0 409 2 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14091368 memory=1162256 CPUtime=0.81 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) S 8250 8250 6529 0 -1 1077944384 7256 0 0 0 79 2 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893709654128 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14091368 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14091368 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 511 0 0 0 2 3 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1163708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.41 s]
# the end of solver process 8250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001144 s, system=0.001144 s
[startup+240.419 s]
# the end of solver process 8252 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.228 s, system=0.888313 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+240.401 s]
/proc/loadavg: 1.98 1.94 1.95 3/217 8423
/proc/meminfo: memFree=23998852/32770624 swapFree=67108688/67108860
[pid=8250] ppid=8247 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (xcsp3-exec) S 8247 8250 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106128296 115843072 363 33554432000 4194304 5098028 140722522909552 140722522907656 139962286281340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9052160 140722522911809 140722522912009 140722522912009 140722522914762 0
/proc/8250/statm: 28282 363 306 221 0 87 0
[pid=8252] ppid=8250 vsize=14091368 memory=1162256 CPUtime=252.08 cores=1,3,5,7
/proc/8252/stat : 8252 (java) S 8250 8250 6529 0 -1 1077944320 83666 0 0 0 25121 87 0 0 20 0 15 0 106128296 14429560832 290564 33554432000 4194304 4196468 140733685026576 140733685009120 139894242111223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
/proc/8252/statm: 3522842 290564 3448 1 0 3484036 0
[pid=8252/tid=8253] ppid=8250 vsize=14091368 memory=1452 CPUtime=238.6 cores=1,3,5,7
/proc/8252/task/8253/stat : 8253 (java) R 8250 8250 6529 0 -1 4202560 17563 0 0 0 23851 9 0 0 20 0 15 0 106128297 14429560832 290564 33554432000 4194304 4196468 140733685026576 139894246348024 139893888019995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8254] ppid=8250 vsize=14091368 memory=1162256 CPUtime=1.02 cores=1,3,5,7
/proc/8252/task/8254/stat : 8254 (java) S 8250 8250 6529 0 -1 1077944384 1287 0 0 0 85 17 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893838113424 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8255] ppid=8250 vsize=14091368 memory=1162256 CPUtime=1.03 cores=1,3,5,7
/proc/8252/task/8255/stat : 8255 (java) S 8250 8250 6529 0 -1 1077944384 1030 0 0 0 87 16 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893837060624 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8256] ppid=8250 vsize=14091368 memory=1162248 CPUtime=1.03 cores=1,3,5,7
/proc/8252/task/8256/stat : 8256 (java) S 8250 8250 6529 0 -1 1077944384 544 0 0 0 87 16 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893836007824 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8257] ppid=8250 vsize=14091368 memory=1162256 CPUtime=1.04 cores=1,3,5,7
/proc/8252/task/8257/stat : 8257 (java) S 8250 8250 6529 0 -1 1077944384 1571 0 0 0 87 17 0 0 20 0 15 0 106128298 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893834955024 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8258] ppid=8250 vsize=14091368 memory=1452 CPUtime=0.36 cores=1,3,5,7
/proc/8252/task/8258/stat : 8258 (java) S 8250 8250 6529 0 -1 1077944384 2489 0 0 0 36 0 0 0 20 0 15 0 106128299 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893715970928 139894242122370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8259] ppid=8250 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8259/stat : 8259 (java) S 8250 8250 6529 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 106128299 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893714916960 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8260] ppid=8250 vsize=14091368 memory=952 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8260/stat : 8260 (java) S 8250 8250 6529 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 106128299 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893713864064 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8261] ppid=8250 vsize=14091368 memory=1162256 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8261/stat : 8261 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893712812368 139894242129819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8262] ppid=8250 vsize=14091368 memory=1162256 CPUtime=3.94 cores=1,3,5,7
/proc/8252/task/8262/stat : 8262 (java) S 8250 8250 6529 0 -1 1077944384 25008 0 0 0 392 2 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893711759728 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8263] ppid=8250 vsize=14091368 memory=1452 CPUtime=4.11 cores=1,3,5,7
/proc/8252/task/8263/stat : 8263 (java) S 8250 8250 6529 0 -1 1077944384 25006 0 0 0 409 2 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893710706928 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8264] ppid=8250 vsize=14091368 memory=1162256 CPUtime=0.81 cores=1,3,5,7
/proc/8252/task/8264/stat : 8264 (java) S 8250 8250 6529 0 -1 1077944384 7256 0 0 0 79 2 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893709654128 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8265] ppid=8250 vsize=14091368 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/8252/task/8265/stat : 8265 (java) S 8250 8250 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893708601568 139894242121429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
[pid=8252/tid=8266] ppid=8250 vsize=14091368 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/8252/task/8266/stat : 8266 (java) S 8250 8250 6529 0 -1 1077944384 511 0 0 0 2 3 0 0 20 0 15 0 106128302 14429560832 290564 33554432000 4194304 4196468 140733685026576 139893707549872 139894242122370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 6762496 140733685032076 140733685032246 140733685032246 140733685034959 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 1163708 KiB
Child status: 143
Real time (s): 240.419
CPU time (s): 252.116
CPU user time (s): 251.228
CPU system time (s): 0.888313
CPU usage (%): 104.865
Max. virtual memory (cumulated for all children) (KiB): 14206596
Max. memory (cumulated for all children) (KiB): 1163708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.228
system time used= 0.888313
maximum resident set size= 1162584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8309
involuntary context switches= 286
# summary of solver processes directly reported to runsolver:
# pid: 8250,8252
# total CPU time (s): 252.116
# total CPU user time (s): 251.228
# total CPU system time (s): 0.888313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32371 second user time and 2.29764 second system time
The end