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 (12678 MiB free)
memory of node 1: 16384 MiB (14175 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406258-1569412012/watcher-4406258-1569412012 -o /var/tmp/evaluation-result-4406258-1569412012/solver-4406258-1569412012 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569411973-4006 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 349056208 HOME/instance-4406258-1569412012.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4036, runsolver pid=4029
[startup+0.102225 s]*
/proc/loadavg: 1.70 1.73 1.73 5/229 4067
/proc/meminfo: memFree=27469960/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
[pid=4038] ppid=4036 vsize=15144776 memory=29012 CPUtime=0.13 cores=1,3,5,7
/proc/4038/stat : 4038 (java) S 4036 4036 3974 0 -1 1077944320 5682 0 0 0 12 1 0 0 20 0 15 0 517439767 15508250624 7253 33554432000 4194304 4196468 140728029402032 140728029384576 140156101918455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
/proc/4038/statm: 3786194 7253 3153 1 0 3748377 0
[pid=4038/tid=4040] ppid=4036 vsize=15144776 memory=-8674340541778149317 CPUtime=0.1 cores=1,3,5,7
/proc/4038/task/4040/stat : 4040 (java) R 4036 4036 3974 0 -1 4202560 3551 0 0 0 9 1 0 0 20 0 15 0 517439767 15508250624 7253 33554432000 4194304 4196468 140728029402032 140156106148464 140155738422564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4046] ppid=4036 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4046/stat : 4046 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 7253 33554432000 4194304 4196468 140728029402032 140156058470800 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4047] ppid=4036 vsize=15144776 memory=140508607313536 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4047/stat : 4047 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 7253 33554432000 4194304 4196468 140728029402032 140155693488400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4048] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4048/stat : 4048 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 7253 33554432000 4194304 4196468 140728029402032 140155692436112 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4049] ppid=4036 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4049/stat : 4049 (java) S 4036 4036 3974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 7253 33554432000 4194304 4196468 140728029402032 140155691383312 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4051] ppid=4036 vsize=15144776 memory=140508607313536 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517439769 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517439770 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154974717216 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517439770 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154973664880 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) R 4036 4036 3974 0 -1 4202560 367 0 0 0 0 0 0 0 20 0 15 0 517439772 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154971540952 140156082618752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) R 4036 4036 3974 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 517439772 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154970507344 140156101928661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15144776 memory=140508607313536 CPUtime=0.02 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) R 4036 4036 3974 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 517439772 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154969454960 140156101930390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15144776 memory=140508607313536 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) R 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439773 15508250624 7253 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30464 KiB
[startup+0.211691 s]*
/proc/loadavg: 1.70 1.73 1.73 7/229 4067
/proc/meminfo: memFree=27440520/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
[pid=4038] ppid=4036 vsize=15144776 memory=40768 CPUtime=0.35 cores=1,3,5,7
/proc/4038/stat : 4038 (java) S 4036 4036 3974 0 -1 1077944320 9460 0 0 0 32 3 0 0 20 0 15 0 517439767 15508250624 10192 33554432000 4194304 4196468 140728029402032 140728029384576 140156101918455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
/proc/4038/statm: 3786194 10192 3300 1 0 3748377 0
[pid=4038/tid=4040] ppid=4036 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4038/task/4040/stat : 4040 (java) R 4036 4036 3974 0 -1 4202560 6589 0 0 0 18 2 0 0 20 0 15 0 517439767 15508250624 10192 33554432000 4194304 4196468 140728029402032 140156106153440 140156085277024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4046] ppid=4036 vsize=15144776 memory=1943324 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4046/stat : 4046 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 10192 33554432000 4194304 4196468 140728029402032 140156058470800 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4047] ppid=4036 vsize=15144776 memory=140508610248972 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4047/stat : 4047 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 10192 33554432000 4194304 4196468 140728029402032 140155693488400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4048] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4048/stat : 4048 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 10192 33554432000 4194304 4196468 140728029402032 140155692436112 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4049] ppid=4036 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4049/stat : 4049 (java) S 4036 4036 3974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517439768 15508250624 10192 33554432000 4194304 4196468 140728029402032 140155691383312 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4051] ppid=4036 vsize=15144776 memory=140508607313536 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517439769 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517439770 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154974717216 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517439770 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154973664880 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) R 4036 4036 3974 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 15 0 517439772 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154971560048 140156101929602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) S 4036 4036 3974 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 517439772 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154970507248 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15144776 memory=140508607313536 CPUtime=0.08 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) R 4036 4036 3974 0 -1 4202560 787 0 0 0 8 0 0 0 20 0 15 0 517439772 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154969454960 140156101939802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439773 15508250624 10192 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42220 KiB
[startup+0.315384 s]*
/proc/loadavg: 1.70 1.73 1.73 9/229 4067
/proc/meminfo: memFree=27426080/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
[pid=4038] ppid=4036 vsize=15149032 memory=50104 CPUtime=0.53 cores=1,3,5,7
/proc/4038/stat : 4038 (java) S 4036 4036 3974 0 -1 1077944320 10894 0 0 0 49 4 0 0 20 0 15 0 517439767 15512608768 12526 33554432000 4194304 4196468 140728029402032 140728029384576 140156101918455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
/proc/4038/statm: 3787258 12526 3345 1 0 3748377 0
[pid=4038/tid=4040] ppid=4036 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/4038/task/4040/stat : 4040 (java) R 4036 4036 3974 0 -1 4202560 7833 0 0 0 27 3 0 0 20 0 15 0 517439767 15512608768 12591 33554432000 4194304 4196468 140728029402032 140156106153664 140156085998942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4046] ppid=4036 vsize=15149032 memory=1943668 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4046/stat : 4046 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15512608768 12591 33554432000 4194304 4196468 140728029402032 140156058470800 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4047] ppid=4036 vsize=15149032 memory=3853959 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4047/stat : 4047 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15512608768 12591 33554432000 4194304 4196468 140728029402032 140155693488400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4048] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4048/stat : 4048 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15512608768 12591 33554432000 4194304 4196468 140728029402032 140155692436112 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4049] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4049/stat : 4049 (java) S 4036 4036 3974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517439768 15512608768 12591 33554432000 4194304 4196468 140728029402032 140155691383312 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4051] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517439769 15512608768 12591 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517439770 15512608768 12591 33554432000 4194304 4196468 140728029402032 140154974717216 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517439770 15512608768 12600 33554432000 4194304 4196468 140728029402032 140154973664880 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15512608768 12600 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) S 4036 4036 3974 0 -1 1077944384 560 0 0 0 6 0 0 0 20 0 15 0 517439772 15512608768 12600 33554432000 4194304 4196468 140728029402032 140154971560048 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) S 4036 4036 3974 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 15 0 517439772 15512608768 12600 33554432000 4194304 4196468 140728029402032 140154970507248 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) S 4036 4036 3974 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 15 0 517439772 15512608768 12600 33554432000 4194304 4196468 140728029402032 140154969454960 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15512608768 12600 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439773 15512608768 12600 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51556 KiB
[startup+0.700804 s]
/proc/loadavg: 1.70 1.73 1.73 10/229 4067
/proc/meminfo: memFree=27396876/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
[pid=4038] ppid=4036 vsize=15151156 memory=67472 CPUtime=1.58 cores=1,3,5,7
/proc/4038/stat : 4038 (java) S 4036 4036 3974 0 -1 1077944320 14154 0 0 0 153 5 0 0 20 0 15 0 517439767 15514783744 16868 33554432000 4194304 4196468 140728029402032 140728029384576 140156101918455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
/proc/4038/statm: 3787789 16868 3453 1 0 3748889 0
[pid=4038/tid=4040] ppid=4036 vsize=15151156 memory=1772412208385 CPUtime=0.68 cores=1,3,5,7
/proc/4038/task/4040/stat : 4040 (java) R 4036 4036 3974 0 -1 4202560 9013 0 0 0 64 4 0 0 20 0 15 0 517439767 15514783744 16868 33554432000 4194304 4196468 140728029402032 140156106152560 140155741539616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4046] ppid=4036 vsize=15151156 memory=38236 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4046/stat : 4046 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15514783744 16868 33554432000 4194304 4196468 140728029402032 140156058470800 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4047] ppid=4036 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4047/stat : 4047 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15514783744 16868 33554432000 4194304 4196468 140728029402032 140155693488400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4048] ppid=4036 vsize=15151156 memory=532 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4048/stat : 4048 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439768 15514783744 16868 33554432000 4194304 4196468 140728029402032 140155692436112 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4049] ppid=4036 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4049/stat : 4049 (java) S 4036 4036 3974 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517439768 15514783744 16868 33554432000 4194304 4196468 140728029402032 140155691383312 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4051] ppid=4036 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517439769 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15151156 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154974717216 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15151156 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154973664880 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15151156 memory=808 CPUtime=0.3 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) S 4036 4036 3974 0 -1 1077944384 1225 0 0 0 30 0 0 0 20 0 15 0 517439772 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154971560048 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15151156 memory=1764 CPUtime=0.3 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) R 4036 4036 3974 0 -1 4202560 1119 0 0 0 30 0 0 0 20 0 15 0 517439772 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154970497040 140156086305574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15151156 memory=111628 CPUtime=0.27 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) S 4036 4036 3974 0 -1 1077944384 1489 0 0 0 27 0 0 0 20 0 15 0 517439772 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154969454960 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15151156 memory=800 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) S 4036 4036 3974 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517439773 15514783744 16868 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 68924 KiB
[startup+1.5008 s]
/proc/loadavg: 1.70 1.73 1.73 8/229 4067
/proc/meminfo: memFree=27381508/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
[pid=4038/tid=4051] ppid=4036 vsize=15151156 memory=196216 CPUtime=0.36 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 4354 0 0 0 32 4 0 0 20 0 15 0 517439769 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15151156 memory=196216 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154974717280 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154973664896 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15151156 memory=196216 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15151156 memory=196216 CPUtime=1.49 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) S 4036 4036 3974 0 -1 1077944384 10798 0 0 0 148 1 0 0 20 0 15 0 517439772 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154971560048 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15151156 memory=1452 CPUtime=1.76 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) S 4036 4036 3974 0 -1 1077944384 12535 0 0 0 175 1 0 0 20 0 15 0 517439772 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154970507248 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15151156 memory=196216 CPUtime=0.44 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) S 4036 4036 3974 0 -1 1077944384 7774 0 0 0 43 1 0 0 20 0 15 0 517439772 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154969454960 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15151156 memory=196216 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) S 4036 4036 3974 0 -1 1077944384 987 0 0 0 19 29 0 0 20 0 15 0 517439773 15514783744 49054 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 2447.17 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 197668 KiB
[startup+2502.3 s]
/proc/loadavg: 1.67 1.61 1.62 4/229 4320
/proc/meminfo: memFree=23379752/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
[pid=4038] ppid=4036 vsize=15151156 memory=198264 CPUtime=2507.21 cores=1,3,5,7
/proc/4038/stat : 4038 (java) S 4036 4036 3974 0 -1 1077944320 68545 0 0 0 250671 50 0 0 20 0 15 0 517439767 15514783744 49566 33554432000 4194304 4196468 140728029402032 140728029384576 140156101918455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
/proc/4038/statm: 3787789 49566 3513 1 0 3748889 0
[pid=4038/tid=4040] ppid=4036 vsize=15151156 memory=198264 CPUtime=2501.21 cores=1,3,5,7
/proc/4038/task/4040/stat : 4040 (java) R 4036 4036 3974 0 -1 4202560 20372 0 0 0 250114 7 0 0 20 0 15 0 517439767 15514783744 49566 33554432000 4194304 4196468 140728029402032 140156106158016 140155742955900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4046] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4046/stat : 4046 (java) S 4036 4036 3974 0 -1 1077944384 2855 0 0 0 31 2 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140156058470800 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4047] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4047/stat : 4047 (java) S 4036 4036 3974 0 -1 1077944384 1566 0 0 0 30 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155693488400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4048] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4048/stat : 4048 (java) S 4036 4036 3974 0 -1 1077944384 3646 0 0 0 30 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155692436112 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4049] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4049/stat : 4049 (java) S 4036 4036 3974 0 -1 1077944384 2248 0 0 0 30 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155691383312 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4051] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.37 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 4358 0 0 0 33 4 0 0 20 0 15 0 517439769 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154974717280 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15151156 memory=198264 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154973664896 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15151156 memory=198264 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15151156 memory=3620 CPUtime=1.49 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) S 4036 4036 3974 0 -1 1077944384 10798 0 0 0 148 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154971560048 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15151156 memory=65704 CPUtime=1.76 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) S 4036 4036 3974 0 -1 1077944384 12535 0 0 0 175 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154970507248 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.44 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) S 4036 4036 3974 0 -1 1077944384 7774 0 0 0 43 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154969454960 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.5 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) S 4036 4036 3974 0 -1 1077944384 991 0 0 0 20 30 0 0 20 0 15 0 517439773 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 2507.21 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 199716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.11 s]
/proc/loadavg: 1.89 1.66 1.64 3/229 4399
/proc/meminfo: memFree=27179316/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
[pid=4038] ppid=4036 vsize=15151156 memory=198264 CPUtime=2520.02 cores=1,3,5,7
/proc/4038/stat : 4038 (java) S 4036 4036 3974 0 -1 1077944320 68552 0 0 0 251951 51 0 0 20 0 15 0 517439767 15514783744 49566 33554432000 4194304 4196468 140728029402032 140728029384576 140156101918455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
/proc/4038/statm: 3787789 49566 3513 1 0 3748889 0
[pid=4038/tid=4040] ppid=4036 vsize=15151156 memory=198264 CPUtime=2514.01 cores=1,3,5,7
/proc/4038/task/4040/stat : 4040 (java) R 4036 4036 3974 0 -1 4202560 20375 0 0 0 251394 7 0 0 20 0 15 0 517439767 15514783744 49566 33554432000 4194304 4196468 140728029402032 140156106158016 140155742905793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4046] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.34 cores=1,3,5,7
/proc/4038/task/4046/stat : 4046 (java) S 4036 4036 3974 0 -1 1077944384 2855 0 0 0 32 2 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140156058470800 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4047] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/4038/task/4047/stat : 4047 (java) S 4036 4036 3974 0 -1 1077944384 1566 0 0 0 31 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155693488400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4048] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4048/stat : 4048 (java) S 4036 4036 3974 0 -1 1077944384 3646 0 0 0 30 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155692436112 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4049] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4049/stat : 4049 (java) S 4036 4036 3974 0 -1 1077944384 2248 0 0 0 30 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155691383312 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4051] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.38 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 4360 0 0 0 34 4 0 0 20 0 15 0 517439769 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15151156 memory=281016892789440 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154974717280 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15151156 memory=5928 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154973664896 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15151156 memory=2410 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15151156 memory=1452 CPUtime=1.49 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) S 4036 4036 3974 0 -1 1077944384 10798 0 0 0 148 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154971560048 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15151156 memory=198264 CPUtime=1.76 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) S 4036 4036 3974 0 -1 1077944384 12535 0 0 0 175 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154970507248 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.44 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) S 4036 4036 3974 0 -1 1077944384 7774 0 0 0 43 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154969454960 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15151156 memory=198264 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.5 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) S 4036 4036 3974 0 -1 1077944384 993 0 0 0 20 30 0 0 20 0 15 0 517439773 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 199716 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2515.12 s]
# the end of solver process 4036 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.53 s, system=0.515675 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.11 s]
/proc/loadavg: 1.89 1.66 1.64 3/229 4399
/proc/meminfo: memFree=27179316/32770624 swapFree=66957916/67108860
[pid=4036] ppid=4029 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4036/stat : 4036 (xcsp3-exec) S 4029 4036 3974 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517439767 115843072 363 33554432000 4194304 5098028 140721618952000 140721618950104 140631725265532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7380992 140721618957143 140721618957401 140721618957401 140721618960326 0
/proc/4036/statm: 28282 363 304 221 0 87 0
[pid=4038] ppid=4036 vsize=15151156 memory=198264 CPUtime=2520.02 cores=1,3,5,7
/proc/4038/stat : 4038 (java) S 4036 4036 3974 0 -1 1077944320 68552 0 0 0 251951 51 0 0 20 0 15 0 517439767 15514783744 49566 33554432000 4194304 4196468 140728029402032 140728029384576 140156101918455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
/proc/4038/statm: 3787789 49566 3513 1 0 3748889 0
[pid=4038/tid=4040] ppid=4036 vsize=15151156 memory=198264 CPUtime=2514.01 cores=1,3,5,7
/proc/4038/task/4040/stat : 4040 (java) R 4036 4036 3974 0 -1 4202560 20375 0 0 0 251394 7 0 0 20 0 15 0 517439767 15514783744 49566 33554432000 4194304 4196468 140728029402032 140156106158016 140155742905793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4046] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.34 cores=1,3,5,7
/proc/4038/task/4046/stat : 4046 (java) S 4036 4036 3974 0 -1 1077944384 2855 0 0 0 32 2 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140156058470800 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4047] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/4038/task/4047/stat : 4047 (java) S 4036 4036 3974 0 -1 1077944384 1566 0 0 0 31 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155693488400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4048] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4048/stat : 4048 (java) S 4036 4036 3974 0 -1 1077944384 3646 0 0 0 30 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155692436112 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4049] ppid=4036 vsize=15151156 memory=198264 CPUtime=0.33 cores=1,3,5,7
/proc/4038/task/4049/stat : 4049 (java) S 4036 4036 3974 0 -1 1077944384 2248 0 0 0 30 3 0 0 20 0 15 0 517439768 15514783744 49566 33554432000 4194304 4196468 140728029402032 140155691383312 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4051] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.38 cores=1,3,5,7
/proc/4038/task/4051/stat : 4051 (java) S 4036 4036 3974 0 -1 1077944384 4360 0 0 0 34 4 0 0 20 0 15 0 517439769 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154975771248 140156101929602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4052] ppid=4036 vsize=15151156 memory=281016892789440 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4052/stat : 4052 (java) S 4036 4036 3974 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154974717280 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4054] ppid=4036 vsize=15151156 memory=5928 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4054/stat : 4054 (java) S 4036 4036 3974 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517439770 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154973664896 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4056] ppid=4036 vsize=15151156 memory=2410 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4056/stat : 4056 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154972613200 140156101937051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4058] ppid=4036 vsize=15151156 memory=1452 CPUtime=1.49 cores=1,3,5,7
/proc/4038/task/4058/stat : 4058 (java) S 4036 4036 3974 0 -1 1077944384 10798 0 0 0 148 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154971560048 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4061] ppid=4036 vsize=15151156 memory=198264 CPUtime=1.76 cores=1,3,5,7
/proc/4038/task/4061/stat : 4061 (java) S 4036 4036 3974 0 -1 1077944384 12535 0 0 0 175 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154970507248 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4062] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.44 cores=1,3,5,7
/proc/4038/task/4062/stat : 4062 (java) S 4036 4036 3974 0 -1 1077944384 7774 0 0 0 43 1 0 0 20 0 15 0 517439772 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154969454960 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4064] ppid=4036 vsize=15151156 memory=198264 CPUtime=0 cores=1,3,5,7
/proc/4038/task/4064/stat : 4064 (java) S 4036 4036 3974 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517439773 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154968402400 140156101928661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
[pid=4038/tid=4066] ppid=4036 vsize=15151156 memory=1452 CPUtime=0.5 cores=1,3,5,7
/proc/4038/task/4066/stat : 4066 (java) S 4036 4036 3974 0 -1 1077944384 993 0 0 0 20 30 0 0 20 0 15 0 517439773 15514783744 49566 33554432000 4194304 4196468 140728029402032 140154967350192 140156101929602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13381632 140728029410267 140728029410442 140728029410442 140728029413327 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 199716 KiB
Child status: 143
Real time (s): 2515.12
CPU time (s): 2520.04
CPU user time (s): 2519.53
CPU system time (s): 0.515675
CPU usage (%): 100.196
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 213436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.53
system time used= 0.515675
maximum resident set size= 214036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65368
involuntary context switches= 4053
# summary of solver processes directly reported to runsolver:
# pid: 4036
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.53
# total CPU system time (s): 0.515675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1341 second user time and 22.3608 second system time
The end