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 (12980 MiB free)
memory of node 1: 16384 MiB (12784 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282778-1503211715/watcher-4282778-1503211715 -o /tmp/evaluation-result-4282778-1503211715/solver-4282778-1503211715 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21035 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2101200605 HOME/instance-4282778-1503211715.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=23207, runsolver pid=23204
[startup+0.100062 s]*
/proc/loadavg: 1.91 1.98 1.77 3/217 23223
/proc/meminfo: memFree=26366724/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
[pid=23209] ppid=23207 vsize=13978596 memory=27836 CPUtime=0.11 cores=0,2,4,6
/proc/23209/stat : 23209 (java) S 23207 23207 21004 0 -1 1077944320 5386 0 0 0 11 0 0 0 20 0 15 0 154259412 14314082304 6959 33554432000 4194304 4196468 140723096305504 140723096288048 140065845829367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
/proc/23209/statm: 3494649 6959 2836 1 0 3482966 0
[pid=23209/tid=23210] ppid=23207 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/23209/task/23210/stat : 23210 (java) R 23207 23207 21004 0 -1 4202560 3400 0 0 0 9 0 0 0 20 0 15 0 154259412 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065850062640 140065845841302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23211] ppid=23207 vsize=13978596 memory=3472468566664717520 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23211/stat : 23211 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065798450192 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23212] ppid=23207 vsize=13978596 memory=140437769565824 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23212/stat : 23212 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065797397648 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23213] ppid=23207 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23213/stat : 23213 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065439410960 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23214] ppid=23207 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23214/stat : 23214 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065438358416 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23215] ppid=23207 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23215/stat : 23215 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259414 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065319651568 140065845840514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23216] ppid=23207 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23216/stat : 23216 (java) S 23207 23207 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259415 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065318597792 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23217] ppid=23207 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) S 23207 23207 21004 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065315441392 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) S 23207 23207 21004 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154259417 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065314388848 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13978596 memory=140437769565824 CPUtime=0.01 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) R 23207 23207 21004 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 154259417 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065313335792 140065845841302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13978596 memory=140437769565824 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259418 14314082304 6959 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29220 KiB
[startup+0.210655 s]*
/proc/loadavg: 1.91 1.98 1.77 3/217 23223
/proc/meminfo: memFree=26354940/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
[pid=23209] ppid=23207 vsize=13982852 memory=40128 CPUtime=0.34 cores=0,2,4,6
/proc/23209/stat : 23209 (java) S 23207 23207 21004 0 -1 1077944320 8119 0 0 0 32 2 0 0 20 0 15 0 154259412 14318440448 10032 33554432000 4194304 4196468 140723096305504 140723096288048 140065845829367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
/proc/23209/statm: 3495721 10032 3047 1 0 3482974 0
[pid=23209/tid=23210] ppid=23207 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=0,2,4,6
/proc/23209/task/23210/stat : 23210 (java) D 23207 23207 21004 0 -1 1077944384 5282 0 0 0 18 1 0 0 20 0 15 0 154259412 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065850040160 140065838508589 0 4 0 16800975 18446744072101617188 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23211] ppid=23207 vsize=13982852 memory=3472468566664717520 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23211/stat : 23211 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065798450192 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23212] ppid=23207 vsize=13982852 memory=140437769565824 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23212/stat : 23212 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065797397648 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23213] ppid=23207 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23213/stat : 23213 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065439410960 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23214] ppid=23207 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23214/stat : 23214 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14318473216 10032 33554432000 4194304 4196468 140723096305504 140065438358416 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23215] ppid=23207 vsize=13982884 memory=140437769565824 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23215/stat : 23215 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259414 14318473216 10032 33554432000 4194304 4196468 140723096305504 140065319651568 140065845840514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23216] ppid=23207 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23216/stat : 23216 (java) S 23207 23207 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259415 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065318597792 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23217] ppid=23207 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) S 23207 23207 21004 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 154259417 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065315441392 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) S 23207 23207 21004 0 -1 1077944384 307 0 0 0 3 0 0 0 20 0 15 0 154259417 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065314388848 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13982852 memory=140437769565824 CPUtime=0.08 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) S 23207 23207 21004 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 15 0 154259417 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065313335792 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14318440448 10032 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13982884 memory=140437769565824 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259418 14318473216 10032 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41512 KiB
[startup+0.310428 s]*
/proc/loadavg: 1.91 1.98 1.77 4/217 23223
/proc/meminfo: memFree=26348860/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
[pid=23209] ppid=23207 vsize=13982852 memory=47276 CPUtime=0.51 cores=0,2,4,6
/proc/23209/stat : 23209 (java) S 23207 23207 21004 0 -1 1077944320 8946 0 0 0 48 3 0 0 20 0 15 0 154259412 14318440448 11819 33554432000 4194304 4196468 140723096305504 140723096288048 140065845829367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
/proc/23209/statm: 3495713 11819 3092 1 0 3482966 0
[pid=23209/tid=23210] ppid=23207 vsize=13982852 memory=-8540663193526752614 CPUtime=0.29 cores=0,2,4,6
/proc/23209/task/23210/stat : 23210 (java) R 23207 23207 21004 0 -1 4202560 5935 0 0 0 28 1 0 0 20 0 15 0 154259412 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065850068592 140065829909854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23211] ppid=23207 vsize=13982852 memory=3472468566664717520 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23211/stat : 23211 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065798450192 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23212] ppid=23207 vsize=13982852 memory=140437769586779 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23212/stat : 23212 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065797397648 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23213] ppid=23207 vsize=13982852 memory=140437646083356 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23213/stat : 23213 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065439410960 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23214] ppid=23207 vsize=13982852 memory=140437646064591 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23214/stat : 23214 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065438358416 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23215] ppid=23207 vsize=13982852 memory=140437769586855 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23215/stat : 23215 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259414 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065319651568 140065845840514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23216] ppid=23207 vsize=13982852 memory=140437646073807 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23216/stat : 23216 (java) S 23207 23207 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259415 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065318597792 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23217] ppid=23207 vsize=13982852 memory=280875292145296 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13982852 memory=280875292152176 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) S 23207 23207 21004 0 -1 1077944384 535 0 0 0 3 0 0 0 20 0 15 0 154259417 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065315441392 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13982852 memory=2240 CPUtime=0.03 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) S 23207 23207 21004 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 15 0 154259417 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065314388848 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13982852 memory=140437769565824 CPUtime=0.13 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) R 23207 23207 21004 0 -1 4202560 864 0 0 0 13 0 0 0 20 0 15 0 154259417 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065313331520 140065824515892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13982852 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13982852 memory=140437769565824 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259418 14318440448 11819 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48660 KiB
[startup+0.700771 s]
/proc/loadavg: 1.91 1.98 1.77 5/217 23223
/proc/meminfo: memFree=26330432/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
[pid=23209] ppid=23207 vsize=13984976 memory=75908 CPUtime=1.64 cores=0,2,4,6
/proc/23209/stat : 23209 (java) S 23207 23207 21004 0 -1 1077944320 11093 0 0 0 160 4 0 0 20 0 15 0 154259412 14320615424 18977 33554432000 4194304 4196468 140723096305504 140723096288048 140065845829367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
/proc/23209/statm: 3496244 18977 3215 1 0 3483478 0
[pid=23209/tid=23210] ppid=23207 vsize=13984976 memory=1224 CPUtime=0.67 cores=0,2,4,6
/proc/23209/task/23210/stat : 23210 (java) R 23207 23207 21004 0 -1 4202560 6636 0 0 0 65 2 0 0 20 0 15 0 154259412 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065850066016 140065481364032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23211] ppid=23207 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23211/stat : 23211 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065798450192 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23212] ppid=23207 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23212/stat : 23212 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065797397648 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23213] ppid=23207 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23213/stat : 23213 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065439410960 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23214] ppid=23207 vsize=13984976 memory=280875292226880 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23214/stat : 23214 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065438358416 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23215] ppid=23207 vsize=13984976 memory=11268 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23215/stat : 23215 (java) S 23207 23207 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065319651568 140065845840514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23216] ppid=23207 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23216/stat : 23216 (java) S 23207 23207 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065318597792 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23217] ppid=23207 vsize=13984976 memory=2319529658572916389 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13984976 memory=51 CPUtime=0.28 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) R 23207 23207 21004 0 -1 4202560 976 0 0 0 28 0 0 0 20 0 15 0 154259417 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065315422408 140065829360824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13984976 memory=5 CPUtime=0.29 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) R 23207 23207 21004 0 -1 4202560 692 0 0 0 29 0 0 0 20 0 15 0 154259417 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065314375696 140065826465273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13984976 memory=9903 CPUtime=0.36 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) R 23207 23207 21004 0 -1 4202560 1482 0 0 0 36 0 0 0 20 0 15 0 154259417 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065313335792 140065845850714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13984976 memory=463 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259418 14320615424 18977 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77292 KiB
[startup+1.50087 s]
/proc/loadavg: 1.91 1.98 1.77 5/217 23223
/proc/meminfo: memFree=26298992/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 29213 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13984976 memory=116852 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 29213 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13984976 memory=4140 CPUtime=1.79 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) S 23207 23207 21004 0 -1 1077944384 21021 0 0 0 177 2 0 0 20 0 15 0 154259417 14320615424 29213 33554432000 4194304 4196468 140723096305504 140065315441392 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13984976 memory=116744 CPUtime=1.39 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) S 23207 23207 21004 0 -1 1077944384 13448 0 0 0 137 2 0 0 20 0 15 0 154259417 14320615424 29213 33554432000 4194304 4196468 140723096305504 140065314388848 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13984976 memory=2 CPUtime=0.48 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) S 23207 23207 21004 0 -1 1077944384 4526 0 0 0 47 1 0 0 20 0 15 0 154259417 14320615424 29213 33554432000 4194304 4196468 140723096305504 140065313335792 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13984976 memory=116852 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14320615424 29213 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 856 0 0 0 2 1 0 0 20 0 15 0 154259418 14320615424 29213 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 105.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 118236 KiB
[startup+162.301 s]
/proc/loadavg: 1.90 1.93 1.78 3/217 23306
/proc/meminfo: memFree=26176348/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
[pid=23209] ppid=23207 vsize=13984976 memory=142336 CPUtime=166.14 cores=0,2,4,6
/proc/23209/stat : 23209 (java) S 23207 23207 21004 0 -1 1077944320 56483 0 0 0 16603 11 0 0 20 0 15 0 154259412 14320615424 35584 33554432000 4194304 4196468 140723096305504 140723096288048 140065845829367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
/proc/23209/statm: 3496244 35584 3230 1 0 3483478 0
[pid=23209/tid=23210] ppid=23207 vsize=13984976 memory=142336 CPUtime=162.26 cores=0,2,4,6
/proc/23209/task/23210/stat : 23210 (java) R 23207 23207 21004 0 -1 4202560 11025 0 0 0 16223 3 0 0 20 0 15 0 154259412 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065850065360 140065482004885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23211] ppid=23207 vsize=13984976 memory=142336 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23211/stat : 23211 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065798450192 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23212] ppid=23207 vsize=13984976 memory=132136 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23212/stat : 23212 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065797397648 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23213] ppid=23207 vsize=13984976 memory=132136 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23213/stat : 23213 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065439410960 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23214] ppid=23207 vsize=13984976 memory=132136 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23214/stat : 23214 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065438358416 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23215] ppid=23207 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23215/stat : 23215 (java) S 23207 23207 21004 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065319651568 140065845840514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23216] ppid=23207 vsize=13984976 memory=142336 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23216/stat : 23216 (java) S 23207 23207 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065318597792 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23217] ppid=23207 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13984976 memory=56 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13984976 memory=1384 CPUtime=1.81 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) S 23207 23207 21004 0 -1 1077944384 21732 0 0 0 179 2 0 0 20 0 15 0 154259417 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065315441392 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13984976 memory=1384 CPUtime=1.48 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) S 23207 23207 21004 0 -1 1077944384 15725 0 0 0 146 2 0 0 20 0 15 0 154259417 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065314388848 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13984976 memory=1384 CPUtime=0.48 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) S 23207 23207 21004 0 -1 1077944384 5292 0 0 0 47 1 0 0 20 0 15 0 154259417 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065313335792 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13984976 memory=303430223234596890 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13984976 memory=288230621803970871 CPUtime=0.05 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 900 0 0 0 3 2 0 0 20 0 15 0 154259418 14320615424 35584 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 166.14 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 143720 KiB
[startup+222.301 s]
/proc/loadavg: 1.96 1.94 1.79 3/217 23307
/proc/meminfo: memFree=26166088/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
[pid=23209] ppid=23207 vsize=13984976 memory=153968 CPUtime=226.19 cores=0,2,4,6
/proc/23209/stat : 23209 (java) S 23207 23207 21004 0 -1 1077944320 57244 0 0 0 22607 12 0 0 20 0 15 0 154259412 14320615424 38492 33554432000 4194304 4196468 140723096305504 140723096288048 140065845829367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
/proc/23209/statm: 3496244 38492 3230 1 0 3483478 0
[pid=23209/tid=23210] ppid=23207 vsize=13984976 memory=153964 CPUtime=222.25 cores=0,2,4,6
/proc/23209/task/23210/stat : 23210 (java) R 23207 23207 21004 0 -1 4202560 11409 0 0 0 22222 3 0 0 20 0 15 0 154259412 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065850065584 140065482004880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23211] ppid=23207 vsize=13984976 memory=153968 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23211/stat : 23211 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065798450192 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23212] ppid=23207 vsize=13984976 memory=153968 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23212/stat : 23212 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065797397648 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23213] ppid=23207 vsize=13984976 memory=153968 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23213/stat : 23213 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065439410960 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23214] ppid=23207 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23214/stat : 23214 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065438358416 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23215] ppid=23207 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23215/stat : 23215 (java) S 23207 23207 21004 0 -1 1077944384 538 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065319651568 140065845840514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23216] ppid=23207 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23216/stat : 23216 (java) S 23207 23207 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065318597792 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23217] ppid=23207 vsize=13984976 memory=153968 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13984976 memory=2428 CPUtime=1.82 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) S 23207 23207 21004 0 -1 1077944384 21940 0 0 0 180 2 0 0 20 0 15 0 154259417 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065315441392 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13984976 memory=153968 CPUtime=1.51 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) S 23207 23207 21004 0 -1 1077944384 15824 0 0 0 149 2 0 0 20 0 15 0 154259417 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065314388848 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13984976 memory=153968 CPUtime=0.49 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) S 23207 23207 21004 0 -1 1077944384 5309 0 0 0 48 1 0 0 20 0 15 0 154259417 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065313335792 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13984976 memory=153968 CPUtime=0.06 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 923 0 0 0 3 3 0 0 20 0 15 0 154259418 14320615424 38492 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 226.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 155352 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.05 1.96 1.80 3/217 23307
/proc/meminfo: memFree=26157772/32770624 swapFree=67108860/67108860
[pid=23207] ppid=23204 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23207/stat : 23207 (xcsp3-exec) S 23204 23207 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154259411 9740288 346 33554432000 4194304 5098028 140721103000320 140721102998424 139624714728060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9867264 140721103008884 140721103009088 140721103009088 140721103011819 0
/proc/23207/statm: 2378 346 289 221 0 87 0
[pid=23209] ppid=23207 vsize=13984976 memory=162228 CPUtime=244.1 cores=0,2,4,6
/proc/23209/stat : 23209 (java) S 23207 23207 21004 0 -1 1077944320 57661 0 0 0 24397 13 0 0 20 0 15 0 154259412 14320615424 40557 33554432000 4194304 4196468 140723096305504 140723096288048 140065845829367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
/proc/23209/statm: 3496244 40557 3230 1 0 3483478 0
[pid=23209/tid=23210] ppid=23207 vsize=13984976 memory=6791534058613427641 CPUtime=239.96 cores=0,2,4,6
/proc/23209/task/23210/stat : 23210 (java) R 23207 23207 21004 0 -1 4202560 11480 0 0 0 23993 3 0 0 20 0 15 0 154259412 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065850065208 140065481296503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23211] ppid=23207 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23211/stat : 23211 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065798450192 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23212] ppid=23207 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23212/stat : 23212 (java) S 23207 23207 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065797397648 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23213] ppid=23207 vsize=13984976 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23213/stat : 23213 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065439410960 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23214] ppid=23207 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23214/stat : 23214 (java) S 23207 23207 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154259413 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065438358416 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23215] ppid=23207 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23215/stat : 23215 (java) S 23207 23207 21004 0 -1 1077944384 539 0 0 0 0 0 0 0 20 0 15 0 154259414 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065319651568 140065845840514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23216] ppid=23207 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23216/stat : 23216 (java) S 23207 23207 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065318597792 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23217] ppid=23207 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23217/stat : 23217 (java) S 23207 23207 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154259415 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065317544688 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23218] ppid=23207 vsize=13984976 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23218/stat : 23218 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259417 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065316493264 140065845847963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23219] ppid=23207 vsize=13984976 memory=1952 CPUtime=1.88 cores=0,2,4,6
/proc/23209/task/23219/stat : 23219 (java) S 23207 23207 21004 0 -1 1077944384 22118 0 0 0 186 2 0 0 20 0 15 0 154259417 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065315441392 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23220] ppid=23207 vsize=13984976 memory=8612 CPUtime=1.64 cores=0,2,4,6
/proc/23209/task/23220/stat : 23220 (java) S 23207 23207 21004 0 -1 1077944384 15937 0 0 0 162 2 0 0 20 0 15 0 154259417 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065314388848 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23221] ppid=23207 vsize=13984976 memory=1224 CPUtime=0.49 cores=0,2,4,6
/proc/23209/task/23221/stat : 23221 (java) S 23207 23207 21004 0 -1 1077944384 5363 0 0 0 48 1 0 0 20 0 15 0 154259417 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065313335792 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23222] ppid=23207 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/23209/task/23222/stat : 23222 (java) S 23207 23207 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154259418 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065312283488 140065845839573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
[pid=23209/tid=23223] ppid=23207 vsize=13984976 memory=1004 CPUtime=0.07 cores=0,2,4,6
/proc/23209/task/23223/stat : 23223 (java) S 23207 23207 21004 0 -1 1077944384 923 0 0 0 4 3 0 0 20 0 15 0 154259418 14320615424 40557 33554432000 4194304 4196468 140723096305504 140065311230512 140065845840514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140723096310941 140723096311116 140723096311116 140723096313807 0
Current children cumulated CPU time: 244.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 163612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 23207 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001861 s
[startup+240.02 s]
# the end of solver process 23209 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.987 s, system=0.135928 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): 240.02
CPU time (s): 244.123
CPU user time (s): 243.987
CPU system time (s): 0.135928
CPU usage (%): 101.709
Max. virtual memory (cumulated for all children) (KiB): 13996256
Max. memory (cumulated for all children) (KiB): 163612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.987
system time used= 0.135928
maximum resident set size= 166992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7735
involuntary context switches= 308
# summary of solver processes directly reported to runsolver:
# pid: 23207,23209
# total CPU time (s): 244.123
# total CPU user time (s): 243.987
# total CPU system time (s): 0.135928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.26313 second user time and 1.3631 second system time
The end