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 (3476 MiB free)
memory of node 1: 16384 MiB (1265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404161-1568991828/watcher-4404161-1568991828 -o /var/tmp/evaluation-result-4404161-1568991828/solver-4404161-1568991828 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568991123-13292 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1566913719 HOME/instance-4404161-1568991828.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14351, runsolver pid=14348
[startup+0.101085 s]*
/proc/loadavg: 8.51 7.68 4.95 6/234 14367
/proc/meminfo: memFree=4839120/32770624 swapFree=67001768/67108860
[pid=14351] ppid=14348 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (xcsp3-exec) S 14348 14351 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475096755 115843072 364 33554432000 4194304 5098028 140730001593952 140730001592056 140544643740284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40464384 140730001601366 140730001601625 140730001601625 140730001604550 0
/proc/14351/statm: 28282 364 305 221 0 87 0
[pid=14353] ppid=14351 vsize=15144776 memory=29052 CPUtime=0.12 cores=0,2,4,6
/proc/14353/stat : 14353 (java) S 14351 14351 13261 0 -1 1077944320 5653 0 0 0 11 1 0 0 20 0 15 0 475096755 15508250624 7263 33554432000 4194304 4196468 140734985034432 140734985016976 140037350788855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
/proc/14353/statm: 3786194 7263 3153 1 0 3748377 0
[pid=14353/tid=14354] ppid=14351 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0,2,4,6
/proc/14353/task/14354/stat : 14354 (java) R 14351 14351 13261 0 -1 4202560 3571 0 0 0 8 1 0 0 20 0 15 0 475096755 15508250624 7263 33554432000 4194304 4196468 140734985034432 140037355013264 140037350800790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14355] ppid=14351 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14355/stat : 14355 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 7263 33554432000 4194304 4196468 140734985034432 140037278829584 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14356] ppid=14351 vsize=15144776 memory=140390579701376 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14356/stat : 14356 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 7263 33554432000 4194304 4196468 140734985034432 140037277777040 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14357] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14357/stat : 14357 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 7263 33554432000 4194304 4196468 140734985034432 140037276723984 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14358] ppid=14351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14358/stat : 14358 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 7263 33554432000 4194304 4196468 140734985034432 140037275671440 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14359] ppid=14351 vsize=15144776 memory=140390579701376 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14359/stat : 14359 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096758 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036819400944 140037350800002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14360] ppid=14351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14360/stat : 14360 (java) S 14351 14351 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475096758 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036818347168 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14361] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14361/stat : 14361 (java) S 14351 14351 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475096758 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036817294064 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14362] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14362/stat : 14362 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036816242640 140037350807451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14363] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14363/stat : 14363 (java) R 14351 14351 13261 0 -1 4202560 438 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036815182272 140037334331394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14364] ppid=14351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14364/stat : 14364 (java) R 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036814138224 140037350800002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14365] ppid=14351 vsize=15144776 memory=140390579701376 CPUtime=0.02 cores=0,2,4,6
/proc/14353/task/14365/stat : 14365 (java) R 14351 14351 13261 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 475096761 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036813085168 140037334869342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14366] ppid=14351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14366/stat : 14366 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036812032864 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14367] ppid=14351 vsize=15144776 memory=140390579701376 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14367/stat : 14367 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 7263 33554432000 4194304 4196468 140734985034432 140036810979888 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30508 KiB
[startup+0.211048 s]*
/proc/loadavg: 8.51 7.68 4.95 6/234 14367
/proc/meminfo: memFree=4825864/32770624 swapFree=67001768/67108860
[pid=14351] ppid=14348 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (xcsp3-exec) S 14348 14351 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475096755 115843072 364 33554432000 4194304 5098028 140730001593952 140730001592056 140544643740284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40464384 140730001601366 140730001601625 140730001601625 140730001604550 0
/proc/14351/statm: 28282 364 305 221 0 87 0
[pid=14353] ppid=14351 vsize=15144776 memory=41752 CPUtime=0.34 cores=0,2,4,6
/proc/14353/stat : 14353 (java) S 14351 14351 13261 0 -1 1077944320 9189 0 0 0 30 4 0 0 20 0 15 0 475096755 15508250624 10438 33554432000 4194304 4196468 140734985034432 140734985016976 140037350788855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
/proc/14353/statm: 3786194 10438 3302 1 0 3748377 0
[pid=14353/tid=14354] ppid=14351 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14353/task/14354/stat : 14354 (java) R 14351 14351 13261 0 -1 4202560 6338 0 0 0 17 3 0 0 20 0 15 0 475096755 15508250624 10438 33554432000 4194304 4196468 140734985034432 140037355022304 140036955803601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14355] ppid=14351 vsize=15144776 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14355/stat : 14355 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 10438 33554432000 4194304 4196468 140734985034432 140037278829584 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14356] ppid=14351 vsize=15144776 memory=140390583218904 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14356/stat : 14356 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 10438 33554432000 4194304 4196468 140734985034432 140037277777040 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14357] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14357/stat : 14357 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 10438 33554432000 4194304 4196468 140734985034432 140037276723984 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14358] ppid=14351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14358/stat : 14358 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15508250624 10438 33554432000 4194304 4196468 140734985034432 140037275671440 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14359] ppid=14351 vsize=15144776 memory=140390579701376 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14359/stat : 14359 (java) S 14351 14351 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475096758 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036819400944 140037350800002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14360] ppid=14351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14360/stat : 14360 (java) S 14351 14351 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475096758 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036818347168 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14361] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14361/stat : 14361 (java) S 14351 14351 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475096758 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036817294064 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14362] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14362/stat : 14362 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036816242640 140037350807451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14363] ppid=14351 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14353/task/14363/stat : 14363 (java) S 14351 14351 13261 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 475096761 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036815190768 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14364] ppid=14351 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14353/task/14364/stat : 14364 (java) S 14351 14351 13261 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 475096761 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036814138224 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14365] ppid=14351 vsize=15144776 memory=140390579701376 CPUtime=0.08 cores=0,2,4,6
/proc/14353/task/14365/stat : 14365 (java) R 14351 14351 13261 0 -1 4202560 786 0 0 0 8 0 0 0 20 0 15 0 475096761 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036813085168 140037329470828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14366] ppid=14351 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14366/stat : 14366 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036812032864 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14367] ppid=14351 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14367/stat : 14367 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096761 15508250624 10438 33554432000 4194304 4196468 140734985034432 140036810979888 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43208 KiB
[startup+0.310736 s]*
/proc/loadavg: 8.51 7.68 4.95 6/234 14367
/proc/meminfo: memFree=4817984/32770624 swapFree=67001768/67108860
[pid=14351] ppid=14348 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (xcsp3-exec) S 14348 14351 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475096755 115843072 364 33554432000 4194304 5098028 140730001593952 140730001592056 140544643740284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40464384 140730001601366 140730001601625 140730001601625 140730001604550 0
/proc/14351/statm: 28282 364 305 221 0 87 0
[pid=14353] ppid=14351 vsize=15149032 memory=50388 CPUtime=0.52 cores=0,2,4,6
/proc/14353/stat : 14353 (java) S 14351 14351 13261 0 -1 1077944320 10419 0 0 0 48 4 0 0 20 0 15 0 475096755 15512608768 12597 33554432000 4194304 4196468 140734985034432 140734985016976 140037350788855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
/proc/14353/statm: 3787258 12597 3337 1 0 3748377 0
[pid=14353/tid=14354] ppid=14351 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/14353/task/14354/stat : 14354 (java) R 14351 14351 13261 0 -1 4202560 7475 0 0 0 27 3 0 0 20 0 15 0 475096755 15512608768 12624 33554432000 4194304 4196468 140734985034432 140037355019968 140037350810781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14355] ppid=14351 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14355/stat : 14355 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15512608768 12624 33554432000 4194304 4196468 140734985034432 140037278829584 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14356] ppid=14351 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14356/stat : 14356 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15512608768 12624 33554432000 4194304 4196468 140734985034432 140037277777040 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14357] ppid=14351 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14357/stat : 14357 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15512608768 12624 33554432000 4194304 4196468 140734985034432 140037276723984 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14358] ppid=14351 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14358/stat : 14358 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15512608768 12624 33554432000 4194304 4196468 140734985034432 140037275671440 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14359] ppid=14351 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14359/stat : 14359 (java) S 14351 14351 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475096758 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036819400944 140037350800002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14360] ppid=14351 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14360/stat : 14360 (java) S 14351 14351 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475096758 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036818347168 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14361] ppid=14351 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14361/stat : 14361 (java) S 14351 14351 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475096758 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036817294064 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14362] ppid=14351 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14362/stat : 14362 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036816242640 140037350807451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14363] ppid=14351 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/14353/task/14363/stat : 14363 (java) S 14351 14351 13261 0 -1 1077944384 526 0 0 0 4 0 0 0 20 0 15 0 475096761 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036815190768 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14364] ppid=14351 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14353/task/14364/stat : 14364 (java) S 14351 14351 13261 0 -1 1077944384 257 0 0 0 4 0 0 0 20 0 15 0 475096761 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036814138224 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14365] ppid=14351 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14353/task/14365/stat : 14365 (java) S 14351 14351 13261 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 475096761 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036813085168 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14366] ppid=14351 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14366/stat : 14366 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036812032864 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14367] ppid=14351 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14367/stat : 14367 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096761 15512608768 12624 33554432000 4194304 4196468 140734985034432 140036810979888 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51844 KiB
[startup+0.701012 s]
/proc/loadavg: 8.51 7.68 4.95 8/234 14367
/proc/meminfo: memFree=4804252/32770624 swapFree=67001768/67108860
[pid=14351] ppid=14348 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (xcsp3-exec) S 14348 14351 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475096755 115843072 364 33554432000 4194304 5098028 140730001593952 140730001592056 140544643740284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40464384 140730001601366 140730001601625 140730001601625 140730001604550 0
/proc/14351/statm: 28282 364 305 221 0 87 0
[pid=14353] ppid=14351 vsize=15151156 memory=93004 CPUtime=1.68 cores=0,2,4,6
/proc/14353/stat : 14353 (java) S 14351 14351 13261 0 -1 1077944320 13950 0 0 0 162 6 0 0 20 0 15 0 475096755 15514783744 23251 33554432000 4194304 4196468 140734985034432 140734985016976 140037350788855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
/proc/14353/statm: 3787789 23251 3466 1 0 3748889 0
[pid=14353/tid=14354] ppid=14351 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14353/task/14354/stat : 14354 (java) R 14351 14351 13261 0 -1 4202560 8900 0 0 0 63 4 0 0 20 0 15 0 475096755 15514783744 23251 33554432000 4194304 4196468 140734985034432 140037355022272 140037335104092 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14355] ppid=14351 vsize=15151156 memory=53504 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14355/stat : 14355 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15514783744 23251 33554432000 4194304 4196468 140734985034432 140037278829584 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14356] ppid=14351 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14356/stat : 14356 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096756 15514783744 23251 33554432000 4194304 4196468 140734985034432 140037277777040 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14357] ppid=14351 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14357/stat : 14357 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15514783744 23251 33554432000 4194304 4196468 140734985034432 140037276723984 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14358] ppid=14351 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14358/stat : 14358 (java) S 14351 14351 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475096756 15514783744 23251 33554432000 4194304 4196468 140734985034432 140037275671440 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14359] ppid=14351 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14359/stat : 14359 (java) S 14351 14351 13261 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475096758 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036819400944 140037350800002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14360] ppid=14351 vsize=15151156 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14360/stat : 14360 (java) S 14351 14351 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475096758 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036818347168 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14361] ppid=14351 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14361/stat : 14361 (java) S 14351 14351 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475096758 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036817294064 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14362] ppid=14351 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14362/stat : 14362 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036816242640 140037350807451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14363] ppid=14351 vsize=15151156 memory=2832 CPUtime=0.3 cores=0,2,4,6
/proc/14353/task/14363/stat : 14363 (java) R 14351 14351 13261 0 -1 4202560 1048 0 0 0 30 0 0 0 20 0 15 0 475096761 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036815171784 140037334199869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14364] ppid=14351 vsize=15151156 memory=1224 CPUtime=0.27 cores=0,2,4,6
/proc/14353/task/14364/stat : 14364 (java) R 14351 14351 13261 0 -1 4202560 848 0 0 0 27 0 0 0 20 0 15 0 475096761 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036814120384 140037331489440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14365] ppid=14351 vsize=15151156 memory=6068 CPUtime=0.41 cores=0,2,4,6
/proc/14353/task/14365/stat : 14365 (java) R 14351 14351 13261 0 -1 4202560 1852 0 0 0 41 0 0 0 20 0 15 0 475096761 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036813081768 140037343888555 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14366] ppid=14351 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14366/stat : 14366 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475096761 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036812032864 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14367] ppid=14351 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14367/stat : 14367 (java) S 14351 14351 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475096761 15514783744 23251 33554432000 4194304 4196468 140734985034432 140036810979888 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94460 KiB
[startup+1.50101 s]
/proc/loadavg: 8.51 7.68 4.95 13/238 14371
/proc/meminfo: memFree=4741532/32770624 swapFree=67001768/67108860
[pid=14351] ppid=14348 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (xcsp3-exec) S 14348 14351 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475096755 115843072 364 33554432000 4194304 5098028 140730001593952 140730001592056 140544643740284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40464384 140730001601366 140730001601625 140730001601625 140730001604550 0
/proc/14351/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
[pid=14353/tid=14357] ppid=14351 vsize=15417412 memory=2328244 CPUtime=1.15 cores=0,2,4,6
/proc/14353/task/14357/stat : 14357 (java) S 14351 14351 13261 0 -1 1077944384 30809 0 0 0 106 9 0 0 20 0 19 0 475096756 15787429888 582061 33554432000 4194304 4196468 140734985034432 140037276723984 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14358] ppid=14351 vsize=15417412 memory=532 CPUtime=1.17 cores=0,2,4,6
/proc/14353/task/14358/stat : 14358 (java) S 14351 14351 13261 0 -1 1077944384 15728 0 0 0 108 9 0 0 20 0 19 0 475096756 15787429888 582061 33554432000 4194304 4196468 140734985034432 140037275671440 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14359] ppid=14351 vsize=15417412 memory=2328244 CPUtime=3.16 cores=0,2,4,6
/proc/14353/task/14359/stat : 14359 (java) S 14351 14351 13261 0 -1 1077944384 19503 0 0 0 305 11 0 0 20 0 19 0 475096758 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036819400944 140037350800002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14360] ppid=14351 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14360/stat : 14360 (java) S 14351 14351 13261 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475096758 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036818347232 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14361] ppid=14351 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14361/stat : 14361 (java) S 14351 14351 13261 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475096758 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036817294080 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14362] ppid=14351 vsize=15417412 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14362/stat : 14362 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475096761 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036816242640 140037350807451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14363] ppid=14351 vsize=15417412 memory=53516 CPUtime=1.99 cores=0,2,4,6
/proc/14353/task/14363/stat : 14363 (java) S 14351 14351 13261 0 -1 1077944384 14325 0 0 0 197 2 0 0 20 0 19 0 475096761 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036815190768 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14364] ppid=14351 vsize=15417412 memory=1456 CPUtime=2.14 cores=0,2,4,6
/proc/14353/task/14364/stat : 14364 (java) S 14351 14351 13261 0 -1 1077944384 15829 0 0 0 212 2 0 0 20 0 19 0 475096761 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036814138224 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14365] ppid=14351 vsize=15417412 memory=2328244 CPUtime=0.7 cores=0,2,4,6
/proc/14353/task/14365/stat : 14365 (java) S 14351 14351 13261 0 -1 1077944384 8422 0 0 0 69 1 0 0 20 0 19 0 475096761 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036813085168 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14366] ppid=14351 vsize=15417412 memory=2328244 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14366/stat : 14366 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475096761 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036812032864 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14367] ppid=14351 vsize=15417412 memory=1456 CPUtime=0.21 cores=0,2,4,6
/proc/14353/task/14367/stat : 14367 (java) S 14351 14351 13261 0 -1 1077944384 832 0 0 0 0 21 0 0 20 0 19 0 475096761 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036810979888 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14368] ppid=14351 vsize=15417412 memory=1456 CPUtime=513.77 cores=0,2,4,6
/proc/14353/task/14368/stat : 14368 (java) R 14351 14351 13261 0 -1 4202560 177567 0 0 0 51287 90 0 0 20 0 19 0 475096830 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036806048224 140036956038828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14369] ppid=14351 vsize=15417412 memory=1456 CPUtime=514.78 cores=0,2,4,6
/proc/14353/task/14369/stat : 14369 (java) R 14351 14351 13261 0 -1 4202560 3923 0 0 0 51476 2 0 0 20 0 19 0 475096830 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036205862120 140036961514010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14370] ppid=14351 vsize=15417412 memory=1456 CPUtime=512.75 cores=0,2,4,6
/proc/14353/task/14370/stat : 14370 (java) R 14351 14351 13261 0 -1 4202560 171858 0 0 0 51240 35 0 0 20 0 19 0 475096830 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036204809880 140036961001888 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14371] ppid=14351 vsize=15417412 memory=2328244 CPUtime=513.69 cores=0,2,4,6
/proc/14353/task/14371/stat : 14371 (java) R 14351 14351 13261 0 -1 4202560 3004 0 0 0 51368 1 0 0 20 0 19 0 475096830 15787429888 582061 33554432000 4194304 4196468 140734985034432 140036203758120 140036961481756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
Current children cumulated CPU time: 2068.68 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2329700 KiB
[startup+582.301 s]
/proc/loadavg: 7.86 8.34 6.63 9/238 14526
/proc/meminfo: memFree=3518076/32770624 swapFree=67001768/67108860
[pid=14351] ppid=14348 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (xcsp3-exec) S 14348 14351 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475096755 115843072 364 33554432000 4194304 5098028 140730001593952 140730001592056 140544643740284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40464384 140730001601366 140730001601625 140730001601625 140730001604550 0
/proc/14351/statm: 28282 364 305 221 0 87 0
[pid=14353] ppid=14351 vsize=15417412 memory=2329460 CPUtime=2307.6 cores=0,2,4,6
/proc/14353/stat : 14353 (java) S 14351 14351 13261 0 -1 1077944320 574297 0 0 0 230563 197 0 0 20 0 19 0 475096755 15787429888 582365 33554432000 4194304 4196468 140734985034432 140734985016976 140037350788855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
/proc/14353/statm: 3854353 582365 3550 1 0 3815453 0
[pid=14353/tid=14354] ppid=14351 vsize=15417412 memory=2329460 CPUtime=0.72 cores=0,2,4,6
/proc/14353/task/14354/stat : 14354 (java) S 14351 14351 13261 0 -1 1077944384 8988 0 0 0 68 4 0 0 20 0 19 0 475096755 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037355029632 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14355] ppid=14351 vsize=15417412 memory=2329460 CPUtime=1.17 cores=0,2,4,6
/proc/14353/task/14355/stat : 14355 (java) S 14351 14351 13261 0 -1 1077944384 31674 0 0 0 105 12 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037278829584 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14356] ppid=14351 vsize=15417412 memory=2329460 CPUtime=1.17 cores=0,2,4,6
/proc/14353/task/14356/stat : 14356 (java) S 14351 14351 13261 0 -1 1077944384 16680 0 0 0 110 7 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037277777040 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14357] ppid=14351 vsize=15417412 memory=1456 CPUtime=1.15 cores=0,2,4,6
/proc/14353/task/14357/stat : 14357 (java) S 14351 14351 13261 0 -1 1077944384 30809 0 0 0 106 9 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037276723984 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14358] ppid=14351 vsize=15417412 memory=1456 CPUtime=1.17 cores=0,2,4,6
/proc/14353/task/14358/stat : 14358 (java) S 14351 14351 13261 0 -1 1077944384 15728 0 0 0 108 9 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037275671440 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14359] ppid=14351 vsize=15417412 memory=2329460 CPUtime=3.16 cores=0,2,4,6
/proc/14353/task/14359/stat : 14359 (java) S 14351 14351 13261 0 -1 1077944384 19565 0 0 0 305 11 0 0 20 0 19 0 475096758 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036819400944 140037350800002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14360] ppid=14351 vsize=15417412 memory=2329460 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14360/stat : 14360 (java) S 14351 14351 13261 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475096758 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036818347232 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14361] ppid=14351 vsize=15417412 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14361/stat : 14361 (java) S 14351 14351 13261 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475096758 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036817294080 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14362] ppid=14351 vsize=15417412 memory=2328244 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14362/stat : 14362 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036816242640 140037350807451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14363] ppid=14351 vsize=15417412 memory=1456 CPUtime=1.99 cores=0,2,4,6
/proc/14353/task/14363/stat : 14363 (java) S 14351 14351 13261 0 -1 1077944384 14328 0 0 0 197 2 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036815190768 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14364] ppid=14351 vsize=15417412 memory=2329460 CPUtime=2.22 cores=0,2,4,6
/proc/14353/task/14364/stat : 14364 (java) S 14351 14351 13261 0 -1 1077944384 18199 0 0 0 220 2 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036814138224 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14365] ppid=14351 vsize=15417412 memory=1692 CPUtime=0.7 cores=0,2,4,6
/proc/14353/task/14365/stat : 14365 (java) S 14351 14351 13261 0 -1 1077944384 8431 0 0 0 69 1 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036813085168 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14366] ppid=14351 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14366/stat : 14366 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036812032864 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14367] ppid=14351 vsize=15417412 memory=2328244 CPUtime=0.24 cores=0,2,4,6
/proc/14353/task/14367/stat : 14367 (java) S 14351 14351 13261 0 -1 1077944384 864 0 0 0 0 24 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036810979888 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14368] ppid=14351 vsize=15417412 memory=1456 CPUtime=573.66 cores=0,2,4,6
/proc/14353/task/14368/stat : 14368 (java) R 14351 14351 13261 0 -1 4202560 227240 0 0 0 57271 95 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036806048352 140036961515355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14369] ppid=14351 vsize=15417412 memory=2329460 CPUtime=573.75 cores=0,2,4,6
/proc/14353/task/14369/stat : 14369 (java) R 14351 14351 13261 0 -1 4202560 4403 0 0 0 57373 2 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036205862568 140036961515515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14370] ppid=14351 vsize=15417412 memory=2329460 CPUtime=572.68 cores=0,2,4,6
/proc/14353/task/14370/stat : 14370 (java) R 14351 14351 13261 0 -1 12591168 172824 0 0 0 57232 36 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036204809944 140036961988257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14371] ppid=14351 vsize=15417412 memory=1456 CPUtime=573.68 cores=0,2,4,6
/proc/14353/task/14371/stat : 14371 (java) R 14351 14351 13261 0 -1 4202560 3200 0 0 0 57367 1 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036203757672 140036961515412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
Current children cumulated CPU time: 2307.6 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2330916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+605.601 s]
/proc/loadavg: 8.03 8.34 6.68 9/238 14528
/proc/meminfo: memFree=2370860/32770624 swapFree=67001768/67108860
[pid=14351] ppid=14348 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14351/stat : 14351 (xcsp3-exec) S 14348 14351 13261 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475096755 115843072 364 33554432000 4194304 5098028 140730001593952 140730001592056 140544643740284 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40464384 140730001601366 140730001601625 140730001601625 140730001604550 0
/proc/14351/statm: 28282 364 305 221 0 87 0
[pid=14353] ppid=14351 vsize=15417412 memory=2329460 CPUtime=2400.38 cores=0,2,4,6
/proc/14353/stat : 14353 (java) S 14351 14351 13261 0 -1 1077944320 579217 0 0 0 239839 199 0 0 20 0 19 0 475096755 15787429888 582365 33554432000 4194304 4196468 140734985034432 140734985016976 140037350788855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
/proc/14353/statm: 3854353 582365 3550 1 0 3815453 0
[pid=14353/tid=14354] ppid=14351 vsize=15417412 memory=6791534058613427641 CPUtime=0.72 cores=0,2,4,6
/proc/14353/task/14354/stat : 14354 (java) S 14351 14351 13261 0 -1 1077944384 8988 0 0 0 68 4 0 0 20 0 19 0 475096755 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037355029632 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14355] ppid=14351 vsize=15417412 memory=2012 CPUtime=1.17 cores=0,2,4,6
/proc/14353/task/14355/stat : 14355 (java) S 14351 14351 13261 0 -1 1077944384 31674 0 0 0 105 12 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037278829584 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14356] ppid=14351 vsize=15417412 memory=1424 CPUtime=1.17 cores=0,2,4,6
/proc/14353/task/14356/stat : 14356 (java) S 14351 14351 13261 0 -1 1077944384 16680 0 0 0 110 7 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037277777040 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14357] ppid=14351 vsize=15417412 memory=580 CPUtime=1.15 cores=0,2,4,6
/proc/14353/task/14357/stat : 14357 (java) S 14351 14351 13261 0 -1 1077944384 30809 0 0 0 106 9 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037276723984 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14358] ppid=14351 vsize=15417412 memory=1056 CPUtime=1.17 cores=0,2,4,6
/proc/14353/task/14358/stat : 14358 (java) S 14351 14351 13261 0 -1 1077944384 15728 0 0 0 108 9 0 0 20 0 19 0 475096756 15787429888 582365 33554432000 4194304 4196468 140734985034432 140037275671440 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14359] ppid=14351 vsize=15417412 memory=1096 CPUtime=3.16 cores=0,2,4,6
/proc/14353/task/14359/stat : 14359 (java) S 14351 14351 13261 0 -1 1077944384 19634 0 0 0 305 11 0 0 20 0 19 0 475096758 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036819400944 140037350800002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14360] ppid=14351 vsize=15417412 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14360/stat : 14360 (java) S 14351 14351 13261 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475096758 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036818347232 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14361] ppid=14351 vsize=15417412 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14361/stat : 14361 (java) S 14351 14351 13261 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475096758 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036817294080 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14362] ppid=14351 vsize=15417412 memory=29072 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14362/stat : 14362 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036816242640 140037350807451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14363] ppid=14351 vsize=15417412 memory=12028 CPUtime=1.99 cores=0,2,4,6
/proc/14353/task/14363/stat : 14363 (java) S 14351 14351 13261 0 -1 1077944384 14391 0 0 0 197 2 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036815190768 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14364] ppid=14351 vsize=15417412 memory=532 CPUtime=2.22 cores=0,2,4,6
/proc/14353/task/14364/stat : 14364 (java) S 14351 14351 13261 0 -1 1077944384 18202 0 0 0 220 2 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036814138224 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14365] ppid=14351 vsize=15417412 memory=1564 CPUtime=0.7 cores=0,2,4,6
/proc/14353/task/14365/stat : 14365 (java) S 14351 14351 13261 0 -1 1077944384 8487 0 0 0 69 1 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036813085168 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14366] ppid=14351 vsize=15417412 memory=928 CPUtime=0 cores=0,2,4,6
/proc/14353/task/14366/stat : 14366 (java) S 14351 14351 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036812032864 140037350799061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14367] ppid=14351 vsize=15417412 memory=1980 CPUtime=0.25 cores=0,2,4,6
/proc/14353/task/14367/stat : 14367 (java) S 14351 14351 13261 0 -1 1077944384 882 0 0 0 0 25 0 0 20 0 19 0 475096761 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036810979888 140037350800002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14368] ppid=14351 vsize=15417412 memory=1560 CPUtime=596.95 cores=0,2,4,6
/proc/14353/task/14368/stat : 14368 (java) R 14351 14351 13261 0 -1 4202560 230834 0 0 0 59599 96 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036806048432 140036961481756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14369] ppid=14351 vsize=15417412 memory=2648 CPUtime=596.65 cores=0,2,4,6
/proc/14353/task/14369/stat : 14369 (java) R 14351 14351 13261 0 -1 4202560 4815 0 0 0 59662 3 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036205862488 140036961481756 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14370] ppid=14351 vsize=15417412 memory=896 CPUtime=595.97 cores=0,2,4,6
/proc/14353/task/14370/stat : 14370 (java) R 14351 14351 13261 0 -1 4202560 173256 0 0 0 59561 36 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036204809944 140036961515412 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
[pid=14353/tid=14371] ppid=14351 vsize=15417412 memory=1440 CPUtime=596.97 cores=0,2,4,6
/proc/14353/task/14371/stat : 14371 (java) R 14351 14351 13261 0 -1 4202560 3473 0 0 0 59696 1 0 0 20 0 19 0 475096830 15787429888 582365 33554432000 4194304 4196468 140734985034432 140036203757736 140036961481869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140734985040859 140734985041034 140734985041034 140734985043919 0
Current children cumulated CPU time: 2400.38 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2330916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+605.633 s]
# the end of solver process 14351 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000772 s, system=0.001544 s
[startup+605.74 s]
# the end of solver process 14353 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.68 s, system=2.06262 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+605.721 s]*
/proc/loadavg: 8.03 8.34 6.68 6/220 14530
/proc/meminfo: memFree=3787032/32770624 swapFree=67001768/67108860
Current cumulated CPU time of completed processes: 0.002316 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 605.74
CPU time (s): 2400.74
CPU user time (s): 2398.68
CPU system time (s): 2.06262
CPU usage (%): 396.332
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 2350968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.68
system time used= 2.06262
maximum resident set size= 2386004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16525
involuntary context switches= 41208
# summary of solver processes directly reported to runsolver:
# pid: 14351,14353
# total CPU time (s): 2400.74
# total CPU user time (s): 2398.68
# total CPU system time (s): 2.06262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.03931 second user time and 7.10616 second system time
The end