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 (12486 MiB free)
memory of node 1: 16384 MiB (12801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406486-1569399652/watcher-4406486-1569399652 -o /tmp/evaluation-result-4406486-1569399652/solver-4406486-1569399652 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569396627-14932 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406486-1569399652.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
solver pid=15587, runsolver pid=15584
Current StackSize limit: 8192 KiB
[startup+0.100386 s]*
/proc/loadavg: 1.80 1.81 1.77 4/230 15603
/proc/meminfo: memFree=25877608/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
[pid=15589] ppid=15587 vsize=15144776 memory=30124 CPUtime=0.13 cores=0,2,4,6
/proc/15589/stat : 15589 (java) S 15587 15587 14901 0 -1 1077944320 5935 0 0 0 12 1 0 0 20 0 15 0 516231972 15508250624 7531 33554432000 4194304 4196468 140721903029392 140721903011936 139983476350711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
/proc/15589/statm: 3786194 7531 3148 1 0 3748377 0
[pid=15589/tid=15590] ppid=15587 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=0,2,4,6
/proc/15589/task/15590/stat : 15590 (java) R 15587 15587 14901 0 -1 4202560 3853 0 0 0 9 0 0 0 20 0 15 0 516231972 15508250624 7531 33554432000 4194304 4196468 140721903029392 139983480575120 139983067386023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15591] ppid=15587 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15591/stat : 15591 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 7531 33554432000 4194304 4196468 140721903029392 139983388006928 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15592] ppid=15587 vsize=15144776 memory=140278927193728 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15592/stat : 15592 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 7531 33554432000 4194304 4196468 140721903029392 139983067277968 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15593] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15593/stat : 15593 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 7531 33554432000 4194304 4196468 140721903029392 139983066224912 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15594] ppid=15587 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15594/stat : 15594 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 7531 33554432000 4194304 4196468 140721903029392 139983065172368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15595] ppid=15587 vsize=15144776 memory=140278927193728 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15595/stat : 15595 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231974 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982944996080 139983476361858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15596] ppid=15587 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15596/stat : 15596 (java) S 15587 15587 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516231975 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982943942304 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15597] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516231975 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982942889200 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) R 15587 15587 14901 0 -1 4202560 441 0 0 0 0 0 0 0 20 0 15 0 516231977 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982940776384 139983459786449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) R 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982939732336 139983476361858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15144776 memory=140278927193728 CPUtime=0.02 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) R 15587 15587 14901 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 516231977 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982938679280 139983455740028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15144776 memory=140278927193728 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231978 15508250624 7531 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31572 KiB
[startup+0.210786 s]*
/proc/loadavg: 1.80 1.81 1.77 5/230 15603
/proc/meminfo: memFree=25865128/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
[pid=15589] ppid=15587 vsize=15144776 memory=40988 CPUtime=0.34 cores=0,2,4,6
/proc/15589/stat : 15589 (java) S 15587 15587 14901 0 -1 1077944320 9479 0 0 0 32 2 0 0 20 0 15 0 516231972 15508250624 10247 33554432000 4194304 4196468 140721903029392 140721903011936 139983476350711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
/proc/15589/statm: 3786194 10247 3268 1 0 3748377 0
[pid=15589/tid=15590] ppid=15587 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15589/task/15590/stat : 15590 (java) R 15587 15587 14901 0 -1 4202560 6674 0 0 0 19 1 0 0 20 0 15 0 516231972 15508250624 10247 33554432000 4194304 4196468 140721903029392 139983480581952 139983476362646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15591] ppid=15587 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15591/stat : 15591 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 10247 33554432000 4194304 4196468 140721903029392 139983388006928 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15592] ppid=15587 vsize=15144776 memory=4123240941821884064 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15592/stat : 15592 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 10247 33554432000 4194304 4196468 140721903029392 139983067277968 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15593] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15593/stat : 15593 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 10247 33554432000 4194304 4196468 140721903029392 139983066224912 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15594] ppid=15587 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15594/stat : 15594 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15508250624 10247 33554432000 4194304 4196468 140721903029392 139983065172368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15595] ppid=15587 vsize=15144776 memory=140278927193728 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15595/stat : 15595 (java) S 15587 15587 14901 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516231974 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982944996080 139983476361858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15596] ppid=15587 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15596/stat : 15596 (java) S 15587 15587 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516231975 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982943942304 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15597] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516231975 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982942889200 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) S 15587 15587 14901 0 -1 1077944384 708 0 0 0 2 0 0 0 20 0 15 0 516231977 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982940784880 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) S 15587 15587 14901 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 15 0 516231977 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982939732336 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15144776 memory=140278927193728 CPUtime=0.08 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) R 15587 15587 14901 0 -1 4202560 733 0 0 0 8 0 0 0 20 0 15 0 516231977 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982938679088 139983460088570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231978 15508250624 10247 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42436 KiB
[startup+0.310931 s]*
/proc/loadavg: 1.80 1.81 1.77 4/230 15603
/proc/meminfo: memFree=25859288/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
[pid=15589] ppid=15587 vsize=15149032 memory=50084 CPUtime=0.53 cores=0,2,4,6
/proc/15589/stat : 15589 (java) S 15587 15587 14901 0 -1 1077944320 10863 0 0 0 50 3 0 0 20 0 15 0 516231972 15512608768 12521 33554432000 4194304 4196468 140721903029392 140721903011936 139983476350711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
/proc/15589/statm: 3787258 12521 3364 1 0 3748377 0
[pid=15589/tid=15590] ppid=15587 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/15589/task/15590/stat : 15590 (java) R 15587 15587 14901 0 -1 4202560 7804 0 0 0 28 2 0 0 20 0 15 0 516231972 15512608768 12521 33554432000 4194304 4196468 140721903029392 139983480580192 139983460431198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15591] ppid=15587 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15591/stat : 15591 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231973 15512608768 12521 33554432000 4194304 4196468 140721903029392 139983388006928 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15592] ppid=15587 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15592/stat : 15592 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15512608768 12521 33554432000 4194304 4196468 140721903029392 139983067277968 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15593] ppid=15587 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15593/stat : 15593 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231973 15512608768 12521 33554432000 4194304 4196468 140721903029392 139983066224912 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15594] ppid=15587 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15594/stat : 15594 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15512608768 12521 33554432000 4194304 4196468 140721903029392 139983065172368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15595] ppid=15587 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15595/stat : 15595 (java) S 15587 15587 14901 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516231974 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982944996080 139983476361858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15596] ppid=15587 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15596/stat : 15596 (java) S 15587 15587 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516231975 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982943942304 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15597] ppid=15587 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516231975 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982942889200 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) S 15587 15587 14901 0 -1 1077944384 763 0 0 0 4 0 0 0 20 0 15 0 516231977 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982940784880 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) R 15587 15587 14901 0 -1 4202560 175 0 0 0 4 0 0 0 20 0 15 0 516231977 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982939713352 139983457873249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) S 15587 15587 14901 0 -1 1077944384 827 0 0 0 12 0 0 0 20 0 15 0 516231977 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982938679280 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231978 15512608768 12521 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51532 KiB
[startup+0.701092 s]
/proc/loadavg: 1.80 1.81 1.77 6/230 15603
/proc/meminfo: memFree=25841292/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
[pid=15589] ppid=15587 vsize=15151156 memory=77316 CPUtime=1.59 cores=0,2,4,6
/proc/15589/stat : 15589 (java) S 15587 15587 14901 0 -1 1077944320 15519 0 0 0 153 6 0 0 20 0 15 0 516231972 15514783744 19329 33554432000 4194304 4196468 140721903029392 140721903011936 139983476350711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
/proc/15589/statm: 3787789 19329 3462 1 0 3748889 0
[pid=15589/tid=15590] ppid=15587 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/15589/task/15590/stat : 15590 (java) R 15587 15587 14901 0 -1 4202560 9756 0 0 0 65 3 0 0 20 0 15 0 516231972 15514783744 19329 33554432000 4194304 4196468 140721903029392 139983480584464 139983071573404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15591] ppid=15587 vsize=15151156 memory=65284 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15591/stat : 15591 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231973 15514783744 19329 33554432000 4194304 4196468 140721903029392 139983388006928 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15592] ppid=15587 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15592/stat : 15592 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15514783744 19329 33554432000 4194304 4196468 140721903029392 139983067277968 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15593] ppid=15587 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15593/stat : 15593 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231973 15514783744 19329 33554432000 4194304 4196468 140721903029392 139983066224912 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15594] ppid=15587 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15594/stat : 15594 (java) S 15587 15587 14901 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516231973 15514783744 19329 33554432000 4194304 4196468 140721903029392 139983065172368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15595] ppid=15587 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15595/stat : 15595 (java) S 15587 15587 14901 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516231974 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982944996080 139983476361858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15596] ppid=15587 vsize=15151156 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15596/stat : 15596 (java) S 15587 15587 14901 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982943942304 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15597] ppid=15587 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982942889200 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15151156 memory=6160 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15151156 memory=10604 CPUtime=0.26 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) R 15587 15587 14901 0 -1 4202560 1613 0 0 0 26 0 0 0 20 0 15 0 516231977 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982940770032 139983457872417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15151156 memory=716 CPUtime=0.24 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) R 15587 15587 14901 0 -1 4202560 976 0 0 0 24 0 0 0 20 0 15 0 516231977 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982939732336 139983457894929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15151156 memory=780 CPUtime=0.37 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) S 15587 15587 14901 0 -1 1077944384 1864 0 0 0 37 0 0 0 20 0 15 0 516231977 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982938679280 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516231978 15514783744 19329 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 78764 KiB
[startup+1.50082 s]
/proc/loadavg: 1.80 1.81 1.77 5/230 15603
/proc/meminfo: memFree=25814316/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 53190 33554432000 4194304 4196468 140721903029392 139982942889216 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53190 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15151156 memory=65336 CPUtime=3.66 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) S 15587 15587 14901 0 -1 1077944384 28226 0 0 0 363 3 0 0 20 0 15 0 516231977 15514783744 53190 33554432000 4194304 4196468 140721903029392 139982940784880 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15151156 memory=984 CPUtime=4 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) S 15587 15587 14901 0 -1 1077944384 29370 0 0 0 396 4 0 0 20 0 15 0 516231977 15514783744 53190 33554432000 4194304 4196468 140721903029392 139982939732336 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15151156 memory=2004 CPUtime=0.6 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) S 15587 15587 14901 0 -1 1077944384 10940 0 0 0 58 2 0 0 20 0 15 0 516231977 15514783744 53190 33554432000 4194304 4196468 140721903029392 139982938679280 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53190 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15151156 memory=2572 CPUtime=0.63 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 878 0 0 0 28 35 0 0 20 0 15 0 516231978 15514783744 53190 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 2271.23 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 214208 KiB
[startup+2322.3 s]
/proc/loadavg: 1.86 1.77 1.76 3/229 16194
/proc/meminfo: memFree=25608004/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
[pid=15589] ppid=15587 vsize=15151156 memory=214832 CPUtime=2331.26 cores=0,2,4,6
/proc/15589/stat : 15589 (java) S 15587 15587 14901 0 -1 1077944320 104595 0 0 0 233080 46 0 0 20 0 15 0 516231972 15514783744 53708 33554432000 4194304 4196468 140721903029392 140721903011936 139983476350711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
/proc/15589/statm: 3787789 53708 3518 1 0 3748889 0
[pid=15589/tid=15590] ppid=15587 vsize=15151156 memory=214832 CPUtime=2321.74 cores=0,2,4,6
/proc/15589/task/15590/stat : 15590 (java) R 15587 15587 14901 0 -1 4202560 20712 0 0 0 232166 8 0 0 20 0 15 0 516231972 15514783744 53708 33554432000 4194304 4196468 140721903029392 139983480590192 139983072778217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15591] ppid=15587 vsize=15151156 memory=214832 CPUtime=0.1 cores=0,2,4,6
/proc/15589/task/15591/stat : 15591 (java) S 15587 15587 14901 0 -1 1077944384 1933 0 0 0 9 1 0 0 20 0 15 0 516231973 15514783744 53708 33554432000 4194304 4196468 140721903029392 139983388006928 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15592] ppid=15587 vsize=15151156 memory=214832 CPUtime=0.1 cores=0,2,4,6
/proc/15589/task/15592/stat : 15592 (java) S 15587 15587 14901 0 -1 1077944384 1480 0 0 0 9 1 0 0 20 0 15 0 516231973 15514783744 53708 33554432000 4194304 4196468 140721903029392 139983067277968 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15593] ppid=15587 vsize=15151156 memory=214832 CPUtime=0.11 cores=0,2,4,6
/proc/15589/task/15593/stat : 15593 (java) S 15587 15587 14901 0 -1 1077944384 3601 0 0 0 10 1 0 0 20 0 15 0 516231973 15514783744 53708 33554432000 4194304 4196468 140721903029392 139983066224912 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15594] ppid=15587 vsize=15151156 memory=214832 CPUtime=0.1 cores=0,2,4,6
/proc/15589/task/15594/stat : 15594 (java) S 15587 15587 14901 0 -1 1077944384 2207 0 0 0 9 1 0 0 20 0 15 0 516231973 15514783744 53708 33554432000 4194304 4196468 140721903029392 139983065172368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15595] ppid=15587 vsize=15151156 memory=214832 CPUtime=0.12 cores=0,2,4,6
/proc/15589/task/15595/stat : 15595 (java) S 15587 15587 14901 0 -1 1077944384 3765 0 0 0 9 3 0 0 20 0 15 0 516231974 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982944996080 139983476361858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15596] ppid=15587 vsize=15151156 memory=214832 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15596/stat : 15596 (java) S 15587 15587 14901 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982943942368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15597] ppid=15587 vsize=15151156 memory=214832 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982942889216 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15151156 memory=214832 CPUtime=3.67 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) S 15587 15587 14901 0 -1 1077944384 28253 0 0 0 364 3 0 0 20 0 15 0 516231977 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982940784880 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15151156 memory=214832 CPUtime=4 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) S 15587 15587 14901 0 -1 1077944384 29370 0 0 0 396 4 0 0 20 0 15 0 516231977 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982939732336 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15151156 memory=1448 CPUtime=0.6 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) S 15587 15587 14901 0 -1 1077944384 10940 0 0 0 58 2 0 0 20 0 15 0 516231977 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982938679280 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15151156 memory=214832 CPUtime=0.65 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 884 0 0 0 29 36 0 0 20 0 15 0 516231978 15514783744 53708 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 2331.26 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216280 KiB
[startup+2382.3 s]
/proc/loadavg: 2.48 1.99 1.84 3/229 16275
/proc/meminfo: memFree=25728144/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
[pid=15589] ppid=15587 vsize=15151156 memory=214852 CPUtime=2391.3 cores=0,2,4,6
/proc/15589/stat : 15589 (java) S 15587 15587 14901 0 -1 1077944320 105843 0 0 0 239083 47 0 0 20 0 15 0 516231972 15514783744 53713 33554432000 4194304 4196468 140721903029392 140721903011936 139983476350711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
/proc/15589/statm: 3787789 53713 3518 1 0 3748889 0
[pid=15589/tid=15590] ppid=15587 vsize=15151156 memory=214852 CPUtime=2381.72 cores=0,2,4,6
/proc/15589/task/15590/stat : 15590 (java) R 15587 15587 14901 0 -1 4202560 21008 0 0 0 238164 8 0 0 20 0 15 0 516231972 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983480589584 139983073649450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15591] ppid=15587 vsize=15151156 memory=214852 CPUtime=0.1 cores=0,2,4,6
/proc/15589/task/15591/stat : 15591 (java) S 15587 15587 14901 0 -1 1077944384 1972 0 0 0 9 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983388006928 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15592] ppid=15587 vsize=15151156 memory=214852 CPUtime=0.11 cores=0,2,4,6
/proc/15589/task/15592/stat : 15592 (java) S 15587 15587 14901 0 -1 1077944384 1800 0 0 0 10 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983067277968 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15593] ppid=15587 vsize=15151156 memory=214852 CPUtime=0.11 cores=0,2,4,6
/proc/15589/task/15593/stat : 15593 (java) S 15587 15587 14901 0 -1 1077944384 3614 0 0 0 10 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983066224912 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15594] ppid=15587 vsize=15151156 memory=1448 CPUtime=0.1 cores=0,2,4,6
/proc/15589/task/15594/stat : 15594 (java) S 15587 15587 14901 0 -1 1077944384 2229 0 0 0 9 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983065172368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15595] ppid=15587 vsize=15151156 memory=214852 CPUtime=0.13 cores=0,2,4,6
/proc/15589/task/15595/stat : 15595 (java) S 15587 15587 14901 0 -1 1077944384 3946 0 0 0 10 3 0 0 20 0 15 0 516231974 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982944996080 139983476361858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15596] ppid=15587 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15596/stat : 15596 (java) S 15587 15587 14901 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982943942368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15597] ppid=15587 vsize=15151156 memory=214852 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982942889216 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15151156 memory=214832 CPUtime=3.67 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) S 15587 15587 14901 0 -1 1077944384 28255 0 0 0 364 3 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982940784880 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15151156 memory=214852 CPUtime=4 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) S 15587 15587 14901 0 -1 1077944384 29372 0 0 0 396 4 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982939732336 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15151156 memory=214852 CPUtime=0.61 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) S 15587 15587 14901 0 -1 1077944384 11294 0 0 0 59 2 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982938679280 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15151156 memory=940 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15151156 memory=984 CPUtime=0.67 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 903 0 0 0 29 38 0 0 20 0 15 0 516231978 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 2391.3 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2391 s]*
/proc/loadavg: 2.33 1.97 1.83 3/229 16278
/proc/meminfo: memFree=25727628/32770624 swapFree=66975556/67108860
[pid=15587] ppid=15584 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15587/stat : 15587 (xcsp3-exec) S 15584 15587 14901 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516231971 115843072 362 33554432000 4194304 5098028 140728921579664 140728921577768 139788743008892 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39424000 140728921588602 140728921588845 140728921588845 140728921591754 0
/proc/15587/statm: 28282 362 304 221 0 87 0
[pid=15589] ppid=15587 vsize=15151156 memory=214852 CPUtime=2400.02 cores=0,2,4,6
/proc/15589/stat : 15589 (java) S 15587 15587 14901 0 -1 1077944320 105846 0 0 0 239954 48 0 0 20 0 15 0 516231972 15514783744 53713 33554432000 4194304 4196468 140721903029392 140721903011936 139983476350711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
/proc/15589/statm: 3787789 53713 3518 1 0 3748889 0
[pid=15589/tid=15590] ppid=15587 vsize=15151156 memory=1398722017469774279 CPUtime=2390.42 cores=0,2,4,6
/proc/15589/task/15590/stat : 15590 (java) R 15587 15587 14901 0 -1 4202560 21011 0 0 0 239034 8 0 0 20 0 15 0 516231972 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983480589472 139983072600266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15591] ppid=15587 vsize=15151156 memory=4126316290023845779 CPUtime=0.1 cores=0,2,4,6
/proc/15589/task/15591/stat : 15591 (java) S 15587 15587 14901 0 -1 1077944384 1972 0 0 0 9 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983388006928 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15592] ppid=15587 vsize=15151156 memory=1724 CPUtime=0.11 cores=0,2,4,6
/proc/15589/task/15592/stat : 15592 (java) S 15587 15587 14901 0 -1 1077944384 1800 0 0 0 10 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983067277968 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15593] ppid=15587 vsize=15151156 memory=1398722017469774279 CPUtime=0.11 cores=0,2,4,6
/proc/15589/task/15593/stat : 15593 (java) S 15587 15587 14901 0 -1 1077944384 3614 0 0 0 10 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983066224912 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15594] ppid=15587 vsize=15151156 memory=4126316290023845779 CPUtime=0.1 cores=0,2,4,6
/proc/15589/task/15594/stat : 15594 (java) S 15587 15587 14901 0 -1 1077944384 2229 0 0 0 9 1 0 0 20 0 15 0 516231973 15514783744 53713 33554432000 4194304 4196468 140721903029392 139983065172368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15595] ppid=15587 vsize=15151156 memory=1724 CPUtime=0.13 cores=0,2,4,6
/proc/15589/task/15595/stat : 15595 (java) S 15587 15587 14901 0 -1 1077944384 3946 0 0 0 10 3 0 0 20 0 15 0 516231974 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982944996080 139983476361858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15596] ppid=15587 vsize=15151156 memory=6160 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15596/stat : 15596 (java) S 15587 15587 14901 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982943942368 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15597] ppid=15587 vsize=15151156 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15597/stat : 15597 (java) S 15587 15587 14901 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 516231975 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982942889216 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15598] ppid=15587 vsize=15151156 memory=716 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15598/stat : 15598 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982941837776 139983476369307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15599] ppid=15587 vsize=15151156 memory=780 CPUtime=3.67 cores=0,2,4,6
/proc/15589/task/15599/stat : 15599 (java) S 15587 15587 14901 0 -1 1077944384 28255 0 0 0 364 3 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982940784880 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15600] ppid=15587 vsize=15151156 memory=1552 CPUtime=4 cores=0,2,4,6
/proc/15589/task/15600/stat : 15600 (java) S 15587 15587 14901 0 -1 1077944384 29372 0 0 0 396 4 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982939732336 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15601] ppid=15587 vsize=15151156 memory=2832 CPUtime=0.61 cores=0,2,4,6
/proc/15589/task/15601/stat : 15601 (java) S 15587 15587 14901 0 -1 1077944384 11294 0 0 0 59 2 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982938679280 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15602] ppid=15587 vsize=15151156 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/15589/task/15602/stat : 15602 (java) S 15587 15587 14901 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516231977 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982937626976 139983476360917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
[pid=15589/tid=15603] ppid=15587 vsize=15151156 memory=940 CPUtime=0.67 cores=0,2,4,6
/proc/15589/task/15603/stat : 15603 (java) S 15587 15587 14901 0 -1 1077944384 903 0 0 0 29 38 0 0 20 0 15 0 516231978 15514783744 53713 33554432000 4194304 4196468 140721903029392 139982936575024 139983476361858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 16723968 140721903035375 140721903035546 140721903035546 140721903038415 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2391.02 s]
# the end of solver process 15587 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000743 s, system=0.001486 s
[startup+2391.02 s]
# the end of solver process 15589 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.56 s, system=0.483595 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
Child status: 143
Real time (s): 2391.02
CPU time (s): 2400.04
CPU user time (s): 2399.56
CPU system time (s): 0.483595
CPU usage (%): 100.377
Max. virtual memory (cumulated for all children) (KiB): 15267260
Max. memory (cumulated for all children) (KiB): 246988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.56
system time used= 0.483595
maximum resident set size= 245540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57113
involuntary context switches= 2159
# summary of solver processes directly reported to runsolver:
# pid: 15587,15589
# total CPU time (s): 2400.04
# total CPU user time (s): 2399.56
# total CPU system time (s): 0.483595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8063 second user time and 20.5219 second system time
The end