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 (2431 MiB free)
memory of node 1: 16384 MiB (13173 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405918-1569409786/watcher-4405918-1569409786 -o /var/tmp/evaluation-result-4405918-1569409786/solver-4405918-1569409786 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1569396627-31209 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674339674 HOME/instance-4405918-1569409786.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=1320, runsolver pid=1317
[startup+0.100119 s]*
/proc/loadavg: 1.75 1.58 1.54 4/229 1336
/proc/meminfo: memFree=15965184/32770624 swapFree=66992620/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
[pid=1322] ppid=1320 vsize=15144776 memory=27384 CPUtime=0.12 cores=1,3,5,7
/proc/1322/stat : 1322 (java) S 1320 1320 31177 0 -1 1077944320 5811 0 0 0 11 1 0 0 20 0 15 0 517241144 15508250624 6846 33554432000 4194304 4196468 140723785969728 140723785952272 140453651545847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
/proc/1322/statm: 3786194 6846 3120 1 0 3748377 0
[pid=1322/tid=1323] ppid=1320 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (java) R 1320 1320 31177 0 -1 4202560 3720 0 0 0 8 0 0 0 20 0 15 0 517241144 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453655777168 140453631260662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1324] ppid=1320 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453619104656 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1325] ppid=1320 vsize=15144776 memory=140611655034496 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453243185936 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1326] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1326/stat : 1326 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453242133648 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1327] ppid=1320 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1327/stat : 1327 (java) S 1320 1320 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453241080848 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1328] ppid=1320 vsize=15144776 memory=140611655034496 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1328/stat : 1328 (java) S 1320 1320 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517241146 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453119305840 140453651556994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1329] ppid=1320 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1329/stat : 1329 (java) S 1320 1320 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517241146 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453118251808 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1330] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517241147 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453117199472 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) R 1320 1320 31177 0 -1 4202560 328 0 0 0 0 0 0 0 20 0 15 0 517241149 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453115095664 140453634981585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) R 1320 1320 31177 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 517241149 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453114042864 140453651556994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15144776 memory=140611655034496 CPUtime=0.01 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) R 1320 1320 31177 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 15 0 517241149 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453112990576 140453630847600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15144776 memory=140611655034496 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241150 15508250624 6846 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28836 KiB
[startup+0.210746 s]*
/proc/loadavg: 1.75 1.58 1.54 3/229 1336
/proc/meminfo: memFree=15951372/32770624 swapFree=66992620/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
[pid=1322] ppid=1320 vsize=15144776 memory=39440 CPUtime=0.34 cores=1,3,5,7
/proc/1322/stat : 1322 (java) S 1320 1320 31177 0 -1 1077944320 9579 0 0 0 32 2 0 0 20 0 15 0 517241144 15508250624 9860 33554432000 4194304 4196468 140723785969728 140723785952272 140453651545847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
/proc/1322/statm: 3786194 9860 3313 1 0 3748377 0
[pid=1322/tid=1323] ppid=1320 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (java) R 1320 1320 31177 0 -1 4202560 6664 0 0 0 18 2 0 0 20 0 15 0 517241144 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453655775568 140453651557782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1324] ppid=1320 vsize=15144776 memory=4297963165 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453619104656 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1325] ppid=1320 vsize=15144776 memory=4050345856963176096 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453243185936 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1326] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1326/stat : 1326 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453242133648 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1327] ppid=1320 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1327/stat : 1327 (java) S 1320 1320 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517241145 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453241080848 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1328] ppid=1320 vsize=15144776 memory=140611655034496 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1328/stat : 1328 (java) S 1320 1320 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517241146 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453119305840 140453651556994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1329] ppid=1320 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1329/stat : 1329 (java) S 1320 1320 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517241146 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453118251808 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1330] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517241147 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453117199472 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) S 1320 1320 31177 0 -1 1077944384 489 0 0 0 3 0 0 0 20 0 15 0 517241149 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453115095664 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) S 1320 1320 31177 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 15 0 517241149 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453114042864 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15144776 memory=140611655034496 CPUtime=0.08 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) R 1320 1320 31177 0 -1 4202560 934 0 0 0 8 0 0 0 20 0 15 0 517241149 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453112990384 140453651567194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241150 15508250624 9860 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40892 KiB
[startup+0.313231 s]*
/proc/loadavg: 1.75 1.58 1.54 4/229 1336
/proc/meminfo: memFree=15944724/32770624 swapFree=66992620/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
[pid=1322] ppid=1320 vsize=15149032 memory=48716 CPUtime=0.53 cores=1,3,5,7
/proc/1322/stat : 1322 (java) S 1320 1320 31177 0 -1 1077944320 10947 0 0 0 50 3 0 0 20 0 15 0 517241144 15512608768 12179 33554432000 4194304 4196468 140723785969728 140723785952272 140453651545847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
/proc/1322/statm: 3787258 12179 3362 1 0 3748377 0
[pid=1322/tid=1323] ppid=1320 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (java) R 1320 1320 31177 0 -1 4202560 7807 0 0 0 28 2 0 0 20 0 15 0 517241144 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453655776960 140453651567773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1324] ppid=1320 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453619104656 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1325] ppid=1320 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453243185936 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1326] ppid=1320 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1326/stat : 1326 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453242133648 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1327] ppid=1320 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1327/stat : 1327 (java) S 1320 1320 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517241145 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453241080848 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1328] ppid=1320 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1328/stat : 1328 (java) S 1320 1320 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517241146 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453119305840 140453651556994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1329] ppid=1320 vsize=15149032 memory=3761694498073096479 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1329/stat : 1329 (java) S 1320 1320 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517241146 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453118251808 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1330] ppid=1320 vsize=15149032 memory=8102582798439690288 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517241147 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453117199472 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15149032 memory=7526544132554251141 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) S 1320 1320 31177 0 -1 1077944384 500 0 0 0 4 0 0 0 20 0 15 0 517241149 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453115095664 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15149032 memory=3544649798910489400 CPUtime=0.04 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) S 1320 1320 31177 0 -1 1077944384 211 0 0 0 4 0 0 0 20 0 15 0 517241149 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453114042864 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15149032 memory=3833020760594585760 CPUtime=0.13 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) S 1320 1320 31177 0 -1 1077944384 1149 0 0 0 13 0 0 0 20 0 15 0 517241149 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453112990576 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15149032 memory=3467824627879784479 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15149032 memory=3618555541513569972 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241150 15512608768 12205 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50168 KiB
[startup+0.709416 s]
/proc/loadavg: 1.75 1.58 1.54 6/229 1336
/proc/meminfo: memFree=15932120/32770624 swapFree=66992620/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
[pid=1322] ppid=1320 vsize=15151156 memory=81104 CPUtime=1.63 cores=1,3,5,7
/proc/1322/stat : 1322 (java) S 1320 1320 31177 0 -1 1077944320 14337 0 0 0 158 5 0 0 20 0 15 0 517241144 15514783744 20276 33554432000 4194304 4196468 140723785969728 140723785952272 140453651545847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
/proc/1322/statm: 3787789 20276 3450 1 0 3748889 0
[pid=1322/tid=1323] ppid=1320 vsize=15151156 memory=3 CPUtime=0.67 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (java) R 1320 1320 31177 0 -1 4202560 8994 0 0 0 64 3 0 0 20 0 15 0 517241144 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453655782808 140453292763911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1324] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453619104656 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1325] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453243185936 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1326] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1326/stat : 1326 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241145 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453242133648 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1327] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1327/stat : 1327 (java) S 1320 1320 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517241145 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453241080848 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1328] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1328/stat : 1328 (java) S 1320 1320 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517241146 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453119305840 140453651556994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1329] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1329/stat : 1329 (java) S 1320 1320 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517241146 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453118251808 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1330] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517241147 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453117199472 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15151156 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) R 1320 1320 31177 0 -1 4202560 1272 0 0 0 25 0 0 0 20 0 15 0 517241149 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453115095664 140453635935834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15151156 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) R 1320 1320 31177 0 -1 4202560 684 0 0 0 25 0 0 0 20 0 15 0 517241149 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453114034816 140453634930716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15151156 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) S 1320 1320 31177 0 -1 1077944384 2079 0 0 0 41 1 0 0 20 0 15 0 517241149 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453112990576 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517241150 15514783744 20276 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 82556 KiB
[startup+1.50082 s]
/proc/loadavg: 1.75 1.58 1.54 5/229 1336
/proc/meminfo: memFree=15904204/32770624 swapFree=66992620/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 517241147 15514783744 325064 33554432000 4194304 4196468 140723785969728 140453117199488 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325064 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15151156 memory=1452 CPUtime=1.12 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) S 1320 1320 31177 0 -1 1077944384 9541 0 0 0 111 1 0 0 20 0 15 0 517241149 15514783744 325064 33554432000 4194304 4196468 140723785969728 140453115095664 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15151156 memory=1452 CPUtime=1.15 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) S 1320 1320 31177 0 -1 1077944384 8350 0 0 0 114 1 0 0 20 0 15 0 517241149 15514783744 325064 33554432000 4194304 4196468 140723785969728 140453114042864 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15151156 memory=1300256 CPUtime=0.6 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) S 1320 1320 31177 0 -1 1077944384 8287 0 0 0 59 1 0 0 20 0 15 0 517241149 15514783744 325064 33554432000 4194304 4196468 140723785969728 140453112990576 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325064 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15151156 memory=1300256 CPUtime=0.56 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1188 0 0 0 26 30 0 0 20 0 15 0 517241150 15514783744 325064 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 2394.88 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1301708 KiB
[startup+2442.3 s]
/proc/loadavg: 1.83 1.70 1.70 3/229 1633
/proc/meminfo: memFree=24264596/32770624 swapFree=66992636/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
[pid=1322] ppid=1320 vsize=15151156 memory=1300260 CPUtime=2454.9 cores=1,3,5,7
/proc/1322/stat : 1322 (java) S 1320 1320 31177 0 -1 1077944320 290634 0 0 0 244483 1007 0 0 20 0 15 0 517241144 15514783744 325065 33554432000 4194304 4196468 140723785969728 140723785952272 140453651545847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
/proc/1322/statm: 3787789 325065 3515 1 0 3748889 0
[pid=1322/tid=1323] ppid=1320 vsize=15151156 memory=1300260 CPUtime=2436.96 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (java) R 1320 1320 31177 0 -1 4202560 171375 0 0 0 242779 917 0 0 20 0 15 0 517241144 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453655785392 140453293591005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1324] ppid=1320 vsize=15151156 memory=1300260 CPUtime=3.23 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (java) S 1320 1320 31177 0 -1 1077944384 12661 0 0 0 314 9 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453619104656 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1325] ppid=1320 vsize=15151156 memory=1452 CPUtime=3.21 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (java) S 1320 1320 31177 0 -1 1077944384 10780 0 0 0 314 7 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453243185936 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1326] ppid=1320 vsize=15151156 memory=0 CPUtime=3.2 cores=1,3,5,7
/proc/1322/task/1326/stat : 1326 (java) S 1320 1320 31177 0 -1 1077944384 13527 0 0 0 313 7 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453242133648 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1327] ppid=1320 vsize=15151156 memory=1452 CPUtime=3.21 cores=1,3,5,7
/proc/1322/task/1327/stat : 1327 (java) S 1320 1320 31177 0 -1 1077944384 14782 0 0 0 313 8 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453241080848 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1328] ppid=1320 vsize=15151156 memory=1300260 CPUtime=1.56 cores=1,3,5,7
/proc/1322/task/1328/stat : 1328 (java) S 1320 1320 31177 0 -1 1077944384 38654 0 0 0 120 36 0 0 20 0 15 0 517241146 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453119305840 140453651556994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1329] ppid=1320 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1329/stat : 1329 (java) S 1320 1320 31177 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 517241146 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453118251872 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1330] ppid=1320 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 517241147 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453117199488 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15151156 memory=51292 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15151156 memory=1300260 CPUtime=1.12 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) S 1320 1320 31177 0 -1 1077944384 9543 0 0 0 111 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453115095664 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15151156 memory=3620 CPUtime=1.15 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) S 1320 1320 31177 0 -1 1077944384 8353 0 0 0 114 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453114042864 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15151156 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) S 1320 1320 31177 0 -1 1077944384 8289 0 0 0 59 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453112990576 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15151156 memory=1300260 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15151156 memory=780 CPUtime=0.57 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1209 0 0 0 26 31 0 0 20 0 15 0 517241150 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 2454.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1301712 KiB
[startup+2502.3 s]
/proc/loadavg: 1.83 1.72 1.70 3/230 1645
/proc/meminfo: memFree=24262328/32770624 swapFree=66992636/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
[pid=1322] ppid=1320 vsize=15151156 memory=1300260 CPUtime=2514.93 cores=1,3,5,7
/proc/1322/stat : 1322 (java) S 1320 1320 31177 0 -1 1077944320 294170 0 0 0 250485 1008 0 0 20 0 15 0 517241144 15514783744 325065 33554432000 4194304 4196468 140723785969728 140723785952272 140453651545847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
/proc/1322/statm: 3787789 325065 3515 1 0 3748889 0
[pid=1322/tid=1323] ppid=1320 vsize=15151156 memory=1300260 CPUtime=2496.95 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (java) R 1320 1320 31177 0 -1 4202560 173710 0 0 0 248778 917 0 0 20 0 15 0 517241144 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453655785392 140453293592419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1324] ppid=1320 vsize=15151156 memory=1300260 CPUtime=3.24 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (java) S 1320 1320 31177 0 -1 1077944384 13075 0 0 0 315 9 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453619104656 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1325] ppid=1320 vsize=15151156 memory=1452 CPUtime=3.22 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (java) S 1320 1320 31177 0 -1 1077944384 10891 0 0 0 315 7 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453243185936 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1326] ppid=1320 vsize=15151156 memory=1300260 CPUtime=3.21 cores=1,3,5,7
/proc/1322/task/1326/stat : 1326 (java) S 1320 1320 31177 0 -1 1077944384 13913 0 0 0 314 7 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453242133648 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1327] ppid=1320 vsize=15151156 memory=1452 CPUtime=3.22 cores=1,3,5,7
/proc/1322/task/1327/stat : 1327 (java) S 1320 1320 31177 0 -1 1077944384 14866 0 0 0 314 8 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453241080848 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1328] ppid=1320 vsize=15151156 memory=1452 CPUtime=1.56 cores=1,3,5,7
/proc/1322/task/1328/stat : 1328 (java) S 1320 1320 31177 0 -1 1077944384 38832 0 0 0 120 36 0 0 20 0 15 0 517241146 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453119305840 140453651556994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1329] ppid=1320 vsize=15151156 memory=1300260 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1329/stat : 1329 (java) S 1320 1320 31177 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 517241146 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453118251872 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1330] ppid=1320 vsize=15151156 memory=1300260 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 517241147 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453117199488 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15151156 memory=1300260 CPUtime=1.12 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) S 1320 1320 31177 0 -1 1077944384 9545 0 0 0 111 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453115095664 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15151156 memory=2600 CPUtime=1.15 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) S 1320 1320 31177 0 -1 1077944384 8355 0 0 0 114 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453114042864 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15151156 memory=6935054825532540783 CPUtime=0.6 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) S 1320 1320 31177 0 -1 1077944384 8292 0 0 0 59 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453112990576 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15151156 memory=1300260 CPUtime=0.58 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1230 0 0 0 27 31 0 0 20 0 15 0 517241150 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 2514.93 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1301712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.4 s]
/proc/loadavg: 1.84 1.73 1.70 3/231 1647
/proc/meminfo: memFree=24262412/32770624 swapFree=66992636/67108860
[pid=1320] ppid=1317 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1320/stat : 1320 (xcsp3-exec) S 1317 1320 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517241143 115843072 363 33554432000 4194304 5098028 140722485031264 140722485029368 140317538370172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140722485035863 140722485036121 140722485036121 140722485039046 0
/proc/1320/statm: 28282 363 304 221 0 87 0
[pid=1322] ppid=1320 vsize=15151156 memory=1300260 CPUtime=2520.04 cores=1,3,5,7
/proc/1322/stat : 1322 (java) S 1320 1320 31177 0 -1 1077944320 294181 0 0 0 250995 1009 0 0 20 0 15 0 517241144 15514783744 325065 33554432000 4194304 4196468 140723785969728 140723785952272 140453651545847 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
/proc/1322/statm: 3787789 325065 3515 1 0 3748889 0
[pid=1322/tid=1323] ppid=1320 vsize=15151156 memory=8252 CPUtime=2502.05 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (java) R 1320 1320 31177 0 -1 4202560 173711 0 0 0 249288 917 0 0 20 0 15 0 517241144 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453655785392 140453293591010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1324] ppid=1320 vsize=15151156 memory=1164 CPUtime=3.24 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (java) S 1320 1320 31177 0 -1 1077944384 13079 0 0 0 315 9 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453619104656 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1325] ppid=1320 vsize=15151156 memory=9520 CPUtime=3.22 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (java) S 1320 1320 31177 0 -1 1077944384 10895 0 0 0 315 7 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453243185936 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1326] ppid=1320 vsize=15151156 memory=1452 CPUtime=3.21 cores=1,3,5,7
/proc/1322/task/1326/stat : 1326 (java) S 1320 1320 31177 0 -1 1077944384 13915 0 0 0 314 7 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453242133648 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1327] ppid=1320 vsize=15151156 memory=1300260 CPUtime=3.22 cores=1,3,5,7
/proc/1322/task/1327/stat : 1327 (java) S 1320 1320 31177 0 -1 1077944384 14866 0 0 0 314 8 0 0 20 0 15 0 517241145 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453241080848 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1328] ppid=1320 vsize=15151156 memory=1452 CPUtime=1.56 cores=1,3,5,7
/proc/1322/task/1328/stat : 1328 (java) S 1320 1320 31177 0 -1 1077944384 38832 0 0 0 120 36 0 0 20 0 15 0 517241146 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453119305840 140453651556994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1329] ppid=1320 vsize=15151156 memory=1300260 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1329/stat : 1329 (java) S 1320 1320 31177 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 517241146 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453118251872 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1330] ppid=1320 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1330/stat : 1330 (java) S 1320 1320 31177 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 517241147 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453117199488 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1331] ppid=1320 vsize=15151156 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1331/stat : 1331 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453116147792 140453651564443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1332] ppid=1320 vsize=15151156 memory=1028 CPUtime=1.12 cores=1,3,5,7
/proc/1322/task/1332/stat : 1332 (java) S 1320 1320 31177 0 -1 1077944384 9545 0 0 0 111 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453115095664 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1333] ppid=1320 vsize=15151156 memory=1060 CPUtime=1.15 cores=1,3,5,7
/proc/1322/task/1333/stat : 1333 (java) S 1320 1320 31177 0 -1 1077944384 8355 0 0 0 114 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453114042864 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1334] ppid=1320 vsize=15151156 memory=2828 CPUtime=0.6 cores=1,3,5,7
/proc/1322/task/1334/stat : 1334 (java) S 1320 1320 31177 0 -1 1077944384 8292 0 0 0 59 1 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453112990576 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1335] ppid=1320 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1335/stat : 1335 (java) S 1320 1320 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517241149 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453111938016 140453651556053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
[pid=1322/tid=1336] ppid=1320 vsize=15151156 memory=1548 CPUtime=0.58 cores=1,3,5,7
/proc/1322/task/1336/stat : 1336 (java) S 1320 1320 31177 0 -1 1077944384 1230 0 0 0 27 31 0 0 20 0 15 0 517241150 15514783744 325065 33554432000 4194304 4196468 140723785969728 140453110884784 140453651556994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 9453568 140723785978843 140723785979018 140723785979018 140723785981903 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1301712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.41 s]
# the end of solver process 1320 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002436 s
[startup+2507.42 s]
# the end of solver process 1322 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.97 s, system=10.1013 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): 2507.42
CPU time (s): 2520.07
CPU user time (s): 2509.97
CPU system time (s): 10.1013
CPU usage (%): 100.505
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 8816976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.97
system time used= 10.1013
maximum resident set size= 8815524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76796
involuntary context switches= 1947
# summary of solver processes directly reported to runsolver:
# pid: 1320,1322
# total CPU time (s): 2520.07
# total CPU user time (s): 2509.97
# total CPU system time (s): 10.1013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1858 second user time and 22.8489 second system time
The end