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 (4531 MiB free)
memory of node 1: 16384 MiB (6264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403403-1568990916/watcher-4403403-1568990916 -o /var/tmp/evaluation-result-4403403-1568990916/solver-4403403-1568990916 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1247 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1928925423 HOME/instance-4403403-1568990916.xml
running on 4 cores: 0,2,4,6
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=1278, runsolver pid=1271
[startup+0.100059 s]*
/proc/loadavg: 0.77 0.75 0.86 7/233 1321
/proc/meminfo: memFree=11022096/32770624 swapFree=67001880/67108860
[pid=1278] ppid=1271 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1278/stat : 1278 (xcsp3-exec) S 1271 1278 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475331154 115843072 364 33554432000 4194304 5098028 140728617073232 140728617071336 139915643499132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17018880 140728617075542 140728617075801 140728617075801 140728617078726 0
/proc/1278/statm: 28282 364 305 221 0 87 0
[pid=1281] ppid=1278 vsize=15144776 memory=29640 CPUtime=0.12 cores=0,2,4,6
/proc/1281/stat : 1281 (java) S 1278 1278 1216 0 -1 1077944320 5807 0 0 0 11 1 0 0 20 0 15 0 475331154 15508250624 7410 33554432000 4194304 4196468 140721784976384 140721784958928 140109300604663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
/proc/1281/statm: 3786194 7410 3147 1 0 3748377 0
[pid=1281/tid=1284] ppid=1278 vsize=15144776 memory=7391413433648273289 CPUtime=0.08 cores=0,2,4,6
/proc/1281/task/1284/stat : 1284 (java) R 1278 1278 1216 0 -1 4202560 3735 0 0 0 8 0 0 0 20 0 15 0 475331155 15508250624 7410 33554432000 4194304 4196468 140721784976384 140109304835984 140109300626010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1285] ppid=1278 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1285/stat : 1285 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 7410 33554432000 4194304 4196468 140721784976384 140109228645392 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1287] ppid=1278 vsize=15144776 memory=140235407173248 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1287/stat : 1287 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 7410 33554432000 4194304 4196468 140721784976384 140109227592848 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1289] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1289/stat : 1289 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 7410 33554432000 4194304 4196468 140721784976384 140109226539792 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1299] ppid=1278 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1299/stat : 1299 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 7410 33554432000 4194304 4196468 140721784976384 140109225487248 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1301] ppid=1278 vsize=15144776 memory=140235407173248 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1301/stat : 1301 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475331157 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108769020144 140109300615810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1303] ppid=1278 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1303/stat : 1303 (java) S 1278 1278 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475331157 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108767966368 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1305] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1305/stat : 1305 (java) S 1278 1278 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475331157 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108766913264 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1310] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1310/stat : 1310 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108765861840 140109300623259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1312] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1312/stat : 1312 (java) R 1278 1278 1216 0 -1 4202560 445 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108764809968 140109285000768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1314] ppid=1278 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1314/stat : 1314 (java) R 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108763757424 140109300615810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1315] ppid=1278 vsize=15144776 memory=140235407173248 CPUtime=0.02 cores=0,2,4,6
/proc/1281/task/1315/stat : 1315 (java) R 1278 1278 1216 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 475331160 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108762704368 140109285770302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1319] ppid=1278 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1319/stat : 1319 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108761652064 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1320] ppid=1278 vsize=15144776 memory=140235407173248 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1320/stat : 1320 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 7410 33554432000 4194304 4196468 140721784976384 140108760599088 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31096 KiB
[startup+0.211398 s]*
/proc/loadavg: 0.77 0.75 0.86 6/233 1321
/proc/meminfo: memFree=10998424/32770624 swapFree=67001880/67108860
[pid=1278] ppid=1271 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1278/stat : 1278 (xcsp3-exec) S 1271 1278 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475331154 115843072 364 33554432000 4194304 5098028 140728617073232 140728617071336 139915643499132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17018880 140728617075542 140728617075801 140728617075801 140728617078726 0
/proc/1278/statm: 28282 364 305 221 0 87 0
[pid=1281] ppid=1278 vsize=15144776 memory=40840 CPUtime=0.34 cores=0,2,4,6
/proc/1281/stat : 1281 (java) S 1278 1278 1216 0 -1 1077944320 9478 0 0 0 31 3 0 0 20 0 15 0 475331154 15508250624 10210 33554432000 4194304 4196468 140721784976384 140721784958928 140109300604663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
/proc/1281/statm: 3786194 10210 3299 1 0 3748377 0
[pid=1281/tid=1284] ppid=1278 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1281/task/1284/stat : 1284 (java) R 1278 1278 1216 0 -1 4202560 6642 0 0 0 18 2 0 0 20 0 15 0 475331155 15508250624 10210 33554432000 4194304 4196468 140721784976384 140109304838784 140109300626010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1285] ppid=1278 vsize=15144776 memory=4294980885 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1285/stat : 1285 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 10210 33554432000 4194304 4196468 140721784976384 140109228645392 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1287] ppid=1278 vsize=15144776 memory=140235407190553 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1287/stat : 1287 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 10210 33554432000 4194304 4196468 140721784976384 140109227592848 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1289] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1289/stat : 1289 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 10210 33554432000 4194304 4196468 140721784976384 140109226539792 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1299] ppid=1278 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1299/stat : 1299 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475331155 15508250624 10210 33554432000 4194304 4196468 140721784976384 140109225487248 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1301] ppid=1278 vsize=15144776 memory=140235407173248 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1301/stat : 1301 (java) S 1278 1278 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475331157 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108769020144 140109300615810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1303] ppid=1278 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1303/stat : 1303 (java) S 1278 1278 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475331157 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108767966368 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1305] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1305/stat : 1305 (java) S 1278 1278 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475331157 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108766913264 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1310] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1310/stat : 1310 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108765861840 140109300623259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1312] ppid=1278 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1281/task/1312/stat : 1312 (java) S 1278 1278 1216 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 475331160 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108764809968 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1314] ppid=1278 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1281/task/1314/stat : 1314 (java) S 1278 1278 1216 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 475331160 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108763757424 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1315] ppid=1278 vsize=15144776 memory=140235407173248 CPUtime=0.08 cores=0,2,4,6
/proc/1281/task/1315/stat : 1315 (java) R 1278 1278 1216 0 -1 4202560 724 0 0 0 8 0 0 0 20 0 15 0 475331160 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108762704368 140109300626010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1319] ppid=1278 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1319/stat : 1319 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108761652064 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1320] ppid=1278 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1320/stat : 1320 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331160 15508250624 10210 33554432000 4194304 4196468 140721784976384 140108760599088 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42296 KiB
[startup+0.310706 s]*
/proc/loadavg: 0.77 0.75 0.86 8/233 1321
/proc/meminfo: memFree=10985084/32770624 swapFree=67001880/67108860
[pid=1278] ppid=1271 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1278/stat : 1278 (xcsp3-exec) S 1271 1278 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475331154 115843072 364 33554432000 4194304 5098028 140728617073232 140728617071336 139915643499132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17018880 140728617075542 140728617075801 140728617075801 140728617078726 0
/proc/1278/statm: 28282 364 305 221 0 87 0
[pid=1281] ppid=1278 vsize=15149032 memory=49088 CPUtime=0.51 cores=0,2,4,6
/proc/1281/stat : 1281 (java) S 1278 1278 1216 0 -1 1077944320 10641 0 1 0 47 4 0 0 20 0 15 0 475331154 15512608768 12272 33554432000 4194304 4196468 140721784976384 140721784958928 140109300604663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
/proc/1281/statm: 3787258 12272 3332 1 0 3748377 0
[pid=1281/tid=1284] ppid=1278 vsize=15149032 memory=4774505469681996649 CPUtime=0.3 cores=0,2,4,6
/proc/1281/task/1284/stat : 1284 (java) R 1278 1278 1216 0 -1 4202560 7747 0 1 0 27 3 0 0 20 0 15 0 475331155 15512608768 12315 33554432000 4194304 4196468 140721784976384 140109304835776 140109282189538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1285] ppid=1278 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1285/stat : 1285 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331155 15512608768 12315 33554432000 4194304 4196468 140721784976384 140109228645392 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1287] ppid=1278 vsize=15149032 memory=3978701783356747039 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1287/stat : 1287 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475331155 15512608768 12315 33554432000 4194304 4196468 140721784976384 140109227592848 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1289] ppid=1278 vsize=15149032 memory=6297269579186787428 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1289/stat : 1289 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331155 15512608768 12315 33554432000 4194304 4196468 140721784976384 140109226539792 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1299] ppid=1278 vsize=15149032 memory=7017215288209912368 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1299/stat : 1299 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475331155 15512608768 12315 33554432000 4194304 4196468 140721784976384 140109225487248 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1301] ppid=1278 vsize=15149032 memory=3251792081274951857 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1301/stat : 1301 (java) S 1278 1278 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475331157 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108769020144 140109300615810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1303] ppid=1278 vsize=15149032 memory=8462870768545706544 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1303/stat : 1303 (java) S 1278 1278 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475331157 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108767966368 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1305] ppid=1278 vsize=15149032 memory=8463011003858574277 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1305/stat : 1305 (java) S 1278 1278 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475331157 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108766913264 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1310] ppid=1278 vsize=15149032 memory=8463011003875351557 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1310/stat : 1310 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475331160 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108765861840 140109300623259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1312] ppid=1278 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1281/task/1312/stat : 1312 (java) S 1278 1278 1216 0 -1 1077944384 519 0 0 0 3 0 0 0 20 0 15 0 475331160 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108764809968 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1314] ppid=1278 vsize=15149032 memory=2319389199166349359 CPUtime=0.03 cores=0,2,4,6
/proc/1281/task/1314/stat : 1314 (java) S 1278 1278 1216 0 -1 1077944384 306 0 0 0 3 0 0 0 20 0 15 0 475331160 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108763757424 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1315] ppid=1278 vsize=15149032 memory=3545373870730331824 CPUtime=0.12 cores=0,2,4,6
/proc/1281/task/1315/stat : 1315 (java) S 1278 1278 1216 0 -1 1077944384 805 0 0 0 12 0 0 0 20 0 15 0 475331160 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108762704368 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1319] ppid=1278 vsize=15149032 memory=3616444587841959216 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1319/stat : 1319 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475331160 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108761652064 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1320] ppid=1278 vsize=15149032 memory=3756195308159326644 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1320/stat : 1320 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475331160 15512608768 12315 33554432000 4194304 4196468 140721784976384 140108760599088 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50544 KiB
[startup+0.70073 s]
/proc/loadavg: 0.77 0.75 0.86 8/233 1321
/proc/meminfo: memFree=10956084/32770624 swapFree=67001880/67108860
[pid=1278] ppid=1271 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1278/stat : 1278 (xcsp3-exec) S 1271 1278 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475331154 115843072 364 33554432000 4194304 5098028 140728617073232 140728617071336 139915643499132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17018880 140728617075542 140728617075801 140728617075801 140728617078726 0
/proc/1278/statm: 28282 364 305 221 0 87 0
[pid=1281] ppid=1278 vsize=15417412 memory=83380 CPUtime=1.53 cores=0,2,4,6
/proc/1281/stat : 1281 (java) S 1278 1278 1216 0 -1 1077944320 15109 0 1 0 147 6 0 0 20 0 19 0 475331154 15787429888 20845 33554432000 4194304 4196468 140721784976384 140721784958928 140109300604663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
/proc/1281/statm: 3854353 20845 3454 1 0 3815453 0
[pid=1281/tid=1284] ppid=1278 vsize=15417412 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/1281/task/1284/stat : 1284 (java) S 1278 1278 1216 0 -1 1077944384 9410 0 1 0 56 4 0 0 20 0 19 0 475331155 15787429888 20845 33554432000 4194304 4196468 140721784976384 140109304845440 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1285] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1285/stat : 1285 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475331155 15787429888 20845 33554432000 4194304 4196468 140721784976384 140109228645392 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1287] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1287/stat : 1287 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475331155 15787429888 20845 33554432000 4194304 4196468 140721784976384 140109227592848 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1289] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1289/stat : 1289 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475331155 15787429888 20845 33554432000 4194304 4196468 140721784976384 140109226539792 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1299] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1299/stat : 1299 (java) S 1278 1278 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475331155 15787429888 20845 33554432000 4194304 4196468 140721784976384 140109225487248 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1301] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1301/stat : 1301 (java) S 1278 1278 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475331157 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108769020144 140109300615810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1303] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1303/stat : 1303 (java) S 1278 1278 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475331157 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108767966368 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1305] ppid=1278 vsize=15417412 memory=218 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1305/stat : 1305 (java) S 1278 1278 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475331157 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108766913264 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1310] ppid=1278 vsize=15417412 memory=1 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1310/stat : 1310 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108765861840 140109300623259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1312] ppid=1278 vsize=15417412 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/1281/task/1312/stat : 1312 (java) D 1278 1278 1216 0 -1 4202560 1123 0 0 0 21 0 0 0 20 0 19 0 475331160 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108764791032 140109292894045 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1314] ppid=1278 vsize=15417412 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/1281/task/1314/stat : 1314 (java) D 1278 1278 1216 0 -1 4202560 898 0 0 0 17 0 0 0 20 0 19 0 475331160 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108763739944 140109293321815 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1315] ppid=1278 vsize=15417412 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/1281/task/1315/stat : 1315 (java) R 1278 1278 1216 0 -1 4202560 1682 0 0 0 36 0 0 0 20 0 19 0 475331160 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108762700776 140109279740204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1319] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1319/stat : 1319 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108761652064 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1320] ppid=1278 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1320/stat : 1320 (java) S 1278 1278 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475331160 15787429888 20845 33554432000 4194304 4196468 140721784976384 140108760599088 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 84836 KiB
[startup+1.50275 s]
/proc/loadavg: 0.77 0.75 0.86 13/241 1330
/proc/meminfo: memFree=10877588/32770624 swapFree=67001880/67108860
[pid=1278] ppid=1271 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1278/stat : 1278 (xcsp3-exec) S 1271 1278 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475331154 115843072 364 33554432000 4194304 5098028 140728617073232 140728617071336 139915643499132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17018880 140728617075542 140728617075801 140728617075801 140728617078726 0
/proc/1278/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/1281/stat : 1281 (java) S 1278 1278 1216 0 -1 1077944320 117205 0 1 0 230027 290 0 0 20 0 19 0 475331154 15789527040 81880 33554432000 4194304 4196468 140721784976384 140721784958928 140109300604663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
/proc/1281/statm: 3854865 81880 3542 1 0 3815965 0
[pid=1281/tid=1284] ppid=1278 vsize=15419460 memory=320064 CPUtime=0.6 cores=0,2,4,6
/proc/1281/task/1284/stat : 1284 (java) S 1278 1278 1216 0 -1 1077944384 9410 0 1 0 56 4 0 0 20 0 19 0 475331155 15789527040 81880 33554432000 4194304 4196468 140721784976384 140109304845440 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1285] ppid=1278 vsize=15419460 memory=319944 CPUtime=1.76 cores=0,2,4,6
/proc/1281/task/1285/stat : 1285 (java) S 1278 1278 1216 0 -1 1077944384 3939 0 0 0 167 9 0 0 20 0 19 0 475331155 15789527040 81880 33554432000 4194304 4196468 140721784976384 140109228645392 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1287] ppid=1278 vsize=15419460 memory=319944 CPUtime=1.77 cores=0,2,4,6
/proc/1281/task/1287/stat : 1287 (java) S 1278 1278 1216 0 -1 1077944384 3609 0 0 0 168 9 0 0 20 0 19 0 475331155 15789527040 81880 33554432000 4194304 4196468 140721784976384 140109227592848 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1289] ppid=1278 vsize=15419460 memory=320000 CPUtime=1.77 cores=0,2,4,6
/proc/1281/task/1289/stat : 1289 (java) S 1278 1278 1216 0 -1 1077944384 3009 0 0 0 167 10 0 0 20 0 19 0 475331155 15789527040 81880 33554432000 4194304 4196468 140721784976384 140109226539792 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1299] ppid=1278 vsize=15419460 memory=320000 CPUtime=1.77 cores=0,2,4,6
/proc/1281/task/1299/stat : 1299 (java) S 1278 1278 1216 0 -1 1077944384 3011 0 0 0 168 9 0 0 20 0 19 0 475331155 15789527040 81880 33554432000 4194304 4196468 140721784976384 140109225487248 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1301] ppid=1278 vsize=15419460 memory=324668 CPUtime=3.8 cores=0,2,4,6
/proc/1281/task/1301/stat : 1301 (java) S 1278 1278 1216 0 -1 1077944384 14742 0 0 0 134 246 0 0 20 0 19 0 475331157 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108769020144 140109300615810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1303] ppid=1278 vsize=15419460 memory=325472 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1303/stat : 1303 (java) S 1278 1278 1216 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475331157 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108767966432 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1305] ppid=1278 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1305/stat : 1305 (java) S 1278 1278 1216 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475331157 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108766913280 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1310] ppid=1278 vsize=15419460 memory=330 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1310/stat : 1310 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108765861840 140109300623259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1312] ppid=1278 vsize=15419460 memory=140235246439368 CPUtime=3.99 cores=0,2,4,6
/proc/1281/task/1312/stat : 1312 (java) S 1278 1278 1216 0 -1 1077944384 26317 0 0 0 396 3 0 0 20 0 19 0 475331160 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108764809968 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1314] ppid=1278 vsize=15419460 memory=325472 CPUtime=4.4 cores=0,2,4,6
/proc/1281/task/1314/stat : 1314 (java) S 1278 1278 1216 0 -1 1077944384 27131 0 0 0 437 3 0 0 20 0 19 0 475331160 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108763757424 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1315] ppid=1278 vsize=15419460 memory=1744 CPUtime=0.69 cores=0,2,4,6
/proc/1281/task/1315/stat : 1315 (java) S 1278 1278 1216 0 -1 1077944384 10487 0 0 0 68 1 0 0 20 0 19 0 475331160 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108762704368 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1319] ppid=1278 vsize=15419460 memory=780 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1319/stat : 1319 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108761652064 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1320] ppid=1278 vsize=15419460 memory=1456 CPUtime=0.15 cores=0,2,4,6
/proc/1281/task/1320/stat : 1320 (java) S 1278 1278 1216 0 -1 1077944384 1632 0 0 0 5 10 0 0 20 0 19 0 475331160 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108760599088 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1327] ppid=1278 vsize=15419460 memory=1456 CPUtime=570.49 cores=0,2,4,6
/proc/1281/task/1327/stat : 1327 (java) R 1278 1278 1216 0 -1 4202560 3084 0 0 0 57046 3 0 0 20 0 19 0 475331218 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108751617048 140108902770635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1328] ppid=1278 vsize=15419460 memory=324668 CPUtime=572.31 cores=0,2,4,6
/proc/1281/task/1328/stat : 1328 (java) R 1278 1278 1216 0 -1 4202560 2884 0 0 0 57228 3 0 0 20 0 19 0 475331218 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108750564672 140108903959418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1329] ppid=1278 vsize=15419460 memory=320064 CPUtime=569.96 cores=0,2,4,6
/proc/1281/task/1329/stat : 1329 (java) R 1278 1278 1216 0 -1 4202560 2579 0 0 0 56994 2 0 0 20 0 19 0 475331218 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108749512472 140109284981776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1330] ppid=1278 vsize=15419460 memory=327520 CPUtime=569.58 cores=0,2,4,6
/proc/1281/task/1330/stat : 1330 (java) R 1278 1278 1216 0 -1 4202560 3972 0 0 0 56955 3 0 0 20 0 19 0 475331218 15789527040 81880 33554432000 4194304 4196468 140721784976384 140108748463104 140108902615212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
Current children cumulated CPU time: 2303.17 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 328976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.302 s]
/proc/loadavg: 9.39 8.14 4.87 11/242 1393
/proc/meminfo: memFree=10375272/32770624 swapFree=67001884/67108860
[pid=1278] ppid=1271 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1278/stat : 1278 (xcsp3-exec) S 1271 1278 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475331154 115843072 364 33554432000 4194304 5098028 140728617073232 140728617071336 139915643499132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17018880 140728617075542 140728617075801 140728617075801 140728617078726 0
/proc/1278/statm: 28282 364 305 221 0 87 0
[pid=1281] ppid=1278 vsize=15419460 memory=364912 CPUtime=2520.18 cores=0,2,4,6
/proc/1281/stat : 1281 (java) S 1278 1278 1216 0 -1 1077944320 122686 0 1 0 251678 340 0 0 20 0 19 0 475331154 15789527040 91228 33554432000 4194304 4196468 140721784976384 140721784958928 140109300604663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
/proc/1281/statm: 3854865 91228 3542 1 0 3815965 0
[pid=1281/tid=1284] ppid=1278 vsize=15419460 memory=364912 CPUtime=0.6 cores=0,2,4,6
/proc/1281/task/1284/stat : 1284 (java) S 1278 1278 1216 0 -1 1077944384 9410 0 1 0 56 4 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109304845440 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1285] ppid=1278 vsize=15419460 memory=364912 CPUtime=1.96 cores=0,2,4,6
/proc/1281/task/1285/stat : 1285 (java) S 1278 1278 1216 0 -1 1077944384 4415 0 0 0 187 9 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109228645392 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1287] ppid=1278 vsize=15419460 memory=364912 CPUtime=1.98 cores=0,2,4,6
/proc/1281/task/1287/stat : 1287 (java) S 1278 1278 1216 0 -1 1077944384 4221 0 0 0 189 9 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109227592848 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1289] ppid=1278 vsize=15419460 memory=1456 CPUtime=1.97 cores=0,2,4,6
/proc/1281/task/1289/stat : 1289 (java) S 1278 1278 1216 0 -1 1077944384 3108 0 0 0 187 10 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109226539792 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1299] ppid=1278 vsize=15419460 memory=364912 CPUtime=1.99 cores=0,2,4,6
/proc/1281/task/1299/stat : 1299 (java) S 1278 1278 1216 0 -1 1077944384 3131 0 0 0 189 10 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109225487248 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1301] ppid=1278 vsize=15419460 memory=364912 CPUtime=4.5 cores=0,2,4,6
/proc/1281/task/1301/stat : 1301 (java) S 1278 1278 1216 0 -1 1077944384 16114 0 0 0 153 297 0 0 20 0 19 0 475331157 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108769020144 140109300615810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1303] ppid=1278 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1303/stat : 1303 (java) S 1278 1278 1216 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475331157 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108767966432 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1305] ppid=1278 vsize=15419460 memory=330 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1305/stat : 1305 (java) S 1278 1278 1216 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475331157 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108766913280 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1310] ppid=1278 vsize=15419460 memory=54532 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1310/stat : 1310 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108765861840 140109300623259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1312] ppid=1278 vsize=15419460 memory=988 CPUtime=3.99 cores=0,2,4,6
/proc/1281/task/1312/stat : 1312 (java) S 1278 1278 1216 0 -1 1077944384 26317 0 0 0 396 3 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108764809968 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1314] ppid=1278 vsize=15419460 memory=1804 CPUtime=4.4 cores=0,2,4,6
/proc/1281/task/1314/stat : 1314 (java) S 1278 1278 1216 0 -1 1077944384 27131 0 0 0 437 3 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108763757424 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1315] ppid=1278 vsize=15419460 memory=920 CPUtime=0.69 cores=0,2,4,6
/proc/1281/task/1315/stat : 1315 (java) S 1278 1278 1216 0 -1 1077944384 10487 0 0 0 68 1 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108762704368 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1319] ppid=1278 vsize=15419460 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1319/stat : 1319 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108761652064 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1320] ppid=1278 vsize=15419460 memory=54532 CPUtime=0.16 cores=0,2,4,6
/proc/1281/task/1320/stat : 1320 (java) S 1278 1278 1216 0 -1 1077944384 1636 0 0 0 5 11 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108760599088 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1327] ppid=1278 vsize=15419460 memory=1456 CPUtime=624.24 cores=0,2,4,6
/proc/1281/task/1327/stat : 1327 (java) R 1278 1278 1216 0 -1 4202560 3746 0 0 0 62421 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108751617064 140108902618137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1328] ppid=1278 vsize=15419460 memory=1456 CPUtime=626.54 cores=0,2,4,6
/proc/1281/task/1328/stat : 1328 (java) R 1278 1278 1216 0 -1 4202560 2905 0 0 0 62651 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108750564672 140108903959428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1329] ppid=1278 vsize=15419460 memory=1456 CPUtime=623.78 cores=0,2,4,6
/proc/1281/task/1329/stat : 1329 (java) R 1278 1278 1216 0 -1 4202560 2952 0 0 0 62375 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108749512472 140109281444164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1330] ppid=1278 vsize=15419460 memory=362520 CPUtime=623.23 cores=0,2,4,6
/proc/1281/task/1330/stat : 1330 (java) R 1278 1278 1216 0 -1 4202560 5714 0 0 0 62320 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108748463552 140108904008685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
Current children cumulated CPU time: 2520.18 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 366368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.318 s]
# the end of solver process 1278 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000792 s, system=0.001584 s
[startup+637.391 s]
# the end of solver process 1281 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.1 s, system=3.41289 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+637.302 s]
/proc/loadavg: 9.39 8.14 4.87 11/242 1393
/proc/meminfo: memFree=10375272/32770624 swapFree=67001884/67108860
[pid=1278] ppid=1271 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1278/stat : 1278 (xcsp3-exec) S 1271 1278 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475331154 115843072 364 33554432000 4194304 5098028 140728617073232 140728617071336 139915643499132 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17018880 140728617075542 140728617075801 140728617075801 140728617078726 0
/proc/1278/statm: 28282 364 305 221 0 87 0
[pid=1281] ppid=1278 vsize=15419460 memory=364912 CPUtime=2520.18 cores=0,2,4,6
/proc/1281/stat : 1281 (java) S 1278 1278 1216 0 -1 1077944320 122686 0 1 0 251678 340 0 0 20 0 19 0 475331154 15789527040 91228 33554432000 4194304 4196468 140721784976384 140721784958928 140109300604663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
/proc/1281/statm: 3854865 91228 3542 1 0 3815965 0
[pid=1281/tid=1284] ppid=1278 vsize=15419460 memory=364912 CPUtime=0.6 cores=0,2,4,6
/proc/1281/task/1284/stat : 1284 (java) S 1278 1278 1216 0 -1 1077944384 9410 0 1 0 56 4 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109304845440 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1285] ppid=1278 vsize=15419460 memory=364912 CPUtime=1.96 cores=0,2,4,6
/proc/1281/task/1285/stat : 1285 (java) S 1278 1278 1216 0 -1 1077944384 4415 0 0 0 187 9 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109228645392 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1287] ppid=1278 vsize=15419460 memory=364912 CPUtime=1.98 cores=0,2,4,6
/proc/1281/task/1287/stat : 1287 (java) S 1278 1278 1216 0 -1 1077944384 4221 0 0 0 189 9 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109227592848 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1289] ppid=1278 vsize=15419460 memory=1456 CPUtime=1.97 cores=0,2,4,6
/proc/1281/task/1289/stat : 1289 (java) S 1278 1278 1216 0 -1 1077944384 3108 0 0 0 187 10 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109226539792 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1299] ppid=1278 vsize=15419460 memory=364912 CPUtime=1.99 cores=0,2,4,6
/proc/1281/task/1299/stat : 1299 (java) S 1278 1278 1216 0 -1 1077944384 3131 0 0 0 189 10 0 0 20 0 19 0 475331155 15789527040 91228 33554432000 4194304 4196468 140721784976384 140109225487248 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1301] ppid=1278 vsize=15419460 memory=364912 CPUtime=4.5 cores=0,2,4,6
/proc/1281/task/1301/stat : 1301 (java) S 1278 1278 1216 0 -1 1077944384 16114 0 0 0 153 297 0 0 20 0 19 0 475331157 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108769020144 140109300615810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1303] ppid=1278 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1303/stat : 1303 (java) S 1278 1278 1216 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475331157 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108767966432 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1305] ppid=1278 vsize=15419460 memory=330 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1305/stat : 1305 (java) S 1278 1278 1216 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475331157 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108766913280 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1310] ppid=1278 vsize=15419460 memory=54532 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1310/stat : 1310 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108765861840 140109300623259 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1312] ppid=1278 vsize=15419460 memory=988 CPUtime=3.99 cores=0,2,4,6
/proc/1281/task/1312/stat : 1312 (java) S 1278 1278 1216 0 -1 1077944384 26317 0 0 0 396 3 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108764809968 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1314] ppid=1278 vsize=15419460 memory=1804 CPUtime=4.4 cores=0,2,4,6
/proc/1281/task/1314/stat : 1314 (java) S 1278 1278 1216 0 -1 1077944384 27131 0 0 0 437 3 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108763757424 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1315] ppid=1278 vsize=15419460 memory=920 CPUtime=0.69 cores=0,2,4,6
/proc/1281/task/1315/stat : 1315 (java) S 1278 1278 1216 0 -1 1077944384 10487 0 0 0 68 1 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108762704368 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1319] ppid=1278 vsize=15419460 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/1281/task/1319/stat : 1319 (java) S 1278 1278 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108761652064 140109300614869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1320] ppid=1278 vsize=15419460 memory=54532 CPUtime=0.16 cores=0,2,4,6
/proc/1281/task/1320/stat : 1320 (java) S 1278 1278 1216 0 -1 1077944384 1636 0 0 0 5 11 0 0 20 0 19 0 475331160 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108760599088 140109300615810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1327] ppid=1278 vsize=15419460 memory=1456 CPUtime=624.24 cores=0,2,4,6
/proc/1281/task/1327/stat : 1327 (java) R 1278 1278 1216 0 -1 4202560 3746 0 0 0 62421 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108751617064 140108902618137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1328] ppid=1278 vsize=15419460 memory=1456 CPUtime=626.54 cores=0,2,4,6
/proc/1281/task/1328/stat : 1328 (java) R 1278 1278 1216 0 -1 4202560 2905 0 0 0 62651 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108750564672 140108903959428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1329] ppid=1278 vsize=15419460 memory=1456 CPUtime=623.78 cores=0,2,4,6
/proc/1281/task/1329/stat : 1329 (java) R 1278 1278 1216 0 -1 4202560 2952 0 0 0 62375 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108749512472 140109281444164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
[pid=1281/tid=1330] ppid=1278 vsize=15419460 memory=362520 CPUtime=623.23 cores=0,2,4,6
/proc/1281/task/1330/stat : 1330 (java) R 1278 1278 1216 0 -1 4202560 5714 0 0 0 62320 3 0 0 20 0 19 0 475331218 15789527040 91228 33554432000 4194304 4196468 140721784976384 140108748463552 140108904008685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29335552 140721784980443 140721784980618 140721784980618 140721784983503 0
Current children cumulated CPU time: 2520.18 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 366368 KiB
Child status: 143
Real time (s): 637.391
CPU time (s): 2520.52
CPU user time (s): 2517.1
CPU system time (s): 3.41289
CPU usage (%): 395.443
Max. virtual memory (cumulated for all children) (KiB): 15535556
Max. memory (cumulated for all children) (KiB): 481236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.1
system time used= 3.41289
maximum resident set size= 503676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123368
page faults= 1
swaps= 0
block input operations= 232
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49580
involuntary context switches= 38990
# summary of solver processes directly reported to runsolver:
# pid: 1278,1281
# total CPU time (s): 2520.52
# total CPU user time (s): 2517.1
# total CPU system time (s): 3.41289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05398 second user time and 6.95357 second system time
The end